-
Sophie Coudert authoredSophie Coudert authored
AvatarFromSysMLSymbols.java 17.71 KiB
//----------------------------------------------------
// 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;
}