src/edu/uci/eecs/specCompiler/grammerParser/SpecParserTokenManager.java

   1 /* SpecParserTokenManager.java */
   2 /* Generated By:JavaCC: Do not edit this line. SpecParserTokenManager.java */
   3 package edu.uci.eecs.specCompiler.grammerParser;
   4
   5 /** Token Manager. */
   6 @SuppressWarnings("unused")public class SpecParserTokenManager implements SpecParserConstants {
   7
   8   /** Debug output. */
   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){
  13    switch (pos)
  14    {
  15       case 0:
  16          if ((active0 & 0x2L) != 0L)
  17             return 6;
  18          return -1;
  19       default :
  20          return -1;
  21    }
  22 }
  23 private final int jjStartNfa_0(int pos, long active0){
  24    return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0), pos + 1);
  25 }
  26 private int jjStopAtPos(int pos, int kind)
  27 {
  28    jjmatchedKind = kind;
  29    jjmatchedPos = pos;
  30    return pos + 1;
  31 }
  32 private int jjMoveStringLiteralDfa0_0(){
  33    switch(curChar)
  34    {
  35       case 13:
  36          jjmatchedKind = 3;
  37          return jjMoveStringLiteralDfa1_0(0x10L);
  38       case 32:
  39          return jjStartNfaWithStates_0(0, 1, 6);
  40       case 42:
  41          return jjMoveStringLiteralDfa1_0(0x100L);
  42       case 47:
  43          return jjMoveStringLiteralDfa1_0(0x80L);
  44       case 64:
  45          return jjMoveStringLiteralDfa1_0(0x1ffe00L);
  46       default :
  47          return jjMoveNfa_0(0, 0);
  48    }
  49 }
  50 private int jjMoveStringLiteralDfa1_0(long active0){
  51    try { curChar = input_stream.readChar(); }
  52    catch(java.io.IOException e) {
  53       jjStopStringLiteralDfa_0(0, active0);
  54       return 1;
  55    }
  56    switch(curChar)
  57    {
  58       case 10:
  59          if ((active0 & 0x10L) != 0L)
  60             return jjStopAtPos(1, 4);
  61          break;
  62       case 42:
  63          return jjMoveStringLiteralDfa2_0(active0, 0x80L);
  64       case 47:
  65          if ((active0 & 0x100L) != 0L)
  66             return jjStopAtPos(1, 8);
  67          break;
  68       case 65:
  69          return jjMoveStringLiteralDfa2_0(active0, 0x4000L);
  70       case 66:
  71          return jjMoveStringLiteralDfa2_0(active0, 0x200L);
  72       case 67:
  73          return jjMoveStringLiteralDfa2_0(active0, 0x3000L);
  74       case 69:
  75          return jjMoveStringLiteralDfa2_0(active0, 0x400L);
  76       case 71:
  77          return jjMoveStringLiteralDfa2_0(active0, 0x20000L);
  78       case 72:
  79          return jjMoveStringLiteralDfa2_0(active0, 0x40000L);
  80       case 73:
  81          return jjMoveStringLiteralDfa2_0(active0, 0x80800L);
  82       case 80:
  83          return jjMoveStringLiteralDfa2_0(active0, 0x118000L);
  84       default :
  85          break;
  86    }
  87    return jjStartNfa_0(0, active0);
  88 }
  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);
  95       return 2;
  96    }
  97    switch(curChar)
  98    {
  99       case 42:
 100          if ((active0 & 0x80L) != 0L)
 101             return jjStopAtPos(2, 7);
 102          break;
 103       case 68:
 104          return jjMoveStringLiteralDfa3_0(active0, 0x800L);
 105       case 97:
 106          return jjMoveStringLiteralDfa3_0(active0, 0x40000L);
 107       case 99:
 108          return jjMoveStringLiteralDfa3_0(active0, 0x4000L);
 109       case 101:
 110          return jjMoveStringLiteralDfa3_0(active0, 0x200L);
 111       case 104:
 112          return jjMoveStringLiteralDfa3_0(active0, 0x2000L);
 113       case 108:
 114          return jjMoveStringLiteralDfa3_0(active0, 0x20000L);
 115       case 110:
 116          return jjMoveStringLiteralDfa3_0(active0, 0x80400L);
 117       case 111:
 118          return jjMoveStringLiteralDfa3_0(active0, 0x119000L);
 119       default :
 120          break;
 121    }
 122    return jjStartNfa_0(1, active0);
 123 }
 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);
 130       return 3;
 131    }
 132    switch(curChar)
 133    {
 134       case 58:
 135          if ((active0 & 0x800L) != 0L)
 136             return jjStopAtPos(3, 11);
 137          break;
 138       case 100:
 139          if ((active0 & 0x400L) != 0L)
 140             return jjStopAtPos(3, 10);
 141          break;
 142       case 101:
 143          return jjMoveStringLiteralDfa4_0(active0, 0x2000L);
 144       case 103:
 145          return jjMoveStringLiteralDfa4_0(active0, 0x200L);
 146       case 110:
 147          return jjMoveStringLiteralDfa4_0(active0, 0x1000L);
 148       case 111:
 149          return jjMoveStringLiteralDfa4_0(active0, 0x20000L);
 150       case 112:
 151          return jjMoveStringLiteralDfa4_0(active0, 0x40000L);
 152       case 115:
 153          return jjMoveStringLiteralDfa4_0(active0, 0x18000L);
 154       case 116:
 155          return jjMoveStringLiteralDfa4_0(active0, 0x184000L);
 156       default :
 157          break;
 158    }
 159    return jjStartNfa_0(2, active0);
 160 }
 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);
 167       return 4;
 168    }
 169    switch(curChar)
 170    {
 171       case 98:
 172          return jjMoveStringLiteralDfa5_0(active0, 0x20000L);
 173       case 99:
 174          return jjMoveStringLiteralDfa5_0(active0, 0x2000L);
 175       case 100:
 176          return jjMoveStringLiteralDfa5_0(active0, 0x1000L);
 177       case 101:
 178          return jjMoveStringLiteralDfa5_0(active0, 0x180000L);
 179       case 105:
 180          return jjMoveStringLiteralDfa5_0(active0, 0x4200L);
 181       case 112:
 182          return jjMoveStringLiteralDfa5_0(active0, 0x40000L);
 183       case 116:
 184          return jjMoveStringLiteralDfa5_0(active0, 0x18000L);
 185       default :
 186          break;
 187    }
 188    return jjStartNfa_0(3, active0);
 189 }
 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);
 196       return 5;
 197    }
 198    switch(curChar)
 199    {
 200       case 95:
 201          return jjMoveStringLiteralDfa6_0(active0, 0x18000L);
 202       case 97:
 203          return jjMoveStringLiteralDfa6_0(active0, 0x20000L);
 204       case 101:
 205          return jjMoveStringLiteralDfa6_0(active0, 0x40000L);
 206       case 105:
 207          return jjMoveStringLiteralDfa6_0(active0, 0x1000L);
 208       case 107:
 209          return jjMoveStringLiteralDfa6_0(active0, 0x2000L);
 210       case 110:
 211          if ((active0 & 0x200L) != 0L)
 212             return jjStopAtPos(5, 9);
 213          return jjMoveStringLiteralDfa6_0(active0, 0x100000L);
 214       case 111:
 215          return jjMoveStringLiteralDfa6_0(active0, 0x4000L);
 216       case 114:
 217          return jjMoveStringLiteralDfa6_0(active0, 0x80000L);
 218       default :
 219          break;
 220    }
 221    return jjStartNfa_0(4, active0);
 222 }
 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);
 229       return 6;
 230    }
 231    switch(curChar)
 232    {
 233       case 58:
 234          if ((active0 & 0x2000L) != 0L)
 235             return jjStopAtPos(6, 13);
 236          break;
 237       case 97:
 238          return jjMoveStringLiteralDfa7_0(active0, 0x8000L);
 239       case 99:
 240          return jjMoveStringLiteralDfa7_0(active0, 0x10000L);
 241       case 102:
 242          return jjMoveStringLiteralDfa7_0(active0, 0x80000L);
 243       case 108:
 244          return jjMoveStringLiteralDfa7_0(active0, 0x20000L);
 245       case 110:
 246          return jjMoveStringLiteralDfa7_0(active0, 0x44000L);
 247       case 116:
 248          return jjMoveStringLiteralDfa7_0(active0, 0x101000L);
 249       default :
 250          break;
 251    }
 252    return jjStartNfa_0(5, active0);
 253 }
 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);
 260       return 7;
 261    }
 262    switch(curChar)
 263    {
 264       case 58:
 265          if ((active0 & 0x4000L) != 0L)
 266             return jjStopAtPos(7, 14);
 267          break;
 268       case 95:
 269          return jjMoveStringLiteralDfa8_0(active0, 0x20000L);
 270       case 97:
 271          return jjMoveStringLiteralDfa8_0(active0, 0x80000L);
 272       case 99:
 273          return jjMoveStringLiteralDfa8_0(active0, 0x8000L);
 274       case 104:
 275          return jjMoveStringLiteralDfa8_0(active0, 0x10000L);
 276       case 105:
 277          return jjMoveStringLiteralDfa8_0(active0, 0x101000L);
 278       case 115:
 279          return jjMoveStringLiteralDfa8_0(active0, 0x40000L);
 280       default :
 281          break;
 282    }
 283    return jjStartNfa_0(6, active0);
 284 }
 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);
 291       return 8;
 292    }
 293    switch(curChar)
 294    {
 295       case 95:
 296          return jjMoveStringLiteralDfa9_0(active0, 0x40000L);
 297       case 97:
 298          return jjMoveStringLiteralDfa9_0(active0, 0x100000L);
 299       case 99:
 300          return jjMoveStringLiteralDfa9_0(active0, 0x80000L);
 301       case 100:
 302          return jjMoveStringLiteralDfa9_0(active0, 0x20000L);
 303       case 101:
 304          return jjMoveStringLiteralDfa9_0(active0, 0x10000L);
 305       case 111:
 306          return jjMoveStringLiteralDfa9_0(active0, 0x1000L);
 307       case 116:
 308          return jjMoveStringLiteralDfa9_0(active0, 0x8000L);
 309       default :
 310          break;
 311    }
 312    return jjStartNfa_0(7, active0);
 313 }
 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);
 320       return 9;
 321    }
 322    switch(curChar)
 323    {
 324       case 98:
 325          return jjMoveStringLiteralDfa10_0(active0, 0x40000L);
 326       case 99:
 327          return jjMoveStringLiteralDfa10_0(active0, 0x10000L);
 328       case 101:
 329          return jjMoveStringLiteralDfa10_0(active0, 0xa0000L);
 330       case 105:
 331          return jjMoveStringLiteralDfa10_0(active0, 0x8000L);
 332       case 108:
 333          return jjMoveStringLiteralDfa10_0(active0, 0x100000L);
 334       case 110:
 335          return jjMoveStringLiteralDfa10_0(active0, 0x1000L);
 336       default :
 337          break;
 338    }
 339    return jjStartNfa_0(8, active0);
 340 }
 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);
 347       return 10;
 348    }
 349    switch(curChar)
 350    {
 351       case 58:
 352          if ((active0 & 0x1000L) != 0L)
 353             return jjStopAtPos(10, 12);
 354          break;
 355       case 95:
 356          return jjMoveStringLiteralDfa11_0(active0, 0x180000L);
 357       case 101:
 358          return jjMoveStringLiteralDfa11_0(active0, 0x40000L);
 359       case 102:
 360          return jjMoveStringLiteralDfa11_0(active0, 0x20000L);
 361       case 107:
 362          return jjMoveStringLiteralDfa11_0(active0, 0x10000L);
 363       case 111:
 364          return jjMoveStringLiteralDfa11_0(active0, 0x8000L);
 365       default :
 366          break;
 367    }
 368    return jjStartNfa_0(9, active0);
 369 }
 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);
 376       return 11;
 377    }
 378    switch(curChar)
 379    {
 380       case 58:
 381          if ((active0 & 0x10000L) != 0L)
 382             return jjStopAtPos(11, 16);
 383          break;
 384       case 99:
 385          return jjMoveStringLiteralDfa12_0(active0, 0x180000L);
 386       case 102:
 387          return jjMoveStringLiteralDfa12_0(active0, 0x40000L);
 388       case 105:
 389          return jjMoveStringLiteralDfa12_0(active0, 0x20000L);
 390       case 110:
 391          return jjMoveStringLiteralDfa12_0(active0, 0x8000L);
 392       default :
 393          break;
 394    }
 395    return jjStartNfa_0(10, active0);
 396 }
 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);
 403       return 12;
 404    }
 405    switch(curChar)
 406    {
 407       case 58:
 408          if ((active0 & 0x8000L) != 0L)
 409             return jjStopAtPos(12, 15);
 410          break;
 411       case 108:
 412          return jjMoveStringLiteralDfa13_0(active0, 0x80000L);
 413       case 110:
 414          return jjMoveStringLiteralDfa13_0(active0, 0x20000L);
 415       case 111:
 416          return jjMoveStringLiteralDfa13_0(active0, 0x140000L);
 417       default :
 418          break;
 419    }
 420    return jjStartNfa_0(11, active0);
 421 }
 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);
 428       return 13;
 429    }
 430    switch(curChar)
 431    {
 432       case 101:
 433          return jjMoveStringLiteralDfa14_0(active0, 0x20000L);
 434       case 109:
 435          return jjMoveStringLiteralDfa14_0(active0, 0x100000L);
 436       case 114:
 437          return jjMoveStringLiteralDfa14_0(active0, 0x40000L);
 438       case 117:
 439          return jjMoveStringLiteralDfa14_0(active0, 0x80000L);
 440       default :
 441          break;
 442    }
 443    return jjStartNfa_0(12, active0);
 444 }
 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);
 451       return 14;
 452    }
 453    switch(curChar)
 454    {
 455       case 58:
 456          if ((active0 & 0x20000L) != 0L)
 457             return jjStopAtPos(14, 17);
 458          break;
 459       case 101:
 460          return jjMoveStringLiteralDfa15_0(active0, 0x40000L);
 461       case 109:
 462          return jjMoveStringLiteralDfa15_0(active0, 0x100000L);
 463       case 115:
 464          return jjMoveStringLiteralDfa15_0(active0, 0x80000L);
 465       default :
 466          break;
 467    }
 468    return jjStartNfa_0(13, active0);
 469 }
 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);
 476       return 15;
 477    }
 478    switch(curChar)
 479    {
 480       case 58:
 481          if ((active0 & 0x40000L) != 0L)
 482             return jjStopAtPos(15, 18);
 483          break;
 484       case 105:
 485          return jjMoveStringLiteralDfa16_0(active0, 0x100000L);
 486       case 116:
 487          return jjMoveStringLiteralDfa16_0(active0, 0x80000L);
 488       default :
 489          break;
 490    }
 491    return jjStartNfa_0(14, active0);
 492 }
 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);
 499       return 16;
 500    }
 501    switch(curChar)
 502    {
 503       case 101:
 504          return jjMoveStringLiteralDfa17_0(active0, 0x80000L);
 505       case 116:
 506          return jjMoveStringLiteralDfa17_0(active0, 0x100000L);
 507       default :
 508          break;
 509    }
 510    return jjStartNfa_0(15, active0);
 511 }
 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);
 518       return 17;
 519    }
 520    switch(curChar)
 521    {
 522       case 95:
 523          return jjMoveStringLiteralDfa18_0(active0, 0x100000L);
 524       case 114:
 525          return jjMoveStringLiteralDfa18_0(active0, 0x80000L);
 526       default :
 527          break;
 528    }
 529    return jjStartNfa_0(16, active0);
 530 }
 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);
 537       return 18;
 538    }
 539    switch(curChar)
 540    {
 541       case 58:
 542          if ((active0 & 0x80000L) != 0L)
 543             return jjStopAtPos(18, 19);
 544          break;
 545       case 112:
 546          return jjMoveStringLiteralDfa19_0(active0, 0x100000L);
 547       default :
 548          break;
 549    }
 550    return jjStartNfa_0(17, active0);
 551 }
 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);
 558       return 19;
 559    }
 560    switch(curChar)
 561    {
 562       case 111:
 563          return jjMoveStringLiteralDfa20_0(active0, 0x100000L);
 564       default :
 565          break;
 566    }
 567    return jjStartNfa_0(18, active0);
 568 }
 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);
 575       return 20;
 576    }
 577    switch(curChar)
 578    {
 579       case 105:
 580          return jjMoveStringLiteralDfa21_0(active0, 0x100000L);
 581       default :
 582          break;
 583    }
 584    return jjStartNfa_0(19, active0);
 585 }
 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);
 592       return 21;
 593    }
 594    switch(curChar)
 595    {
 596       case 110:
 597          return jjMoveStringLiteralDfa22_0(active0, 0x100000L);
 598       default :
 599          break;
 600    }
 601    return jjStartNfa_0(20, active0);
 602 }
 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);
 609       return 22;
 610    }
 611    switch(curChar)
 612    {
 613       case 116:
 614          return jjMoveStringLiteralDfa23_0(active0, 0x100000L);
 615       default :
 616          break;
 617    }
 618    return jjStartNfa_0(21, active0);
 619 }
 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);
 626       return 23;
 627    }
 628    switch(curChar)
 629    {
 630       case 58:
 631          if ((active0 & 0x100000L) != 0L)
 632             return jjStopAtPos(23, 20);
 633          break;
 634       default :
 635          break;
 636    }
 637    return jjStartNfa_0(22, active0);
 638 }
 639 private int jjStartNfaWithStates_0(int pos, int kind, int state)
 640 {
 641    jjmatchedKind = kind;
 642    jjmatchedPos = pos;
 643    try { curChar = input_stream.readChar(); }
 644    catch(java.io.IOException e) { return pos + 1; }
 645    return jjMoveNfa_0(state, pos + 1);
 646 }
 647 static final long[] jjbitVec0 = {
 648    0xfffffffffffffffeL, 0xffffffffffffffffL, 0xffffffffffffffffL, 0xffffffffffffffffL
 649 };
 650 static final long[] jjbitVec2 = {
 651    0x0L, 0x0L, 0xffffffffffffffffL, 0xffffffffffffffffL
 652 };
 653 private int jjMoveNfa_0(int startState, int curPos)
 654 {
 655    int startsAt = 0;
 656    jjnewStateCnt = 6;
 657    int i = 1;
 658    jjstateSet[0] = startState;
 659    int kind = 0x7fffffff;
 660    for (;;)
 661    {
 662       if (++jjround == 0x7fffffff)
 663          ReInitRounds();
 664       if (curChar < 64)
 665       {
 666          long l = 1L << curChar;
 667          do
 668          {
 669             switch(jjstateSet[--i])
 670             {
 671                case 6:
 672                   if ((0x100000200L & l) != 0L)
 673                      { jjCheckNAddTwoStates(2, 3); }
 674                   else if (curChar == 35)
 675                      { jjCheckNAddTwoStates(4, 5); }
 676                   if ((0x100000200L & l) != 0L)
 677                   {
 678                      if (kind > 5)
 679                         kind = 5;
 680                      { jjCheckNAdd(1); }
 681                   }
 682                   break;
 683                case 0:
 684                   if ((0x100000200L & l) == 0L)
 685                      break;
 686                   if (kind > 5)
 687                      kind = 5;
 688                   { jjCheckNAddStates(0, 2); }
 689                   break;
 690                case 1:
 691                   if ((0x100000200L & l) == 0L)
 692                      break;
 693                   if (kind > 5)
 694                      kind = 5;
 695                   { jjCheckNAdd(1); }
 696                   break;
 697                case 2:
 698                   if ((0x100000200L & l) != 0L)
 699                      { jjCheckNAddTwoStates(2, 3); }
 700                   break;
 701                case 3:
 702                   if (curChar == 35)
 703                      { jjCheckNAddTwoStates(4, 5); }
 704                   break;
 705                case 4:
 706                   if ((0xffffffffffffdbffL & l) != 0L)
 707                      { jjCheckNAddTwoStates(4, 5); }
 708                   break;
 709                case 5:
 710                   if ((0x2400L & l) != 0L)
 711                      kind = 6;
 712                   break;
 713                default : break;
 714             }
 715          } while(i != startsAt);
 716       }
 717       else if (curChar < 128)
 718       {
 719          long l = 1L << (curChar & 077);
 720          do
 721          {
 722             switch(jjstateSet[--i])
 723             {
 724                case 4:
 725                   { jjAddStates(3, 4); }
 726                   break;
 727                default : break;
 728             }
 729          } while(i != startsAt);
 730       }
 731       else
 732       {
 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);
 738          do
 739          {
 740             switch(jjstateSet[--i])
 741             {
 742                case 4:
 743                   if (jjCanMove_0(hiByte, i1, i2, l1, l2))
 744                      { jjAddStates(3, 4); }
 745                   break;
 746                default : if (i1 == 0 || l1 == 0 || i2 == 0 || l2 == 0) break; else break;
 747             }
 748          } while(i != startsAt);
 749       }
 750       if (kind != 0x7fffffff)
 751       {
 752          jjmatchedKind = kind;
 753          jjmatchedPos = curPos;
 754          kind = 0x7fffffff;
 755       }
 756       ++curPos;
 757       if ((i = jjnewStateCnt) == (startsAt = 6 - (jjnewStateCnt = startsAt)))
 758          return curPos;
 759       try { curChar = input_stream.readChar(); }
 760       catch(java.io.IOException e) { return curPos; }
 761    }
 762 }
 763 static final int[] jjnextStates = {
 764    1, 2, 3, 4, 5,
 765 };
 766 private static final boolean jjCanMove_0(int hiByte, int i1, int i2, long l1, long l2)
 767 {
 768    switch(hiByte)
 769    {
 770       case 0:
 771          return ((jjbitVec2[i2] & l2) != 0L);
 772       default :
 773          if ((jjbitVec0[i1] & l1) != 0L)
 774             return true;
 775          return false;
 776    }
 777 }
 778
 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()
 789 {
 790    final Token t;
 791    final String curTokenImage;
 792    final int beginLine;
 793    final int endLine;
 794    final int beginColumn;
 795    final int endColumn;
 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);
 803
 804    t.beginLine = beginLine;
 805    t.endLine = endLine;
 806    t.beginColumn = beginColumn;
 807    t.endColumn = endColumn;
 808
 809    return t;
 810 }
 811
 812 int curLexState = 0;
 813 int defaultLexState = 0;
 814 int jjnewStateCnt;
 815 int jjround;
 816 int jjmatchedPos;
 817 int jjmatchedKind;
 818
 819 /** Get the next Token. */
 820 public Token getNextToken()
 821 {
 822   Token matchedToken;
 823   int curPos = 0;
 824
 825   EOFLoop :
 826   for (;;)
 827   {
 828    try
 829    {
 830       curChar = input_stream.BeginToken();
 831    }
 832    catch(java.io.IOException e)
 833    {
 834       jjmatchedKind = 0;
 835       jjmatchedPos = -1;
 836       matchedToken = jjFillToken();
 837       return matchedToken;
 838    }
 839
 840    try { input_stream.backup(0);
 841       while (curChar <= 10 && (0x400L & (1L << curChar)) != 0L)
 842          curChar = input_stream.BeginToken();
 843    }
 844    catch (java.io.IOException e1) { continue EOFLoop; }
 845    jjmatchedKind = 0x7fffffff;
 846    jjmatchedPos = 0;
 847    curPos = jjMoveStringLiteralDfa0_0();
 848    if (jjmatchedKind != 0x7fffffff)
 849    {
 850       if (jjmatchedPos + 1 < curPos)
 851          input_stream.backup(curPos - jjmatchedPos - 1);
 852       if ((jjtoToken[jjmatchedKind >> 6] & (1L << (jjmatchedKind & 077))) != 0L)
 853       {
 854          matchedToken = jjFillToken();
 855          return matchedToken;
 856       }
 857       else
 858       {
 859          continue EOFLoop;
 860       }
 861    }
 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) {
 868       EOFSeen = true;
 869       error_after = curPos <= 1 ? "" : input_stream.GetImage();
 870       if (curChar == '\n' || curChar == '\r') {
 871          error_line++;
 872          error_column = 0;
 873       }
 874       else
 875          error_column++;
 876    }
 877    if (!EOFSeen) {
 878       input_stream.backup(1);
 879       error_after = curPos <= 1 ? "" : input_stream.GetImage();
 880    }
 881    throw new TokenMgrError(EOFSeen, curLexState, error_line, error_column, error_after, curChar, TokenMgrError.LEXICAL_ERROR);
 882   }
 883 }
 884
 885 private void jjCheckNAdd(int state)
 886 {
 887    if (jjrounds[state] != jjround)
 888    {
 889       jjstateSet[jjnewStateCnt++] = state;
 890       jjrounds[state] = jjround;
 891    }
 892 }
 893 private void jjAddStates(int start, int end)
 894 {
 895    do {
 896       jjstateSet[jjnewStateCnt++] = jjnextStates[start];
 897    } while (start++ != end);
 898 }
 899 private void jjCheckNAddTwoStates(int state1, int state2)
 900 {
 901    jjCheckNAdd(state1);
 902    jjCheckNAdd(state2);
 903 }
 904
 905 private void jjCheckNAddStates(int start, int end)
 906 {
 907    do {
 908       jjCheckNAdd(jjnextStates[start]);
 909    } while (start++ != end);
 910 }
 911
 912     /** Constructor. */
 913     public SpecParserTokenManager(JavaCharStream stream){
 914
 915       if (JavaCharStream.staticFlag)
 916             throw new Error("ERROR: Cannot use a static CharStream class with a non-static lexical analyzer.");
 917
 918     input_stream = stream;
 919   }
 920
 921   /** Constructor. */
 922   public SpecParserTokenManager (JavaCharStream stream, int lexState){
 923     ReInit(stream);
 924     SwitchTo(lexState);
 925   }
 926
 927   /** Reinitialise parser. */
 928   public void ReInit(JavaCharStream stream)
 929   {
 930     jjmatchedPos = jjnewStateCnt = 0;
 931     curLexState = defaultLexState;
 932     input_stream = stream;
 933     ReInitRounds();
 934   }
 935
 936   private void ReInitRounds()
 937   {
 938     int i;
 939     jjround = 0x80000001;
 940     for (i = 6; i-- > 0;)
 941       jjrounds[i] = 0x80000000;
 942   }
 943
 944   /** Reinitialise parser. */
 945   public void ReInit(JavaCharStream stream, int lexState)
 946   {
 947     ReInit(stream);
 948     SwitchTo(lexState);
 949   }
 950
 951   /** Switch to specified lex state. */
 952   public void SwitchTo(int lexState)
 953   {
 954     if (lexState >= 1 || lexState < 0)
 955       throw new TokenMgrError("Error: Ignoring invalid lexical state : " + lexState + ". State unchanged.", TokenMgrError.INVALID_LEXICAL_STATE);
 956     else
 957       curLexState = lexState;
 958   }
 959
 960 /** Lexer state names. */
 961 public static final String[] lexStateNames = {
 962    "DEFAULT",
 963 };
 964 static final long[] jjtoToken = {
 965    0x1fffe1L,
 966 };
 967 static final long[] jjtoSkip = {
 968    0x1eL,
 969 };
 970     protected JavaCharStream  input_stream;
 971
 972     private final int[] jjrounds = new int[6];
 973     private final int[] jjstateSet = new int[2 * 6];
 974
 975
 976     protected char curChar;
 977 }