예제 #1
0
        public AbstractValue Lookup(Variable variable)
        {
            Variable newVar = _variableMap[variable];

            return(AbstractValue.LimitType(newVar.Type, Ast.ReadDefined(newVar)));
        }
예제 #2
0
 public override AbstractValue AbstractEvaluate(AbstractContext context)
 {
     return(AbstractValue.Constant(_value, this));
 }