-/* SpecParserTokenManager.java */
-/* Generated By:JavaCC: Do not edit this line. SpecParserTokenManager.java */
-package edu.uci.eecs.specCompiler.grammerParser;
-
-/** Token Manager. */
-@SuppressWarnings("unused")public class SpecParserTokenManager implements SpecParserConstants {
-
- /** 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){
- switch (pos)
- {
- case 0:
- if ((active0 & 0x2L) != 0L)
- return 6;
- return -1;
- default :
- return -1;
- }
-}
-private final int jjStartNfa_0(int pos, long active0){
- return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0), 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 32:
- return jjStartNfaWithStates_0(0, 1, 6);
- case 42:
- return jjMoveStringLiteralDfa1_0(0x100L);
- case 47:
- return jjMoveStringLiteralDfa1_0(0x80L);
- case 64:
- return jjMoveStringLiteralDfa1_0(0x1ffe00L);
- 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);
- return 1;
- }
- switch(curChar)
- {
- case 10:
- if ((active0 & 0x10L) != 0L)
- return jjStopAtPos(1, 4);
- break;
- case 42:
- return jjMoveStringLiteralDfa2_0(active0, 0x80L);
- case 47:
- if ((active0 & 0x100L) != 0L)
- return jjStopAtPos(1, 8);
- break;
- case 65:
- return jjMoveStringLiteralDfa2_0(active0, 0x4000L);
- case 66:
- return jjMoveStringLiteralDfa2_0(active0, 0x200L);
- case 67:
- return jjMoveStringLiteralDfa2_0(active0, 0x3000L);
- case 69:
- return jjMoveStringLiteralDfa2_0(active0, 0x400L);
- case 71:
- return jjMoveStringLiteralDfa2_0(active0, 0x20000L);
- case 72:
- return jjMoveStringLiteralDfa2_0(active0, 0x40000L);
- case 73:
- return jjMoveStringLiteralDfa2_0(active0, 0x80800L);
- case 80:
- return jjMoveStringLiteralDfa2_0(active0, 0x118000L);
- default :
- break;
- }
- return jjStartNfa_0(0, active0);
-}
-private int jjMoveStringLiteralDfa2_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(0, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(1, active0);
- return 2;
- }
- switch(curChar)
- {
- case 42:
- if ((active0 & 0x80L) != 0L)
- return jjStopAtPos(2, 7);
- break;
- case 68:
- return jjMoveStringLiteralDfa3_0(active0, 0x800L);
- case 97:
- return jjMoveStringLiteralDfa3_0(active0, 0x40000L);
- case 99:
- return jjMoveStringLiteralDfa3_0(active0, 0x4000L);
- case 101:
- return jjMoveStringLiteralDfa3_0(active0, 0x200L);
- case 104:
- return jjMoveStringLiteralDfa3_0(active0, 0x2000L);
- case 108:
- return jjMoveStringLiteralDfa3_0(active0, 0x20000L);
- case 110:
- return jjMoveStringLiteralDfa3_0(active0, 0x80400L);
- case 111:
- return jjMoveStringLiteralDfa3_0(active0, 0x119000L);
- default :
- break;
- }
- return jjStartNfa_0(1, active0);
-}
-private int jjMoveStringLiteralDfa3_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(1, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(2, active0);
- return 3;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x800L) != 0L)
- return jjStopAtPos(3, 11);
- break;
- case 100:
- if ((active0 & 0x400L) != 0L)
- return jjStopAtPos(3, 10);
- break;
- case 101:
- return jjMoveStringLiteralDfa4_0(active0, 0x2000L);
- case 103:
- return jjMoveStringLiteralDfa4_0(active0, 0x200L);
- case 110:
- return jjMoveStringLiteralDfa4_0(active0, 0x1000L);
- case 111:
- return jjMoveStringLiteralDfa4_0(active0, 0x20000L);
- case 112:
- return jjMoveStringLiteralDfa4_0(active0, 0x40000L);
- case 115:
- return jjMoveStringLiteralDfa4_0(active0, 0x18000L);
- case 116:
- return jjMoveStringLiteralDfa4_0(active0, 0x184000L);
- default :
- break;
- }
- return jjStartNfa_0(2, active0);
-}
-private int jjMoveStringLiteralDfa4_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(2, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(3, active0);
- return 4;
- }
- switch(curChar)
- {
- case 98:
- return jjMoveStringLiteralDfa5_0(active0, 0x20000L);
- case 99:
- return jjMoveStringLiteralDfa5_0(active0, 0x2000L);
- case 100:
- return jjMoveStringLiteralDfa5_0(active0, 0x1000L);
- case 101:
- return jjMoveStringLiteralDfa5_0(active0, 0x180000L);
- case 105:
- return jjMoveStringLiteralDfa5_0(active0, 0x4200L);
- case 112:
- return jjMoveStringLiteralDfa5_0(active0, 0x40000L);
- case 116:
- return jjMoveStringLiteralDfa5_0(active0, 0x18000L);
- default :
- break;
- }
- return jjStartNfa_0(3, active0);
-}
-private int jjMoveStringLiteralDfa5_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(3, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(4, active0);
- return 5;
- }
- switch(curChar)
- {
- case 95:
- return jjMoveStringLiteralDfa6_0(active0, 0x18000L);
- case 97:
- return jjMoveStringLiteralDfa6_0(active0, 0x20000L);
- case 101:
- return jjMoveStringLiteralDfa6_0(active0, 0x40000L);
- case 105:
- return jjMoveStringLiteralDfa6_0(active0, 0x1000L);
- case 107:
- return jjMoveStringLiteralDfa6_0(active0, 0x2000L);
- case 110:
- if ((active0 & 0x200L) != 0L)
- return jjStopAtPos(5, 9);
- return jjMoveStringLiteralDfa6_0(active0, 0x100000L);
- case 111:
- return jjMoveStringLiteralDfa6_0(active0, 0x4000L);
- case 114:
- return jjMoveStringLiteralDfa6_0(active0, 0x80000L);
- default :
- break;
- }
- return jjStartNfa_0(4, active0);
-}
-private int jjMoveStringLiteralDfa6_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(4, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(5, active0);
- return 6;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x2000L) != 0L)
- return jjStopAtPos(6, 13);
- break;
- case 97:
- return jjMoveStringLiteralDfa7_0(active0, 0x8000L);
- case 99:
- return jjMoveStringLiteralDfa7_0(active0, 0x10000L);
- case 102:
- return jjMoveStringLiteralDfa7_0(active0, 0x80000L);
- case 108:
- return jjMoveStringLiteralDfa7_0(active0, 0x20000L);
- case 110:
- return jjMoveStringLiteralDfa7_0(active0, 0x44000L);
- case 116:
- return jjMoveStringLiteralDfa7_0(active0, 0x101000L);
- default :
- break;
- }
- return jjStartNfa_0(5, active0);
-}
-private int jjMoveStringLiteralDfa7_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(5, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(6, active0);
- return 7;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x4000L) != 0L)
- return jjStopAtPos(7, 14);
- break;
- case 95:
- return jjMoveStringLiteralDfa8_0(active0, 0x20000L);
- case 97:
- return jjMoveStringLiteralDfa8_0(active0, 0x80000L);
- case 99:
- return jjMoveStringLiteralDfa8_0(active0, 0x8000L);
- case 104:
- return jjMoveStringLiteralDfa8_0(active0, 0x10000L);
- case 105:
- return jjMoveStringLiteralDfa8_0(active0, 0x101000L);
- case 115:
- return jjMoveStringLiteralDfa8_0(active0, 0x40000L);
- default :
- break;
- }
- return jjStartNfa_0(6, active0);
-}
-private int jjMoveStringLiteralDfa8_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(6, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(7, active0);
- return 8;
- }
- switch(curChar)
- {
- case 95:
- return jjMoveStringLiteralDfa9_0(active0, 0x40000L);
- case 97:
- return jjMoveStringLiteralDfa9_0(active0, 0x100000L);
- case 99:
- return jjMoveStringLiteralDfa9_0(active0, 0x80000L);
- case 100:
- return jjMoveStringLiteralDfa9_0(active0, 0x20000L);
- case 101:
- return jjMoveStringLiteralDfa9_0(active0, 0x10000L);
- case 111:
- return jjMoveStringLiteralDfa9_0(active0, 0x1000L);
- case 116:
- return jjMoveStringLiteralDfa9_0(active0, 0x8000L);
- default :
- break;
- }
- return jjStartNfa_0(7, active0);
-}
-private int jjMoveStringLiteralDfa9_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(7, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(8, active0);
- return 9;
- }
- switch(curChar)
- {
- case 98:
- return jjMoveStringLiteralDfa10_0(active0, 0x40000L);
- case 99:
- return jjMoveStringLiteralDfa10_0(active0, 0x10000L);
- case 101:
- return jjMoveStringLiteralDfa10_0(active0, 0xa0000L);
- case 105:
- return jjMoveStringLiteralDfa10_0(active0, 0x8000L);
- case 108:
- return jjMoveStringLiteralDfa10_0(active0, 0x100000L);
- case 110:
- return jjMoveStringLiteralDfa10_0(active0, 0x1000L);
- default :
- break;
- }
- return jjStartNfa_0(8, active0);
-}
-private int jjMoveStringLiteralDfa10_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(8, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(9, active0);
- return 10;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x1000L) != 0L)
- return jjStopAtPos(10, 12);
- break;
- case 95:
- return jjMoveStringLiteralDfa11_0(active0, 0x180000L);
- case 101:
- return jjMoveStringLiteralDfa11_0(active0, 0x40000L);
- case 102:
- return jjMoveStringLiteralDfa11_0(active0, 0x20000L);
- case 107:
- return jjMoveStringLiteralDfa11_0(active0, 0x10000L);
- case 111:
- return jjMoveStringLiteralDfa11_0(active0, 0x8000L);
- default :
- break;
- }
- return jjStartNfa_0(9, active0);
-}
-private int jjMoveStringLiteralDfa11_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(9, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(10, active0);
- return 11;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x10000L) != 0L)
- return jjStopAtPos(11, 16);
- break;
- case 99:
- return jjMoveStringLiteralDfa12_0(active0, 0x180000L);
- case 102:
- return jjMoveStringLiteralDfa12_0(active0, 0x40000L);
- case 105:
- return jjMoveStringLiteralDfa12_0(active0, 0x20000L);
- case 110:
- return jjMoveStringLiteralDfa12_0(active0, 0x8000L);
- default :
- break;
- }
- return jjStartNfa_0(10, active0);
-}
-private int jjMoveStringLiteralDfa12_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(10, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(11, active0);
- return 12;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x8000L) != 0L)
- return jjStopAtPos(12, 15);
- break;
- case 108:
- return jjMoveStringLiteralDfa13_0(active0, 0x80000L);
- case 110:
- return jjMoveStringLiteralDfa13_0(active0, 0x20000L);
- case 111:
- return jjMoveStringLiteralDfa13_0(active0, 0x140000L);
- default :
- break;
- }
- return jjStartNfa_0(11, active0);
-}
-private int jjMoveStringLiteralDfa13_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(11, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(12, active0);
- return 13;
- }
- switch(curChar)
- {
- case 101:
- return jjMoveStringLiteralDfa14_0(active0, 0x20000L);
- case 109:
- return jjMoveStringLiteralDfa14_0(active0, 0x100000L);
- case 114:
- return jjMoveStringLiteralDfa14_0(active0, 0x40000L);
- case 117:
- return jjMoveStringLiteralDfa14_0(active0, 0x80000L);
- default :
- break;
- }
- return jjStartNfa_0(12, active0);
-}
-private int jjMoveStringLiteralDfa14_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(12, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(13, active0);
- return 14;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x20000L) != 0L)
- return jjStopAtPos(14, 17);
- break;
- case 101:
- return jjMoveStringLiteralDfa15_0(active0, 0x40000L);
- case 109:
- return jjMoveStringLiteralDfa15_0(active0, 0x100000L);
- case 115:
- return jjMoveStringLiteralDfa15_0(active0, 0x80000L);
- default :
- break;
- }
- return jjStartNfa_0(13, active0);
-}
-private int jjMoveStringLiteralDfa15_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(13, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(14, active0);
- return 15;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x40000L) != 0L)
- return jjStopAtPos(15, 18);
- break;
- case 105:
- return jjMoveStringLiteralDfa16_0(active0, 0x100000L);
- case 116:
- return jjMoveStringLiteralDfa16_0(active0, 0x80000L);
- default :
- break;
- }
- return jjStartNfa_0(14, active0);
-}
-private int jjMoveStringLiteralDfa16_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(14, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(15, active0);
- return 16;
- }
- switch(curChar)
- {
- case 101:
- return jjMoveStringLiteralDfa17_0(active0, 0x80000L);
- case 116:
- return jjMoveStringLiteralDfa17_0(active0, 0x100000L);
- default :
- break;
- }
- return jjStartNfa_0(15, active0);
-}
-private int jjMoveStringLiteralDfa17_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(15, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(16, active0);
- return 17;
- }
- switch(curChar)
- {
- case 95:
- return jjMoveStringLiteralDfa18_0(active0, 0x100000L);
- case 114:
- return jjMoveStringLiteralDfa18_0(active0, 0x80000L);
- default :
- break;
- }
- return jjStartNfa_0(16, active0);
-}
-private int jjMoveStringLiteralDfa18_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(16, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(17, active0);
- return 18;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x80000L) != 0L)
- return jjStopAtPos(18, 19);
- break;
- case 112:
- return jjMoveStringLiteralDfa19_0(active0, 0x100000L);
- default :
- break;
- }
- return jjStartNfa_0(17, active0);
-}
-private int jjMoveStringLiteralDfa19_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(17, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(18, active0);
- return 19;
- }
- switch(curChar)
- {
- case 111:
- return jjMoveStringLiteralDfa20_0(active0, 0x100000L);
- default :
- break;
- }
- return jjStartNfa_0(18, active0);
-}
-private int jjMoveStringLiteralDfa20_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(18, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(19, active0);
- return 20;
- }
- switch(curChar)
- {
- case 105:
- return jjMoveStringLiteralDfa21_0(active0, 0x100000L);
- default :
- break;
- }
- return jjStartNfa_0(19, active0);
-}
-private int jjMoveStringLiteralDfa21_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(19, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(20, active0);
- return 21;
- }
- switch(curChar)
- {
- case 110:
- return jjMoveStringLiteralDfa22_0(active0, 0x100000L);
- default :
- break;
- }
- return jjStartNfa_0(20, active0);
-}
-private int jjMoveStringLiteralDfa22_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(20, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(21, active0);
- return 22;
- }
- switch(curChar)
- {
- case 116:
- return jjMoveStringLiteralDfa23_0(active0, 0x100000L);
- default :
- break;
- }
- return jjStartNfa_0(21, active0);
-}
-private int jjMoveStringLiteralDfa23_0(long old0, long active0){
- if (((active0 &= old0)) == 0L)
- return jjStartNfa_0(21, old0);
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) {
- jjStopStringLiteralDfa_0(22, active0);
- return 23;
- }
- switch(curChar)
- {
- case 58:
- if ((active0 & 0x100000L) != 0L)
- return jjStopAtPos(23, 20);
- break;
- default :
- break;
- }
- return jjStartNfa_0(22, active0);
-}
-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 = 6;
- 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 6:
- if ((0x100000200L & l) != 0L)
- { jjCheckNAddTwoStates(2, 3); }
- else if (curChar == 35)
- { jjCheckNAddTwoStates(4, 5); }
- if ((0x100000200L & l) != 0L)
- {
- if (kind > 5)
- kind = 5;
- { jjCheckNAdd(1); }
- }
- break;
- case 0:
- if ((0x100000200L & l) == 0L)
- break;
- if (kind > 5)
- kind = 5;
- { jjCheckNAddStates(0, 2); }
- break;
- case 1:
- if ((0x100000200L & l) == 0L)
- break;
- if (kind > 5)
- kind = 5;
- { jjCheckNAdd(1); }
- break;
- case 2:
- if ((0x100000200L & l) != 0L)
- { jjCheckNAddTwoStates(2, 3); }
- break;
- case 3:
- if (curChar == 35)
- { jjCheckNAddTwoStates(4, 5); }
- break;
- case 4:
- if ((0xffffffffffffdbffL & l) != 0L)
- { jjCheckNAddTwoStates(4, 5); }
- break;
- case 5:
- if ((0x2400L & l) != 0L)
- kind = 6;
- break;
- default : break;
- }
- } while(i != startsAt);
- }
- else if (curChar < 128)
- {
- long l = 1L << (curChar & 077);
- do
- {
- switch(jjstateSet[--i])
- {
- case 4:
- { jjAddStates(3, 4); }
- 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 4:
- if (jjCanMove_0(hiByte, i1, i2, l1, l2))
- { jjAddStates(3, 4); }
- 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 = 6 - (jjnewStateCnt = startsAt)))
- return curPos;
- try { curChar = input_stream.readChar(); }
- catch(java.io.IOException e) { return curPos; }
- }
-}
-static final int[] jjnextStates = {
- 1, 2, 3, 4, 5,
-};
-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, null, "\57\52\52", "\52\57",
-"\100\102\145\147\151\156", "\100\105\156\144", "\100\111\104\72",
-"\100\103\157\156\144\151\164\151\157\156\72", "\100\103\150\145\143\153\72", "\100\101\143\164\151\157\156\72",
-"\100\120\157\163\164\137\141\143\164\151\157\156\72", "\100\120\157\163\164\137\143\150\145\143\153\72",
-"\100\107\154\157\142\141\154\137\144\145\146\151\156\145\72", "\100\110\141\160\160\145\156\163\137\142\145\146\157\162\145\72",
-"\100\111\156\164\145\162\146\141\143\145\137\143\154\165\163\164\145\162\72",
-"\100\120\157\164\145\156\164\151\141\154\137\143\157\155\155\151\164\137\160\157\151\156\164\72", };
-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 <= 10 && (0x400L & (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 SpecParserTokenManager(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 SpecParserTokenManager (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 = 6; 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 = {
- 0x1fffe1L,
-};
-static final long[] jjtoSkip = {
- 0x1eL,
-};
- protected JavaCharStream input_stream;
-
- private final int[] jjrounds = new int[6];
- private final int[] jjstateSet = new int[2 * 6];
-
-
- protected char curChar;
-}