C# Class Microsoft.Zing.AssumeStatement

Inheritance: System.Compiler.Statement

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Méthode	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 méthode

public AssumeStatement ( ) : System.Collections.Generic
Résultat	System.Collections.Generic

AssumeStatement() public méthode

public AssumeStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic
booleanExpr	System.Compiler.Expression
Résultat	System.Collections.Generic

AssumeStatement() public méthode

public AssumeStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
booleanExpr	System.Compiler.Expression
sourceContext	System.Compiler.SourceContext
Résultat	System.Collections.Generic