private bool push_stack(state_type s, gotof_type g, Value v)
{
bool f = this.stack.push(new stack_frame(s, g, v));
System.Diagnostics.Debug.Assert(!this.error);
if(!f)
{
this.error = true;
this.sa.stack_overflow();
}
return f;
}
public stack_frame(state_type s, gotof_type g, Value v)
{
state = s; gotof = g; value = v;
}
