static DFAState InitERROR() { DFAState state = new DFAState(new ATNConfigSet()); state.stateNumber = Int32.MaxValue; return state; }