C# Class Microsoft.Zing.AttributedStatement

Inheritance: System.Compiler.Statement
Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method Description
AttributedStatement ( ) : System.Collections.Generic
AttributedStatement ( AttributeList attributes ) : System.Collections.Generic
AttributedStatement ( AttributeList attributes, System.Compiler.Statement statement ) : System.Collections.Generic
AttributedStatement ( System.Compiler.AttributeNode attr, System.Compiler.Statement statement ) : System.Collections.Generic

Method Details

AttributedStatement() public method

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

AttributedStatement() public method

public AttributedStatement ( AttributeList attributes ) : System.Collections.Generic
attributes AttributeList
return System.Collections.Generic

AttributedStatement() public method

public AttributedStatement ( AttributeList attributes, System.Compiler.Statement statement ) : System.Collections.Generic
attributes AttributeList
statement System.Compiler.Statement
return System.Collections.Generic

AttributedStatement() public method

public AttributedStatement ( System.Compiler.AttributeNode attr, System.Compiler.Statement statement ) : System.Collections.Generic
attr System.Compiler.AttributeNode
statement System.Compiler.Statement
return System.Collections.Generic