C# Class Microsoft.Zing.AssertStatement

Inheritance: System.Compiler.Statement

显示文件 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