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