GetST() private method

private GetST ( EvaluationContext ec ) : Microsoft.Automata.ST
ec EvaluationContext
return Microsoft.Automata.ST
Example #1
0
        internal override void RunQuery(EvaluationContext ec)
        {
            Expression body = subexpressions[0];

            if (body.IsSFA(ec))
            {
                ec.sfaMap[symbol.Name] = body.GetSFA(ec);
            }
            else //must be transducer
            {
                ec.stMap[symbol.Name] = body.GetST(ec);
            }
            //ec.tw.WriteLine("Assigned variable {0}", symbol);
        }