+++ /dev/null
-/* UtilParserTokenManager.java */
-/* Generated By:JavaCC: Do not edit this line. UtilParserTokenManager.java */
-package edu.uci.eecs.utilParser;
-import edu.uci.eecs.specExtraction.FunctionHeader;
-import edu.uci.eecs.specExtraction.QualifiedName;
-import edu.uci.eecs.specExtraction.VariableDeclaration;
-//import edu.uci.eecs.specExtraction.WrongAnnotationException;
-
-import java.io.FileInputStream;
-import java.io.FileNotFoundException;
-import java.io.InputStream;
-import java.io.ByteArrayInputStream;
-import java.io.File;
-import java.util.ArrayList;
-
-/** Token Manager. */
-@SuppressWarnings("unused")public class UtilParserTokenManager implements UtilParserConstants {
-
- /** Debug output. */
- public java.io.PrintStream debugStream = System.out;
- /** Set debug output. */
- public void setDebugStream(java.io.PrintStream ds) { debugStream = ds; }
-private final int jjStopStringLiteralDfa_0(int pos, long active0, long active1){
- switch (pos)
- {
- case 0:
- if ((active0 & 0x8000000L) != 0L)
- return 24;
- if ((active0 & 0x20000L) != 0L)
- return 85;
- if ((active0 & 0x3fc0L) != 0L)
- {
- jjmatchedKind = 16;
- return 1;
- }
- return -1;
- case 1:
- if ((active0 & 0x3fc0L) != 0L)
- {
- if (jjmatchedPos != 1)
- {
- jjmatchedKind = 16;
- jjmatchedPos = 1;
- }
- return 1;
- }
- return -1;
- case 2:
- if ((active0 & 0x1fc0L) != 0L)
- {
- jjmatchedKind = 16;
- jjmatchedPos = 2;
- return 1;
- }
- if ((active0 & 0x2000L) != 0L)
- return 1;
- return -1;
- case 3:
- if ((active0 & 0x1fc0L) != 0L)
- {
- jjmatchedKind = 16;
- jjmatchedPos = 3;
- return 1;
- }
- return -1;
- case 4:
- if ((active0 & 0x1e80L) != 0L)
- {
- jjmatchedKind = 16;
- jjmatchedPos = 4;
- return 1;
- }
- if ((active0 & 0x140L) != 0L)
- return 1;
- return -1;
- case 5:
- if ((active0 & 0x600L) != 0L)
- {
- jjmatchedKind = 16;
- jjmatchedPos = 5;
- return 1;
- }
- if ((active0 & 0x1880L) != 0L)
- return 1;
- return -1;
- case 6:
- if ((active0 & 0x600L) != 0L)
- {
- jjmatchedKind = 16;
- jjmatchedPos = 6;
- return 1;
- }
- return -1;
- default :
- return -1;
- }
-}
-private final int jjStartNfa_0(int pos, long active0, long active1){
- return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0, active1), pos + 1);
-}
-private int jjStopAtPos(int pos, int kind)
-{
- jjmatchedKind = kind;
- jjmatchedPos = pos;
- return pos + 1;
-}
-private int jjMoveStringLiteralDfa0_0(){
- switch(curChar)
- {
- case 13:
- jjmatchedKind = 3;
- return jjMoveStringLiteralDfa1_0(0x10L);
- case 33:
- jjmatchedKind = 31;
- return jjMoveStringLiteralDfa1_0(0x400000000000L);
- case 35:
- return jjStartNfaWithStates_0(0, 17, 85);
- case 36:
- return jjStopAtPos(0, 28);
- case 37:
- jjmatchedKind = 34;
- return jjMoveStringLiteralDfa1_0(0x1000000000000000L);
- case 38:
- jjmatchedKind = 32;
- return jjMoveStringLiteralDfa1_0(0x8000800000000000L);
- case 40:
- return jjStopAtPos(0, 21);
- case 41:
- return jjStopAtPos(0, 22);
- case 42:
- jjmatchedKind = 29;
- return jjMoveStringLiteralDfa1_0(0x400000000000000L);
- case 43:
- jjmatchedKind = 35;
- return jjMoveStringLiteralDfa1_0(0x100001000000000L);
- case 44:
- return jjStopAtPos(0, 26);
- case 45:
- jjmatchedKind = 37;
- return jjMoveStringLiteralDfa1_0(0x200004002000000L);
- case 46:
- return jjStartNfaWithStates_0(0, 27, 24);
- case 47:
- jjmatchedKind = 39;
- return jjMoveStringLiteralDfa1_0(0x800000000000000L);
- case 58:
- jjmatchedKind = 51;
- return jjMoveStringLiteralDfa1_0(0x10000000000000L);
- case 59:
- return jjStopAtPos(0, 64);
- case 60:
- jjmatchedKind = 41;
- return jjMoveStringLiteralDfa1_0(0x20100000000000L);
- case 61:
- jjmatchedKind = 20;
- return jjMoveStringLiteralDfa1_0(0x200000000000L);
- case 62:
- jjmatchedKind = 42;
- return jjMoveStringLiteralDfa1_0(0xc0080000000000L);
- case 63:
- return jjStopAtPos(0, 50);
- case 91:
- return jjStopAtPos(0, 18);
- case 92:
- return jjStopAtPos(0, 40);
- case 93:
- return jjStopAtPos(0, 19);
- case 94:
- jjmatchedKind = 49;
- return jjMoveStringLiteralDfa1_0(0x2000000000000000L);
- case 99:
- return jjMoveStringLiteralDfa1_0(0x140L);
- case 102:
- return jjMoveStringLiteralDfa1_0(0x2000L);
- case 105:
- return jjMoveStringLiteralDfa1_0(0x800L);
- case 115:
- return jjMoveStringLiteralDfa1_0(0x1080L);
- case 116:
- return jjMoveStringLiteralDfa1_0(0x400L);
- case 117:
- return jjMoveStringLiteralDfa1_0(0x200L);
- case 123:
- return jjStopAtPos(0, 23);
- case 124:
- jjmatchedKind = 33;
- return jjMoveStringLiteralDfa1_0(0x4001000000000000L);
- case 125:
- return jjStopAtPos(0, 24);
- case 126:
- return jjStopAtPos(0, 30);
- default :
- return jjMoveNfa_0(0, 0);
- }
-}
-private int jjMoveStringLiteralDfa1_0(long active0){
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(0, active0, 0L);
- return 1;
- }
- switch(curChar)
- {
- case 10:
- if ((active0 & 0x10L) != 0L)
- return jjStopAtPos(1, 4);
- break;
- case 38:
- if ((active0 & 0x800000000000L) != 0L)
- return jjStopAtPos(1, 47);
- break;
- case 43:
- if ((active0 & 0x1000000000L) != 0L)
- return jjStopAtPos(1, 36);
- break;
- case 45:
- if ((active0 & 0x4000000000L) != 0L)
- return jjStopAtPos(1, 38);
- break;
- case 58:
- if ((active0 & 0x10000000000000L) != 0L)
- return jjStopAtPos(1, 52);
- break;
- case 60:
- if ((active0 & 0x20000000000000L) != 0L)
- return jjStopAtPos(1, 53);
- break;
- case 61:
- if ((active0 & 0x80000000000L) != 0L)
- return jjStopAtPos(1, 43);
- else if ((active0 & 0x100000000000L) != 0L)
- return jjStopAtPos(1, 44);
- else if ((active0 & 0x200000000000L) != 0L)
- return jjStopAtPos(1, 45);
- else if ((active0 & 0x400000000000L) != 0L)
- return jjStopAtPos(1, 46);
- else if ((active0 & 0x100000000000000L) != 0L)
- return jjStopAtPos(1, 56);
- else if ((active0 & 0x200000000000000L) != 0L)
- return jjStopAtPos(1, 57);
- else if ((active0 & 0x400000000000000L) != 0L)
- return jjStopAtPos(1, 58);
- else if ((active0 & 0x800000000000000L) != 0L)
- return jjStopAtPos(1, 59);
- else if ((active0 & 0x1000000000000000L) != 0L)
- return jjStopAtPos(1, 60);
- else if ((active0 & 0x2000000000000000L) != 0L)
- return jjStopAtPos(1, 61);
- else if ((active0 & 0x4000000000000000L) != 0L)
- return jjStopAtPos(1, 62);
- else if ((active0 & 0x8000000000000000L) != 0L)
- return jjStopAtPos(1, 63);
- break;
- case 62:
- if ((active0 & 0x2000000L) != 0L)
- return jjStopAtPos(1, 25);
- else if ((active0 & 0x40000000000000L) != 0L)
- {
- jjmatchedKind = 54;
- jjmatchedPos = 1;
- }
- return jjMoveStringLiteralDfa2_0(active0, 0x80000000000000L);
- case 101:
- return jjMoveStringLiteralDfa2_0(active0, 0x400L);
- case 108:
- return jjMoveStringLiteralDfa2_0(active0, 0x100L);
- case 110:
- return jjMoveStringLiteralDfa2_0(active0, 0xa00L);
- case 111:
- return jjMoveStringLiteralDfa2_0(active0, 0x2040L);
- case 116:
- return jjMoveStringLiteralDfa2_0(active0, 0x1080L);
- case 124:
- if ((active0 & 0x1000000000000L) != 0L)
- return jjStopAtPos(1, 48);
- break;
- default :
- break;
- }
- return jjStartNfa_0(0, active0, 0L);
-}
-private int jjMoveStringLiteralDfa2_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(0, old0, 0L);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(1, active0, 0L);
- return 2;
- }
- switch(curChar)
- {
- case 62:
- if ((active0 & 0x80000000000000L) != 0L)
- return jjStopAtPos(2, 55);
- break;
- case 97:
- return jjMoveStringLiteralDfa3_0(active0, 0x1100L);
- case 108:
- return jjMoveStringLiteralDfa3_0(active0, 0x800L);
- case 109:
- return jjMoveStringLiteralDfa3_0(active0, 0x400L);
- case 110:
- return jjMoveStringLiteralDfa3_0(active0, 0x40L);
- case 114:
- if ((active0 & 0x2000L) != 0L)
- return jjStartNfaWithStates_0(2, 13, 1);
- return jjMoveStringLiteralDfa3_0(active0, 0x80L);
- case 115:
- return jjMoveStringLiteralDfa3_0(active0, 0x200L);
- default :
- break;
- }
- return jjStartNfa_0(1, active0, 0L);
-}
-private int jjMoveStringLiteralDfa3_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(1, old0, 0L);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(2, active0, 0L);
- return 3;
- }
- switch(curChar)
- {
- case 105:
- return jjMoveStringLiteralDfa4_0(active0, 0xa00L);
- case 112:
- return jjMoveStringLiteralDfa4_0(active0, 0x400L);
- case 115:
- return jjMoveStringLiteralDfa4_0(active0, 0x140L);
- case 116:
- return jjMoveStringLiteralDfa4_0(active0, 0x1000L);
- case 117:
- return jjMoveStringLiteralDfa4_0(active0, 0x80L);
- default :
- break;
- }
- return jjStartNfa_0(2, active0, 0L);
-}
-private int jjMoveStringLiteralDfa4_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(2, old0, 0L);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(3, active0, 0L);
- return 4;
- }
- switch(curChar)
- {
- case 99:
- return jjMoveStringLiteralDfa5_0(active0, 0x80L);
- case 103:
- return jjMoveStringLiteralDfa5_0(active0, 0x200L);
- case 105:
- return jjMoveStringLiteralDfa5_0(active0, 0x1000L);
- case 108:
- return jjMoveStringLiteralDfa5_0(active0, 0x400L);
- case 110:
- return jjMoveStringLiteralDfa5_0(active0, 0x800L);
- case 115:
- if ((active0 & 0x100L) != 0L)
- return jjStartNfaWithStates_0(4, 8, 1);
- break;
- case 116:
- if ((active0 & 0x40L) != 0L)
- return jjStartNfaWithStates_0(4, 6, 1);
- break;
- default :
- break;
- }
- return jjStartNfa_0(3, active0, 0L);
-}
-private int jjMoveStringLiteralDfa5_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(3, old0, 0L);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(4, active0, 0L);
- return 5;
- }
- switch(curChar)
- {
- case 97:
- return jjMoveStringLiteralDfa6_0(active0, 0x400L);
- case 99:
- if ((active0 & 0x1000L) != 0L)
- return jjStartNfaWithStates_0(5, 12, 1);
- break;
- case 101:
- if ((active0 & 0x800L) != 0L)
- return jjStartNfaWithStates_0(5, 11, 1);
- break;
- case 110:
- return jjMoveStringLiteralDfa6_0(active0, 0x200L);
- case 116:
- if ((active0 & 0x80L) != 0L)
- return jjStartNfaWithStates_0(5, 7, 1);
- break;
- default :
- break;
- }
- return jjStartNfa_0(4, active0, 0L);
-}
-private int jjMoveStringLiteralDfa6_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(4, old0, 0L);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(5, active0, 0L);
- return 6;
- }
- switch(curChar)
- {
- case 101:
- return jjMoveStringLiteralDfa7_0(active0, 0x200L);
- case 116:
- return jjMoveStringLiteralDfa7_0(active0, 0x400L);
- default :
- break;
- }
- return jjStartNfa_0(5, active0, 0L);
-}
-private int jjMoveStringLiteralDfa7_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(5, old0, 0L);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(6, active0, 0L);
- return 7;
- }
- switch(curChar)
- {
- case 100:
- if ((active0 & 0x200L) != 0L)
- return jjStartNfaWithStates_0(7, 9, 1);
- break;
- case 101:
- if ((active0 & 0x400L) != 0L)
- return jjStartNfaWithStates_0(7, 10, 1);
- break;
- default :
- break;
- }
- return jjStartNfa_0(6, active0, 0L);
-}
-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);
-}
-static final long[] jjbitVec0 = {
- 0xfffffffffffffffeL, 0xffffffffffffffffL, 0xffffffffffffffffL, 0xffffffffffffffffL
-};
-static final long[] jjbitVec2 = {
- 0x0L, 0x0L, 0xffffffffffffffffL, 0xffffffffffffffffL
-};
-private int jjMoveNfa_0(int startState, int curPos)
-{
- int startsAt = 0;
- jjnewStateCnt = 85;
- 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 ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddStates(0, 6); }
- else if (curChar == 35)
- { jjCheckNAddStates(7, 10); }
- else if (curChar == 46)
- { jjCheckNAdd(24); }
- else if (curChar == 39)
- { jjAddStates(11, 12); }
- else if (curChar == 34)
- { jjCheckNAddStates(13, 15); }
- if ((0x3fe000000000000L & l) != 0L)
- {
- if (kind > 67)
- kind = 67;
- { jjCheckNAddTwoStates(21, 22); }
- }
- else if (curChar == 48)
- {
- if (kind > 67)
- kind = 67;
- { jjCheckNAddStates(16, 20); }
- }
- break;
- case 85:
- if ((0xfffffffffffffbffL & l) != 0L)
- {
- if (kind > 79)
- kind = 79;
- { jjCheckNAdd(67); }
- }
- if ((0x100000200L & l) != 0L)
- { jjCheckNAddTwoStates(66, 67); }
- if ((0x100000200L & l) != 0L)
- { jjCheckNAddTwoStates(45, 65); }
- break;
- case 1:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 16)
- kind = 16;
- jjstateSet[jjnewStateCnt++] = 1;
- break;
- case 2:
- if (curChar == 34)
- { jjCheckNAddStates(13, 15); }
- break;
- case 3:
- if ((0xfffffffbffffdbffL & l) != 0L)
- { jjCheckNAddStates(13, 15); }
- break;
- case 5:
- if ((0x8400000000L & l) != 0L)
- { jjCheckNAddStates(13, 15); }
- break;
- case 6:
- if (curChar == 34 && kind > 65)
- kind = 65;
- break;
- case 7:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAddStates(21, 24); }
- break;
- case 8:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAddStates(13, 15); }
- break;
- case 9:
- if ((0xf000000000000L & l) != 0L)
- jjstateSet[jjnewStateCnt++] = 10;
- break;
- case 10:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAdd(8); }
- break;
- case 11:
- if (curChar == 39)
- { jjAddStates(11, 12); }
- break;
- case 12:
- if ((0xffffff7fffffdbffL & l) != 0L)
- { jjCheckNAdd(13); }
- break;
- case 13:
- if (curChar == 39 && kind > 66)
- kind = 66;
- break;
- case 15:
- if ((0x8400000000L & l) != 0L)
- { jjCheckNAdd(13); }
- break;
- case 16:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAddTwoStates(17, 13); }
- break;
- case 17:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAdd(13); }
- break;
- case 18:
- if ((0xf000000000000L & l) != 0L)
- jjstateSet[jjnewStateCnt++] = 19;
- break;
- case 19:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAdd(17); }
- break;
- case 20:
- if ((0x3fe000000000000L & l) == 0L)
- break;
- if (kind > 67)
- kind = 67;
- { jjCheckNAddTwoStates(21, 22); }
- break;
- case 21:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 67)
- kind = 67;
- { jjCheckNAddTwoStates(21, 22); }
- break;
- case 23:
- if (curChar == 46)
- { jjCheckNAdd(24); }
- break;
- case 24:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddStates(25, 27); }
- break;
- case 26:
- if ((0x280000000000L & l) != 0L)
- { jjCheckNAdd(27); }
- break;
- case 27:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddTwoStates(27, 28); }
- break;
- case 29:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddStates(0, 6); }
- break;
- case 30:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddStates(28, 30); }
- break;
- case 32:
- if ((0x280000000000L & l) != 0L)
- { jjCheckNAdd(33); }
- break;
- case 33:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddTwoStates(33, 28); }
- break;
- case 34:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddTwoStates(34, 35); }
- break;
- case 36:
- if ((0x280000000000L & l) != 0L)
- { jjCheckNAdd(37); }
- break;
- case 37:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddTwoStates(37, 28); }
- break;
- case 38:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddTwoStates(38, 39); }
- break;
- case 39:
- if (curChar != 46)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddStates(31, 33); }
- break;
- case 40:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddStates(31, 33); }
- break;
- case 42:
- if ((0x280000000000L & l) != 0L)
- { jjCheckNAdd(43); }
- break;
- case 43:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddTwoStates(43, 28); }
- break;
- case 44:
- if (curChar == 35)
- { jjCheckNAddStates(7, 10); }
- break;
- case 45:
- if ((0x100000200L & l) != 0L)
- { jjCheckNAddTwoStates(45, 65); }
- break;
- case 47:
- if ((0x100000200L & l) != 0L)
- { jjAddStates(34, 36); }
- break;
- case 48:
- if (curChar == 34)
- { jjCheckNAddStates(37, 39); }
- break;
- case 49:
- if ((0xfffffffbffffdbffL & l) != 0L)
- { jjCheckNAddStates(37, 39); }
- break;
- case 51:
- if ((0x8400000000L & l) != 0L)
- { jjCheckNAddStates(37, 39); }
- break;
- case 52:
- if (curChar == 34 && kind > 78)
- kind = 78;
- break;
- case 53:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAddStates(40, 43); }
- break;
- case 54:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAddStates(37, 39); }
- break;
- case 55:
- if ((0xf000000000000L & l) != 0L)
- jjstateSet[jjnewStateCnt++] = 56;
- break;
- case 56:
- if ((0xff000000000000L & l) != 0L)
- { jjCheckNAdd(54); }
- break;
- case 57:
- if (curChar == 60)
- { jjCheckNAdd(58); }
- break;
- case 58:
- if (curChar == 46)
- { jjCheckNAddTwoStates(58, 59); }
- break;
- case 59:
- if (curChar == 62 && kind > 78)
- kind = 78;
- break;
- case 66:
- if ((0x100000200L & l) != 0L)
- { jjCheckNAddTwoStates(66, 67); }
- break;
- case 67:
- if ((0xfffffffffffffbffL & l) == 0L)
- break;
- if (kind > 79)
- kind = 79;
- { jjCheckNAdd(67); }
- break;
- case 68:
- if (curChar != 48)
- break;
- if (kind > 67)
- kind = 67;
- { jjCheckNAddStates(16, 20); }
- break;
- case 70:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 67)
- kind = 67;
- { jjCheckNAddTwoStates(70, 22); }
- break;
- case 71:
- if ((0xff000000000000L & l) == 0L)
- break;
- if (kind > 67)
- kind = 67;
- { jjCheckNAddTwoStates(71, 22); }
- break;
- case 73:
- if ((0x3ff000000000000L & l) != 0L)
- { jjAddStates(44, 45); }
- break;
- case 74:
- if (curChar == 46)
- { jjCheckNAdd(75); }
- break;
- case 75:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddTwoStates(75, 76); }
- break;
- case 77:
- if ((0x280000000000L & l) != 0L)
- { jjCheckNAdd(78); }
- break;
- case 78:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddTwoStates(78, 28); }
- break;
- case 80:
- if ((0x3ff000000000000L & l) != 0L)
- { jjCheckNAddStates(46, 48); }
- break;
- case 81:
- if (curChar == 46)
- { jjCheckNAdd(82); }
- break;
- case 83:
- if ((0x280000000000L & l) != 0L)
- { jjCheckNAdd(84); }
- break;
- case 84:
- if ((0x3ff000000000000L & l) == 0L)
- break;
- if (kind > 71)
- kind = 71;
- { jjCheckNAddTwoStates(84, 28); }
- break;
- default : break;
- }
- } while(i != startsAt);
- }
- else if (curChar < 128)
- {
- long l = 1L << (curChar & 077);
- do
- {
- switch(jjstateSet[--i])
- {
- case 0:
- case 1:
- if ((0x7fffffe87fffffeL & l) == 0L)
- break;
- if (kind > 16)
- kind = 16;
- { jjCheckNAdd(1); }
- break;
- case 85:
- if (kind > 79)
- kind = 79;
- { jjCheckNAdd(67); }
- if (curChar == 105)
- jjstateSet[jjnewStateCnt++] = 64;
- break;
- case 3:
- if ((0xffffffffefffffffL & l) != 0L)
- { jjCheckNAddStates(13, 15); }
- break;
- case 4:
- if (curChar == 92)
- { jjAddStates(49, 51); }
- break;
- case 5:
- if ((0x14404410000000L & l) != 0L)
- { jjCheckNAddStates(13, 15); }
- break;
- case 12:
- if ((0xffffffffefffffffL & l) != 0L)
- { jjCheckNAdd(13); }
- break;
- case 14:
- if (curChar == 92)
- { jjAddStates(52, 54); }
- break;
- case 15:
- if ((0x14404410000000L & l) != 0L)
- { jjCheckNAdd(13); }
- break;
- case 22:
- if ((0x100000001000L & l) != 0L && kind > 67)
- kind = 67;
- break;
- case 25:
- if ((0x2000000020L & l) != 0L)
- { jjAddStates(55, 56); }
- break;
- case 28:
- if ((0x5000000050L & l) != 0L && kind > 71)
- kind = 71;
- break;
- case 31:
- if ((0x2000000020L & l) != 0L)
- { jjAddStates(57, 58); }
- break;
- case 35:
- if ((0x2000000020L & l) != 0L)
- { jjAddStates(59, 60); }
- break;
- case 41:
- if ((0x2000000020L & l) != 0L)
- { jjAddStates(61, 62); }
- break;
- case 46:
- if (curChar == 101)
- jjstateSet[jjnewStateCnt++] = 47;
- break;
- case 49:
- if ((0xffffffffefffffffL & l) != 0L)
- { jjCheckNAddStates(37, 39); }
- break;
- case 50:
- if (curChar == 92)
- { jjAddStates(63, 65); }
- break;
- case 51:
- if ((0x14404410000000L & l) != 0L)
- { jjCheckNAddStates(37, 39); }
- break;
- case 58:
- if ((0x7fffffe07fffffeL & l) != 0L)
- { jjAddStates(66, 67); }
- break;
- case 60:
- if (curChar == 100)
- jjstateSet[jjnewStateCnt++] = 46;
- break;
- case 61:
- if (curChar == 117)
- jjstateSet[jjnewStateCnt++] = 60;
- break;
- case 62:
- if (curChar == 108)
- jjstateSet[jjnewStateCnt++] = 61;
- break;
- case 63:
- if (curChar == 99)
- jjstateSet[jjnewStateCnt++] = 62;
- break;
- case 64:
- if (curChar == 110)
- jjstateSet[jjnewStateCnt++] = 63;
- break;
- case 65:
- if (curChar == 105)
- jjstateSet[jjnewStateCnt++] = 64;
- break;
- case 67:
- if (kind > 79)
- kind = 79;
- { jjCheckNAdd(67); }
- break;
- case 69:
- if ((0x100000001000000L & l) != 0L)
- { jjCheckNAdd(70); }
- break;
- case 70:
- if ((0x7e0000007eL & l) == 0L)
- break;
- if (kind > 67)
- kind = 67;
- { jjCheckNAddTwoStates(70, 22); }
- break;
- case 72:
- if ((0x100000001000000L & l) != 0L)
- { jjCheckNAddTwoStates(73, 74); }
- break;
- case 73:
- if ((0x7e0000007eL & l) != 0L)
- { jjCheckNAddTwoStates(73, 74); }
- break;
- case 75:
- if ((0x7e0000007eL & l) != 0L)
- { jjAddStates(68, 69); }
- break;
- case 76:
- if ((0x1000000010000L & l) != 0L)
- { jjAddStates(70, 71); }
- break;
- case 79:
- if ((0x100000001000000L & l) != 0L)
- { jjCheckNAdd(80); }
- break;
- case 80:
- if ((0x7e0000007eL & l) != 0L)
- { jjCheckNAddStates(46, 48); }
- break;
- case 82:
- if ((0x1000000010000L & l) != 0L)
- { jjAddStates(72, 73); }
- 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 85:
- case 67:
- if (!jjCanMove_0(hiByte, i1, i2, l1, l2))
- break;
- if (kind > 79)
- kind = 79;
- { jjCheckNAdd(67); }
- break;
- case 3:
- if (jjCanMove_0(hiByte, i1, i2, l1, l2))
- { jjAddStates(13, 15); }
- break;
- case 12:
- if (jjCanMove_0(hiByte, i1, i2, l1, l2))
- jjstateSet[jjnewStateCnt++] = 13;
- break;
- case 49:
- if (jjCanMove_0(hiByte, i1, i2, l1, l2))
- { jjAddStates(37, 39); }
- break;
- default : if (i1 == 0 || l1 == 0 || i2 == 0 || l2 == 0) break; else break;
- }
- } while(i != startsAt);
- }
- if (kind != 0x7fffffff)
- {
- jjmatchedKind = kind;
- jjmatchedPos = curPos;
- kind = 0x7fffffff;
- }
- ++curPos;
- if ((i = jjnewStateCnt) == (startsAt = 85 - (jjnewStateCnt = startsAt)))
- return curPos;
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) { return curPos; }
- }
-}
-static final int[] jjnextStates = {
- 30, 31, 28, 34, 35, 38, 39, 45, 65, 66, 67, 12, 14, 3, 4, 6,
- 69, 71, 22, 72, 79, 3, 4, 8, 6, 24, 25, 28, 30, 31, 28, 40,
- 41, 28, 47, 48, 57, 49, 50, 52, 49, 50, 54, 52, 73, 74, 80, 81,
- 82, 5, 7, 9, 15, 16, 18, 26, 27, 32, 33, 36, 37, 42, 43, 51,
- 53, 55, 58, 59, 75, 76, 77, 78, 83, 84,
-};
-private static final boolean jjCanMove_0(int hiByte, int i1, int i2, long l1, long l2)
-{
- switch(hiByte)
- {
- case 0:
- return ((jjbitVec2[i2] & l2) != 0L);
- default :
- if ((jjbitVec0[i1] & l1) != 0L)
- return true;
- return false;
- }
-}
-
-/** Token literal values. */
-public static final String[] jjstrLiteralImages = {
-"", null, null, null, null, null, "\143\157\156\163\164",
-"\163\164\162\165\143\164", "\143\154\141\163\163", "\165\156\163\151\147\156\145\144",
-"\164\145\155\160\154\141\164\145", "\151\156\154\151\156\145", "\163\164\141\164\151\143", "\146\157\162", null,
-null, null, "\43", "\133", "\135", "\75", "\50", "\51", "\173", "\175", "\55\76",
-"\54", "\56", "\44", "\52", "\176", "\41", "\46", "\174", "\45", "\53", "\53\53",
-"\55", "\55\55", "\57", "\134", "\74", "\76", "\76\75", "\74\75", "\75\75", "\41\75",
-"\46\46", "\174\174", "\136", "\77", "\72", "\72\72", "\74\74", "\76\76", "\76\76\76",
-"\53\75", "\55\75", "\52\75", "\57\75", "\45\75", "\136\75", "\174\75", "\46\75", "\73",
-null, null, null, null, null, null, null, null, null, null, null, null, null, null,
-null, };
-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;
-}
-
-int curLexState = 0;
-int defaultLexState = 0;
-int jjnewStateCnt;
-int jjround;
-int jjmatchedPos;
-int jjmatchedKind;
-
-/** Get 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;
- jjmatchedPos = -1;
- matchedToken = jjFillToken();
- return matchedToken;
- }
-
- try { input_stream.backup(0);
- while (curChar <= 32 && (0x100000600L & (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);
- }
-}
-
-private void jjCheckNAdd(int state)
-{
- if (jjrounds[state] != jjround)
- {
- jjstateSet[jjnewStateCnt++] = state;
- jjrounds[state] = jjround;
- }
-}
-private void jjAddStates(int start, int end)
-{
- do {
- jjstateSet[jjnewStateCnt++] = jjnextStates[start];
- } while (start++ != end);
-}
-private void jjCheckNAddTwoStates(int state1, int state2)
-{
- jjCheckNAdd(state1);
- jjCheckNAdd(state2);
-}
-
-private void jjCheckNAddStates(int start, int end)
-{
- do {
- jjCheckNAdd(jjnextStates[start]);
- } while (start++ != end);
-}
-
- /** Constructor. */
- public UtilParserTokenManager(JavaCharStream stream){
-
- if (JavaCharStream.staticFlag)
- throw new Error("ERROR: Cannot use a static CharStream class with a non-static lexical analyzer.");
-
- input_stream = stream;
- }
-
- /** Constructor. */
- public UtilParserTokenManager (JavaCharStream stream, int lexState){
- ReInit(stream);
- SwitchTo(lexState);
- }
-
- /** Reinitialise parser. */
- public void ReInit(JavaCharStream stream)
- {
- jjmatchedPos = jjnewStateCnt = 0;
- curLexState = defaultLexState;
- input_stream = stream;
- ReInitRounds();
- }
-
- private void ReInitRounds()
- {
- int i;
- jjround = 0x80000001;
- for (i = 85; i-- > 0;)
- jjrounds[i] = 0x80000000;
- }
-
- /** Reinitialise parser. */
- public void ReInit(JavaCharStream stream, int lexState)
- {
- ReInit(stream);
- SwitchTo(lexState);
- }
-
- /** Switch to specified 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;
- }
-
-/** Lexer state names. */
-public static final String[] lexStateNames = {
- "DEFAULT",
-};
-static final long[] jjtoToken = {
- 0xffffffffffff3fc1L, 0xc08fL,
-};
-static final long[] jjtoSkip = {
- 0x3eL, 0x0L,
-};
- protected JavaCharStream input_stream;
-
- private final int[] jjrounds = new int[85];
- private final int[] jjstateSet = new int[2 * 85];
-
-
- protected char curChar;
-}
projects / cdsspec-compiler.git / blobdiff