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