private int jjStartNfaWithStates_5(int pos, int kind, int state) { jjmatchedKind = kind; jjmatchedPos = pos; if (!input_stream.ReadChar()) { return pos + 1; } return jjMoveNfa_5(state, pos + 1); }