C# Class Microsoft.Zing.AssertStatement

Inheritance: System.Compiler.Statement
Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method Description
AssertStatement ( ) : System.Collections.Generic
AssertStatement ( System.Compiler.Expression booleanExpr, string comment ) : System.Collections.Generic
AssertStatement ( System.Compiler.Expression booleanExpr, string comment, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

Method Details

AssertStatement() public method

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

AssertStatement() public method

public AssertStatement ( System.Compiler.Expression booleanExpr, string comment ) : System.Collections.Generic
booleanExpr System.Compiler.Expression
comment string
return System.Collections.Generic

AssertStatement() public method

public AssertStatement ( System.Compiler.Expression booleanExpr, string comment, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
booleanExpr System.Compiler.Expression
comment string
sourceContext System.Compiler.SourceContext
return System.Collections.Generic