Microsoft.Zing.TraceStatement.TraceStatement C# (CSharp) Méthode

TraceStatement Class Documentation Afficher le fichier Open project: ZingModelChecker/Zing

TraceStatement() public méthode

public TraceStatement ( ) : System.Collections.Generic
Résultat System.Collections.Generic 
        public TraceStatement()
            : base((NodeType)ZingNodeType.Trace)
        {
        }

Same methods

TraceStatement::TraceStatement ( ExpressionList operands ) : System.Collections.Generic
TraceStatement::TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
TraceStatement
TraceStatement