All Downloads are FREE. Search and download functionalities are using the official Maven repository.

uk.ac.manchester.cs.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager Maven / Gradle / Ivy

/* Generated By:JavaCC: Do not edit this line. DLSyntaxParserTokenManager.java */
package uk.ac.manchester.cs.owlapi.dlsyntax.parser;

import org.semanticweb.owlapi.model.OWLRuntimeException;

/** Token Manager. */
@SuppressWarnings("unused")
public class DLSyntaxParserTokenManager implements DLSyntaxParserConstants {

    /** Debug output. */
    public java.io.PrintStream debugStream = System.out;

    /**
     * Set debug output.
     * 
     * @param ds
     *        the new debug stream
     */
    public void setDebugStream(java.io.PrintStream ds) {
        debugStream = ds;
    }

    /**
     * Jj stop string literal dfa_0.
     * 
     * @param pos
     *        the pos
     * @param active0
     *        the active0
     * @return the int
     */
    private int jjStopStringLiteralDfa_0(int pos, long active0) {
        switch (pos) {
            default:
                return -1;
        }
    }

    /**
     * Jj start nfa_0.
     * 
     * @param pos
     *        the pos
     * @param active0
     *        the active0
     * @return the int
     */
    private int jjStartNfa_0(int pos, long active0) {
        return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0), pos + 1);
    }

    /**
     * Jj stop at pos.
     * 
     * @param pos
     *        the pos
     * @param kind
     *        the kind
     * @return the int
     */
    private int jjStopAtPos(int pos, int kind) {
        jjmatchedKind = kind;
        jjmatchedPos = pos;
        return pos + 1;
    }

    /**
     * Jj move string literal dfa0_0.
     * 
     * @return the int
     */
    private int jjMoveStringLiteralDfa0_0() {
        switch (curChar) {
            case 10:
                return jjStopAtPos(0, 30);
            case 13:
                return jjStartNfaWithStates_0(0, 2, 43);
            case 40:
                return jjStopAtPos(0, 10);
            case 41:
                return jjStopAtPos(0, 11);
            case 44:
                return jjStopAtPos(0, 31);
            case 46:
                return jjStopAtPos(0, 8);
            case 58:
                return jjStartNfaWithStates_0(0, 16, 43);
            case 91:
                return jjStopAtPos(0, 12);
            case 93:
                return jjStopAtPos(0, 13);
            case 123:
                return jjStopAtPos(0, 14);
            case 125:
                return jjStopAtPos(0, 15);
            default:
                return jjMoveNfa_0(0, 0);
        }
    }

    /**
     * Jj start nfa with states_0.
     * 
     * @param pos
     *        the pos
     * @param kind
     *        the kind
     * @param state
     *        the state
     * @return the int
     */
    private int jjStartNfaWithStates_0(int pos, int kind, int state) {
        jjmatchedKind = kind;
        jjmatchedPos = pos;
        try {
            curChar = input_stream.readChar();
        } catch (java.io.IOException e) {
            return pos + 1;
        }
        return jjMoveNfa_0(state, pos + 1);
    }

    /** The Constant jjbitVec0. */
    static final long[] jjbitVec0 = { 0x0L, 0x0L, 0x20000L, 0x0L };
    /** The Constant jjbitVec1. */
    static final long[] jjbitVec1 = { 0x0L, 0x200000000L, 0x0L, 0x0L };
    /** The Constant jjbitVec2. */
    static final long[] jjbitVec2 = { 0x0L, 0x100000000L, 0x0L, 0x0L };
    /** The Constant jjbitVec3. */
    static final long[] jjbitVec3 = { 0x1000000L, 0x0L, 0x0L, 0x0L };
    /** The Constant jjbitVec4. */
    static final long[] jjbitVec4 = { 0x0L, 0x800000000000000L, 0x0L, 0x0L };
    /** The Constant jjbitVec5. */
    static final long[] jjbitVec5 = { 0x0L, 0x0L, 0x80000L, 0x0L };
    /** The Constant jjbitVec6. */
    static final long[] jjbitVec6 = { 0x0L, 0x0L, 0x100000L, 0x0L };
    /** The Constant jjbitVec7. */
    static final long[] jjbitVec7 = { 0x0L, 0x0L, 0x100000000000L, 0x0L };
    /** The Constant jjbitVec8. */
    static final long[] jjbitVec8 = { 0x8L, 0x0L, 0x0L, 0x0L };
    /** The Constant jjbitVec9. */
    static final long[] jjbitVec9 = { 0x1L, 0x0L, 0x0L, 0x0L };
    /** The Constant jjbitVec10. */
    static final long[] jjbitVec10 = { 0x0L, 0x2000000000L, 0x0L, 0x0L };
    /** The Constant jjbitVec11. */
    static final long[] jjbitVec11 = { 0x0L, 0x1000000000L, 0x0L, 0x0L };
    /** The Constant jjbitVec12. */
    static final long[] jjbitVec12 = { 0x100L, 0x0L, 0x0L, 0x0L };
    /** The Constant jjbitVec13. */
    static final long[] jjbitVec13 = { 0x0L, 0x400000000000000L, 0x0L, 0x0L };
    /** The Constant jjbitVec14. */
    static final long[] jjbitVec14 = { 0xfffffffafffffffeL,
            0xffffffffffffffffL, 0xffffffffffffffffL, 0xffffffffffffffffL };
    /** The Constant jjbitVec16. */
    static final long[] jjbitVec16 = { 0x0L, 0x0L, 0xffffefffffffffffL,
            0xffffffffffffffffL };
    /** The Constant jjbitVec17. */
    static final long[] jjbitVec17 = { 0xffffffffffffffffL,
            0xf7ffffffffffffffL, 0xffffffffffffffffL, 0xffffffffffffffffL };
    /** The Constant jjbitVec18. */
    static final long[] jjbitVec18 = { 0xfffffffffffffeffL,
            0xffffffffffffffffL, 0xffffffffffffffffL, 0xffffffffffffffffL };

    /**
     * Jj move nfa_0.
     * 
     * @param startState
     *        the start state
     * @param _curPos
     *        the _cur pos
     * @return the int
     */
    private int jjMoveNfa_0(int startState, int _curPos) {
        int curPos = _curPos;
        int startsAt = 0;
        jjnewStateCnt = 121;
        int i = 1;
        jjstateSet[0] = startState;
        int kind = 0x7fffffff;
        for (;;) {
            if (++jjround == 0x7fffffff) {
                ReInitRounds();
            }
            if (curChar < 64) {
                long l = 1L << curChar;
                do {
                    switch (jjstateSet[--i]) {
                        case 0:
                            if ((0x8fffacfefffff9ffL & l) != 0L) {
                                if (kind > 29) {
                                    kind = 29;
                                }
                                jjCheckNAdd(43);
                            } else if (curChar == 61) {
                                if (kind > 24) {
                                    kind = 24;
                                }
                            } else if (curChar == 60) {
                                if (kind > 23) {
                                    kind = 23;
                                }
                            } else if (curChar == 62) {
                                if (kind > 22) {
                                    kind = 22;
                                }
                            }
                            if ((0x3ff000000000000L & l) != 0L) {
                                if (kind > 27) {
                                    kind = 27;
                                }
                                jjCheckNAddStates(0, 2);
                            } else if (curChar == 33) {
                                jjstateSet[jjnewStateCnt++] = 10;
                            } else if (curChar == 61) {
                                jjstateSet[jjnewStateCnt++] = 7;
                            } else if (curChar == 45) {
                                jjstateSet[jjnewStateCnt++] = 1;
                            }
                            break;
                        case 1:
                            if (curChar == 62 && kind > 4) {
                                kind = 4;
                            }
                            break;
                        case 2:
                            if (curChar == 45) {
                                jjstateSet[jjnewStateCnt++] = 1;
                            }
                            break;
                        case 7:
                            if (curChar == 61 && kind > 5) {
                                kind = 5;
                            }
                            break;
                        case 8:
                            if (curChar == 61) {
                                jjstateSet[jjnewStateCnt++] = 7;
                            }
                            break;
                        case 10:
                            if (curChar == 61 && kind > 6) {
                                kind = 6;
                            }
                            break;
                        case 11:
                            if (curChar == 33) {
                                jjstateSet[jjnewStateCnt++] = 10;
                            }
                            break;
                        case 14:
                            if (curChar == 45 && kind > 9) {
                                kind = 9;
                            }
                            break;
                        case 35:
                            if (curChar == 62 && kind > 22) {
                                kind = 22;
                            }
                            break;
                        case 36:
                            if (curChar == 60) {
                                kind = 23;
                            }
                            break;
                        case 37:
                            if (curChar == 61 && kind > 24) {
                                kind = 24;
                            }
                            break;
                        case 43:
                            if ((0x8fffacfefffff9ffL & l) == 0L) {
                                break;
                            }
                            if (kind > 29) {
                                kind = 29;
                            }
                            jjCheckNAdd(43);
                            break;
                        case 116:
                            if ((0x3ff000000000000L & l) == 0L) {
                                break;
                            }
                            if (kind > 27) {
                                kind = 27;
                            }
                            jjCheckNAddStates(0, 2);
                            break;
                        case 117:
                            if ((0x3ff000000000000L & l) == 0L) {
                                break;
                            }
                            if (kind > 27) {
                                kind = 27;
                            }
                            jjCheckNAdd(117);
                            break;
                        case 118:
                            if ((0x3ff000000000000L & l) != 0L) {
                                jjCheckNAddTwoStates(118, 119);
                            }
                            break;
                        case 119:
                            if (curChar != 46) {
                                break;
                            }
                            kind = 28;
                            jjCheckNAdd(120);
                            break;
                        case 120:
                            if ((0x3ff000000000000L & l) == 0L) {
                                break;
                            }
                            if (kind > 28) {
                                kind = 28;
                            }
                            jjCheckNAdd(120);
                            break;
                        default:
                            break;
                    }
                } while (i != startsAt);
            } else if (curChar < 128) {
                long l = 1L << (curChar & 077);
                do {
                    switch (jjstateSet[--i]) {
                        case 0:
                            if ((0xd7ffffff97ffffffL & l) != 0L) {
                                if (kind > 29) {
                                    kind = 29;
                                }
                                jjCheckNAdd(43);
                            } else if (curChar == 94) {
                                jjstateSet[jjnewStateCnt++] = 14;
                            }
                            if (curChar == 101) {
                                jjAddStates(3, 4);
                            } else if (curChar == 92) {
                                jjAddStates(5, 14);
                            } else if (curChar == 116) {
                                jjAddStates(15, 16);
                            } else if (curChar == 82) {
                                jjstateSet[jjnewStateCnt++] = 41;
                            } else if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 38;
                            } else if (curChar == 102) {
                                jjstateSet[jjnewStateCnt++] = 33;
                            } else if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 25;
                            } else if (curChar == 111) {
                                jjstateSet[jjnewStateCnt++] = 21;
                            } else if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 18;
                            } else if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 4;
                            }
                            if (curChar == 111) {
                                if (kind > 7) {
                                    kind = 7;
                                }
                            }
                            break;
                        case 3:
                            if (curChar == 98 && kind > 4) {
                                kind = 4;
                            }
                            break;
                        case 4:
                            if (curChar == 117) {
                                jjstateSet[jjnewStateCnt++] = 3;
                            }
                            break;
                        case 5:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 4;
                            }
                            break;
                        case 12:
                            if (curChar == 111 && kind > 7) {
                                kind = 7;
                            }
                            break;
                        case 15:
                            if (curChar == 94) {
                                jjstateSet[jjnewStateCnt++] = 14;
                            }
                            break;
                        case 17:
                            if (curChar == 100 && kind > 17) {
                                kind = 17;
                            }
                            break;
                        case 18:
                            if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 17;
                            }
                            break;
                        case 19:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 18;
                            }
                            break;
                        case 21:
                            if (curChar == 114 && kind > 18) {
                                kind = 18;
                            }
                            break;
                        case 22:
                            if (curChar == 111) {
                                jjstateSet[jjnewStateCnt++] = 21;
                            }
                            break;
                        case 24:
                            if (curChar == 116 && kind > 19) {
                                kind = 19;
                            }
                            break;
                        case 25:
                        case 87:
                            if (curChar == 111) {
                                jjCheckNAdd(24);
                            }
                            break;
                        case 26:
                            if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 25;
                            }
                            break;
                        case 29:
                            if (curChar == 108 && kind > 21) {
                                kind = 21;
                            }
                            break;
                        case 30:
                        case 96:
                            if (curChar == 108) {
                                jjCheckNAdd(29);
                            }
                            break;
                        case 31:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 30;
                            }
                            break;
                        case 32:
                            if (curChar == 114) {
                                jjstateSet[jjnewStateCnt++] = 31;
                            }
                            break;
                        case 33:
                            if (curChar == 111) {
                                jjstateSet[jjnewStateCnt++] = 32;
                            }
                            break;
                        case 34:
                            if (curChar == 102) {
                                jjstateSet[jjnewStateCnt++] = 33;
                            }
                            break;
                        case 38:
                            if (curChar == 110 && kind > 25) {
                                kind = 25;
                            }
                            break;
                        case 39:
                            if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 38;
                            }
                            break;
                        case 42:
                            if (curChar == 82) {
                                jjstateSet[jjnewStateCnt++] = 41;
                            }
                            break;
                        case 43:
                            if ((0xd7ffffff97ffffffL & l) == 0L) {
                                break;
                            }
                            if (kind > 29) {
                                kind = 29;
                            }
                            jjCheckNAdd(43);
                            break;
                        case 44:
                            if (curChar == 116) {
                                jjAddStates(15, 16);
                            }
                            break;
                        case 45:
                            if (curChar == 115 && kind > 26) {
                                kind = 26;
                            }
                            break;
                        case 46:
                            if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 45;
                            }
                            break;
                        case 47:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 46;
                            }
                            break;
                        case 48:
                            if (curChar == 114) {
                                jjstateSet[jjnewStateCnt++] = 47;
                            }
                            break;
                        case 49:
                            if (curChar == 101 && kind > 26) {
                                kind = 26;
                            }
                            break;
                        case 50:
                            if (curChar == 118) {
                                jjstateSet[jjnewStateCnt++] = 49;
                            }
                            break;
                        case 51:
                            if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 50;
                            }
                            break;
                        case 52:
                            if (curChar == 116) {
                                jjstateSet[jjnewStateCnt++] = 51;
                            }
                            break;
                        case 53:
                            if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 52;
                            }
                            break;
                        case 54:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 53;
                            }
                            break;
                        case 55:
                            if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 54;
                            }
                            break;
                        case 56:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 55;
                            }
                            break;
                        case 57:
                            if (curChar == 114) {
                                jjstateSet[jjnewStateCnt++] = 56;
                            }
                            break;
                        case 58:
                            if (curChar == 92) {
                                jjAddStates(5, 14);
                            }
                            break;
                        case 59:
                            if (curChar == 113 && kind > 4) {
                                kind = 4;
                            }
                            break;
                        case 60:
                            if (curChar == 101) {
                                jjstateSet[jjnewStateCnt++] = 59;
                            }
                            break;
                        case 61:
                            if (curChar == 116) {
                                jjstateSet[jjnewStateCnt++] = 60;
                            }
                            break;
                        case 62:
                            if (curChar == 101) {
                                jjstateSet[jjnewStateCnt++] = 61;
                            }
                            break;
                        case 63:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 62;
                            }
                            break;
                        case 64:
                            if (curChar == 98) {
                                jjstateSet[jjnewStateCnt++] = 63;
                            }
                            break;
                        case 65:
                            if (curChar == 117) {
                                jjstateSet[jjnewStateCnt++] = 64;
                            }
                            break;
                        case 66:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 65;
                            }
                            break;
                        case 67:
                            if (curChar == 113) {
                                jjstateSet[jjnewStateCnt++] = 66;
                            }
                            break;
                        case 68:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 67;
                            }
                            break;
                        case 69:
                            if (curChar == 118 && kind > 5) {
                                kind = 5;
                            }
                            break;
                        case 70:
                            if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 69;
                            }
                            break;
                        case 71:
                            if (curChar == 117) {
                                jjstateSet[jjnewStateCnt++] = 70;
                            }
                            break;
                        case 72:
                            if (curChar == 113) {
                                jjstateSet[jjnewStateCnt++] = 71;
                            }
                            break;
                        case 73:
                            if (curChar == 101) {
                                jjstateSet[jjnewStateCnt++] = 72;
                            }
                            break;
                        case 74:
                            if (curChar == 116) {
                                jjstateSet[jjnewStateCnt++] = 10;
                            }
                            break;
                        case 75:
                            if (curChar == 111) {
                                jjstateSet[jjnewStateCnt++] = 74;
                            }
                            break;
                        case 76:
                            if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 75;
                            }
                            break;
                        case 77:
                            if (curChar == 112 && kind > 17) {
                                kind = 17;
                            }
                            break;
                        case 78:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 77;
                            }
                            break;
                        case 79:
                            if (curChar == 99) {
                                jjstateSet[jjnewStateCnt++] = 78;
                            }
                            break;
                        case 80:
                            if (curChar == 113) {
                                jjstateSet[jjnewStateCnt++] = 79;
                            }
                            break;
                        case 81:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 80;
                            }
                            break;
                        case 82:
                            if (curChar == 112 && kind > 18) {
                                kind = 18;
                            }
                            break;
                        case 83:
                            if (curChar == 117) {
                                jjstateSet[jjnewStateCnt++] = 82;
                            }
                            break;
                        case 84:
                            if (curChar == 99) {
                                jjstateSet[jjnewStateCnt++] = 83;
                            }
                            break;
                        case 85:
                            if (curChar == 113) {
                                jjstateSet[jjnewStateCnt++] = 84;
                            }
                            break;
                        case 86:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 85;
                            }
                            break;
                        case 88:
                            if (curChar == 110) {
                                jjstateSet[jjnewStateCnt++] = 87;
                            }
                            break;
                        case 89:
                            if (curChar == 108) {
                                jjstateSet[jjnewStateCnt++] = 88;
                            }
                            break;
                        case 90:
                            if (curChar == 115 && kind > 20) {
                                kind = 20;
                            }
                            break;
                        case 91:
                        case 108:
                            if (curChar == 116) {
                                jjCheckNAdd(90);
                            }
                            break;
                        case 92:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 91;
                            }
                            break;
                        case 93:
                            if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 92;
                            }
                            break;
                        case 94:
                            if (curChar == 120) {
                                jjstateSet[jjnewStateCnt++] = 93;
                            }
                            break;
                        case 95:
                            if (curChar == 101) {
                                jjstateSet[jjnewStateCnt++] = 94;
                            }
                            break;
                        case 97:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 96;
                            }
                            break;
                        case 98:
                            if (curChar == 114) {
                                jjstateSet[jjnewStateCnt++] = 97;
                            }
                            break;
                        case 99:
                            if (curChar == 111) {
                                jjstateSet[jjnewStateCnt++] = 98;
                            }
                            break;
                        case 100:
                            if (curChar == 102) {
                                jjstateSet[jjnewStateCnt++] = 99;
                            }
                            break;
                        case 101:
                            if (curChar == 113 && kind > 22) {
                                kind = 22;
                            }
                            break;
                        case 102:
                            if (curChar == 101) {
                                jjstateSet[jjnewStateCnt++] = 101;
                            }
                            break;
                        case 103:
                            if (curChar == 103) {
                                jjstateSet[jjnewStateCnt++] = 102;
                            }
                            break;
                        case 104:
                            if (curChar == 113 && kind > 23) {
                                kind = 23;
                            }
                            break;
                        case 105:
                            if (curChar == 101) {
                                jjstateSet[jjnewStateCnt++] = 104;
                            }
                            break;
                        case 106:
                            if (curChar == 108) {
                                jjstateSet[jjnewStateCnt++] = 105;
                            }
                            break;
                        case 107:
                            if (curChar == 101) {
                                jjAddStates(3, 4);
                            }
                            break;
                        case 109:
                            if (curChar == 115) {
                                jjstateSet[jjnewStateCnt++] = 108;
                            }
                            break;
                        case 110:
                            if (curChar == 105) {
                                jjstateSet[jjnewStateCnt++] = 109;
                            }
                            break;
                        case 111:
                            if (curChar == 120) {
                                jjstateSet[jjnewStateCnt++] = 110;
                            }
                            break;
                        case 112:
                            if (curChar == 108 && kind > 24) {
                                kind = 24;
                            }
                            break;
                        case 113:
                            if (curChar == 97) {
                                jjstateSet[jjnewStateCnt++] = 112;
                            }
                            break;
                        case 114:
                            if (curChar == 117) {
                                jjstateSet[jjnewStateCnt++] = 113;
                            }
                            break;
                        case 115:
                            if (curChar == 113) {
                                jjstateSet[jjnewStateCnt++] = 114;
                            }
                            break;
                        default:
                            break;
                    }
                } while (i != startsAt);
            } else {
                int hiByte = curChar >> 8;
                int i1 = hiByte >> 6;
                long l1 = 1L << (hiByte & 077);
                int i2 = (curChar & 0xff) >> 6;
                long l2 = 1L << (curChar & 077);
                do {
                    switch (jjstateSet[--i]) {
                        case 0:
                            if (jjCanMove_0(hiByte, i1, i2, l1, l2)) {
                                if (kind > 4) {
                                    kind = 4;
                                }
                            }
                            if (jjCanMove_1(hiByte, i1, i2, l1, l2)) {
                                if (kind > 5) {
                                    kind = 5;
                                }
                            }
                            if (jjCanMove_2(hiByte, i1, i2, l1, l2)) {
                                if (kind > 6) {
                                    kind = 6;
                                }
                            }
                            if (jjCanMove_3(hiByte, i1, i2, l1, l2)) {
                                if (kind > 7) {
                                    kind = 7;
                                }
                            }
                            if (jjCanMove_4(hiByte, i1, i2, l1, l2)) {
                                if (kind > 9) {
                                    kind = 9;
                                }
                            }
                            if (jjCanMove_5(hiByte, i1, i2, l1, l2)) {
                                if (kind > 17) {
                                    kind = 17;
                                }
                            }
                            if (jjCanMove_6(hiByte, i1, i2, l1, l2)) {
                                if (kind > 18) {
                                    kind = 18;
                                }
                            }
                            if (jjCanMove_7(hiByte, i1, i2, l1, l2)) {
                                if (kind > 19) {
                                    kind = 19;
                                }
                            }
                            if (jjCanMove_8(hiByte, i1, i2, l1, l2)) {
                                if (kind > 20) {
                                    kind = 20;
                                }
                            }
                            if (jjCanMove_9(hiByte, i1, i2, l1, l2)) {
                                if (kind > 21) {
                                    kind = 21;
                                }
                            }
                            if (jjCanMove_10(hiByte, i1, i2, l1, l2)) {
                                if (kind > 22) {
                                    kind = 22;
                                }
                            }
                            if (jjCanMove_11(hiByte, i1, i2, l1, l2)) {
                                if (kind > 23) {
                                    kind = 23;
                                }
                            }
                            if (jjCanMove_12(hiByte, i1, i2, l1, l2)) {
                                if (kind > 25) {
                                    kind = 25;
                                }
                            }
                            if (jjCanMove_14(hiByte, i1, i2, l1, l2)) {
                                if (kind > 29) {
                                    kind = 29;
                                }
                                jjCheckNAdd(43);
                            }
                            break;
                        case 6:
                            if (jjCanMove_1(hiByte, i1, i2, l1, l2) && kind > 5) {
                                kind = 5;
                            }
                            break;
                        case 9:
                            if (jjCanMove_2(hiByte, i1, i2, l1, l2) && kind > 6) {
                                kind = 6;
                            }
                            break;
                        case 12:
                            if (jjCanMove_3(hiByte, i1, i2, l1, l2) && kind > 7) {
                                kind = 7;
                            }
                            break;
                        case 13:
                            if (jjCanMove_4(hiByte, i1, i2, l1, l2) && kind > 9) {
                                kind = 9;
                            }
                            break;
                        case 16:
                            if (jjCanMove_5(hiByte, i1, i2, l1, l2)
                                    && kind > 17) {
                                kind = 17;
                            }
                            break;
                        case 20:
                            if (jjCanMove_6(hiByte, i1, i2, l1, l2)
                                    && kind > 18) {
                                kind = 18;
                            }
                            break;
                        case 23:
                            if (jjCanMove_7(hiByte, i1, i2, l1, l2)
                                    && kind > 19) {
                                kind = 19;
                            }
                            break;
                        case 27:
                            if (jjCanMove_8(hiByte, i1, i2, l1, l2)
                                    && kind > 20) {
                                kind = 20;
                            }
                            break;
                        case 28:
                            if (jjCanMove_9(hiByte, i1, i2, l1, l2)
                                    && kind > 21) {
                                kind = 21;
                            }
                            break;
                        case 35:
                            if (jjCanMove_10(hiByte, i1, i2, l1, l2)
                                    && kind > 22) {
                                kind = 22;
                            }
                            break;
                        case 36:
                            if (jjCanMove_11(hiByte, i1, i2, l1, l2)
                                    && kind > 23) {
                                kind = 23;
                            }
                            break;
                        case 40:
                            if (jjCanMove_12(hiByte, i1, i2, l1, l2)
                                    && kind > 25) {
                                kind = 25;
                            }
                            break;
                        case 41:
                            if (jjCanMove_13(hiByte, i1, i2, l1, l2)
                                    && kind > 26) {
                                kind = 26;
                            }
                            break;
                        case 43:
                            if (!jjCanMove_14(hiByte, i1, i2, l1, l2)) {
                                break;
                            }
                            if (kind > 29) {
                                kind = 29;
                            }
                            jjCheckNAdd(43);
                            break;
                        default:
                            break;
                    }
                } while (i != startsAt);
            }
            if (kind != 0x7fffffff) {
                jjmatchedKind = kind;
                jjmatchedPos = curPos;
                kind = 0x7fffffff;
            }
            ++curPos;
            if ((i = jjnewStateCnt) == (startsAt = 121 - (jjnewStateCnt = startsAt))) {
                return curPos;
            }
            try {
                curChar = input_stream.readChar();
            } catch (java.io.IOException e) {
                return curPos;
            }
        }
    }

    /** The Constant jjnextStates. */
    static final int[] jjnextStates = { 117, 118, 119, 111, 115, 68, 73, 76,
            81, 86, 89, 95, 100, 103, 106, 48, 57, };

    /**
     * Jj can move_0.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private static final boolean jjCanMove_0(int hiByte, int i1, int i2,
            long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec0[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_1.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private final boolean jjCanMove_1(int hiByte, int i1, int i2, long l1,
            long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec1[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_2.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private final boolean jjCanMove_2(int hiByte, int i1, int i2, long l1,
            long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec2[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_3.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_3(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec3[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_4.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_4(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 32:
                return (jjbitVec4[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_5.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_5(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec5[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_6.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_6(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec6[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_7.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_7(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 0:
                return (jjbitVec7[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_8.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_8(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec8[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_9.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_9(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec9[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_10.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_10(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec10[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_11.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_11(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec11[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_12.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_12(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 34:
                return (jjbitVec12[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_13.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_13(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 32:
                return (jjbitVec13[i2] & l2) != 0L;
            default:
                return false;
        }
    }

    /**
     * Jj can move_14.
     * 
     * @param hiByte
     *        the hi byte
     * @param i1
     *        the i1
     * @param i2
     *        the i2
     * @param l1
     *        the l1
     * @param l2
     *        the l2
     * @return true, if successful
     */
    private boolean jjCanMove_14(int hiByte, int i1, int i2, long l1, long l2) {
        switch (hiByte) {
            case 0:
                return (jjbitVec16[i2] & l2) != 0L;
            case 32:
                return (jjbitVec17[i2] & l2) != 0L;
            case 34:
                return (jjbitVec18[i2] & l2) != 0L;
            default:
                if ((jjbitVec14[i1] & l1) != 0L) {
                    return true;
                }
                return false;
        }
    }

    /** Token literal values. */
    public final String[] jjstrLiteralImages = { "", null, null, null, null,
            null, null, null, "\56", null, "\50", "\51", "\133", "\135",
            "\173", "\175", "\72", null, null, null, null, null, null, null,
            null, null, null, null, null, null, "\12", "\54", };
    /** Lexer state names. */
    public static final String[] lexStateNames = { "DEFAULT", };
    /** The Constant jjtoToken. */
    static final long[] jjtoToken = { 0xfffffff1L, };
    /** The Constant jjtoSkip. */
    static final long[] jjtoSkip = { 0xeL, };
    /** The input_stream. */
    protected JavaCharStream input_stream;
    /** The jjrounds. */
    private final int[] jjrounds = new int[121];
    /** The jjstate set. */
    private final int[] jjstateSet = new int[242];
    /** The cur char. */
    protected char curChar;

    /**
     * Constructor.
     * 
     * @param stream
     *        the stream
     */
    public DLSyntaxParserTokenManager(JavaCharStream stream) {
        if (JavaCharStream.staticFlag) {
            throw new OWLRuntimeException(
                    "ERROR: Cannot use a static CharStream class with a non-static lexical analyzer.");
        }
        input_stream = stream;
    }

    /**
     * Constructor.
     * 
     * @param stream
     *        the stream
     * @param lexState
     *        the lex state
     */
    public DLSyntaxParserTokenManager(JavaCharStream stream, int lexState) {
        this(stream);
        SwitchTo(lexState);
    }

    /**
     * Reinitialise parser.
     * 
     * @param stream
     *        the stream
     */
    public void ReInit(JavaCharStream stream) {
        jjmatchedPos = jjnewStateCnt = 0;
        curLexState = defaultLexState;
        input_stream = stream;
        ReInitRounds();
    }

    /** Re init rounds. */
    private void ReInitRounds() {
        int i;
        jjround = 0x80000001;
        for (i = 121; i-- > 0;) {
            jjrounds[i] = 0x80000000;
        }
    }

    /**
     * Reinitialise parser.
     * 
     * @param stream
     *        the stream
     * @param lexState
     *        the lex state
     */
    public void ReInit(JavaCharStream stream, int lexState) {
        ReInit(stream);
        SwitchTo(lexState);
    }

    /**
     * Switch to specified lex state.
     * 
     * @param lexState
     *        the lex state
     */
    public void SwitchTo(int lexState) {
        if (lexState >= 1 || lexState < 0) {
            throw new TokenMgrError("Error: Ignoring invalid lexical state : "
                    + lexState + ". State unchanged.",
                    TokenMgrError.INVALID_LEXICAL_STATE);
        } else {
            curLexState = lexState;
        }
    }

    /**
     * Jj fill token.
     * 
     * @return the token
     */
    protected Token jjFillToken() {
        final Token t;
        final String curTokenImage;
        final int beginLine;
        final int endLine;
        final int beginColumn;
        final int endColumn;
        String im = jjstrLiteralImages[jjmatchedKind];
        curTokenImage = im == null ? input_stream.GetImage() : im;
        beginLine = input_stream.getBeginLine();
        beginColumn = input_stream.getBeginColumn();
        endLine = input_stream.getEndLine();
        endColumn = input_stream.getEndColumn();
        t = Token.newToken(jjmatchedKind, curTokenImage);
        t.beginLine = beginLine;
        t.endLine = endLine;
        t.beginColumn = beginColumn;
        t.endColumn = endColumn;
        return t;
    }

    /** The cur lex state. */
    int curLexState = 0;
    /** The default lex state. */
    int defaultLexState = 0;
    /** The jjnew state cnt. */
    int jjnewStateCnt;
    /** The jjround. */
    int jjround;
    /** The jjmatched pos. */
    int jjmatchedPos;
    /** The jjmatched kind. */
    int jjmatchedKind;

    /**
     * Get the next Token.
     * 
     * @return the next token
     */
    public Token getNextToken() {
        Token matchedToken;
        int curPos = 0;
        EOFLoop: for (;;) {
            try {
                curChar = input_stream.BeginToken();
            } catch (java.io.IOException e) {
                jjmatchedKind = 0;
                matchedToken = jjFillToken();
                return matchedToken;
            }
            try {
                input_stream.backup(0);
                while (curChar <= 32 && (0x100000200L & 1L << curChar) != 0L) {
                    curChar = input_stream.BeginToken();
                }
            } catch (java.io.IOException e1) {
                continue EOFLoop;
            }
            jjmatchedKind = 0x7fffffff;
            jjmatchedPos = 0;
            curPos = jjMoveStringLiteralDfa0_0();
            if (jjmatchedKind != 0x7fffffff) {
                if (jjmatchedPos + 1 < curPos) {
                    input_stream.backup(curPos - jjmatchedPos - 1);
                }
                if ((jjtoToken[jjmatchedKind >> 6] & 1L << (jjmatchedKind & 077)) != 0L) {
                    matchedToken = jjFillToken();
                    return matchedToken;
                } else {
                    continue EOFLoop;
                }
            }
            int error_line = input_stream.getEndLine();
            int error_column = input_stream.getEndColumn();
            String error_after = null;
            boolean EOFSeen = false;
            try {
                input_stream.readChar();
                input_stream.backup(1);
            } catch (java.io.IOException e1) {
                EOFSeen = true;
                error_after = curPos <= 1 ? "" : input_stream.GetImage();
                if (curChar == '\n' || curChar == '\r') {
                    error_line++;
                    error_column = 0;
                } else {
                    error_column++;
                }
            }
            if (!EOFSeen) {
                input_stream.backup(1);
                error_after = curPos <= 1 ? "" : input_stream.GetImage();
            }
            throw new TokenMgrError(EOFSeen, curLexState, error_line,
                    error_column, error_after, curChar,
                    TokenMgrError.LEXICAL_ERROR);
        }
    }

    /**
     * Jj check n add.
     * 
     * @param state
     *        the state
     */
    private void jjCheckNAdd(int state) {
        if (jjrounds[state] != jjround) {
            jjstateSet[jjnewStateCnt++] = state;
            jjrounds[state] = jjround;
        }
    }

    /**
     * Jj add states.
     * 
     * @param _start
     *        the _start
     * @param end
     *        the end
     */
    private void jjAddStates(int _start, int end) {
        int start = _start;
        do {
            jjstateSet[jjnewStateCnt++] = jjnextStates[start];
        } while (start++ != end);
    }

    /**
     * Jj check n add two states.
     * 
     * @param state1
     *        the state1
     * @param state2
     *        the state2
     */
    private void jjCheckNAddTwoStates(int state1, int state2) {
        jjCheckNAdd(state1);
        jjCheckNAdd(state2);
    }

    /**
     * Jj check n add states.
     * 
     * @param _start
     *        the _start
     * @param end
     *        the end
     */
    private void jjCheckNAddStates(int _start, int end) {
        int start = _start;
        do {
            jjCheckNAdd(jjnextStates[start]);
        } while (start++ != end);
    }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy