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; }