AdelanteParserConstants.java

/* Generated By:JJTree&JavaCC: Do not edit this line. AdelanteParserConstants.java */
package com.github.tom65536.adelante.parser;


/**
 * Token literal values and constants.
 * Generated by org.javacc.parser.OtherFilesGen#start()
 */
public interface AdelanteParserConstants {

  /** End of File. */
  int EOF = 0;
  /** RegularExpression Id. */
  int NL = 11;
  /** RegularExpression Id. */
  int RESERVED_SEMICOLON = 12;
  /** RegularExpression Id. */
  int ELLIPSIS = 13;
  /** RegularExpression Id. */
  int RANGE = 14;
  /** RegularExpression Id. */
  int ASSIGN = 15;
  /** RegularExpression Id. */
  int LARR = 16;
  /** RegularExpression Id. */
  int RARR = 17;
  /** RegularExpression Id. */
  int LRARR = 18;
  /** RegularExpression Id. */
  int LT = 19;
  /** RegularExpression Id. */
  int GT = 20;
  /** RegularExpression Id. */
  int LE = 21;
  /** RegularExpression Id. */
  int GE = 22;
  /** RegularExpression Id. */
  int NE = 23;
  /** RegularExpression Id. */
  int EQ = 24;
  /** RegularExpression Id. */
  int STARSHIP = 25;
  /** RegularExpression Id. */
  int BAT = 26;
  /** RegularExpression Id. */
  int TILDE = 27;
  /** RegularExpression Id. */
  int IN = 28;
  /** RegularExpression Id. */
  int NOT_IN = 29;
  /** RegularExpression Id. */
  int SLASH = 30;
  /** RegularExpression Id. */
  int SLASH_SLASH = 31;
  /** RegularExpression Id. */
  int AST = 32;
  /** RegularExpression Id. */
  int CIRCLED_TIMES = 33;
  /** RegularExpression Id. */
  int CIRCLED_AST = 34;
  /** RegularExpression Id. */
  int CIRCLED_DOT = 35;
  /** RegularExpression Id. */
  int CIRCLED_SLASH = 36;
  /** RegularExpression Id. */
  int AST_AST = 37;
  /** RegularExpression Id. */
  int AST_SLASH = 38;
  /** RegularExpression Id. */
  int SLASH_AST = 39;
  /** RegularExpression Id. */
  int TIMES = 40;
  /** RegularExpression Id. */
  int PERCENT = 41;
  /** RegularExpression Id. */
  int BOXED_LT = 42;
  /** RegularExpression Id. */
  int BOXED_GT = 43;
  /** RegularExpression Id. */
  int BOXED_LE = 44;
  /** RegularExpression Id. */
  int BOXED_GE = 45;
  /** RegularExpression Id. */
  int BOXED_NE = 46;
  /** RegularExpression Id. */
  int BOXED_EQ = 47;
  /** RegularExpression Id. */
  int CIRCLED_LT = 48;
  /** RegularExpression Id. */
  int CIRCLED_GT = 49;
  /** RegularExpression Id. */
  int CIRCLED_LE = 50;
  /** RegularExpression Id. */
  int CIRCLED_GE = 51;
  /** RegularExpression Id. */
  int CIRCLED_NE = 52;
  /** RegularExpression Id. */
  int CIRCLED_EQ = 53;
  /** RegularExpression Id. */
  int BOXED_QUEST = 54;
  /** RegularExpression Id. */
  int BOXED_COLON = 55;
  /** RegularExpression Id. */
  int BOXED_QUOTE = 56;
  /** RegularExpression Id. */
  int BOXED_CARET = 57;
  /** RegularExpression Id. */
  int BOXED_LARR = 58;
  /** RegularExpression Id. */
  int BOXED_RARR = 59;
  /** RegularExpression Id. */
  int BOXED_SLASH = 60;
  /** RegularExpression Id. */
  int BOXED_PLUS = 61;
  /** RegularExpression Id. */
  int BOXED_MINUS = 62;
  /** RegularExpression Id. */
  int BOXED_TIMES = 63;
  /** RegularExpression Id. */
  int BOXED_DOT = 64;
  /** RegularExpression Id. */
  int BOXED_AST = 65;
  /** RegularExpression Id. */
  int PLUS = 66;
  /** RegularExpression Id. */
  int MINUS = 67;
  /** RegularExpression Id. */
  int PLUS_PLUS = 68;
  /** RegularExpression Id. */
  int MINUS_MINUS = 69;
  /** RegularExpression Id. */
  int PLUS_MINUS = 70;
  /** RegularExpression Id. */
  int MINUS_PLUS = 71;
  /** RegularExpression Id. */
  int CIRCLED_PLUS = 72;
  /** RegularExpression Id. */
  int CIRCLED_MINUS = 73;
  /** RegularExpression Id. */
  int CARET = 74;
  /** RegularExpression Id. */
  int LL = 75;
  /** RegularExpression Id. */
  int GG = 76;
  /** RegularExpression Id. */
  int LLL = 77;
  /** RegularExpression Id. */
  int EXCLAM = 78;
  /** RegularExpression Id. */
  int QUEST = 79;
  /** RegularExpression Id. */
  int QQ = 80;
  /** RegularExpression Id. */
  int EE = 81;
  /** RegularExpression Id. */
  int QEX = 82;
  /** RegularExpression Id. */
  int EXQ = 83;
  /** RegularExpression Id. */
  int GGG = 84;
  /** RegularExpression Id. */
  int BAR = 85;
  /** RegularExpression Id. */
  int AMP = 86;
  /** RegularExpression Id. */
  int BAR_BAR = 87;
  /** RegularExpression Id. */
  int AMP_AMP = 88;
  /** RegularExpression Id. */
  int CARET_CARET = 89;
  /** RegularExpression Id. */
  int KW_ACROSS = 90;
  /** RegularExpression Id. */
  int KW_ALL = 91;
  /** RegularExpression Id. */
  int KW_AND = 92;
  /** RegularExpression Id. */
  int KW_AS = 93;
  /** RegularExpression Id. */
  int KW_BECAUSE = 94;
  /** RegularExpression Id. */
  int KW_BY = 95;
  /** RegularExpression Id. */
  int KW_BOOL = 96;
  /** RegularExpression Id. */
  int KW_CASE = 97;
  /** RegularExpression Id. */
  int KW_CHECK = 98;
  /** RegularExpression Id. */
  int KW_CONST = 99;
  /** RegularExpression Id. */
  int KW_CONCR = 100;
  /** RegularExpression Id. */
  int KW_CONTINUE = 101;
  /** RegularExpression Id. */
  int KW_DIV = 102;
  /** RegularExpression Id. */
  int KW_DO = 103;
  /** RegularExpression Id. */
  int KW_DOC = 104;
  /** RegularExpression Id. */
  int KW_ELIF = 105;
  /** RegularExpression Id. */
  int KW_ELSE = 106;
  /** RegularExpression Id. */
  int KW_END = 107;
  /** RegularExpression Id. */
  int KW_ENDEXAMPLE = 108;
  /** RegularExpression Id. */
  int KW_ENDIF = 109;
  /** RegularExpression Id. */
  int KW_ENDOP = 110;
  /** RegularExpression Id. */
  int KW_ENDPACKET = 111;
  /** RegularExpression Id. */
  int KW_ENDPROC = 112;
  /** RegularExpression Id. */
  int KW_ENDPROTOCOL = 113;
  /** RegularExpression Id. */
  int KW_ENDREPEAT = 114;
  /** RegularExpression Id. */
  int KW_ENDSELECT = 115;
  /** RegularExpression Id. */
  int KW_ENDTEST = 116;
  /** RegularExpression Id. */
  int KW_ENDWITH = 117;
  /** RegularExpression Id. */
  int KW_ENSURES = 118;
  /** RegularExpression Id. */
  int KW_ENUM = 119;
  /** RegularExpression Id. */
  int KW_EXAMPLE = 120;
  /** RegularExpression Id. */
  int KW_FALSE = 121;
  /** RegularExpression Id. */
  int KW_HAVING = 122;
  /** RegularExpression Id. */
  int KW_IF = 123;
  /** RegularExpression Id. */
  int KW_IMPL = 124;
  /** RegularExpression Id. */
  int KW_IMPLIES = 125;
  /** RegularExpression Id. */
  int KW_IN = 126;
  /** RegularExpression Id. */
  int KW_INVARIANT = 127;
  /** RegularExpression Id. */
  int KW_INT = 128;
  /** RegularExpression Id. */
  int KW_LEAVE = 129;
  /** RegularExpression Id. */
  int KW_LET = 130;
  /** RegularExpression Id. */
  int KW_MEASURE = 131;
  /** RegularExpression Id. */
  int KW_MOD = 132;
  /** RegularExpression Id. */
  int KW_NO = 133;
  /** RegularExpression Id. */
  int KW_NOT = 134;
  /** RegularExpression Id. */
  int KW_OBSOLETE = 135;
  /** RegularExpression Id. */
  int KW_OF = 136;
  /** RegularExpression Id. */
  int KW_ONLY = 137;
  /** RegularExpression Id. */
  int KW_OP = 138;
  /** RegularExpression Id. */
  int KW_OR = 139;
  /** RegularExpression Id. */
  int KW_OTHERWISE = 140;
  /** RegularExpression Id. */
  int KW_OUTER = 141;
  /** RegularExpression Id. */
  int KW_PACKET = 142;
  /** RegularExpression Id. */
  int KW_PROC = 143;
  /** RegularExpression Id. */
  int KW_PROTOCOL = 144;
  /** RegularExpression Id. */
  int KW_PUBLIC = 145;
  /** RegularExpression Id. */
  int KW_PURE = 146;
  /** RegularExpression Id. */
  int KW_REAL = 147;
  /** RegularExpression Id. */
  int KW_REPEAT = 148;
  /** RegularExpression Id. */
  int KW_REQUIRES = 149;
  /** RegularExpression Id. */
  int KW_SELECT = 150;
  /** RegularExpression Id. */
  int KW_SOME = 151;
  /** RegularExpression Id. */
  int KW_STRUCT = 152;
  /** RegularExpression Id. */
  int KW_TEST = 153;
  /** RegularExpression Id. */
  int KW_TEXT = 154;
  /** RegularExpression Id. */
  int KW_THEN = 155;
  /** RegularExpression Id. */
  int KW_TRUE = 156;
  /** RegularExpression Id. */
  int KW_TYPE = 157;
  /** RegularExpression Id. */
  int KW_UNTIL = 158;
  /** RegularExpression Id. */
  int KW_USES = 159;
  /** RegularExpression Id. */
  int KW_VAR = 160;
  /** RegularExpression Id. */
  int KW_VARIANT = 161;
  /** RegularExpression Id. */
  int KW_VOID = 162;
  /** RegularExpression Id. */
  int KW_WHILE = 163;
  /** RegularExpression Id. */
  int KW_WITH = 164;
  /** RegularExpression Id. */
  int KW_WITHOUT = 165;
  /** RegularExpression Id. */
  int KW_XOR = 166;
  /** RegularExpression Id. */
  int MEDIAL = 167;
  /** RegularExpression Id. */
  int UPPER = 168;
  /** RegularExpression Id. */
  int START = 169;
  /** RegularExpression Id. */
  int CONTINUE = 170;
  /** RegularExpression Id. */
  int START_BLOCK = 171;
  /** RegularExpression Id. */
  int CONTINUE_BLOCK = 172;
  /** RegularExpression Id. */
  int IDENTIFIER = 173;
  /** RegularExpression Id. */
  int WS = 174;
  /** RegularExpression Id. */
  int HASH = 175;
  /** RegularExpression Id. */
  int COMMENT = 176;
  /** RegularExpression Id. */
  int ESCAPED_NL = 177;
  /** RegularExpression Id. */
  int DOCUMENTATION = 178;
  /** RegularExpression Id. */
  int TEXT_CONTENTS = 179;
  /** RegularExpression Id. */
  int DIGIT = 180;
  /** RegularExpression Id. */
  int ALPHA = 181;
  /** RegularExpression Id. */
  int ALNUM = 182;
  /** RegularExpression Id. */
  int MANTISSA = 183;
  /** RegularExpression Id. */
  int EXPONENT = 184;
  /** RegularExpression Id. */
  int TEXT_LITERAL = 185;
  /** RegularExpression Id. */
  int TEXT_HEAD = 186;
  /** RegularExpression Id. */
  int TEXT_MID = 187;
  /** RegularExpression Id. */
  int TEXT_TAIL = 188;
  /** RegularExpression Id. */
  int DECIMAL_LITERAL = 189;
  /** RegularExpression Id. */
  int RADIX_LITERAL = 190;
  /** RegularExpression Id. */
  int REAL_LITERAL = 191;

