1 /* SpecParserTokenManager.java */
2 /* Generated By:JavaCC: Do not edit this line. SpecParserTokenManager.java */
3 package edu.uci.eecs.specCompiler.grammerParser;
6 @SuppressWarnings("unused")public class SpecParserTokenManager implements SpecParserConstants {
9 public java.io.PrintStream debugStream = System.out;
10 /** Set debug output. */
11 public void setDebugStream(java.io.PrintStream ds) { debugStream = ds; }
12 private final int jjStopStringLiteralDfa_0(int pos, long active0){
16 if ((active0 & 0x2L) != 0L)
23 private final int jjStartNfa_0(int pos, long active0){
24 return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0), pos + 1);
26 private int jjStopAtPos(int pos, int kind)
32 private int jjMoveStringLiteralDfa0_0(){
37 return jjMoveStringLiteralDfa1_0(0x10L);
39 return jjStartNfaWithStates_0(0, 1, 6);
41 return jjMoveStringLiteralDfa1_0(0x100L);
43 return jjMoveStringLiteralDfa1_0(0x80L);
45 return jjMoveStringLiteralDfa1_0(0x1ffe00L);
47 return jjMoveNfa_0(0, 0);
50 private int jjMoveStringLiteralDfa1_0(long active0){
51 try { curChar = input_stream.readChar(); }
52 catch(java.io.IOException e) {
53 jjStopStringLiteralDfa_0(0, active0);
59 if ((active0 & 0x10L) != 0L)
60 return jjStopAtPos(1, 4);
63 return jjMoveStringLiteralDfa2_0(active0, 0x80L);
65 if ((active0 & 0x100L) != 0L)
66 return jjStopAtPos(1, 8);
69 return jjMoveStringLiteralDfa2_0(active0, 0x4000L);
71 return jjMoveStringLiteralDfa2_0(active0, 0x200L);
73 return jjMoveStringLiteralDfa2_0(active0, 0x3000L);
75 return jjMoveStringLiteralDfa2_0(active0, 0x400L);
77 return jjMoveStringLiteralDfa2_0(active0, 0x20000L);
79 return jjMoveStringLiteralDfa2_0(active0, 0x40000L);
81 return jjMoveStringLiteralDfa2_0(active0, 0x80800L);
83 return jjMoveStringLiteralDfa2_0(active0, 0x118000L);
87 return jjStartNfa_0(0, active0);
89 private int jjMoveStringLiteralDfa2_0(long old0, long active0){
90 if (((active0 &= old0)) == 0L)
91 return jjStartNfa_0(0, old0);
92 try { curChar = input_stream.readChar(); }
93 catch(java.io.IOException e) {
94 jjStopStringLiteralDfa_0(1, active0);
100 if ((active0 & 0x80L) != 0L)
101 return jjStopAtPos(2, 7);
104 return jjMoveStringLiteralDfa3_0(active0, 0x800L);
106 return jjMoveStringLiteralDfa3_0(active0, 0x40000L);
108 return jjMoveStringLiteralDfa3_0(active0, 0x4000L);
110 return jjMoveStringLiteralDfa3_0(active0, 0x200L);
112 return jjMoveStringLiteralDfa3_0(active0, 0x2000L);
114 return jjMoveStringLiteralDfa3_0(active0, 0x20000L);
116 return jjMoveStringLiteralDfa3_0(active0, 0x80400L);
118 return jjMoveStringLiteralDfa3_0(active0, 0x119000L);
122 return jjStartNfa_0(1, active0);
124 private int jjMoveStringLiteralDfa3_0(long old0, long active0){
125 if (((active0 &= old0)) == 0L)
126 return jjStartNfa_0(1, old0);
127 try { curChar = input_stream.readChar(); }
128 catch(java.io.IOException e) {
129 jjStopStringLiteralDfa_0(2, active0);
135 if ((active0 & 0x800L) != 0L)
136 return jjStopAtPos(3, 11);
139 if ((active0 & 0x400L) != 0L)
140 return jjStopAtPos(3, 10);
143 return jjMoveStringLiteralDfa4_0(active0, 0x2000L);
145 return jjMoveStringLiteralDfa4_0(active0, 0x200L);
147 return jjMoveStringLiteralDfa4_0(active0, 0x1000L);
149 return jjMoveStringLiteralDfa4_0(active0, 0x20000L);
151 return jjMoveStringLiteralDfa4_0(active0, 0x40000L);
153 return jjMoveStringLiteralDfa4_0(active0, 0x18000L);
155 return jjMoveStringLiteralDfa4_0(active0, 0x184000L);
159 return jjStartNfa_0(2, active0);
161 private int jjMoveStringLiteralDfa4_0(long old0, long active0){
162 if (((active0 &= old0)) == 0L)
163 return jjStartNfa_0(2, old0);
164 try { curChar = input_stream.readChar(); }
165 catch(java.io.IOException e) {
166 jjStopStringLiteralDfa_0(3, active0);
172 return jjMoveStringLiteralDfa5_0(active0, 0x20000L);
174 return jjMoveStringLiteralDfa5_0(active0, 0x2000L);
176 return jjMoveStringLiteralDfa5_0(active0, 0x1000L);
178 return jjMoveStringLiteralDfa5_0(active0, 0x180000L);
180 return jjMoveStringLiteralDfa5_0(active0, 0x4200L);
182 return jjMoveStringLiteralDfa5_0(active0, 0x40000L);
184 return jjMoveStringLiteralDfa5_0(active0, 0x18000L);
188 return jjStartNfa_0(3, active0);
190 private int jjMoveStringLiteralDfa5_0(long old0, long active0){
191 if (((active0 &= old0)) == 0L)
192 return jjStartNfa_0(3, old0);
193 try { curChar = input_stream.readChar(); }
194 catch(java.io.IOException e) {
195 jjStopStringLiteralDfa_0(4, active0);
201 return jjMoveStringLiteralDfa6_0(active0, 0x18000L);
203 return jjMoveStringLiteralDfa6_0(active0, 0x20000L);
205 return jjMoveStringLiteralDfa6_0(active0, 0x40000L);
207 return jjMoveStringLiteralDfa6_0(active0, 0x1000L);
209 return jjMoveStringLiteralDfa6_0(active0, 0x2000L);
211 if ((active0 & 0x200L) != 0L)
212 return jjStopAtPos(5, 9);
213 return jjMoveStringLiteralDfa6_0(active0, 0x100000L);
215 return jjMoveStringLiteralDfa6_0(active0, 0x4000L);
217 return jjMoveStringLiteralDfa6_0(active0, 0x80000L);
221 return jjStartNfa_0(4, active0);
223 private int jjMoveStringLiteralDfa6_0(long old0, long active0){
224 if (((active0 &= old0)) == 0L)
225 return jjStartNfa_0(4, old0);
226 try { curChar = input_stream.readChar(); }
227 catch(java.io.IOException e) {
228 jjStopStringLiteralDfa_0(5, active0);
234 if ((active0 & 0x2000L) != 0L)
235 return jjStopAtPos(6, 13);
238 return jjMoveStringLiteralDfa7_0(active0, 0x8000L);
240 return jjMoveStringLiteralDfa7_0(active0, 0x10000L);
242 return jjMoveStringLiteralDfa7_0(active0, 0x80000L);
244 return jjMoveStringLiteralDfa7_0(active0, 0x20000L);
246 return jjMoveStringLiteralDfa7_0(active0, 0x44000L);
248 return jjMoveStringLiteralDfa7_0(active0, 0x101000L);
252 return jjStartNfa_0(5, active0);
254 private int jjMoveStringLiteralDfa7_0(long old0, long active0){
255 if (((active0 &= old0)) == 0L)
256 return jjStartNfa_0(5, old0);
257 try { curChar = input_stream.readChar(); }
258 catch(java.io.IOException e) {
259 jjStopStringLiteralDfa_0(6, active0);
265 if ((active0 & 0x4000L) != 0L)
266 return jjStopAtPos(7, 14);
269 return jjMoveStringLiteralDfa8_0(active0, 0x20000L);
271 return jjMoveStringLiteralDfa8_0(active0, 0x80000L);
273 return jjMoveStringLiteralDfa8_0(active0, 0x8000L);
275 return jjMoveStringLiteralDfa8_0(active0, 0x10000L);
277 return jjMoveStringLiteralDfa8_0(active0, 0x101000L);
279 return jjMoveStringLiteralDfa8_0(active0, 0x40000L);
283 return jjStartNfa_0(6, active0);
285 private int jjMoveStringLiteralDfa8_0(long old0, long active0){
286 if (((active0 &= old0)) == 0L)
287 return jjStartNfa_0(6, old0);
288 try { curChar = input_stream.readChar(); }
289 catch(java.io.IOException e) {
290 jjStopStringLiteralDfa_0(7, active0);
296 return jjMoveStringLiteralDfa9_0(active0, 0x40000L);
298 return jjMoveStringLiteralDfa9_0(active0, 0x100000L);
300 return jjMoveStringLiteralDfa9_0(active0, 0x80000L);
302 return jjMoveStringLiteralDfa9_0(active0, 0x20000L);
304 return jjMoveStringLiteralDfa9_0(active0, 0x10000L);
306 return jjMoveStringLiteralDfa9_0(active0, 0x1000L);
308 return jjMoveStringLiteralDfa9_0(active0, 0x8000L);
312 return jjStartNfa_0(7, active0);
314 private int jjMoveStringLiteralDfa9_0(long old0, long active0){
315 if (((active0 &= old0)) == 0L)
316 return jjStartNfa_0(7, old0);
317 try { curChar = input_stream.readChar(); }
318 catch(java.io.IOException e) {
319 jjStopStringLiteralDfa_0(8, active0);
325 return jjMoveStringLiteralDfa10_0(active0, 0x40000L);
327 return jjMoveStringLiteralDfa10_0(active0, 0x10000L);
329 return jjMoveStringLiteralDfa10_0(active0, 0xa0000L);
331 return jjMoveStringLiteralDfa10_0(active0, 0x8000L);
333 return jjMoveStringLiteralDfa10_0(active0, 0x100000L);
335 return jjMoveStringLiteralDfa10_0(active0, 0x1000L);
339 return jjStartNfa_0(8, active0);
341 private int jjMoveStringLiteralDfa10_0(long old0, long active0){
342 if (((active0 &= old0)) == 0L)
343 return jjStartNfa_0(8, old0);
344 try { curChar = input_stream.readChar(); }
345 catch(java.io.IOException e) {
346 jjStopStringLiteralDfa_0(9, active0);
352 if ((active0 & 0x1000L) != 0L)
353 return jjStopAtPos(10, 12);
356 return jjMoveStringLiteralDfa11_0(active0, 0x180000L);
358 return jjMoveStringLiteralDfa11_0(active0, 0x40000L);
360 return jjMoveStringLiteralDfa11_0(active0, 0x20000L);
362 return jjMoveStringLiteralDfa11_0(active0, 0x10000L);
364 return jjMoveStringLiteralDfa11_0(active0, 0x8000L);
368 return jjStartNfa_0(9, active0);
370 private int jjMoveStringLiteralDfa11_0(long old0, long active0){
371 if (((active0 &= old0)) == 0L)
372 return jjStartNfa_0(9, old0);
373 try { curChar = input_stream.readChar(); }
374 catch(java.io.IOException e) {
375 jjStopStringLiteralDfa_0(10, active0);
381 if ((active0 & 0x10000L) != 0L)
382 return jjStopAtPos(11, 16);
385 return jjMoveStringLiteralDfa12_0(active0, 0x180000L);
387 return jjMoveStringLiteralDfa12_0(active0, 0x40000L);
389 return jjMoveStringLiteralDfa12_0(active0, 0x20000L);
391 return jjMoveStringLiteralDfa12_0(active0, 0x8000L);
395 return jjStartNfa_0(10, active0);
397 private int jjMoveStringLiteralDfa12_0(long old0, long active0){
398 if (((active0 &= old0)) == 0L)
399 return jjStartNfa_0(10, old0);
400 try { curChar = input_stream.readChar(); }
401 catch(java.io.IOException e) {
402 jjStopStringLiteralDfa_0(11, active0);
408 if ((active0 & 0x8000L) != 0L)
409 return jjStopAtPos(12, 15);
412 return jjMoveStringLiteralDfa13_0(active0, 0x80000L);
414 return jjMoveStringLiteralDfa13_0(active0, 0x20000L);
416 return jjMoveStringLiteralDfa13_0(active0, 0x140000L);
420 return jjStartNfa_0(11, active0);
422 private int jjMoveStringLiteralDfa13_0(long old0, long active0){
423 if (((active0 &= old0)) == 0L)
424 return jjStartNfa_0(11, old0);
425 try { curChar = input_stream.readChar(); }
426 catch(java.io.IOException e) {
427 jjStopStringLiteralDfa_0(12, active0);
433 return jjMoveStringLiteralDfa14_0(active0, 0x20000L);
435 return jjMoveStringLiteralDfa14_0(active0, 0x100000L);
437 return jjMoveStringLiteralDfa14_0(active0, 0x40000L);
439 return jjMoveStringLiteralDfa14_0(active0, 0x80000L);
443 return jjStartNfa_0(12, active0);
445 private int jjMoveStringLiteralDfa14_0(long old0, long active0){
446 if (((active0 &= old0)) == 0L)
447 return jjStartNfa_0(12, old0);
448 try { curChar = input_stream.readChar(); }
449 catch(java.io.IOException e) {
450 jjStopStringLiteralDfa_0(13, active0);
456 if ((active0 & 0x20000L) != 0L)
457 return jjStopAtPos(14, 17);
460 return jjMoveStringLiteralDfa15_0(active0, 0x40000L);
462 return jjMoveStringLiteralDfa15_0(active0, 0x100000L);
464 return jjMoveStringLiteralDfa15_0(active0, 0x80000L);
468 return jjStartNfa_0(13, active0);
470 private int jjMoveStringLiteralDfa15_0(long old0, long active0){
471 if (((active0 &= old0)) == 0L)
472 return jjStartNfa_0(13, old0);
473 try { curChar = input_stream.readChar(); }
474 catch(java.io.IOException e) {
475 jjStopStringLiteralDfa_0(14, active0);
481 if ((active0 & 0x40000L) != 0L)
482 return jjStopAtPos(15, 18);
485 return jjMoveStringLiteralDfa16_0(active0, 0x100000L);
487 return jjMoveStringLiteralDfa16_0(active0, 0x80000L);
491 return jjStartNfa_0(14, active0);
493 private int jjMoveStringLiteralDfa16_0(long old0, long active0){
494 if (((active0 &= old0)) == 0L)
495 return jjStartNfa_0(14, old0);
496 try { curChar = input_stream.readChar(); }
497 catch(java.io.IOException e) {
498 jjStopStringLiteralDfa_0(15, active0);
504 return jjMoveStringLiteralDfa17_0(active0, 0x80000L);
506 return jjMoveStringLiteralDfa17_0(active0, 0x100000L);
510 return jjStartNfa_0(15, active0);
512 private int jjMoveStringLiteralDfa17_0(long old0, long active0){
513 if (((active0 &= old0)) == 0L)
514 return jjStartNfa_0(15, old0);
515 try { curChar = input_stream.readChar(); }
516 catch(java.io.IOException e) {
517 jjStopStringLiteralDfa_0(16, active0);
523 return jjMoveStringLiteralDfa18_0(active0, 0x100000L);
525 return jjMoveStringLiteralDfa18_0(active0, 0x80000L);
529 return jjStartNfa_0(16, active0);
531 private int jjMoveStringLiteralDfa18_0(long old0, long active0){
532 if (((active0 &= old0)) == 0L)
533 return jjStartNfa_0(16, old0);
534 try { curChar = input_stream.readChar(); }
535 catch(java.io.IOException e) {
536 jjStopStringLiteralDfa_0(17, active0);
542 if ((active0 & 0x80000L) != 0L)
543 return jjStopAtPos(18, 19);
546 return jjMoveStringLiteralDfa19_0(active0, 0x100000L);
550 return jjStartNfa_0(17, active0);
552 private int jjMoveStringLiteralDfa19_0(long old0, long active0){
553 if (((active0 &= old0)) == 0L)
554 return jjStartNfa_0(17, old0);
555 try { curChar = input_stream.readChar(); }
556 catch(java.io.IOException e) {
557 jjStopStringLiteralDfa_0(18, active0);
563 return jjMoveStringLiteralDfa20_0(active0, 0x100000L);
567 return jjStartNfa_0(18, active0);
569 private int jjMoveStringLiteralDfa20_0(long old0, long active0){
570 if (((active0 &= old0)) == 0L)
571 return jjStartNfa_0(18, old0);
572 try { curChar = input_stream.readChar(); }
573 catch(java.io.IOException e) {
574 jjStopStringLiteralDfa_0(19, active0);
580 return jjMoveStringLiteralDfa21_0(active0, 0x100000L);
584 return jjStartNfa_0(19, active0);
586 private int jjMoveStringLiteralDfa21_0(long old0, long active0){
587 if (((active0 &= old0)) == 0L)
588 return jjStartNfa_0(19, old0);
589 try { curChar = input_stream.readChar(); }
590 catch(java.io.IOException e) {
591 jjStopStringLiteralDfa_0(20, active0);
597 return jjMoveStringLiteralDfa22_0(active0, 0x100000L);
601 return jjStartNfa_0(20, active0);
603 private int jjMoveStringLiteralDfa22_0(long old0, long active0){
604 if (((active0 &= old0)) == 0L)
605 return jjStartNfa_0(20, old0);
606 try { curChar = input_stream.readChar(); }
607 catch(java.io.IOException e) {
608 jjStopStringLiteralDfa_0(21, active0);
614 return jjMoveStringLiteralDfa23_0(active0, 0x100000L);
618 return jjStartNfa_0(21, active0);
620 private int jjMoveStringLiteralDfa23_0(long old0, long active0){
621 if (((active0 &= old0)) == 0L)
622 return jjStartNfa_0(21, old0);
623 try { curChar = input_stream.readChar(); }
624 catch(java.io.IOException e) {
625 jjStopStringLiteralDfa_0(22, active0);
631 if ((active0 & 0x100000L) != 0L)
632 return jjStopAtPos(23, 20);
637 return jjStartNfa_0(22, active0);
639 private int jjStartNfaWithStates_0(int pos, int kind, int state)
641 jjmatchedKind = kind;
643 try { curChar = input_stream.readChar(); }
644 catch(java.io.IOException e) { return pos + 1; }
645 return jjMoveNfa_0(state, pos + 1);
647 static final long[] jjbitVec0 = {
648 0xfffffffffffffffeL, 0xffffffffffffffffL, 0xffffffffffffffffL, 0xffffffffffffffffL
650 static final long[] jjbitVec2 = {
651 0x0L, 0x0L, 0xffffffffffffffffL, 0xffffffffffffffffL
653 private int jjMoveNfa_0(int startState, int curPos)
658 jjstateSet[0] = startState;
659 int kind = 0x7fffffff;
662 if (++jjround == 0x7fffffff)
666 long l = 1L << curChar;
669 switch(jjstateSet[--i])
672 if ((0x100000200L & l) != 0L)
673 { jjCheckNAddTwoStates(2, 3); }
674 else if (curChar == 35)
675 { jjCheckNAddTwoStates(4, 5); }
676 if ((0x100000200L & l) != 0L)
684 if ((0x100000200L & l) == 0L)
688 { jjCheckNAddStates(0, 2); }
691 if ((0x100000200L & l) == 0L)
698 if ((0x100000200L & l) != 0L)
699 { jjCheckNAddTwoStates(2, 3); }
703 { jjCheckNAddTwoStates(4, 5); }
706 if ((0xffffffffffffdbffL & l) != 0L)
707 { jjCheckNAddTwoStates(4, 5); }
710 if ((0x2400L & l) != 0L)
715 } while(i != startsAt);
717 else if (curChar < 128)
719 long l = 1L << (curChar & 077);
722 switch(jjstateSet[--i])
725 { jjAddStates(3, 4); }
729 } while(i != startsAt);
733 int hiByte = (curChar >> 8);
734 int i1 = hiByte >> 6;
735 long l1 = 1L << (hiByte & 077);
736 int i2 = (curChar & 0xff) >> 6;
737 long l2 = 1L << (curChar & 077);
740 switch(jjstateSet[--i])
743 if (jjCanMove_0(hiByte, i1, i2, l1, l2))
744 { jjAddStates(3, 4); }
746 default : if (i1 == 0 || l1 == 0 || i2 == 0 || l2 == 0) break; else break;
748 } while(i != startsAt);
750 if (kind != 0x7fffffff)
752 jjmatchedKind = kind;
753 jjmatchedPos = curPos;
757 if ((i = jjnewStateCnt) == (startsAt = 6 - (jjnewStateCnt = startsAt)))
759 try { curChar = input_stream.readChar(); }
760 catch(java.io.IOException e) { return curPos; }
763 static final int[] jjnextStates = {
766 private static final boolean jjCanMove_0(int hiByte, int i1, int i2, long l1, long l2)
771 return ((jjbitVec2[i2] & l2) != 0L);
773 if ((jjbitVec0[i1] & l1) != 0L)
779 /** Token literal values. */
780 public static final String[] jjstrLiteralImages = {
781 "", null, null, null, null, null, null, "\57\52\52", "\52\57",
782 "\100\102\145\147\151\156", "\100\105\156\144", "\100\111\104\72",
783 "\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",
784 "\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",
785 "\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",
786 "\100\111\156\164\145\162\146\141\143\145\137\143\154\165\163\164\145\162\72",
787 "\100\120\157\164\145\156\164\151\141\154\137\143\157\155\155\151\164\137\160\157\151\156\164\72", };
788 protected Token jjFillToken()
791 final String curTokenImage;
794 final int beginColumn;
796 String im = jjstrLiteralImages[jjmatchedKind];
797 curTokenImage = (im == null) ? input_stream.GetImage() : im;
798 beginLine = input_stream.getBeginLine();
799 beginColumn = input_stream.getBeginColumn();
800 endLine = input_stream.getEndLine();
801 endColumn = input_stream.getEndColumn();
802 t = Token.newToken(jjmatchedKind, curTokenImage);
804 t.beginLine = beginLine;
806 t.beginColumn = beginColumn;
807 t.endColumn = endColumn;
813 int defaultLexState = 0;
819 /** Get the next Token. */
820 public Token getNextToken()
830 curChar = input_stream.BeginToken();
832 catch(java.io.IOException e)
836 matchedToken = jjFillToken();
840 try { input_stream.backup(0);
841 while (curChar <= 10 && (0x400L & (1L << curChar)) != 0L)
842 curChar = input_stream.BeginToken();
844 catch (java.io.IOException e1) { continue EOFLoop; }
845 jjmatchedKind = 0x7fffffff;
847 curPos = jjMoveStringLiteralDfa0_0();
848 if (jjmatchedKind != 0x7fffffff)
850 if (jjmatchedPos + 1 < curPos)
851 input_stream.backup(curPos - jjmatchedPos - 1);
852 if ((jjtoToken[jjmatchedKind >> 6] & (1L << (jjmatchedKind & 077))) != 0L)
854 matchedToken = jjFillToken();
862 int error_line = input_stream.getEndLine();
863 int error_column = input_stream.getEndColumn();
864 String error_after = null;
865 boolean EOFSeen = false;
866 try { input_stream.readChar(); input_stream.backup(1); }
867 catch (java.io.IOException e1) {
869 error_after = curPos <= 1 ? "" : input_stream.GetImage();
870 if (curChar == '\n' || curChar == '\r') {
878 input_stream.backup(1);
879 error_after = curPos <= 1 ? "" : input_stream.GetImage();
881 throw new TokenMgrError(EOFSeen, curLexState, error_line, error_column, error_after, curChar, TokenMgrError.LEXICAL_ERROR);
885 private void jjCheckNAdd(int state)
887 if (jjrounds[state] != jjround)
889 jjstateSet[jjnewStateCnt++] = state;
890 jjrounds[state] = jjround;
893 private void jjAddStates(int start, int end)
896 jjstateSet[jjnewStateCnt++] = jjnextStates[start];
897 } while (start++ != end);
899 private void jjCheckNAddTwoStates(int state1, int state2)
905 private void jjCheckNAddStates(int start, int end)
908 jjCheckNAdd(jjnextStates[start]);
909 } while (start++ != end);
913 public SpecParserTokenManager(JavaCharStream stream){
915 if (JavaCharStream.staticFlag)
916 throw new Error("ERROR: Cannot use a static CharStream class with a non-static lexical analyzer.");
918 input_stream = stream;
922 public SpecParserTokenManager (JavaCharStream stream, int lexState){
927 /** Reinitialise parser. */
928 public void ReInit(JavaCharStream stream)
930 jjmatchedPos = jjnewStateCnt = 0;
931 curLexState = defaultLexState;
932 input_stream = stream;
936 private void ReInitRounds()
939 jjround = 0x80000001;
940 for (i = 6; i-- > 0;)
941 jjrounds[i] = 0x80000000;
944 /** Reinitialise parser. */
945 public void ReInit(JavaCharStream stream, int lexState)
951 /** Switch to specified lex state. */
952 public void SwitchTo(int lexState)
954 if (lexState >= 1 || lexState < 0)
955 throw new TokenMgrError("Error: Ignoring invalid lexical state : " + lexState + ". State unchanged.", TokenMgrError.INVALID_LEXICAL_STATE);
957 curLexState = lexState;
960 /** Lexer state names. */
961 public static final String[] lexStateNames = {
964 static final long[] jjtoToken = {
967 static final long[] jjtoSkip = {
970 protected JavaCharStream input_stream;
972 private final int[] jjrounds = new int[6];
973 private final int[] jjstateSet = new int[2 * 6];
976 protected char curChar;