protected internal override void VisitCheckFinite(CheckFinite node, object data)
{
StackTypes stack = data as StackTypes;
Verifier.ProcessCkFinite(stack);
AddTask(node.Next,stack);
}
protected internal virtual void VisitCheckFinite(CheckFinite node, object data)
{
throw new NodeNotSupportedException(node);
}
protected override void VisitCheckFinite(CheckFinite upNode, object o)
{
}
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);
}
protected internal override void VisitCheckFinite(CheckFinite node, object data)
{
generator.Emit(OpCodes.Ckfinite);
AddTask(node.Next,null);
}
