00001 package edu.ksu.cis.bandera.abstraction.predicate.parser;
00002
00003
00004 public interface PredicateParserConstants {
00005
00006 int EOF = 0;
00007 int SINGLE_LINE_COMMENT = 9;
00008 int FORMAL_COMMENT = 10;
00009 int MULTI_LINE_COMMENT = 11;
00010 int BOOLEAN = 13;
00011 int BYTE = 14;
00012 int CHAR = 15;
00013 int CLASS = 16;
00014 int DOUBLE = 17;
00015 int FALSE = 18;
00016 int FLOAT = 19;
00017 int INSTANCEOF = 20;
00018 int INT = 21;
00019 int LONG = 22;
00020 int NULL = 23;
00021 int SUPER = 24;
00022 int SHORT = 25;
00023 int THIS = 26;
00024 int TRUE = 27;
00025 int PREDICATE = 28;
00026 int METHOD = 29;
00027 int EXPR = 30;
00028 int GLOBAL = 31;
00029 int INTEGER_LITERAL = 32;
00030 int DECIMAL_LITERAL = 33;
00031 int HEX_LITERAL = 34;
00032 int OCTAL_LITERAL = 35;
00033 int FLOATING_POINT_LITERAL = 36;
00034 int EXPONENT = 37;
00035 int CHARACTER_LITERAL = 38;
00036 int STRING_LITERAL = 39;
00037 int NON_ESCAPED_LITERAL = 41;
00038 int ESCAPE_SEQ = 42;
00039 int ESCAPE_OCTAL = 43;
00040 int ESCAPE_UNICODE = 44;
00041 int IDENTIFIER = 46;
00042 int LETTER = 47;
00043 int DIGIT = 48;
00044 int LPAREN = 49;
00045 int RPAREN = 50;
00046 int LBRACE = 51;
00047 int RBRACE = 52;
00048 int LBRACKET = 53;
00049 int RBRACKET = 54;
00050 int SEMICOLON = 55;
00051 int COMMA = 56;
00052 int DOT = 57;
00053 int ASSIGN = 58;
00054 int GT = 59;
00055 int LT = 60;
00056 int BANG = 61;
00057 int TILDE = 62;
00058 int EQ = 63;
00059 int LE = 64;
00060 int GE = 65;
00061 int NE = 66;
00062 int SC_OR = 67;
00063 int SC_AND = 68;
00064 int INCR = 69;
00065 int DECR = 70;
00066 int PLUS = 71;
00067 int MINUS = 72;
00068 int STAR = 73;
00069 int SLASH = 74;
00070 int BIT_AND = 75;
00071 int BIT_OR = 76;
00072 int XOR = 77;
00073 int REM = 78;
00074 int LSHIFT = 79;
00075 int RSIGNEDSHIFT = 80;
00076 int RUNSIGNEDSHIFT = 81;
00077
00078 int DEFAULT = 0;
00079 int IN_SINGLE_LINE_COMMENT = 1;
00080 int IN_FORMAL_COMMENT = 2;
00081 int IN_MULTI_LINE_COMMENT = 3;
00082 int CHAR_LIT = 4;
00083 int ESCAPED_CHAR_LIT = 5;
00084 int CHAR_LIT_CLOSE = 6;
00085
00086 String[] tokenImage = {
00087 "<EOF>",
00088 "\" \"",
00089 "\"\\t\"",
00090 "\"\\n\"",
00091 "\"\\r\"",
00092 "\"\\f\"",
00093 "\"//\"",
00094 "<token of kind 7>",
00095 "\"/*\"",
00096 "<SINGLE_LINE_COMMENT>",
00097 "\"*/\"",
00098 "\"*/\"",
00099 "<token of kind 12>",
00100 "\"boolean\"",
00101 "\"byte\"",
00102 "\"char\"",
00103 "\"class\"",
00104 "\"double\"",
00105 "\"false\"",
00106 "\"float\"",
00107 "\"instanceof\"",
00108 "\"int\"",
00109 "\"long\"",
00110 "\"null\"",
00111 "\"super\"",
00112 "\"short\"",
00113 "\"this\"",
00114 "\"true\"",
00115 "\"predicate\"",
00116 "\"method\"",
00117 "\"expr\"",
00118 "\"global\"",
00119 "<INTEGER_LITERAL>",
00120 "<DECIMAL_LITERAL>",
00121 "<HEX_LITERAL>",
00122 "<OCTAL_LITERAL>",
00123 "<FLOATING_POINT_LITERAL>",
00124 "<EXPONENT>",
00125 "\"\\\'\"",
00126 "<STRING_LITERAL>",
00127 "\"\\\\\"",
00128 "<NON_ESCAPED_LITERAL>",
00129 "<ESCAPE_SEQ>",
00130 "<ESCAPE_OCTAL>",
00131 "<ESCAPE_UNICODE>",
00132 "\"\\\'\"",
00133 "<IDENTIFIER>",
00134 "<LETTER>",
00135 "<DIGIT>",
00136 "\"(\"",
00137 "\")\"",
00138 "\"{\"",
00139 "\"}\"",
00140 "\"[\"",
00141 "\"]\"",
00142 "\";\"",
00143 "\",\"",
00144 "\".\"",
00145 "\"=\"",
00146 "\">\"",
00147 "\"<\"",
00148 "\"!\"",
00149 "\"~\"",
00150 "\"==\"",
00151 "\"<=\"",
00152 "\">=\"",
00153 "\"!=\"",
00154 "\"||\"",
00155 "\"&&\"",
00156 "\"++\"",
00157 "\"--\"",
00158 "\"+\"",
00159 "\"-\"",
00160 "\"*\"",
00161 "\"/\"",
00162 "\"&\"",
00163 "\"|\"",
00164 "\"^\"",
00165 "\"%\"",
00166 "\"<<\"",
00167 "\">>\"",
00168 "\">>>\"",
00169 "\"?\"",
00170 "\":\"",
00171 };
00172
00173 }
