/* Generated By:34&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 BOXASSUME = 39; int ASSUMPTION = 40; int CASE = 41; int CHOOSE = 42; int CONSTANT = 43; int ELSE = 44; int EXCEPT = 45; int EXISTS = 46; int EXTENDS = 47; int FORALL = 48; int IF = 49; int INSTANCE = 50; int LET = 51; int LETIN = 52; int LOCAL = 53; int MODULE = 54; int NEW = 55; int OTHER = 56; int PROPOSITION = 57; int SF = 58; int T_EXISTS = 59; int T_FORALL = 60; int THEN = 61; int BY = 62; int ONLY = 63; int DEFINE = 64; int DF = 65; int THEOREM = 66; int USE = 67; int HIDE = 68; int HAVE = 69; int OBVIOUS = 70; int OMITTED = 71; int LAMBDA = 72; int TAKE = 73; int PROOF = 74; int PROVE = 75; int BOXPROVE = 76; int QED = 77; int RECURSIVE = 78; int STATE = 79; int TEMPORAL = 80; int PICK = 81; int WITNESS = 82; int SUFFICES = 83; int VARIABLE = 84; int WF = 85; int WITH = 86; int COMMA = 87; int COLON = 88; int COLONCOLON = 89; int DOT = 90; int US = 91; int DEF = 92; int LBR = 93; int RBR = 94; int DEFBREAK = 95; int LSB = 96; int ARSB = 97; int RSB = 98; int LWB = 99; int RWB = 100; int LBC = 101; int RBC = 102; int LAB = 103; int ARAB = 104; int RAB = 105; int BANG = 106; int ARROW = 107; int SUBSTITUTE = 108; int MAPTO = 109; int NUMBER_LITERAL = 110; int STRING_LITERAL = 111; int BAND = 112; int BOR = 113; int op_57 = 114; int op_68 = 115; int op_69 = 116; int op_70 = 117; int op_76 = 118; int op_26 = 119; int op_29 = 120; int op_58 = 121; int CASESEP = 122; int op_61 = 123; int op_112 = 124; int op_113 = 125; int op_114 = 126; int op_115 = 127; int op_116 = 128; int op_1 = 129; int AND = 130; int op_3 = 131; int op_4 = 132; int OR = 133; int op_6 = 134; int op_7 = 135; int op_8 = 136; int op_9 = 137; int op_10 = 138; int op_11 = 139; int op_12 = 140; int op_13 = 141; int op_14 = 142; int op_15 = 143; int op_16 = 144; int op_17 = 145; int op_18 = 146; int op_19 = 147; int IN = 148; int op_21 = 149; int op_22 = 150; int op_23 = 151; int op_24 = 152; int op_25 = 153; int op_27 = 154; int op_30 = 155; int op_31 = 156; int op_32 = 157; int op_33 = 158; int op_34 = 159; int op_35 = 160; int op_36 = 161; int op_37 = 162; int op_38 = 163; int op_39 = 164; int op_40 = 165; int op_41 = 166; int op_42 = 167; int op_43 = 168; int op_44 = 169; int op_45 = 170; int op_46 = 171; int op_47 = 172; int op_48 = 173; int op_49 = 174; int op_50 = 175; int op_51 = 176; int op_52 = 177; int op_53 = 178; int op_54 = 179; int op_55 = 180; int op_56 = 181; int op_59 = 182; int op_62 = 183; int op_63 = 184; int op_64 = 185; int EQUALS = 186; int op_66 = 187; int op_67 = 188; int op_71 = 189; int op_72 = 190; int op_73 = 191; int op_74 = 192; int op_75 = 193; int op_77 = 194; int op_78 = 195; int op_79 = 196; int op_80 = 197; int op_81 = 198; int op_82 = 199; int op_83 = 200; int op_84 = 201; int op_85 = 202; int op_86 = 203; int op_87 = 204; int op_88 = 205; int op_89 = 206; int op_90 = 207; int op_91 = 208; int op_92 = 209; int op_93 = 210; int op_94 = 211; int op_95 = 212; int op_96 = 213; int op_97 = 214; int op_98 = 215; int op_100 = 216; int op_101 = 217; int op_102 = 218; int op_103 = 219; int op_104 = 220; int op_105 = 221; int op_106 = 222; int op_107 = 223; int op_108 = 224; int op_109 = 225; int op_110 = 226; int op_111 = 227; int op_117 = 228; int op_118 = 229; int op_119 = 230; int IDENTIFIER = 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\"", "\"[]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\"", "\"[]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\"", "", "", "", "", "", "", }; }