void Push(Omnibroker._Choice Token)
{
_StackItem Item = new _StackItem ();
Item.State = State;
Item.Token = Current;
Stack.Add (Item);
//Console.WriteLine ("$$$$PUSH {0}", Current);
Current = Token;
}
void Pop()
{
if (Stack.Count == 0) throw new Exception ("Internal Parser Error");
_StackItem Item = Stack[Stack.Count -1];
State = Item.State;
Current = Item.Token;
Stack.RemoveAt (Stack.Count -1 ) ;
//Console.WriteLine ("$$$$POP {0}", Current);
}
