--- /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