| |
| //---------------------------------------------------- |
| // The following code was generated by CUP v0.11a beta 20060608 |
| // Mon Dec 03 16:12:49 MSK 2012 |
| //---------------------------------------------------- |
| |
| package JFlex; |
| |
| /** CUP generated interface containing symbol constants. */ |
| public interface sym { |
| /* terminals */ |
| public static final int DELIMITER = 9; |
| public static final int UNICODE_SPACE_SEPARATOR = 41; |
| public static final int UNICODE_OTHER_LETTER = 34; |
| public static final int USERCODE = 61; |
| public static final int UNICODE_ENCLOSING_MARK = 36; |
| public static final int REGEXPEND = 19; |
| public static final int CCLASSNOT = 74; |
| public static final int UNICODE = 18; |
| public static final int UNICODE_CURRENCY_SYMBOL = 54; |
| public static final int UNICODE_LETTER_NUMBER = 39; |
| public static final int UNICODE_START_PUNCTUATION = 49; |
| public static final int UNICODE_OTHER_SYMBOL = 56; |
| public static final int UNICODE_COMBINING_SPACING_MARK = 37; |
| public static final int UNICODE_FINAL_QUOTE_PUNCTUATION = 58; |
| public static final int UNICODE_UNASSIGNED = 29; |
| public static final int COMMA = 11; |
| public static final int RBRACE = 15; |
| public static final int UNICODE_UPPERCASE_LETTER = 30; |
| public static final int UNICODE_INITIAL_QUOTE_PUNCTUATION = 57; |
| public static final int LBRACE = 14; |
| public static final int UNICODE_SURROGATE = 47; |
| public static final int ACTION = 59; |
| public static final int CHAR_I = 77; |
| public static final int UNICODE_DECIMAL_DIGIT_NUMBER = 38; |
| public static final int CLOSECLASS = 7; |
| public static final int TILDE = 69; |
| public static final int UNICODE_NON_SPACING_MARK = 35; |
| public static final int DOLLAR = 5; |
| public static final int UNICODE_END_PUNCTUATION = 50; |
| public static final int FULL = 17; |
| public static final int LESSTHAN = 12; |
| public static final int UNICODE_DASH_PUNCTUATION = 48; |
| public static final int CLOSEBRACKET = 3; |
| public static final int PLUS = 64; |
| public static final int QUESTION = 66; |
| public static final int CHAR = 70; |
| public static final int NOACTION = 27; |
| public static final int STAR = 63; |
| public static final int UNICODE_CONNECTOR_PUNCTUATION = 51; |
| public static final int CONCAT = 75; |
| public static final int ASCII = 16; |
| public static final int MORETHAN = 13; |
| public static final int OPENCLASS = 6; |
| public static final int POINT = 67; |
| public static final int JLETTERDIGITCLASS = 21; |
| public static final int EOFRULE = 26; |
| public static final int EOF = 0; |
| public static final int UNICODE_MODIFIER_LETTER = 33; |
| public static final int BANG = 68; |
| public static final int UPPERCLASS = 24; |
| public static final int JLETTERCLASS = 20; |
| public static final int REPEAT = 62; |
| public static final int LOOKAHEAD = 28; |
| public static final int UNICODE_OTHER_NUMBER = 40; |
| public static final int UNICODE_PRIVATE_USE = 46; |
| public static final int UNICODE_MATH_SYMBOL = 53; |
| public static final int OPENBRACKET = 2; |
| public static final int HAT = 4; |
| public static final int IDENT = 60; |
| public static final int error = 1; |
| public static final int UNICODE_PARAGRAPH_SEPARATOR = 43; |
| public static final int LOWERCLASS = 25; |
| public static final int STRING_I = 76; |
| public static final int UNICODE_MODIFIER_SYMBOL = 55; |
| public static final int UNICODE_CONTROL = 44; |
| public static final int UNICODE_OTHER_PUNCTUATION = 52; |
| public static final int DIGITCLASS = 23; |
| public static final int UNICODE_FORMAT = 45; |
| public static final int UNICODE_TITLECASE_LETTER = 32; |
| public static final int DASH = 8; |
| public static final int MACROUSE = 72; |
| public static final int STRING = 71; |
| public static final int CCLASS = 73; |
| public static final int UNICODE_LOWERCASE_LETTER = 31; |
| public static final int LETTERCLASS = 22; |
| public static final int BAR = 65; |
| public static final int UNICODE_LINE_SEPARATOR = 42; |
| public static final int EQUALS = 10; |
| } |
| |