/* Generated By:55&JavaCC: Do not edit this line. TLAplusParserConstants.java */ package tla2sany.parser; public interface TLAplusParserConstants { int EOF = 0; int BEGIN_MODULE = 1; int BEGIN_PRAGMA = 2; int _BM1 = 3; int CASE0 = 5; int CASE1 = 6; int CASE1b = 7; int CASE1c = 8; int CASE2 = 9; int CASE2b = 10; int CASE2c = 11; int CASE3 = 12; int CASE6 = 13; int CASE6b = 14; int CASE6c = 15; int CASEN = 16; int LETTER = 17; int DIGIT = 18; int NUMBER = 19; int _BM2 = 20; int _BM0 = 34; int SEPARATOR = 35; int END_MODULE = 36; int ACTION = 37; int ASSUME = 38; int ASSUMPTION = 39; int CASE = 40; int CHOOSE = 41; int CONSTANT = 42; int ELSE = 43; int EXCEPT = 44; int EXISTS = 45; int EXTENDS = 46; int FORALL = 47; int IF = 48; int INSTANCE = 49; int LET = 50; int LETIN = 51; int LOCAL = 52; int MODULE = 53; int NEW = 54; int OTHER = 55; int PROPOSITION = 56; int SF = 57; int T_EXISTS = 58; int T_FORALL = 59; int THEN = 60; int BY = 61; int ONLY = 62; int DEFINE = 63; int DF = 64; int THEOREM = 65; int USE = 66; int HIDE = 67; int HAVE = 68; int OBVIOUS = 69; int OMITTED = 70; int LAMBDA = 71; int TAKE = 72; int PROOF = 73; int PROVE = 74; int QED = 75; int RECURSIVE = 76; int STATE = 77; int TEMPORAL = 78; int PICK = 79; int WITNESS = 80; int SUFFICES = 81; int VARIABLE = 82; int WF = 83; int WITH = 84; int COMMA = 85; int COLON = 86; int COLONCOLON = 87; int DOT = 88; int US = 89; int DEF = 90; int LBR = 91; int RBR = 92; int DEFBREAK = 93; int LSB = 94; int ARSB = 95; int RSB = 96; int LWB = 97; int RWB = 98; int LBC = 99; int RBC = 100; int LAB = 101; int ARAB = 102; int RAB = 103; int BANG = 104; int ARROW = 105; int SUBSTITUTE = 106; int MAPTO = 107; int NUMBER_LITERAL = 108; int STRING_LITERAL = 109; int BAND = 110; int BOR = 111; int op_57 = 112; int op_68 = 113; int op_69 = 114; int op_70 = 115; int op_76 = 116; int op_26 = 117; int op_29 = 118; int op_58 = 119; int CASESEP = 120; int op_61 = 121; int op_112 = 122; int op_113 = 123; int op_114 = 124; int op_115 = 125; int op_116 = 126; int op_1 = 127; int AND = 128; int op_3 = 129; int op_4 = 130; int OR = 131; int op_6 = 132; int op_7 = 133; int op_8 = 134; int op_9 = 135; int op_10 = 136; int op_11 = 137; int op_12 = 138; int op_13 = 139; int op_14 = 140; int op_15 = 141; int op_16 = 142; int op_17 = 143; int op_18 = 144; int op_19 = 145; int IN = 146; int op_21 = 147; int op_22 = 148; int op_23 = 149; int op_24 = 150; int op_25 = 151; int op_27 = 152; int op_30 = 153; int op_31 = 154; int op_32 = 155; int op_33 = 156; int op_34 = 157; int op_35 = 158; int op_36 = 159; int op_37 = 160; int op_38 = 161; int op_39 = 162; int op_40 = 163; int op_41 = 164; int op_42 = 165; int op_43 = 166; int op_44 = 167; int op_45 = 168; int op_46 = 169; int op_47 = 170; int op_48 = 171; int op_49 = 172; int op_50 = 173; int op_51 = 174; int op_52 = 175; int op_53 = 176; int op_54 = 177; int op_55 = 178; int op_56 = 179; int op_59 = 180; int op_62 = 181; int op_63 = 182; int op_64 = 183; int EQUALS = 184; int op_66 = 185; int op_67 = 186; int op_71 = 187; int op_72 = 188; int op_73 = 189; int op_74 = 190; int op_75 = 191; int op_77 = 192; int op_78 = 193; int op_79 = 194; int op_80 = 195; int op_81 = 196; int op_82 = 197; int op_83 = 198; int op_84 = 199; int op_85 = 200; int op_86 = 201; int op_87 = 202; int op_88 = 203; int op_89 = 204; int op_90 = 205; int op_91 = 206; int op_92 = 207; int op_93 = 208; int op_94 = 209; int op_95 = 210; int op_96 = 211; int op_97 = 212; int op_98 = 213; int op_100 = 214; int op_101 = 215; int op_102 = 216; int op_103 = 217; int op_104 = 218; int op_105 = 219; int op_106 = 220; int op_107 = 221; int op_108 = 222; int op_109 = 223; int op_110 = 224; int op_111 = 225; int op_117 = 226; int op_118 = 227; int op_119 = 228; int IDENTIFIER = 229; int ProofLevelLexeme = 230; int ProofImplicitLevelLexeme = 231; int ProofStepLexeme = 232; int ProofImplicitStepLexeme = 233; int ProofStepDotLexeme = 234; int BareLevelLexeme = 235; int UnnumberedStepLexeme = 236; int DEFAULT = 0; int PRAGMA = 1; int SPEC = 2; int IN_COMMENT = 3; int EMBEDDED = 4; int IN_EOL_COMMENT = 5; String[] tokenImage = { "", "", "\"--->\"", "<_BM1>", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "<_BM2>", "", "\" \"", "\"\\t\"", "\"\\n\"", "\"\\r\"", "", "\"\\\\*\"", "", "\"*)\"", "\"*)\"", "", "", "", "<_BM0>", "", "", "", "\"ASSUME\"", "", "\"CASE\"", "\"CHOOSE\"", "", "\"ELSE\"", "\"EXCEPT\"", "", "\"EXTENDS\"", "", "\"IF\"", "\"INSTANCE\"", "\"LET\"", "\"IN\"", "\"LOCAL\"", "\"MODULE\"", "\"NEW\"", "\"OTHER\"", "", "\"SF_\"", "\"\\\\EE\"", "\"\\\\AA\"", "\"THEN\"", "\"BY\"", "\"ONLY\"", "\"DEFINE\"", "", "\"THEOREM\"", "\"USE\"", "\"HIDE\"", "\"HAVE\"", "\"OBVIOUS\"", "\"OMITTED\"", "\"LAMBDA\"", "\"TAKE\"", "\"PROOF\"", "\"PROVE\"", "\"QED\"", "\"RECURSIVE\"", "\"STATE\"", "", "\"PICK\"", "\"WITNESS\"", "\"SUFFICES\"", "", "\"WF_\"", "\"WITH\"", "\",\"", "\":\"", "\"::\"", "\".\"", "\"_\"", "\"==\"", "\"(\"", "\")\"", "\"-|-\"", "\"[\"", "\"]_\"", "\"]\"", "\"{|\"", "\"|}\"", "\"{\"", "\"}\"", "\"<<\"", "\">>_\"", "\">>\"", "\"!\"", "\"->\"", "\"<-\"", "\"|->\"", "", "", "", "", "\"\\\'\"", "\"^+\"", "\"^*\"", "\"^#\"", "\"-.\"", "\"\\\\lnot\"", "\"\\\\neg\"", "\"~\"", "\"[]\"", "\"<>\"", "\"ENABLED\"", "\"UNCHANGED\"", "\"SUBSET\"", "\"UNION\"", "\"DOMAIN\"", "\"//\"", "\"/\\\\\"", "\"/=\"", "\"/\"", "\"\\\\/\"", "\"\\\\approx\"", "\"\\\\asymp\"", "\"\\\\bigcirc\"", "\"\\\\bullet\"", "\"\\\\cap\"", "\"\\\\cdot\"", "\"\\\\circ\"", "\"\\\\cong\"", "\"\\\\cup\"", "\"\\\\div\"", "\"\\\\doteq\"", "\"\\\\equiv\"", "\"\\\\geq\"", "\"\\\\gg\"", "\"\\\\in\"", "\"\\\\intersect\"", "\"\\\\union\"", "\"\\\\land\"", "\"\\\\leq\"", "\"\\\\ll\"", "\"\\\\lor\"", "\"\\\\o\"", "\"\\\\odot\"", "\"\\\\ominus\"", "\"\\\\oplus\"", "\"\\\\oslash\"", "\"\\\\otimes\"", "\"\\\\prec\"", "\"\\\\preceq\"", "\"\\\\propto\"", "\"\\\\sim\"", "\"\\\\simeq\"", "\"\\\\sqcap\"", "\"\\\\sqcup\"", "\"\\\\sqsubset\"", "\"\\\\sqsupset\"", "\"\\\\sqsubseteq\"", "\"\\\\sqsupseteq\"", "\"\\\\star\"", "\"\\\\subset\"", "\"\\\\subseteq\"", "\"\\\\succ\"", "\"\\\\succeq\"", "\"\\\\supset\"", "\"\\\\supseteq\"", "\"\\\\uplus\"", "\"\\\\wr\"", "\"\\\\\"", "\"~>\"", "\"=>\"", "\"=<\"", "\"=|\"", "\"=\"", "\"##\"", "\"#\"", "\"^^\"", "\"^\"", "\"--\"", "\"-|\"", "\"-+->\"", "\"-\"", "\"**\"", "\"*\"", "\"++\"", "\"+\"", "\"<=>\"", "\"<:\"", "\"<=\"", "\"<\"", "\">=\"", "\">\"", "\"...\"", "\"..\"", "\"||\"", "\"|\"", "\"|-\"", "\"|=\"", "\"&&\"", "\"&\"", "\"$$\"", "\"$\"", "\"??\"", "\"%%\"", "\"%\"", "\"@@\"", "\"!!\"", "\":>\"", "\":=\"", "\"::=\"", "\"(+)\"", "\"(-)\"", "\"(.)\"", "\"(/)\"", "\"(\\\\X)\"", "\"\\\\notin\"", "\"\\\\times\"", "\"\\\\X\"", "", "", "", "", "", "", "", "", }; }