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