C# Class Microsoft.Zing.ZMethod

Inheritance: System.Compiler.Method

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Méthode	Description
ZMethod ( ) : System.Collections.Generic
ZMethod ( System.Compiler.TypeNode declaringType, AttributeList attributes, System.Compiler.Identifier name, ParameterList parameters, System.Compiler.TypeNode returnType, System.Compiler.Block body ) : System.Collections.Generic
ZMethod ( System.Compiler.TypeNode declaringType, bool atomic, bool activated, System.Compiler.Identifier name, ParameterList parameters, System.Compiler.TypeNode returnType, System.Compiler.Block body ) : System.Collections.Generic

Private Methods

Méthode	Description
ResetLocals ( ) : void

Method Details

ZMethod() public méthode

public ZMethod ( ) : System.Collections.Generic
Résultat	System.Collections.Generic

ZMethod() public méthode

public ZMethod ( System.Compiler.TypeNode declaringType, AttributeList attributes, System.Compiler.Identifier name, ParameterList parameters, System.Compiler.TypeNode returnType, System.Compiler.Block body ) : System.Collections.Generic
declaringType	System.Compiler.TypeNode
attributes	AttributeList
name	System.Compiler.Identifier
parameters	ParameterList
returnType	System.Compiler.TypeNode
body	System.Compiler.Block
Résultat	System.Collections.Generic

ZMethod() public méthode

public ZMethod ( System.Compiler.TypeNode declaringType, bool atomic, bool activated, System.Compiler.Identifier name, ParameterList parameters, System.Compiler.TypeNode returnType, System.Compiler.Block body ) : System.Collections.Generic
declaringType	System.Compiler.TypeNode
atomic	bool
activated	bool
name	System.Compiler.Identifier
parameters	ParameterList
returnType	System.Compiler.TypeNode
body	System.Compiler.Block
Résultat	System.Collections.Generic