Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
//----------------------------------------------------
// 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;
}