//----------------------------------------------------
// The following code was generated by CUP v0.11b 20210814 (GIT d69c832)
//----------------------------------------------------
package avatartranslator.tosysmlv2;
/** CUP generated class containing symbol constants. */
public class AvatarFromSysMLSymbols {
/* terminals */
public static final int AVDATATYPE_T = 63;
public static final int BLOCK1_F = 25;
public static final int BLOCK = 118;
public static final int CONNECT = 124;
public static final int EXIT = 141;
public static final int TRIVIALREQUEST_T = 52;
public static final int INDIVIDUAL = 156;
public static final int GT = 228;
public static final int MULT = 223;
public static final int AVSTOPSTATE_T = 68;
public static final int LOSSY_F = 20;
public static final int STATEACTION_F = 29;
public static final int GEQ = 230;
public static final int UNTIL = 207;
public static final int INCLUDE = 155;
public static final int BOUNDRANDOM_U = 58;
public static final int ANALYSIS = 107;
public static final int BOOLEAN_T = 59;
public static final int TRANSITION = 206;
public static final int AVSTANDARDSTATE_T = 67;
public static final int PROTECTED = 181;
public static final int CALC = 120;
public static final int FORK = 147;
public static final int STATEMACHINE = 80;
public static final int IMPLIES = 152;
public static final int AVEXPIRETIMERSTATE_T = 83;
public static final int SNAPSHOT = 196;
public static final int PRIVATE_F = 22;
public static final int VIA = 213;
public static final int RENDER = 187;
public static final int REAL_T = 62;
public static final int ATTRIBUTE = 115;
public static final int AVSTATEMACHINE_T = 77;
public static final int PUBLIC = 182;
public static final int SYNC_T = 48;
public static final int ENUM = 138;
public static final int DONE_U = 37;
public static final int REAL = 6;
public static final int UMINUS = 231;
public static final int REQUIREMENT = 191;
public static final int VERIFICATION = 211;
public static final int COMMENT = 122;
public static final int EQ = 7;
public static final int MSG_U = 56;
public static final int AVPRESENDSTATE_T = 74;
public static final int SUCCESSION = 202;
public static final int MOD = 225;
public static final int DEPENDENCY = 131;
public static final int EXPOSE = 142;
public static final int GETS = 18;
public static final int DIV = 224;
public static final int AVPRERECEIVESTATE_T = 75;
public static final int SETTIMERREQUEST_T = 84;
public static final int PORT = 179;
public static final int REDEFINES = 184;
public static final int LPAR = 8;
public static final int ITEM = 160;
public static final int ASSIGN = 111;
public static final int SUBSETS = 201;
public static final int AFTER = 102;
public static final int NULL = 220;
public static final int BLOCK_F = 24;
public static final int STAKEHOLDER = 198;
public static final int DIF = 226;
public static final int PRIVATE = 180;
public static final int DO = 133;
public static final int EOF = 0;
public static final int MINUS = 222;
public static final int AVVOIDMETHOD_T = 65;
public static final int AVBLOCK_T = 64;
public static final int INT = 2;
public static final int TIMERSETMSG_T = 87;
public static final int BFIFOREL_T = 40;
public static final int NBFIFOREL_T = 41;
public static final int IMPORT = 153;
public static final int PACKAGE = 175;
public static final int RECEIVEACTION_T = 78;
public static final int ACTION = 100;
public static final int ELSE = 135;
public static final int EQUAL = 17;
public static final int SEND = 194;
public static final int WEIGHT_A = 95;
public static final int DERIVED = 132;
public static final int END = 136;
public static final int AVSETTIMERSTATE_T = 81;
public static final int INSIGNALBINDING_T = 49;
public static final int PART = 177;
public static final int DISTRIBUTION_A = 94;
public static final int VERIFY = 212;
public static final int OR = 172;
public static final int FIRST = 144;
public static final int BINDING = 117;
public static final int IMMEDIATEREQUEST_U = 53;
public static final int ASSERT = 110;
public static final int WHEN = 216;
public static final int FILTER = 143;
public static final int AND = 108;
public static final int TIMEREXPIREMSG_T = 89;
public static final int OF = 171;
public static final int BY = 119;
public static final int INTEGER_T = 60;
public static final int EXPIRE_TM = 93;
public static final int CONCERN = 123;
public static final int PARALLEL = 176;
public static final int ASSIGNMENT_T = 57;
public static final int STRING_T = 61;
public static final int REP = 189;
public static final int AMOUNT_U = 35;
public static final int REQUEST_F = 28;
public static final int CONNECTION = 125;
public static final int REF = 185;
public static final int IDENT = 96;
public static final int NBFIFO_T = 47;
public static final int BOOL = 3;
public static final int ALIAS = 103;
public static final int INTERFACE = 158;
public static final int PAYLOAD_F = 32;
public static final int BLOCK2_F = 26;
public static final int LEQ = 229;
public static final int QUEST = 19;
public static final int TRANSITIONACTION_T = 79;
public static final int EVENT = 139;
public static final int AT = 114;
public static final int SELF = 195;
public static final int OCCURRENCE = 170;
public static final int AS = 109;
public static final int FRAME = 148;
public static final int CASE = 121;
public static final int AVCOUNTSTATE_T = 73;
public static final int CHANNEL_T = 44;
public static final int REFINES = 219;
public static final int START_U = 36;
public static final int PLUS = 221;
public static final int INDEX_F = 30;
public static final int FIFO_T = 45;
public static final int RELATION_T = 38;
public static final int ALL = 104;
public static final int AVTRANSITION_T = 76;
public static final int MERGE = 164;
public static final int RPAR = 9;
public static final int CHANNEL_F = 33;
public static final int SYNCREL_T = 39;
public static final int WHILE = 217;
public static final int REQUIRE = 190;
public static final int METADATA = 166;
public static final int ALLOCATE = 105;
public static final int XOR = 218;
public static final int AVTIMER_T = 90;
public static final int RELATION_F = 23;
public static final int AVRECEIVESTATE_T = 71;
public static final int ACCEPT = 99;
public static final int AVSTARTSTATE_T = 69;
public static final int DEF = 128;
public static final int ISTYPE = 159;
public static final int COMMA = 12;
public static final int LT = 227;
public static final int VARIATION = 210;
public static final int MESSAGE = 165;
public static final int LOOP = 163;
public static final int BIND = 116;
public static final int ORDERED = 173;
public static final int ABOUT = 97;
public static final int EXPIRETIMERREQUEST_T = 86;
public static final int VIEW = 214;
public static final int AVCALCMETHOD_T = 66;
public static final int AVRESETTIMERSTATE_T = 82;
public static final int OUTMESSAGE_T = 43;
public static final int AVSENDSTATE_T = 70;
public static final int TIMESLICE = 204;
public static final int ALLOCATION = 106;
public static final int NOT = 168;
public static final int OUT = 174;
public static final int LBRAC = 10;
public static final int SUBJECT = 200;
public static final int TIMERRESETMSG_T = 88;
public static final int DELAY_F = 31;
public static final int ASSUME = 113;
public static final int JOIN = 161;
public static final int VIEWPOINT = 215;
public static final int STATE = 199;
public static final int OBJECTIVE = 169;
public static final int RETURN = 192;
public static final int SET_TM = 91;
public static final int FOR = 146;
public static final int THEN = 203;
public static final int READONLY = 183;
public static final int INMESSAGE_T = 42;
public static final int ABSTRACT = 98;
public static final int STRING = 4;
public static final int DECIDE = 127;
public static final int VALUE_F = 34;
public static final int DOC = 134;
public static final int ENTRY = 137;
public static final int FOURPOINTS = 16;
public static final int ACTOR = 101;
public static final int USE = 208;
public static final int FROM = 149;
public static final int REFERENCES = 186;
public static final int RESETTIMERREQUEST_T = 85;
public static final int DEFINED = 130;
public static final int ASSOC = 112;
public static final int SATISFY = 193;
public static final int FLOW = 145;
public static final int OUTSIGNALBINDING_T = 50;
public static final int SEMICOLON = 13;
public static final int POINT = 15;
public static final int RESET_TM = 92;
public static final int SENDREQUEST_T = 54;
public static final int RENDERING = 188;
public static final int CONSTRAINT = 126;
public static final int POOL_F = 27;
public static final int AVRANDOMSTATE_T = 72;
public static final int SPECIALIZES = 197;
public static final int NONUNIQUE = 167;
public static final int IN = 154;
public static final int VARIANT = 209;
public static final int LANGUAGE = 162;
public static final int error = 1;
public static final int IF = 151;
public static final int NOKREQUEST_T = 51;
public static final int DEFAULT = 129;
public static final int COLON = 14;
public static final int EXHIBIT = 140;
public static final int PERFORM = 178;
public static final int MAXSIZE_F = 21;
public static final int ANYNAME = 5;
public static final int HASTYPE = 150;
public static final int RECEIVEREQUEST_T = 55;
public static final int TO = 205;
public static final int RBRAC = 11;
public static final int INOUT = 157;
public static final int BFIFO_T = 46;
public static final String[] terminalNames = new String[] {
"EOF",
"error",
"INT",
"BOOL",
"STRING",
"ANYNAME",
"REAL",
"EQ",
"LPAR",
"RPAR",
"LBRAC",
"RBRAC",
"COMMA",
"SEMICOLON",
"COLON",
"POINT",
"FOURPOINTS",
"EQUAL",
"GETS",
"QUEST",
"LOSSY_F",
"MAXSIZE_F",
"PRIVATE_F",
"RELATION_F",
"BLOCK_F",
"BLOCK1_F",
"BLOCK2_F",
"POOL_F",
"REQUEST_F",
"STATEACTION_F",
"INDEX_F",
"DELAY_F",
"PAYLOAD_F",
"CHANNEL_F",
"VALUE_F",
"AMOUNT_U",
"START_U",
"DONE_U",
"RELATION_T",
"SYNCREL_T",
"BFIFOREL_T",
"NBFIFOREL_T",
"INMESSAGE_T",
"OUTMESSAGE_T",
"CHANNEL_T",
"FIFO_T",
"BFIFO_T",
"NBFIFO_T",
"SYNC_T",
"INSIGNALBINDING_T",
"OUTSIGNALBINDING_T",
"NOKREQUEST_T",
"TRIVIALREQUEST_T",
"IMMEDIATEREQUEST_U",
"SENDREQUEST_T",
"RECEIVEREQUEST_T",
"MSG_U",
"ASSIGNMENT_T",
"BOUNDRANDOM_U",
"BOOLEAN_T",
"INTEGER_T",
"STRING_T",
"REAL_T",
"AVDATATYPE_T",
"AVBLOCK_T",
"AVVOIDMETHOD_T",
"AVCALCMETHOD_T",
"AVSTANDARDSTATE_T",
"AVSTOPSTATE_T",
"AVSTARTSTATE_T",
"AVSENDSTATE_T",
"AVRECEIVESTATE_T",
"AVRANDOMSTATE_T",
"AVCOUNTSTATE_T",
"AVPRESENDSTATE_T",
"AVPRERECEIVESTATE_T",
"AVTRANSITION_T",
"AVSTATEMACHINE_T",
"RECEIVEACTION_T",
"TRANSITIONACTION_T",
"STATEMACHINE",
"AVSETTIMERSTATE_T",
"AVRESETTIMERSTATE_T",
"AVEXPIRETIMERSTATE_T",
"SETTIMERREQUEST_T",
"RESETTIMERREQUEST_T",
"EXPIRETIMERREQUEST_T",
"TIMERSETMSG_T",
"TIMERRESETMSG_T",
"TIMEREXPIREMSG_T",
"AVTIMER_T",
"SET_TM",
"RESET_TM",
"EXPIRE_TM",
"DISTRIBUTION_A",
"WEIGHT_A",
"IDENT",
"ABOUT",
"ABSTRACT",
"ACCEPT",
"ACTION",
"ACTOR",
"AFTER",
"ALIAS",
"ALL",
"ALLOCATE",
"ALLOCATION",
"ANALYSIS",
"AND",
"AS",
"ASSERT",
"ASSIGN",
"ASSOC",
"ASSUME",
"AT",
"ATTRIBUTE",
"BIND",
"BINDING",
"BLOCK",
"BY",
"CALC",
"CASE",
"COMMENT",
"CONCERN",
"CONNECT",
"CONNECTION",
"CONSTRAINT",
"DECIDE",
"DEF",
"DEFAULT",
"DEFINED",
"DEPENDENCY",
"DERIVED",
"DO",
"DOC",
"ELSE",
"END",
"ENTRY",
"ENUM",
"EVENT",
"EXHIBIT",
"EXIT",
"EXPOSE",
"FILTER",
"FIRST",
"FLOW",
"FOR",
"FORK",
"FRAME",
"FROM",
"HASTYPE",
"IF",
"IMPLIES",
"IMPORT",
"IN",
"INCLUDE",
"INDIVIDUAL",
"INOUT",
"INTERFACE",
"ISTYPE",
"ITEM",
"JOIN",
"LANGUAGE",
"LOOP",
"MERGE",
"MESSAGE",
"METADATA",
"NONUNIQUE",
"NOT",
"OBJECTIVE",
"OCCURRENCE",
"OF",
"OR",
"ORDERED",
"OUT",
"PACKAGE",
"PARALLEL",
"PART",
"PERFORM",
"PORT",
"PRIVATE",
"PROTECTED",
"PUBLIC",
"READONLY",
"REDEFINES",
"REF",
"REFERENCES",
"RENDER",
"RENDERING",
"REP",
"REQUIRE",
"REQUIREMENT",
"RETURN",
"SATISFY",
"SEND",
"SELF",
"SNAPSHOT",
"SPECIALIZES",
"STAKEHOLDER",
"STATE",
"SUBJECT",
"SUBSETS",
"SUCCESSION",
"THEN",
"TIMESLICE",
"TO",
"TRANSITION",
"UNTIL",
"USE",
"VARIANT",
"VARIATION",
"VERIFICATION",
"VERIFY",
"VIA",
"VIEW",
"VIEWPOINT",
"WHEN",
"WHILE",
"XOR",
"REFINES",
"NULL",
"PLUS",
"MINUS",
"MULT",
"DIV",
"MOD",
"DIF",
"LT",
"GT",
"LEQ",
"GEQ",
"UMINUS"
};
/* non terminals */
static final int receiveRequestBegin = 105;
static final int privateParam = 23;
static final int startStateBegin = 109;
static final int call = 157;
static final int receiveAssign = 141;
static final int specializes = 7;
static final int calcMethodDeclBegin = 63;
static final int receiveStateBegin = 113;
static final int messageChannel = 40;
static final int transitionActionBegin = 136;
static final int block2Param = 22;
static final int standardState = 69;
static final int stxCallParams = 159;
static final int featureList = 5;
static final int presendState = 75;
static final int inSignalBinding = 34;
static final int blockAlias = 9;
static final int blockChain = 10;
static final int receiveAction = 135;
static final int typeIdent = 0;
static final int actionRandomExpr = 96;
static final int prereceiveStateBegin = 117;
static final int relParam = 20;
static final int calcMethodDecl = 54;
static final int bfChDecl = 32;
static final int stopStateBegin = 111;
static final int signalBinding = 33;
static final int receiveAssignSeq = 140;
static final int stxCallParam = 155;
static final int fieldDecl = 14;
static final int setTimerState = 77;
static final int stateMachineItem = 61;
static final int trivialRequestBegin = 103;
static final int delayKeyword = 146;
static final int weightLabel = 144;
static final int messageLine = 138;
static final int randomParam = 124;
static final int indexParam = 93;
static final int fullIdent = 1;
static final int blockDecl = 45;
static final int outSignalBinding = 35;
static final int nbfRelDecl = 17;
static final int syncRelDecl = 16;
static final int presendStateBegin = 116;
static final int countState = 74;
static final int outMessageDecl = 38;
static final int act = 130;
static final int sendStateBegin = 112;
static final int attributeDecl = 49;
static final int fieldDecls = 13;
static final int maxsizeParam = 24;
static final int doActions = 128;
static final int voidMethodDeclBegin = 62;
static final int randomStateBegin = 114;
static final int lossyParam = 25;
static final int sendRequestBegin = 104;
static final int fieldDeclBegin = 65;
static final int bfRelDecl = 18;
static final int requestParam = 81;
static final int payloadParam = 98;
static final int startState = 68;
static final int simpleRequest = 84;
static final int messageDecl = 36;
static final int datatypeDeclHEADER = 12;
static final int expr = 152;
static final int stopState = 70;
static final int randomAction = 123;
static final int calcMethodItem = 56;
static final int voidMethodDecl = 53;
static final int receiveState = 72;
static final int feature = 6;
static final int bfRelDeclBegin = 28;
static final int poolParam = 80;
static final int inMessageDeclBegin = 43;
static final int sendRequest = 88;
static final int nbfRelDeclBegin = 27;
static final int expireTimerRequestBegin = 108;
static final int calcMethodItems = 55;
static final int setTimerRequest = 90;
static final int redefineField = 42;
static final int blockDeclBegin = 46;
static final int dummy = 147;
static final int constantDeclHEADER = 64;
static final int blockDeclBODY = 47;
static final int trivialRequest = 85;
static final int stxCall = 150;
static final int countAction = 125;
static final int expireTimerStateBegin = 120;
static final int relationDecl = 15;
static final int inMessageDecl = 37;
static final int blockItem = 48;
static final int outMessageDeclBegin = 44;
static final int transitionLabels = 133;
static final int comma = 156;
static final int delayParam = 94;
static final int relParams = 19;
static final int actionSeq = 129;
static final int resetTimerRequest = 91;
static final int fulllIdent = 3;
static final int syncRelDeclBegin = 26;
static final int expireTimerRequest = 92;
static final int fieldVal = 66;
static final int termList = 131;
static final int receiveActionBegin = 137;
static final int randomState = 73;
static final int expiretimerParam = 102;
static final int constantDecl = 50;
static final int extraLabel = 145;
static final int distributionLabel = 143;
static final int state = 67;
static final int stateMachine = 59;
static final int resetTimerStateBegin = 119;
static final int requestArg = 87;
static final int syncChDecl = 30;
static final int signalDecl = 57;
static final int inMessageDeclBODY = 39;
static final int subsets = 8;
static final int standardStateBegin = 110;
static final int delayRandomExpr = 97;
static final int methodDecl = 52;
static final int resettimerParam = 101;
static final int outMessageDeclBODY = 41;
static final int payloadParamBegin = 122;
static final int receiveRequest = 89;
static final int channelDecl = 29;
static final int transition = 127;
static final int resetTimerRequestBegin = 107;
static final int channelParam = 99;
static final int transitionBegin = 132;
static final int timerDecl = 58;
static final int transitionAction = 134;
static final int stxRvalue = 148;
static final int sendState = 71;
static final int fullIdentInit = 2;
static final int block1Param = 21;
static final int complexIdent = 153;
static final int iexpr = 151;
static final int datatypeDecl = 11;
static final int callBegin = 158;
static final int countParam = 126;
static final int expireTimerState = 79;
static final int prereceiveState = 76;
static final int requestList = 82;
static final int settimerParam = 100;
static final int setTimerRequestBegin = 106;
static final int requestArgs = 86;
static final int stateMachineItems = 60;
static final int request = 83;
static final int stxExpr = 149;
static final int setTimerStateBegin = 118;
static final int delayExpr = 95;
static final int attributeDeclHEADER = 51;
static final int resetTimerState = 78;
static final int model = 4;
static final int nbfChDecl = 31;
static final int receiveAssigns = 139;
static final int stateMachineBegin = 121;
static final int stxCallBegin = 154;
static final int transitionLabel = 142;
static final int countStateBegin = 115;
}