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

AcceptStatement Class Documentation Mostra file Open project: ZingModelChecker/Zing

AcceptStatement() public method

public AcceptStatement ( System.Compiler.Expression booleanExpr, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
booleanExpr System.Compiler.Expression
sourceContext System.Compiler.SourceContext
return System.Collections.Generic 
        public AcceptStatement(Expression booleanExpr, SourceContext sourceContext)
            : base((NodeType)ZingNodeType.Accept)
        {
            this.booleanExpr = booleanExpr;
            this.SourceContext = sourceContext;
        }

Same methods

AcceptStatement::AcceptStatement ( ) : System.Collections.Generic
AcceptStatement::AcceptStatement ( System.Compiler.Expression booleanExpr ) : System.Collections.Generic
AcceptStatement
AcceptStatement