/** * Push a new state identifier off the stack. * * @param newState the new state to push. * @param where the start position. */ protected void push(State newState, int where) { this.state = newState.stateIndex(); newState.push(where); stack.add(newState); }
/** * Push a new state identifier off the stack. * * @param newState the new state to push. * @param where the start position. */ protected void push(State newState, int where) { this.state = newState.stateIndex(); newState.push(where); stack.add(newState); }
/** * Push a new state identifier off the stack. * * @param newState the new state to push. * @param where the start position. */ protected void push(State newState, int where) { this.state = newState.stateIndex(); newState.push(where); stack.add(newState); }