protected internal virtual void VisitMakeTypedRef(MakeTypedRef node, object data)
{
throw new NodeNotSupportedException(node);
}
protected override void VisitMakeTypedRef(MakeTypedRef node, object data)
{
throw new NodeNotSupportedException(node);
}
//protected internal override void VisitStoreObject(StoreObject node, object data)
//{
// StackTypes stack = data as StackTypes;
// Verifier.ProcessStObj(stack, node.Type);
// AddTask(node.Next,stack);
//}
protected internal override void VisitMakeTypedRef(MakeTypedRef node, object data)
{
throw new VerifierException();
//not supported yet...
}
