Exemple #1
0
            protected internal override void VisitCheckFinite(CheckFinite node, object data)
            {
                StackTypes stack = data as StackTypes;
                Verifier.ProcessCkFinite(stack);

                AddTask(node.Next,stack);
            }
Exemple #2
0
 protected internal virtual void VisitCheckFinite(CheckFinite node, object data)
 {
     throw new NodeNotSupportedException(node);
 }
Exemple #3
0
 protected override void VisitCheckFinite(CheckFinite upNode, object o)
 {
 }
Exemple #4
0
 protected override void VisitCheckFinite(CheckFinite upNode, object o)
 {
     State state = o as State;
     BTValue val = state.Stack[0] as PrimitiveBTValue;
     Annotation.SetNodeBTType(upNode, val.BTType);
 }
Exemple #5
0
 protected internal override void VisitCheckFinite(CheckFinite node, object data)
 {
     generator.Emit(OpCodes.Ckfinite);
     AddTask(node.Next,null);
 }