C# Class Microsoft.Zing.AssertStatement

Inheritance: System.Compiler.Statement

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

Méthodes publiques

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

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

AssertStatement() public méthode

public AssertStatement ( System.Compiler.Expression booleanExpr, string comment ) : System.Collections.Generic
booleanExpr	System.Compiler.Expression
comment	string
Résultat	System.Collections.Generic

AssertStatement() public méthode

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
Résultat	System.Collections.Generic