C# Class Microsoft.Zing.TraceStatement

Inheritance: System.Compiler.Statement

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
TraceStatement ( ) : System.Collections.Generic
TraceStatement ( ExpressionList operands ) : System.Collections.Generic
TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

Method Details

TraceStatement() public method

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

TraceStatement() public method

public TraceStatement ( ExpressionList operands ) : System.Collections.Generic
operands	ExpressionList
return	System.Collections.Generic

TraceStatement() public method

public TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
operands	ExpressionList
sourceContext	System.Compiler.SourceContext
return	System.Collections.Generic