0001: // This file is part of KeY - Integrated Deductive Software Design
0002: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
0003: // Universitaet Koblenz-Landau, Germany
0004: // Chalmers University of Technology, Sweden
0005: //
0006: // The KeY system is protected by the GNU General Public License.
0007: // See LICENSE.TXT for details.
0008: //
0009: //
0010: /* Generated By:JavaCC: Do not edit this line. MyParserTokenManager.java */
0011: package de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyParser;
0012:
0013: public class MyParserTokenManager implements MyParserConstants {
0014: private final int jjStopStringLiteralDfa_0(int pos, long active0) {
0015: switch (pos) {
0016: case 0:
0017: if ((active0 & 0x2L) != 0L)
0018: return 0;
0019: if ((active0 & 0xc07ffe0L) != 0L) {
0020: jjmatchedKind = 23;
0021: return 0;
0022: }
0023: return -1;
0024: case 1:
0025: if ((active0 & 0xc07ffe0L) != 0L) {
0026: jjmatchedKind = 23;
0027: jjmatchedPos = 1;
0028: return 0;
0029: }
0030: return -1;
0031: case 2:
0032: if ((active0 & 0xc07ffe0L) != 0L) {
0033: jjmatchedKind = 23;
0034: jjmatchedPos = 2;
0035: return 0;
0036: }
0037: return -1;
0038: case 3:
0039: if ((active0 & 0xc07ffe0L) != 0L) {
0040: jjmatchedKind = 23;
0041: jjmatchedPos = 3;
0042: return 0;
0043: }
0044: return -1;
0045: case 4:
0046: if ((active0 & 0xc07ffe0L) != 0L) {
0047: jjmatchedKind = 23;
0048: jjmatchedPos = 4;
0049: return 0;
0050: }
0051: return -1;
0052: case 5:
0053: if ((active0 & 0x407ffe0L) != 0L) {
0054: jjmatchedKind = 23;
0055: jjmatchedPos = 5;
0056: return 0;
0057: }
0058: return -1;
0059: case 6:
0060: if ((active0 & 0x7ffa0L) != 0L) {
0061: jjmatchedKind = 23;
0062: jjmatchedPos = 6;
0063: return 0;
0064: }
0065: return -1;
0066: case 7:
0067: if ((active0 & 0x7fe20L) != 0L) {
0068: jjmatchedKind = 23;
0069: jjmatchedPos = 7;
0070: return 0;
0071: }
0072: return -1;
0073: case 8:
0074: if ((active0 & 0x7fe20L) != 0L) {
0075: jjmatchedKind = 23;
0076: jjmatchedPos = 8;
0077: return 0;
0078: }
0079: return -1;
0080: case 9:
0081: if ((active0 & 0x3be20L) != 0L) {
0082: jjmatchedKind = 23;
0083: jjmatchedPos = 9;
0084: return 0;
0085: }
0086: return -1;
0087: case 10:
0088: if ((active0 & 0x3be20L) != 0L) {
0089: jjmatchedKind = 23;
0090: jjmatchedPos = 10;
0091: return 0;
0092: }
0093: return -1;
0094: case 11:
0095: if ((active0 & 0x3be20L) != 0L) {
0096: jjmatchedKind = 23;
0097: jjmatchedPos = 11;
0098: return 0;
0099: }
0100: return -1;
0101: case 12:
0102: if ((active0 & 0x29e20L) != 0L) {
0103: jjmatchedKind = 23;
0104: jjmatchedPos = 12;
0105: return 0;
0106: }
0107: return -1;
0108: case 13:
0109: if ((active0 & 0x21e20L) != 0L) {
0110: jjmatchedKind = 23;
0111: jjmatchedPos = 13;
0112: return 0;
0113: }
0114: return -1;
0115: case 14:
0116: if ((active0 & 0x21620L) != 0L) {
0117: jjmatchedKind = 23;
0118: jjmatchedPos = 14;
0119: return 0;
0120: }
0121: return -1;
0122: case 15:
0123: if ((active0 & 0x21620L) != 0L) {
0124: jjmatchedKind = 23;
0125: jjmatchedPos = 15;
0126: return 0;
0127: }
0128: return -1;
0129: case 16:
0130: if ((active0 & 0x1620L) != 0L) {
0131: jjmatchedKind = 23;
0132: jjmatchedPos = 16;
0133: return 0;
0134: }
0135: return -1;
0136: case 17:
0137: if ((active0 & 0x620L) != 0L) {
0138: jjmatchedKind = 23;
0139: jjmatchedPos = 17;
0140: return 0;
0141: }
0142: return -1;
0143: case 18:
0144: if ((active0 & 0x620L) != 0L) {
0145: jjmatchedKind = 23;
0146: jjmatchedPos = 18;
0147: return 0;
0148: }
0149: return -1;
0150: case 19:
0151: if ((active0 & 0x600L) != 0L) {
0152: jjmatchedKind = 23;
0153: jjmatchedPos = 19;
0154: return 0;
0155: }
0156: return -1;
0157: case 20:
0158: if ((active0 & 0x600L) != 0L) {
0159: jjmatchedKind = 23;
0160: jjmatchedPos = 20;
0161: return 0;
0162: }
0163: return -1;
0164: case 21:
0165: if ((active0 & 0x600L) != 0L) {
0166: jjmatchedKind = 23;
0167: jjmatchedPos = 21;
0168: return 0;
0169: }
0170: return -1;
0171: case 22:
0172: if ((active0 & 0x600L) != 0L) {
0173: jjmatchedKind = 23;
0174: jjmatchedPos = 22;
0175: return 0;
0176: }
0177: return -1;
0178: case 23:
0179: if ((active0 & 0x600L) != 0L) {
0180: jjmatchedKind = 23;
0181: jjmatchedPos = 23;
0182: return 0;
0183: }
0184: return -1;
0185: default:
0186: return -1;
0187: }
0188: }
0189:
0190: private final int jjStartNfa_0(int pos, long active0) {
0191: return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0),
0192: pos + 1);
0193: }
0194:
0195: private final int jjStopAtPos(int pos, int kind) {
0196: jjmatchedKind = kind;
0197: jjmatchedPos = pos;
0198: return pos + 1;
0199: }
0200:
0201: private final int jjStartNfaWithStates_0(int pos, int kind,
0202: int state) {
0203: jjmatchedKind = kind;
0204: jjmatchedPos = pos;
0205: try {
0206: curChar = input_stream.readChar();
0207: } catch (java.io.IOException e) {
0208: return pos + 1;
0209: }
0210: return jjMoveNfa_0(state, pos + 1);
0211: }
0212:
0213: private final int jjMoveStringLiteralDfa0_0() {
0214: switch (curChar) {
0215: case 32:
0216: return jjStartNfaWithStates_0(0, 1, 0);
0217: case 35:
0218: jjmatchedKind = 24;
0219: return jjMoveStringLiteralDfa1_0(0x780000L);
0220: case 39:
0221: return jjStopAtPos(0, 25);
0222: case 97:
0223: return jjMoveStringLiteralDfa1_0(0x7800L);
0224: case 99:
0225: return jjMoveStringLiteralDfa1_0(0x8000680L);
0226: case 105:
0227: return jjMoveStringLiteralDfa1_0(0x40000L);
0228: case 109:
0229: return jjMoveStringLiteralDfa1_0(0x4000100L);
0230: case 112:
0231: return jjMoveStringLiteralDfa1_0(0x38020L);
0232: case 115:
0233: return jjMoveStringLiteralDfa1_0(0x40L);
0234: default:
0235: return jjMoveNfa_0(0, 0);
0236: }
0237: }
0238:
0239: private final int jjMoveStringLiteralDfa1_0(long active0) {
0240: try {
0241: curChar = input_stream.readChar();
0242: } catch (java.io.IOException e) {
0243: jjStopStringLiteralDfa_0(0, active0);
0244: return 1;
0245: }
0246: switch (curChar) {
0247: case 97:
0248: return jjMoveStringLiteralDfa2_0(active0, 0x720L);
0249: case 99:
0250: return jjMoveStringLiteralDfa2_0(active0, 0x40L);
0251: case 100:
0252: return jjMoveStringLiteralDfa2_0(active0, 0x7800L);
0253: case 101:
0254: return jjMoveStringLiteralDfa2_0(active0, 0x4000000L);
0255: case 108:
0256: return jjMoveStringLiteralDfa2_0(active0, 0x8000000L);
0257: case 110:
0258: return jjMoveStringLiteralDfa2_0(active0, 0x40000L);
0259: case 111:
0260: return jjMoveStringLiteralDfa2_0(active0, 0x8080L);
0261: case 112:
0262: return jjMoveStringLiteralDfa2_0(active0, 0x700000L);
0263: case 114:
0264: return jjMoveStringLiteralDfa2_0(active0, 0x30000L);
0265: case 115:
0266: return jjMoveStringLiteralDfa2_0(active0, 0x80000L);
0267: default:
0268: break;
0269: }
0270: return jjStartNfa_0(0, active0);
0271: }
0272:
0273: private final int jjMoveStringLiteralDfa2_0(long old0, long active0) {
0274: if (((active0 &= old0)) == 0L)
0275: return jjStartNfa_0(0, old0);
0276: try {
0277: curChar = input_stream.readChar();
0278: } catch (java.io.IOException e) {
0279: jjStopStringLiteralDfa_0(1, active0);
0280: return 2;
0281: }
0282: switch (curChar) {
0283: case 97:
0284: return jjMoveStringLiteralDfa3_0(active0, 0x8000000L);
0285: case 100:
0286: return jjMoveStringLiteralDfa3_0(active0, 0x7800L);
0287: case 101:
0288: return jjMoveStringLiteralDfa3_0(active0, 0x30000L);
0289: case 104:
0290: return jjMoveStringLiteralDfa3_0(active0, 0x40L);
0291: case 109:
0292: return jjMoveStringLiteralDfa3_0(active0, 0x80L);
0293: case 110:
0294: return jjMoveStringLiteralDfa3_0(active0, 0x600L);
0295: case 112:
0296: return jjMoveStringLiteralDfa3_0(active0, 0x100L);
0297: case 114:
0298: return jjMoveStringLiteralDfa3_0(active0, 0x500000L);
0299: case 115:
0300: return jjMoveStringLiteralDfa3_0(active0, 0x8000L);
0301: case 116:
0302: return jjMoveStringLiteralDfa3_0(active0, 0x4080020L);
0303: case 117:
0304: return jjMoveStringLiteralDfa3_0(active0, 0x200000L);
0305: case 118:
0306: return jjMoveStringLiteralDfa3_0(active0, 0x40000L);
0307: default:
0308: break;
0309: }
0310: return jjStartNfa_0(1, active0);
0311: }
0312:
0313: private final int jjMoveStringLiteralDfa3_0(long old0, long active0) {
0314: if (((active0 &= old0)) == 0L)
0315: return jjStartNfa_0(1, old0);
0316: try {
0317: curChar = input_stream.readChar();
0318: } catch (java.io.IOException e) {
0319: jjStopStringLiteralDfa_0(2, active0);
0320: return 3;
0321: }
0322: switch (curChar) {
0323: case 67:
0324: return jjMoveStringLiteralDfa4_0(active0, 0x1000L);
0325: case 72:
0326: return jjMoveStringLiteralDfa4_0(active0, 0x600L);
0327: case 77:
0328: return jjMoveStringLiteralDfa4_0(active0, 0x4000L);
0329: case 80:
0330: return jjMoveStringLiteralDfa4_0(active0, 0x2000L);
0331: case 83:
0332: return jjMoveStringLiteralDfa4_0(active0, 0x800L);
0333: case 97:
0334: return jjMoveStringLiteralDfa4_0(active0, 0xc0000L);
0335: case 98:
0336: return jjMoveStringLiteralDfa4_0(active0, 0x200000L);
0337: case 99:
0338: return jjMoveStringLiteralDfa4_0(active0, 0x10000L);
0339: case 101:
0340: return jjMoveStringLiteralDfa4_0(active0, 0x40L);
0341: case 104:
0342: return jjMoveStringLiteralDfa4_0(active0, 0x4000000L);
0343: case 105:
0344: return jjMoveStringLiteralDfa4_0(active0, 0x100000L);
0345: case 109:
0346: return jjMoveStringLiteralDfa4_0(active0, 0x80L);
0347: case 111:
0348: return jjMoveStringLiteralDfa4_0(active0, 0x400000L);
0349: case 112:
0350: return jjMoveStringLiteralDfa4_0(active0, 0x20100L);
0351: case 115:
0352: return jjMoveStringLiteralDfa4_0(active0, 0x8000000L);
0353: case 116:
0354: return jjMoveStringLiteralDfa4_0(active0, 0x8020L);
0355: default:
0356: break;
0357: }
0358: return jjStartNfa_0(2, active0);
0359: }
0360:
0361: private final int jjMoveStringLiteralDfa4_0(long old0, long active0) {
0362: if (((active0 &= old0)) == 0L)
0363: return jjStartNfa_0(2, old0);
0364: try {
0365: curChar = input_stream.readChar();
0366: } catch (java.io.IOException e) {
0367: jjStopStringLiteralDfa_0(3, active0);
0368: return 4;
0369: }
0370: switch (curChar) {
0371: case 97:
0372: return jjMoveStringLiteralDfa5_0(active0, 0x2600L);
0373: case 99:
0374: return jjMoveStringLiteralDfa5_0(active0, 0x8000L);
0375: case 101:
0376: return jjMoveStringLiteralDfa5_0(active0, 0x40a0L);
0377: case 105:
0378: return jjMoveStringLiteralDfa5_0(active0, 0x100L);
0379: case 108:
0380: return jjMoveStringLiteralDfa5_0(active0, 0x201000L);
0381: case 109:
0382: return jjMoveStringLiteralDfa5_0(active0, 0x40L);
0383: case 111:
0384: return jjMoveStringLiteralDfa5_0(active0, 0x4030000L);
0385: case 114:
0386: return jjMoveStringLiteralDfa5_0(active0, 0x40000L);
0387: case 115:
0388: return jjMoveStringLiteralDfa5_0(active0, 0x8000000L);
0389: case 116:
0390: return jjMoveStringLiteralDfa5_0(active0, 0x480800L);
0391: case 118:
0392: return jjMoveStringLiteralDfa5_0(active0, 0x100000L);
0393: default:
0394: break;
0395: }
0396: return jjStartNfa_0(3, active0);
0397: }
0398:
0399: private final int jjMoveStringLiteralDfa5_0(long old0, long active0) {
0400: if (((active0 &= old0)) == 0L)
0401: return jjStartNfa_0(3, old0);
0402: try {
0403: curChar = input_stream.readChar();
0404: } catch (java.io.IOException e) {
0405: jjStopStringLiteralDfa_0(4, active0);
0406: return 5;
0407: }
0408: switch (curChar) {
0409: case 35:
0410: if ((active0 & 0x8000000L) != 0L)
0411: return jjStopAtPos(5, 27);
0412: break;
0413: case 97:
0414: return jjMoveStringLiteralDfa6_0(active0, 0x101040L);
0415: case 100:
0416: return jjMoveStringLiteralDfa6_0(active0, 0x4000000L);
0417: case 101:
0418: return jjMoveStringLiteralDfa6_0(active0, 0x400000L);
0419: case 105:
0420: return jjMoveStringLiteralDfa6_0(active0, 0x2c0000L);
0421: case 110:
0422: return jjMoveStringLiteralDfa6_0(active0, 0x10180L);
0423: case 111:
0424: return jjMoveStringLiteralDfa6_0(active0, 0x8000L);
0425: case 114:
0426: return jjMoveStringLiteralDfa6_0(active0, 0x2820L);
0427: case 115:
0428: return jjMoveStringLiteralDfa6_0(active0, 0x20000L);
0429: case 116:
0430: return jjMoveStringLiteralDfa6_0(active0, 0x4000L);
0431: case 118:
0432: return jjMoveStringLiteralDfa6_0(active0, 0x600L);
0433: default:
0434: break;
0435: }
0436: return jjStartNfa_0(4, active0);
0437: }
0438:
0439: private final int jjMoveStringLiteralDfa6_0(long old0, long active0) {
0440: if (((active0 &= old0)) == 0L)
0441: return jjStartNfa_0(4, old0);
0442: try {
0443: curChar = input_stream.readChar();
0444: } catch (java.io.IOException e) {
0445: jjStopStringLiteralDfa_0(5, active0);
0446: return 6;
0447: }
0448: switch (curChar) {
0449: case 35:
0450: if ((active0 & 0x40L) != 0L)
0451: return jjStopAtPos(6, 6);
0452: else if ((active0 & 0x4000000L) != 0L)
0453: return jjStopAtPos(6, 26);
0454: break;
0455: case 97:
0456: return jjMoveStringLiteralDfa7_0(active0, 0x42000L);
0457: case 99:
0458: if ((active0 & 0x80000L) != 0L)
0459: return jjStopAtPos(6, 19);
0460: else if ((active0 & 0x200000L) != 0L)
0461: return jjStopAtPos(6, 21);
0462: return jjMoveStringLiteralDfa7_0(active0, 0x400000L);
0463: case 100:
0464: return jjMoveStringLiteralDfa7_0(active0, 0x10000L);
0465: case 101:
0466: return jjMoveStringLiteralDfa7_0(active0, 0x600L);
0467: case 103:
0468: return jjMoveStringLiteralDfa7_0(active0, 0x100L);
0469: case 104:
0470: return jjMoveStringLiteralDfa7_0(active0, 0x4000L);
0471: case 105:
0472: return jjMoveStringLiteralDfa7_0(active0, 0x800L);
0473: case 110:
0474: return jjMoveStringLiteralDfa7_0(active0, 0x8020L);
0475: case 115:
0476: return jjMoveStringLiteralDfa7_0(active0, 0x1000L);
0477: case 116:
0478: return jjMoveStringLiteralDfa7_0(active0, 0x120080L);
0479: default:
0480: break;
0481: }
0482: return jjStartNfa_0(5, active0);
0483: }
0484:
0485: private final int jjMoveStringLiteralDfa7_0(long old0, long active0) {
0486: if (((active0 &= old0)) == 0L)
0487: return jjStartNfa_0(5, old0);
0488: try {
0489: curChar = input_stream.readChar();
0490: } catch (java.io.IOException e) {
0491: jjStopStringLiteralDfa_0(6, active0);
0492: return 7;
0493: }
0494: switch (curChar) {
0495: case 35:
0496: if ((active0 & 0x80L) != 0L)
0497: return jjStopAtPos(7, 7);
0498: else if ((active0 & 0x100L) != 0L)
0499: return jjStopAtPos(7, 8);
0500: break;
0501: case 77:
0502: return jjMoveStringLiteralDfa8_0(active0, 0x400L);
0503: case 83:
0504: return jjMoveStringLiteralDfa8_0(active0, 0x200L);
0505: case 99:
0506: return jjMoveStringLiteralDfa8_0(active0, 0x20000L);
0507: case 100:
0508: return jjMoveStringLiteralDfa8_0(active0, 0x8000L);
0509: case 101:
0510: if ((active0 & 0x100000L) != 0L)
0511: return jjStopAtPos(7, 20);
0512: break;
0513: case 105:
0514: return jjMoveStringLiteralDfa8_0(active0, 0x10000L);
0515: case 109:
0516: return jjMoveStringLiteralDfa8_0(active0, 0x2020L);
0517: case 110:
0518: return jjMoveStringLiteralDfa8_0(active0, 0x40800L);
0519: case 111:
0520: return jjMoveStringLiteralDfa8_0(active0, 0x4000L);
0521: case 115:
0522: return jjMoveStringLiteralDfa8_0(active0, 0x1000L);
0523: case 116:
0524: return jjMoveStringLiteralDfa8_0(active0, 0x400000L);
0525: default:
0526: break;
0527: }
0528: return jjStartNfa_0(6, active0);
0529: }
0530:
0531: private final int jjMoveStringLiteralDfa8_0(long old0, long active0) {
0532: if (((active0 &= old0)) == 0L)
0533: return jjStartNfa_0(6, old0);
0534: try {
0535: curChar = input_stream.readChar();
0536: } catch (java.io.IOException e) {
0537: jjStopStringLiteralDfa_0(7, active0);
0538: return 8;
0539: }
0540: switch (curChar) {
0541: case 65:
0542: return jjMoveStringLiteralDfa9_0(active0, 0x1000L);
0543: case 100:
0544: return jjMoveStringLiteralDfa9_0(active0, 0x4000L);
0545: case 101:
0546: return jjMoveStringLiteralDfa9_0(active0, 0x402200L);
0547: case 103:
0548: return jjMoveStringLiteralDfa9_0(active0, 0x800L);
0549: case 105:
0550: return jjMoveStringLiteralDfa9_0(active0, 0x8000L);
0551: case 111:
0552: return jjMoveStringLiteralDfa9_0(active0, 0x20020L);
0553: case 116:
0554: return jjMoveStringLiteralDfa9_0(active0, 0x50000L);
0555: case 117:
0556: return jjMoveStringLiteralDfa9_0(active0, 0x400L);
0557: default:
0558: break;
0559: }
0560: return jjStartNfa_0(7, active0);
0561: }
0562:
0563: private final int jjMoveStringLiteralDfa9_0(long old0, long active0) {
0564: if (((active0 &= old0)) == 0L)
0565: return jjStartNfa_0(7, old0);
0566: try {
0567: curChar = input_stream.readChar();
0568: } catch (java.io.IOException e) {
0569: jjStopStringLiteralDfa_0(8, active0);
0570: return 9;
0571: }
0572: switch (curChar) {
0573: case 35:
0574: if ((active0 & 0x4000L) != 0L)
0575: return jjStopAtPos(9, 14);
0576: else if ((active0 & 0x40000L) != 0L)
0577: return jjStopAtPos(9, 18);
0578: break;
0579: case 70:
0580: return jjMoveStringLiteralDfa10_0(active0, 0x800L);
0581: case 100:
0582: if ((active0 & 0x400000L) != 0L)
0583: return jjStopAtPos(9, 22);
0584: return jjMoveStringLiteralDfa10_0(active0, 0x20L);
0585: case 105:
0586: return jjMoveStringLiteralDfa10_0(active0, 0x10000L);
0587: case 108:
0588: return jjMoveStringLiteralDfa10_0(active0, 0x400L);
0589: case 110:
0590: return jjMoveStringLiteralDfa10_0(active0, 0x20000L);
0591: case 116:
0592: return jjMoveStringLiteralDfa10_0(active0, 0xb000L);
0593: case 118:
0594: return jjMoveStringLiteralDfa10_0(active0, 0x200L);
0595: default:
0596: break;
0597: }
0598: return jjStartNfa_0(8, active0);
0599: }
0600:
0601: private final int jjMoveStringLiteralDfa10_0(long old0, long active0) {
0602: if (((active0 &= old0)) == 0L)
0603: return jjStartNfa_0(8, old0);
0604: try {
0605: curChar = input_stream.readChar();
0606: } catch (java.io.IOException e) {
0607: jjStopStringLiteralDfa_0(9, active0);
0608: return 10;
0609: }
0610: switch (curChar) {
0611: case 100:
0612: return jjMoveStringLiteralDfa11_0(active0, 0x20000L);
0613: case 101:
0614: return jjMoveStringLiteralDfa11_0(active0, 0x2200L);
0615: case 105:
0616: return jjMoveStringLiteralDfa11_0(active0, 0x8820L);
0617: case 111:
0618: return jjMoveStringLiteralDfa11_0(active0, 0x10000L);
0619: case 116:
0620: return jjMoveStringLiteralDfa11_0(active0, 0x1400L);
0621: default:
0622: break;
0623: }
0624: return jjStartNfa_0(9, active0);
0625: }
0626:
0627: private final int jjMoveStringLiteralDfa11_0(long old0, long active0) {
0628: if (((active0 &= old0)) == 0L)
0629: return jjStartNfa_0(9, old0);
0630: try {
0631: curChar = input_stream.readChar();
0632: } catch (java.io.IOException e) {
0633: jjStopStringLiteralDfa_0(10, active0);
0634: return 11;
0635: }
0636: switch (curChar) {
0637: case 101:
0638: return jjMoveStringLiteralDfa12_0(active0, 0x800L);
0639: case 102:
0640: return jjMoveStringLiteralDfa12_0(active0, 0x20L);
0641: case 105:
0642: return jjMoveStringLiteralDfa12_0(active0, 0x20400L);
0643: case 110:
0644: return jjMoveStringLiteralDfa12_0(active0, 0x10000L);
0645: case 111:
0646: return jjMoveStringLiteralDfa12_0(active0, 0x8000L);
0647: case 114:
0648: return jjMoveStringLiteralDfa12_0(active0, 0x3200L);
0649: default:
0650: break;
0651: }
0652: return jjStartNfa_0(10, active0);
0653: }
0654:
0655: private final int jjMoveStringLiteralDfa12_0(long old0, long active0) {
0656: if (((active0 &= old0)) == 0L)
0657: return jjStartNfa_0(10, old0);
0658: try {
0659: curChar = input_stream.readChar();
0660: } catch (java.io.IOException e) {
0661: jjStopStringLiteralDfa_0(11, active0);
0662: return 12;
0663: }
0664: switch (curChar) {
0665: case 35:
0666: if ((active0 & 0x2000L) != 0L)
0667: return jjStopAtPos(12, 13);
0668: else if ((active0 & 0x10000L) != 0L)
0669: return jjStopAtPos(12, 16);
0670: break;
0671: case 97:
0672: return jjMoveStringLiteralDfa13_0(active0, 0x200L);
0673: case 105:
0674: return jjMoveStringLiteralDfa13_0(active0, 0x1020L);
0675: case 108:
0676: return jjMoveStringLiteralDfa13_0(active0, 0x800L);
0677: case 110:
0678: return jjMoveStringLiteralDfa13_0(active0, 0x8000L);
0679: case 112:
0680: return jjMoveStringLiteralDfa13_0(active0, 0x400L);
0681: case 116:
0682: return jjMoveStringLiteralDfa13_0(active0, 0x20000L);
0683: default:
0684: break;
0685: }
0686: return jjStartNfa_0(11, active0);
0687: }
0688:
0689: private final int jjMoveStringLiteralDfa13_0(long old0, long active0) {
0690: if (((active0 &= old0)) == 0L)
0691: return jjStartNfa_0(11, old0);
0692: try {
0693: curChar = input_stream.readChar();
0694: } catch (java.io.IOException e) {
0695: jjStopStringLiteralDfa_0(12, active0);
0696: return 13;
0697: }
0698: switch (curChar) {
0699: case 35:
0700: if ((active0 & 0x8000L) != 0L)
0701: return jjStopAtPos(13, 15);
0702: break;
0703: case 98:
0704: return jjMoveStringLiteralDfa14_0(active0, 0x1000L);
0705: case 99:
0706: return jjMoveStringLiteralDfa14_0(active0, 0x20L);
0707: case 100:
0708: return jjMoveStringLiteralDfa14_0(active0, 0x800L);
0709: case 105:
0710: return jjMoveStringLiteralDfa14_0(active0, 0x20000L);
0711: case 108:
0712: return jjMoveStringLiteralDfa14_0(active0, 0x600L);
0713: default:
0714: break;
0715: }
0716: return jjStartNfa_0(12, active0);
0717: }
0718:
0719: private final int jjMoveStringLiteralDfa14_0(long old0, long active0) {
0720: if (((active0 &= old0)) == 0L)
0721: return jjStartNfa_0(12, old0);
0722: try {
0723: curChar = input_stream.readChar();
0724: } catch (java.io.IOException e) {
0725: jjStopStringLiteralDfa_0(13, active0);
0726: return 14;
0727: }
0728: switch (curChar) {
0729: case 35:
0730: if ((active0 & 0x800L) != 0L)
0731: return jjStopAtPos(14, 11);
0732: break;
0733: case 83:
0734: return jjMoveStringLiteralDfa15_0(active0, 0x200L);
0735: case 97:
0736: return jjMoveStringLiteralDfa15_0(active0, 0x20L);
0737: case 101:
0738: return jjMoveStringLiteralDfa15_0(active0, 0x400L);
0739: case 111:
0740: return jjMoveStringLiteralDfa15_0(active0, 0x20000L);
0741: case 117:
0742: return jjMoveStringLiteralDfa15_0(active0, 0x1000L);
0743: default:
0744: break;
0745: }
0746: return jjStartNfa_0(13, active0);
0747: }
0748:
0749: private final int jjMoveStringLiteralDfa15_0(long old0, long active0) {
0750: if (((active0 &= old0)) == 0L)
0751: return jjStartNfa_0(13, old0);
0752: try {
0753: curChar = input_stream.readChar();
0754: } catch (java.io.IOException e) {
0755: jjStopStringLiteralDfa_0(14, active0);
0756: return 15;
0757: }
0758: switch (curChar) {
0759: case 73:
0760: return jjMoveStringLiteralDfa16_0(active0, 0x400L);
0761: case 110:
0762: return jjMoveStringLiteralDfa16_0(active0, 0x20000L);
0763: case 116:
0764: return jjMoveStringLiteralDfa16_0(active0, 0x1020L);
0765: case 117:
0766: return jjMoveStringLiteralDfa16_0(active0, 0x200L);
0767: default:
0768: break;
0769: }
0770: return jjStartNfa_0(14, active0);
0771: }
0772:
0773: private final int jjMoveStringLiteralDfa16_0(long old0, long active0) {
0774: if (((active0 &= old0)) == 0L)
0775: return jjStartNfa_0(14, old0);
0776: try {
0777: curChar = input_stream.readChar();
0778: } catch (java.io.IOException e) {
0779: jjStopStringLiteralDfa_0(15, active0);
0780: return 16;
0781: }
0782: switch (curChar) {
0783: case 35:
0784: if ((active0 & 0x20000L) != 0L)
0785: return jjStopAtPos(16, 17);
0786: break;
0787: case 98:
0788: return jjMoveStringLiteralDfa17_0(active0, 0x200L);
0789: case 101:
0790: return jjMoveStringLiteralDfa17_0(active0, 0x1000L);
0791: case 105:
0792: return jjMoveStringLiteralDfa17_0(active0, 0x20L);
0793: case 110:
0794: return jjMoveStringLiteralDfa17_0(active0, 0x400L);
0795: default:
0796: break;
0797: }
0798: return jjStartNfa_0(15, active0);
0799: }
0800:
0801: private final int jjMoveStringLiteralDfa17_0(long old0, long active0) {
0802: if (((active0 &= old0)) == 0L)
0803: return jjStartNfa_0(15, old0);
0804: try {
0805: curChar = input_stream.readChar();
0806: } catch (java.io.IOException e) {
0807: jjStopStringLiteralDfa_0(16, active0);
0808: return 17;
0809: }
0810: switch (curChar) {
0811: case 35:
0812: if ((active0 & 0x1000L) != 0L)
0813: return jjStopAtPos(17, 12);
0814: break;
0815: case 99:
0816: return jjMoveStringLiteralDfa18_0(active0, 0x200L);
0817: case 111:
0818: return jjMoveStringLiteralDfa18_0(active0, 0x20L);
0819: case 115:
0820: return jjMoveStringLiteralDfa18_0(active0, 0x400L);
0821: default:
0822: break;
0823: }
0824: return jjStartNfa_0(16, active0);
0825: }
0826:
0827: private final int jjMoveStringLiteralDfa18_0(long old0, long active0) {
0828: if (((active0 &= old0)) == 0L)
0829: return jjStartNfa_0(16, old0);
0830: try {
0831: curChar = input_stream.readChar();
0832: } catch (java.io.IOException e) {
0833: jjStopStringLiteralDfa_0(17, active0);
0834: return 18;
0835: }
0836: switch (curChar) {
0837: case 108:
0838: return jjMoveStringLiteralDfa19_0(active0, 0x200L);
0839: case 110:
0840: return jjMoveStringLiteralDfa19_0(active0, 0x20L);
0841: case 116:
0842: return jjMoveStringLiteralDfa19_0(active0, 0x400L);
0843: default:
0844: break;
0845: }
0846: return jjStartNfa_0(17, active0);
0847: }
0848:
0849: private final int jjMoveStringLiteralDfa19_0(long old0, long active0) {
0850: if (((active0 &= old0)) == 0L)
0851: return jjStartNfa_0(17, old0);
0852: try {
0853: curChar = input_stream.readChar();
0854: } catch (java.io.IOException e) {
0855: jjStopStringLiteralDfa_0(18, active0);
0856: return 19;
0857: }
0858: switch (curChar) {
0859: case 35:
0860: if ((active0 & 0x20L) != 0L)
0861: return jjStopAtPos(19, 5);
0862: break;
0863: case 97:
0864: return jjMoveStringLiteralDfa20_0(active0, 0x600L);
0865: default:
0866: break;
0867: }
0868: return jjStartNfa_0(18, active0);
0869: }
0870:
0871: private final int jjMoveStringLiteralDfa20_0(long old0, long active0) {
0872: if (((active0 &= old0)) == 0L)
0873: return jjStartNfa_0(18, old0);
0874: try {
0875: curChar = input_stream.readChar();
0876: } catch (java.io.IOException e) {
0877: jjStopStringLiteralDfa_0(19, active0);
0878: return 20;
0879: }
0880: switch (curChar) {
0881: case 110:
0882: return jjMoveStringLiteralDfa21_0(active0, 0x400L);
0883: case 115:
0884: return jjMoveStringLiteralDfa21_0(active0, 0x200L);
0885: default:
0886: break;
0887: }
0888: return jjStartNfa_0(19, active0);
0889: }
0890:
0891: private final int jjMoveStringLiteralDfa21_0(long old0, long active0) {
0892: if (((active0 &= old0)) == 0L)
0893: return jjStartNfa_0(19, old0);
0894: try {
0895: curChar = input_stream.readChar();
0896: } catch (java.io.IOException e) {
0897: jjStopStringLiteralDfa_0(20, active0);
0898: return 21;
0899: }
0900: switch (curChar) {
0901: case 99:
0902: return jjMoveStringLiteralDfa22_0(active0, 0x400L);
0903: case 115:
0904: return jjMoveStringLiteralDfa22_0(active0, 0x200L);
0905: default:
0906: break;
0907: }
0908: return jjStartNfa_0(20, active0);
0909: }
0910:
0911: private final int jjMoveStringLiteralDfa22_0(long old0, long active0) {
0912: if (((active0 &= old0)) == 0L)
0913: return jjStartNfa_0(20, old0);
0914: try {
0915: curChar = input_stream.readChar();
0916: } catch (java.io.IOException e) {
0917: jjStopStringLiteralDfa_0(21, active0);
0918: return 22;
0919: }
0920: switch (curChar) {
0921: case 101:
0922: return jjMoveStringLiteralDfa23_0(active0, 0x600L);
0923: default:
0924: break;
0925: }
0926: return jjStartNfa_0(21, active0);
0927: }
0928:
0929: private final int jjMoveStringLiteralDfa23_0(long old0, long active0) {
0930: if (((active0 &= old0)) == 0L)
0931: return jjStartNfa_0(21, old0);
0932: try {
0933: curChar = input_stream.readChar();
0934: } catch (java.io.IOException e) {
0935: jjStopStringLiteralDfa_0(22, active0);
0936: return 23;
0937: }
0938: switch (curChar) {
0939: case 115:
0940: return jjMoveStringLiteralDfa24_0(active0, 0x600L);
0941: default:
0942: break;
0943: }
0944: return jjStartNfa_0(22, active0);
0945: }
0946:
0947: private final int jjMoveStringLiteralDfa24_0(long old0, long active0) {
0948: if (((active0 &= old0)) == 0L)
0949: return jjStartNfa_0(22, old0);
0950: try {
0951: curChar = input_stream.readChar();
0952: } catch (java.io.IOException e) {
0953: jjStopStringLiteralDfa_0(23, active0);
0954: return 24;
0955: }
0956: switch (curChar) {
0957: case 35:
0958: if ((active0 & 0x200L) != 0L)
0959: return jjStopAtPos(24, 9);
0960: else if ((active0 & 0x400L) != 0L)
0961: return jjStopAtPos(24, 10);
0962: break;
0963: default:
0964: break;
0965: }
0966: return jjStartNfa_0(23, active0);
0967: }
0968:
0969: private final void jjCheckNAdd(int state) {
0970: if (jjrounds[state] != jjround) {
0971: jjstateSet[jjnewStateCnt++] = state;
0972: jjrounds[state] = jjround;
0973: }
0974: }
0975:
0976: private final void jjAddStates(int start, int end) {
0977: do {
0978: jjstateSet[jjnewStateCnt++] = jjnextStates[start];
0979: } while (start++ != end);
0980: }
0981:
0982: private final void jjCheckNAddTwoStates(int state1, int state2) {
0983: jjCheckNAdd(state1);
0984: jjCheckNAdd(state2);
0985: }
0986:
0987: private final void jjCheckNAddStates(int start, int end) {
0988: do {
0989: jjCheckNAdd(jjnextStates[start]);
0990: } while (start++ != end);
0991: }
0992:
0993: private final void jjCheckNAddStates(int start) {
0994: jjCheckNAdd(jjnextStates[start]);
0995: jjCheckNAdd(jjnextStates[start + 1]);
0996: }
0997:
0998: private final int jjMoveNfa_0(int startState, int curPos) {
0999: int[] nextStates;
1000: int startsAt = 0;
1001: jjnewStateCnt = 1;
1002: int i = 1;
1003: jjstateSet[0] = startState;
1004: int j, kind = 0x7fffffff;
1005: for (;;) {
1006: if (++jjround == 0x7fffffff)
1007: ReInitRounds();
1008: if (curChar < 64) {
1009: long l = 1L << curChar;
1010: MatchLoop: do {
1011: switch (jjstateSet[--i]) {
1012: case 0:
1013: if ((0x77fffb2500000000L & l) == 0L)
1014: break;
1015: kind = 23;
1016: jjstateSet[jjnewStateCnt++] = 0;
1017: break;
1018: default:
1019: break;
1020: }
1021: } while (i != startsAt);
1022: } else if (curChar < 128) {
1023: long l = 1L << (curChar & 077);
1024: MatchLoop: do {
1025: switch (jjstateSet[--i]) {
1026: case 0:
1027: if ((0x3ffffffe87ffffffL & l) == 0L)
1028: break;
1029: kind = 23;
1030: jjstateSet[jjnewStateCnt++] = 0;
1031: break;
1032: default:
1033: break;
1034: }
1035: } while (i != startsAt);
1036: } else {
1037: int i2 = (curChar & 0xff) >> 6;
1038: long l2 = 1L << (curChar & 077);
1039: MatchLoop: do {
1040: switch (jjstateSet[--i]) {
1041: default:
1042: break;
1043: }
1044: } while (i != startsAt);
1045: }
1046: if (kind != 0x7fffffff) {
1047: jjmatchedKind = kind;
1048: jjmatchedPos = curPos;
1049: kind = 0x7fffffff;
1050: }
1051: ++curPos;
1052: if ((i = jjnewStateCnt) == (startsAt = 1 - (jjnewStateCnt = startsAt)))
1053: return curPos;
1054: try {
1055: curChar = input_stream.readChar();
1056: } catch (java.io.IOException e) {
1057: return curPos;
1058: }
1059: }
1060: }
1061:
1062: static final int[] jjnextStates = {};
1063: public static final String[] jjstrLiteralImages = {
1064: "",
1065: null,
1066: null,
1067: null,
1068: null,
1069: "\160\141\164\164\145\162\156\155\157\144\151\146\151\143\141\164\151\157\156\43",
1070: "\163\143\150\145\155\141\43",
1071: "\143\157\155\155\145\156\164\43",
1072: "\155\141\160\160\151\156\147\43",
1073: "\143\141\156\110\141\166\145\123\145\166\145\162\141\154\123\165\142\143\154\141\163\163\145\163\43",
1074: "\143\141\156\110\141\166\145\115\165\154\164\151\160\154\145\111\156\163\164\141\156\143\145\163\43",
1075: "\141\144\144\123\164\162\151\156\147\106\151\145\154\144\43",
1076: "\141\144\144\103\154\141\163\163\101\164\164\162\151\142\165\164\145\43",
1077: "\141\144\144\120\141\162\141\155\145\164\145\162\43",
1078: "\141\144\144\115\145\164\150\157\144\43",
1079: "\160\157\163\164\143\157\156\144\151\164\151\157\156\43",
1080: "\160\162\145\143\157\156\144\151\164\151\157\156\43",
1081: "\160\162\145\160\157\163\164\143\157\156\144\151\164\151\157\156\43",
1082: "\151\156\166\141\162\151\141\156\164\43",
1083: "\43\163\164\141\164\151\143",
1084: "\43\160\162\151\166\141\164\145",
1085: "\43\160\165\142\154\151\143",
1086: "\43\160\162\157\164\145\143\164\145\144", null, "\43",
1087: "\47", "\155\145\164\150\157\144\43",
1088: "\143\154\141\163\163\43", };
1089: public static final String[] lexStateNames = { "DEFAULT", };
1090: static final long[] jjtoToken = { 0xfffffe1L, };
1091: static final long[] jjtoSkip = { 0x1eL, };
1092: private ASCII_CharStream input_stream;
1093: private final int[] jjrounds = new int[1];
1094: private final int[] jjstateSet = new int[2];
1095: protected char curChar;
1096:
1097: public MyParserTokenManager(ASCII_CharStream stream) {
1098: if (ASCII_CharStream.staticFlag)
1099: throw new Error(
1100: "ERROR: Cannot use a static CharStream class with a non-static lexical analyzer.");
1101: input_stream = stream;
1102: }
1103:
1104: public MyParserTokenManager(ASCII_CharStream stream, int lexState) {
1105: this (stream);
1106: SwitchTo(lexState);
1107: }
1108:
1109: public void ReInit(ASCII_CharStream stream) {
1110: jjmatchedPos = jjnewStateCnt = 0;
1111: curLexState = defaultLexState;
1112: input_stream = stream;
1113: ReInitRounds();
1114: }
1115:
1116: private final void ReInitRounds() {
1117: int i;
1118: jjround = 0x80000001;
1119: for (i = 1; i-- > 0;)
1120: jjrounds[i] = 0x80000000;
1121: }
1122:
1123: public void ReInit(ASCII_CharStream stream, int lexState) {
1124: ReInit(stream);
1125: SwitchTo(lexState);
1126: }
1127:
1128: public void SwitchTo(int lexState) {
1129: if (lexState >= 1 || lexState < 0)
1130: throw new TokenMgrError(
1131: "Error: Ignoring invalid lexical state : "
1132: + lexState + ". State unchanged.",
1133: TokenMgrError.INVALID_LEXICAL_STATE);
1134: else
1135: curLexState = lexState;
1136: }
1137:
1138: private final Token jjFillToken() {
1139: Token t = Token.newToken(jjmatchedKind);
1140: t.kind = jjmatchedKind;
1141: String im = jjstrLiteralImages[jjmatchedKind];
1142: t.image = (im == null) ? input_stream.GetImage() : im;
1143: t.beginLine = input_stream.getBeginLine();
1144: t.beginColumn = input_stream.getBeginColumn();
1145: t.endLine = input_stream.getEndLine();
1146: t.endColumn = input_stream.getEndColumn();
1147: return t;
1148: }
1149:
1150: int curLexState = 0;
1151: int defaultLexState = 0;
1152: int jjnewStateCnt;
1153: int jjround;
1154: int jjmatchedPos;
1155: int jjmatchedKind;
1156:
1157: public final Token getNextToken() {
1158: int kind;
1159: Token specialToken = null;
1160: Token matchedToken;
1161: int curPos = 0;
1162:
1163: EOFLoop: for (;;) {
1164: try {
1165: curChar = input_stream.BeginToken();
1166: } catch (java.io.IOException e) {
1167: jjmatchedKind = 0;
1168: matchedToken = jjFillToken();
1169: return matchedToken;
1170: }
1171:
1172: try {
1173: input_stream.backup(0);
1174: while (curChar <= 13
1175: && (0x2600L & (1L << curChar)) != 0L)
1176: curChar = input_stream.BeginToken();
1177: } catch (java.io.IOException e1) {
1178: continue EOFLoop;
1179: }
1180: jjmatchedKind = 0x7fffffff;
1181: jjmatchedPos = 0;
1182: curPos = jjMoveStringLiteralDfa0_0();
1183: if (jjmatchedKind != 0x7fffffff) {
1184: if (jjmatchedPos + 1 < curPos)
1185: input_stream.backup(curPos - jjmatchedPos - 1);
1186: if ((jjtoToken[jjmatchedKind >> 6] & (1L << (jjmatchedKind & 077))) != 0L) {
1187: matchedToken = jjFillToken();
1188: return matchedToken;
1189: } else {
1190: continue EOFLoop;
1191: }
1192: }
1193: int error_line = input_stream.getEndLine();
1194: int error_column = input_stream.getEndColumn();
1195: String error_after = null;
1196: boolean EOFSeen = false;
1197: try {
1198: input_stream.readChar();
1199: input_stream.backup(1);
1200: } catch (java.io.IOException e1) {
1201: EOFSeen = true;
1202: error_after = curPos <= 1 ? "" : input_stream
1203: .GetImage();
1204: if (curChar == '\n' || curChar == '\r') {
1205: error_line++;
1206: error_column = 0;
1207: } else
1208: error_column++;
1209: }
1210: if (!EOFSeen) {
1211: input_stream.backup(1);
1212: error_after = curPos <= 1 ? "" : input_stream
1213: .GetImage();
1214: }
1215: throw new TokenMgrError(EOFSeen, curLexState, error_line,
1216: error_column, error_after, curChar,
1217: TokenMgrError.LEXICAL_ERROR);
1218: }
1219: }
1220:
1221: }
|