C# Class Microsoft.Zing.AssumeStatement

Inheritance: System.Compiler.Statement

Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
AssumeStatement ( ) : System.Collections.Generic
AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic
AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

Method Details

AssumeStatement() public method

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

AssumeStatement() public method

public AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic
booleanExpr	System.Compiler.Expression
return	System.Collections.Generic

AssumeStatement() public method

public AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
booleanExpr	System.Compiler.Expression
sourceContext	System.Compiler.SourceContext
return	System.Collections.Generic