C# Class Microsoft.Zing.TraceStatement

Inheritance: System.Compiler.Statement

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

Méthodes publiques

Méthode	Description
TraceStatement ( ) : System.Collections.Generic
TraceStatement ( ExpressionList operands ) : System.Collections.Generic
TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

Method Details

TraceStatement() public méthode

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

TraceStatement() public méthode

public TraceStatement ( ExpressionList operands ) : System.Collections.Generic
operands	ExpressionList
Résultat	System.Collections.Generic

TraceStatement() public méthode

public TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
operands	ExpressionList
sourceContext	System.Compiler.SourceContext
Résultat	System.Collections.Generic