  /** Lexical state. */
  int DEFAULT = 0;
  /** Lexical state. */
  int DOC = 1;

  /** Literal token values. */
  String[] tokenImage = {
    "<EOF>",
    "\",\"",
    "\":\"",
    "\".\"",
    "\"(\"",
    "\")\"",
    "\"{\"",
    "\"}\"",
    "\"::\"",
    "\"[\"",
    "\"]\"",
    "<NL>",
    "\";\"",
    "<ELLIPSIS>",
    "<RANGE>",
    "<ASSIGN>",
    "<LARR>",
    "<RARR>",
    "<LRARR>",
    "\"<\"",
    "\">\"",
    "<LE>",
    "<GE>",
    "<NE>",
    "\"=\"",
    "<STARSHIP>",
    "\">=<\"",
    "\"~\"",
    "\"\\u2208\"",
    "\"\\u2209\"",
    "\"/\"",
    "\"//\"",
    "\"*\"",
    "<CIRCLED_TIMES>",
    "<CIRCLED_AST>",
    "<CIRCLED_DOT>",
    "<CIRCLED_SLASH>",
    "\"**\"",
    "<AST_SLASH>",
    "<SLASH_AST>",
    "<TIMES>",
    "\"%\"",
    "<BOXED_LT>",
    "<BOXED_GT>",
    "\"[<=]\"",
    "\"[>=]\"",
    "<BOXED_NE>",
    "<BOXED_EQ>",
    "<CIRCLED_LT>",
    "<CIRCLED_GT>",
    "\"(<=)\"",
    "\"(>=)\"",
    "\"(<>)\"",
    "<CIRCLED_EQ>",
    "<BOXED_QUEST>",
    "<BOXED_COLON>",
    "<BOXED_QUOTE>",
    "<BOXED_CARET>",
    "<BOXED_LARR>",
    "<BOXED_RARR>",
    "<BOXED_SLASH>",
    "<BOXED_PLUS>",
    "<BOXED_MINUS>",
    "<BOXED_TIMES>",
    "<BOXED_DOT>",
    "<BOXED_AST>",
    "\"+\"",
    "\"-\"",
    "\"++\"",
    "\"--\"",
    "<PLUS_MINUS>",
    "<MINUS_PLUS>",
    "<CIRCLED_PLUS>",
    "<CIRCLED_MINUS>",
    "\"^\"",
    "<LL>",
    "<GG>",
    "<LLL>",
    "\"!\"",
    "\"?\"",
    "<QQ>",
    "<EE>",
    "<QEX>",
    "<EXQ>",
    "<GGG>",
    "\"|\"",
    "\"&\"",
    "\"||\"",
    "\"&&\"",
    "\"^^\"",
    "\"ACROSS\"",
    "\"ALL\"",
    "\"AND\"",
    "\"AS\"",
    "\"BECAUSE\"",
    "\"BY\"",
    "<KW_BOOL>",
    "\"CASE\"",
    "\"CHECK\"",
    "\"CONST\"",
    "<KW_CONCR>",
    "\"CONTINUE\"",
    "\"DIV\"",
    "\"DO\"",
    "<KW_DOC>",
    "<KW_ELIF>",
    "\"ELSE\"",
    "\"END\"",
    "\"ENDEXAMPLE\"",
    "\"ENDIF\"",
    "<KW_ENDOP>",
    "\"ENDPACKET\"",
    "<KW_ENDPROC>",
    "\"ENDPROTOCOL\"",
    "<KW_ENDREPEAT>",
    "\"ENDSELECT\"",
    "\"ENDTEST\"",
    "\"ENDWITH\"",
    "<KW_ENSURES>",
    "\"ENUM\"",
    "\"EXAMPLE\"",
    "\"FALSE\"",
    "\"HAVING\"",
    "\"IF\"",
    "<KW_IMPL>",
    "\"IMPLIES\"",
    "\"IN\"",
    "<KW_INVARIANT>",
    "<KW_INT>",
    "\"LEAVE\"",
    "\"LET\"",
    "\"MEASURE\"",
    "\"MOD\"",
    "\"NO\"",
    "\"NOT\"",
    "\"OBSOLETE\"",
    "\"OF\"",
    "\"ONLY\"",
    "<KW_OP>",
    "\"OR\"",
    "\"OTHERWISE\"",
    "\"OUTER\"",
    "\"PACKET\"",
    "<KW_PROC>",
    "\"PROTOCOL\"",
    "<KW_PUBLIC>",
    "\"PURE\"",
    "\"REAL\"",
    "<KW_REPEAT>",
    "<KW_REQUIRES>",
    "\"SELECT\"",
    "\"SOME\"",
    "\"STRUCT\"",
    "\"TEST\"",
    "\"TEXT\"",
    "\"THEN\"",
    "\"TRUE\"",
    "\"TYPE\"",
    "\"UNTIL\"",
    "<KW_USES>",
    "\"VAR\"",
    "\"VARIANT\"",
    "\"VOID\"",
    "\"WHILE\"",
    "\"WITH\"",
    "\"WITHOUT\"",
    "\"XOR\"",
    "<MEDIAL>",
    "<UPPER>",
    "<START>",
    "<CONTINUE>",
    "<START_BLOCK>",
    "<CONTINUE_BLOCK>",
    "<IDENTIFIER>",
    "<WS>",
    "<HASH>",
    "<COMMENT>",
    "<ESCAPED_NL>",
    "<DOCUMENTATION>",
    "<TEXT_CONTENTS>",
    "<DIGIT>",
    "<ALPHA>",
    "<ALNUM>",
    "<MANTISSA>",
    "<EXPONENT>",
    "<TEXT_LITERAL>",
    "<TEXT_HEAD>",
    "<TEXT_MID>",
    "<TEXT_TAIL>",
    "<DECIMAL_LITERAL>",
    "<RADIX_LITERAL>",
    "<REAL_LITERAL>",
  };

}