C# Class Microsoft.Zing.ZMethod

Inheritance: System.Compiler.Method

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	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

Method	Description
ResetLocals ( ) : void

Method Details

ZMethod() public method

public ZMethod ( ) : System.Collections.Generic
return	System.Collections.Generic

ZMethod() public method

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
return	System.Collections.Generic

ZMethod() public method

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
return	System.Collections.Generic