Microsoft.Zing.TraceStatement.TraceStatement C# (CSharp) Method

TraceStatement Class Documentation Show file Open project: ZingModelChecker/Zing

TraceStatement() public method

public TraceStatement ( ExpressionList operands, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
operands ExpressionList
sourceContext System.Compiler.SourceContext
return System.Collections.Generic 
        public TraceStatement(ExpressionList operands, SourceContext sourceContext)
            : this(operands)
        {
            this.SourceContext = sourceContext;
        }

Same methods

TraceStatement::TraceStatement ( ) : System.Collections.Generic
TraceStatement::TraceStatement ( ExpressionList operands ) : System.Collections.Generic
TraceStatement
TraceStatement