sdl92Parser.py 1.06 MB
Newer Older
1
# $ANTLR 3.1.3 Mar 17, 2009 19:23:44 sdl92.g 2016-03-26 10:12:57
Maxime Perrotin's avatar
Maxime Perrotin committed
2
3
4
5
6
7
8
9
10
11
12
13
14

import sys
from antlr3 import *
from antlr3.compat import set, frozenset

from antlr3.tree import *



# for convenience in actions
HIDDEN = BaseRecognizer.HIDDEN

# token types
15
CREATE=159
16
17
18
19
20
21
22
23
ENTRY_POINT=32
ENDSTATE=138
STR=216
PROCESS=76
STOP=97
ENDFOR=161
PROVIDED=77
CONDITIONAL=19
24
CHANNEL=13
25
26
27
28
29
30
31
32
THEN=111
XOR=164
CALL=149
A=191
B=213
PFPAR=70
SET=88
C=195
33
34
35
36
D=194
E=197
F=204
G=205
Maxime Perrotin's avatar
Maxime Perrotin committed
37
H=207
38
L_BRACKET=189
Maxime Perrotin's avatar
Maxime Perrotin committed
39
I=203
40
OPEN_RANGE=63
Maxime Perrotin's avatar
Maxime Perrotin committed
41
42
J=214
K=198
43
44
45
46
47
L=196
M=201
ENDSYSTEM=122
N=192
O=206
Maxime Perrotin's avatar
Maxime Perrotin committed
48
P=199
49
Q=221
Maxime Perrotin's avatar
Maxime Perrotin committed
50
R=200
51
52
53
54
55
56
57
S=202
T=208
U=210
VARIABLE=118
V=211
GROUND=45
W=212
Maxime Perrotin's avatar
Maxime Perrotin committed
58
X=209
59
60
Y=193
FPAR=44
61
Z=222
62
63
PROCEDURE=73
PARAMNAMES=67
64
PAREN=69
65
66
67
68
APPEND=167
NEWTYPE=59
CONNECTION=21
DIV=168
69
SELECTOR=85
70
71
72
MINUS_INFINITY=176
STRING=99
VARIABLES=119
73
TO=113
74
REM=170
75
76
ASSIG_OP=188
SYSTEM=104
77
78
ROUTE=83
T__223=223
79
ENDCHANNEL=124
80
81
IFTHENELSE=48
TASK_BODY=106
82
83
ALPHA=217
PRIORITY=145
84
85
86
87
88
89
90
91
92
93
94
95
VIEW=182
HYPERLINK=46
LABEL=56
CIF=15
OUTPUT=64
FOR=43
INPUTLIST=54
EQ=153
FLOATING_LABEL=42
VIAPATH=121
FLOAT2=40
NOT=171
96
SPECIFIC=184
97
98
STIMULUS=96
THIS=160
Maxime Perrotin's avatar
Maxime Perrotin committed
99
ENDPROCEDURE=132
100
101
102
END=187
AGGREGATION=142
FI=36
Maxime Perrotin's avatar
Maxime Perrotin committed
103
DIGITS=26
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
STATE=92
OUTPUT_BODY=65
QUESTION=78
BITSTR=11
BASE=178
RETURN=81
STATE_AGGREGATION=93
ENDNEWTYPE=29
SEQUENCE=87
R_PAREN=147
WS=219
EOF=-1
GE=158
NEXTSTATE=60
ANSWER=7
MOD=169
SEQOF=86
T__230=230
PLUS_INFINITY=175
PARAM=66
R_BRACKET=190
GT=155
WITH=126
ACTION=4
T__229=229
STOPIF=98
T__228=228
START=135
FALSE=173
T__225=225
T__224=224
T__227=227
DEFAULT=143
T__226=226
IMPLIES=162
ENDCONNECTION=136
ENDDECISION=151
EXPORT=33
JOIN=55
TEXT=108
REFERENCED=130
ALTERNATIVE=6
SYNTYPE=103
ELSE=27
148
PROCEDURE_NAME=75
149
ID=123
150
NONE=144
151
IF=47
152
153
154
SUBSTRUCTURE=140
FIELDS=39
LITERAL=57
155
IN=49
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
FIELD=37
DOT=215
SYNONYM=101
OUT=133
ENDBLOCK=127
STATELIST=95
SEMI=137
CONNECT=20
ASN1=9
ASSIGN=10
COMMENT=17
IMPORT=181
MANTISSA=177
SAVE=84
CLOSED_RANGE=16
SIGNAL=89
172
COMMA=148
173
174
175
176
177
178
179
180
181
182
183
184
185
ENDTEXT=31
NUMBER_OF_INSTANCES=61
USE=116
RETURNS=82
CONSTANT=22
ASTERISK=139
COMMENT2=220
TRANSITION=114
NEG=58
LE=157
EXPONENT=179
NEQ=154
GEODE=185
Maxime Perrotin's avatar
Maxime Perrotin committed
186
EXPRESSION=34
187
188
189
190
191
192
193
194
195
196
197
198
199
ALL=5
SYNONYM_LIST=102
TERMINATOR=107
DECISION=25
TEXTAREA_CONTENT=110
ARRAY=8
INPUT=52
LT=156
STATE_PARTITION_CONNECTION=94
ENDALTERNATIVE=150
RESET=80
VALUE=117
FROM=125
200
DASH=166
201
202
203
204
205
206
TASK=105
NULL=174
KEEP=183
BLOCK=12
TRUE=172
ENDSYNTYPE=30
207
DCL=24
208
209
210
211
OCTSTR=62
AND=129
SORT=91
PARAMS=68
Maxime Perrotin's avatar
Maxime Perrotin committed
212
STRUCT=100
213
214
215
216
217
218
219
220
RANGE=79
PLUS=165
INOUT=51
FLOAT=41
CONSTANTS=23
ACTIVE=180
Exponent=218
L_PAREN=146
221
ANY=152
222
223
224
225
226
227
228
229
230
231
232
INT=134
CHOICE=14
EXTERNAL=35
FIELD_NAME=38
TYPE_INSTANCE=115
ENDSUBSTRUCTURE=141
PROCEDURE_CALL=74
TEXTAREA=109
OR=163
SIGNAL_LIST=90
INFORMAL_TEXT=50
233
TIMER=112
234
235
236
237
238
239
240
241
242
PRIMARY=72
COMPOSITE_STATE=18
VIA=120
ASNFILENAME=186
ENDPROCESS=131
EMPTYSTR=28
SIGNALROUTE=128
INPUT_NONE=53
POINT=71
Maxime Perrotin's avatar
Maxime Perrotin committed
243
244
245
246

# token names
tokenNames = [
    "<invalid>", "<EOR>", "<DOWN>", "<UP>", 
dbarbera's avatar
dbarbera committed
247
248
    "ACTION", "ALL", "ALTERNATIVE", "ANSWER", "ARRAY", "ASN1", "ASSIGN", 
    "BITSTR", "BLOCK", "CHANNEL", "CHOICE", "CIF", "CLOSED_RANGE", "COMMENT", 
249
250
    "COMPOSITE_STATE", "CONDITIONAL", "CONNECT", "CONNECTION", "CONSTANT", 
    "CONSTANTS", "DCL", "DECISION", "DIGITS", "ELSE", "EMPTYSTR", "ENDNEWTYPE", 
251
252
253
    "ENDSYNTYPE", "ENDTEXT", "ENTRY_POINT", "EXPORT", "EXPRESSION", "EXTERNAL", 
    "FI", "FIELD", "FIELD_NAME", "FIELDS", "FLOAT2", "FLOAT", "FLOATING_LABEL", 
    "FOR", "FPAR", "GROUND", "HYPERLINK", "IF", "IFTHENELSE", "IN", "INFORMAL_TEXT", 
254
255
    "INOUT", "INPUT", "INPUT_NONE", "INPUTLIST", "JOIN", "LABEL", "LITERAL", 
    "NEG", "NEWTYPE", "NEXTSTATE", "NUMBER_OF_INSTANCES", "OCTSTR", "OPEN_RANGE", 
256
    "OUTPUT", "OUTPUT_BODY", "PARAM", "PARAMNAMES", "PARAMS", "PAREN", "PFPAR", 
257
    "POINT", "PRIMARY", "PROCEDURE", "PROCEDURE_CALL", "PROCEDURE_NAME", 
258
259
    "PROCESS", "PROVIDED", "QUESTION", "RANGE", "RESET", "RETURN", "RETURNS", 
    "ROUTE", "SAVE", "SELECTOR", "SEQOF", "SEQUENCE", "SET", "SIGNAL", "SIGNAL_LIST", 
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
    "SORT", "STATE", "STATE_AGGREGATION", "STATE_PARTITION_CONNECTION", 
    "STATELIST", "STIMULUS", "STOP", "STOPIF", "STRING", "STRUCT", "SYNONYM", 
    "SYNONYM_LIST", "SYNTYPE", "SYSTEM", "TASK", "TASK_BODY", "TERMINATOR", 
    "TEXT", "TEXTAREA", "TEXTAREA_CONTENT", "THEN", "TIMER", "TO", "TRANSITION", 
    "TYPE_INSTANCE", "USE", "VALUE", "VARIABLE", "VARIABLES", "VIA", "VIAPATH", 
    "ENDSYSTEM", "ID", "ENDCHANNEL", "FROM", "WITH", "ENDBLOCK", "SIGNALROUTE", 
    "AND", "REFERENCED", "ENDPROCESS", "ENDPROCEDURE", "OUT", "INT", "START", 
    "ENDCONNECTION", "SEMI", "ENDSTATE", "ASTERISK", "SUBSTRUCTURE", "ENDSUBSTRUCTURE", 
    "AGGREGATION", "DEFAULT", "NONE", "PRIORITY", "L_PAREN", "R_PAREN", 
    "COMMA", "CALL", "ENDALTERNATIVE", "ENDDECISION", "ANY", "EQ", "NEQ", 
    "GT", "LT", "LE", "GE", "CREATE", "THIS", "ENDFOR", "IMPLIES", "OR", 
    "XOR", "PLUS", "DASH", "APPEND", "DIV", "MOD", "REM", "NOT", "TRUE", 
    "FALSE", "NULL", "PLUS_INFINITY", "MINUS_INFINITY", "MANTISSA", "BASE", 
    "EXPONENT", "ACTIVE", "IMPORT", "VIEW", "KEEP", "SPECIFIC", "GEODE", 
    "ASNFILENAME", "END", "ASSIG_OP", "L_BRACKET", "R_BRACKET", "A", "N", 
    "Y", "D", "C", "L", "E", "K", "P", "R", "M", "S", "I", "F", "G", "O", 
    "H", "T", "X", "U", "V", "W", "B", "J", "DOT", "STR", "ALPHA", "Exponent", 
277
    "WS", "COMMENT2", "Q", "Z", "':'", "'->'", "'!'", "'(.'", "'.)'", "'ERROR'", 
278
    "'/* CIF'", "'*/'"
Maxime Perrotin's avatar
Maxime Perrotin committed
279
280
281
282
283
284
285
]




class sdl92Parser(Parser):
    grammarFileName = "sdl92.g"
Maxime Perrotin's avatar
Maxime Perrotin committed
286
287
    antlr_version = version_str_to_tuple("3.1.3 Mar 17, 2009 19:23:44")
    antlr_version_str = "3.1.3 Mar 17, 2009 19:23:44"
Maxime Perrotin's avatar
Maxime Perrotin committed
288
289
290
291
292
293
294
295
    tokenNames = tokenNames

    def __init__(self, input, state=None, *args, **kwargs):
        if state is None:
            state = RecognizerSharedState()

        super(sdl92Parser, self).__init__(input, state, *args, **kwargs)

Maxime Perrotin's avatar
Maxime Perrotin committed
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
        self.dfa20 = self.DFA20(
            self, 20,
            eot = self.DFA20_eot,
            eof = self.DFA20_eof,
            min = self.DFA20_min,
            max = self.DFA20_max,
            accept = self.DFA20_accept,
            special = self.DFA20_special,
            transition = self.DFA20_transition
            )

        self.dfa21 = self.DFA21(
            self, 21,
            eot = self.DFA21_eot,
            eof = self.DFA21_eof,
            min = self.DFA21_min,
            max = self.DFA21_max,
            accept = self.DFA21_accept,
            special = self.DFA21_special,
            transition = self.DFA21_transition
            )

        self.dfa24 = self.DFA24(
            self, 24,
            eot = self.DFA24_eot,
            eof = self.DFA24_eof,
            min = self.DFA24_min,
            max = self.DFA24_max,
            accept = self.DFA24_accept,
            special = self.DFA24_special,
            transition = self.DFA24_transition
            )

        self.dfa26 = self.DFA26(
            self, 26,
            eot = self.DFA26_eot,
            eof = self.DFA26_eof,
            min = self.DFA26_min,
            max = self.DFA26_max,
            accept = self.DFA26_accept,
            special = self.DFA26_special,
            transition = self.DFA26_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
338
339
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
340
341
342
343
344
345
346
347
348
        self.dfa38 = self.DFA38(
            self, 38,
            eot = self.DFA38_eot,
            eof = self.DFA38_eof,
            min = self.DFA38_min,
            max = self.DFA38_max,
            accept = self.DFA38_accept,
            special = self.DFA38_special,
            transition = self.DFA38_transition
349
350
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
351
352
353
354
355
356
357
358
359
        self.dfa42 = self.DFA42(
            self, 42,
            eot = self.DFA42_eot,
            eof = self.DFA42_eof,
            min = self.DFA42_min,
            max = self.DFA42_max,
            accept = self.DFA42_accept,
            special = self.DFA42_special,
            transition = self.DFA42_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
360
361
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
362
363
364
365
366
367
368
369
370
        self.dfa49 = self.DFA49(
            self, 49,
            eot = self.DFA49_eot,
            eof = self.DFA49_eof,
            min = self.DFA49_min,
            max = self.DFA49_max,
            accept = self.DFA49_accept,
            special = self.DFA49_special,
            transition = self.DFA49_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
371
372
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
373
374
375
376
377
378
379
380
381
        self.dfa55 = self.DFA55(
            self, 55,
            eot = self.DFA55_eot,
            eof = self.DFA55_eof,
            min = self.DFA55_min,
            max = self.DFA55_max,
            accept = self.DFA55_accept,
            special = self.DFA55_special,
            transition = self.DFA55_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
382
383
            )

384
385
386
387
388
389
390
391
392
        self.dfa56 = self.DFA56(
            self, 56,
            eot = self.DFA56_eot,
            eof = self.DFA56_eof,
            min = self.DFA56_min,
            max = self.DFA56_max,
            accept = self.DFA56_accept,
            special = self.DFA56_special,
            transition = self.DFA56_transition
393
394
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
        self.dfa60 = self.DFA60(
            self, 60,
            eot = self.DFA60_eot,
            eof = self.DFA60_eof,
            min = self.DFA60_min,
            max = self.DFA60_max,
            accept = self.DFA60_accept,
            special = self.DFA60_special,
            transition = self.DFA60_transition
            )

        self.dfa77 = self.DFA77(
            self, 77,
            eot = self.DFA77_eot,
            eof = self.DFA77_eof,
            min = self.DFA77_min,
            max = self.DFA77_max,
            accept = self.DFA77_accept,
            special = self.DFA77_special,
            transition = self.DFA77_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
415
416
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
417
418
419
420
421
422
423
424
425
        self.dfa80 = self.DFA80(
            self, 80,
            eot = self.DFA80_eot,
            eof = self.DFA80_eof,
            min = self.DFA80_min,
            max = self.DFA80_max,
            accept = self.DFA80_accept,
            special = self.DFA80_special,
            transition = self.DFA80_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
426
427
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
428
429
430
431
432
433
434
435
436
        self.dfa86 = self.DFA86(
            self, 86,
            eot = self.DFA86_eot,
            eof = self.DFA86_eof,
            min = self.DFA86_min,
            max = self.DFA86_max,
            accept = self.DFA86_accept,
            special = self.DFA86_special,
            transition = self.DFA86_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
437
438
            )

439
440
441
442
443
444
445
446
447
        self.dfa87 = self.DFA87(
            self, 87,
            eot = self.DFA87_eot,
            eof = self.DFA87_eof,
            min = self.DFA87_min,
            max = self.DFA87_max,
            accept = self.DFA87_accept,
            special = self.DFA87_special,
            transition = self.DFA87_transition
448
449
            )

450
451
452
453
454
455
456
457
458
        self.dfa88 = self.DFA88(
            self, 88,
            eot = self.DFA88_eot,
            eof = self.DFA88_eof,
            min = self.DFA88_min,
            max = self.DFA88_max,
            accept = self.DFA88_accept,
            special = self.DFA88_special,
            transition = self.DFA88_transition
459
460
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
461
462
463
464
465
466
467
468
469
        self.dfa92 = self.DFA92(
            self, 92,
            eot = self.DFA92_eot,
            eof = self.DFA92_eof,
            min = self.DFA92_min,
            max = self.DFA92_max,
            accept = self.DFA92_accept,
            special = self.DFA92_special,
            transition = self.DFA92_transition
470
471
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
472
473
474
475
476
477
478
479
480
        self.dfa101 = self.DFA101(
            self, 101,
            eot = self.DFA101_eot,
            eof = self.DFA101_eof,
            min = self.DFA101_min,
            max = self.DFA101_max,
            accept = self.DFA101_accept,
            special = self.DFA101_special,
            transition = self.DFA101_transition
481
482
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
483
484
485
486
487
488
489
490
491
        self.dfa106 = self.DFA106(
            self, 106,
            eot = self.DFA106_eot,
            eof = self.DFA106_eof,
            min = self.DFA106_min,
            max = self.DFA106_max,
            accept = self.DFA106_accept,
            special = self.DFA106_special,
            transition = self.DFA106_transition
492
493
            )

494
495
496
497
498
499
500
501
502
        self.dfa107 = self.DFA107(
            self, 107,
            eot = self.DFA107_eot,
            eof = self.DFA107_eof,
            min = self.DFA107_min,
            max = self.DFA107_max,
            accept = self.DFA107_accept,
            special = self.DFA107_special,
            transition = self.DFA107_transition
503
504
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
505
506
507
508
509
510
511
512
513
        self.dfa115 = self.DFA115(
            self, 115,
            eot = self.DFA115_eot,
            eof = self.DFA115_eof,
            min = self.DFA115_min,
            max = self.DFA115_max,
            accept = self.DFA115_accept,
            special = self.DFA115_special,
            transition = self.DFA115_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
514
515
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
516
517
518
519
520
521
522
523
524
        self.dfa112 = self.DFA112(
            self, 112,
            eot = self.DFA112_eot,
            eof = self.DFA112_eof,
            min = self.DFA112_min,
            max = self.DFA112_max,
            accept = self.DFA112_accept,
            special = self.DFA112_special,
            transition = self.DFA112_transition
525
526
            )

527
528
529
530
531
532
533
534
535
        self.dfa113 = self.DFA113(
            self, 113,
            eot = self.DFA113_eot,
            eof = self.DFA113_eof,
            min = self.DFA113_min,
            max = self.DFA113_max,
            accept = self.DFA113_accept,
            special = self.DFA113_special,
            transition = self.DFA113_transition
536
537
            )

538
539
540
541
542
543
544
545
546
547
548
        self.dfa114 = self.DFA114(
            self, 114,
            eot = self.DFA114_eot,
            eof = self.DFA114_eof,
            min = self.DFA114_min,
            max = self.DFA114_max,
            accept = self.DFA114_accept,
            special = self.DFA114_special,
            transition = self.DFA114_transition
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
549
550
551
552
553
554
555
556
557
        self.dfa116 = self.DFA116(
            self, 116,
            eot = self.DFA116_eot,
            eof = self.DFA116_eof,
            min = self.DFA116_min,
            max = self.DFA116_max,
            accept = self.DFA116_accept,
            special = self.DFA116_special,
            transition = self.DFA116_transition
558
559
            )

560
561
562
563
564
565
566
567
568
569
570
        self.dfa117 = self.DFA117(
            self, 117,
            eot = self.DFA117_eot,
            eof = self.DFA117_eof,
            min = self.DFA117_min,
            max = self.DFA117_max,
            accept = self.DFA117_accept,
            special = self.DFA117_special,
            transition = self.DFA117_transition
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
571
572
573
574
575
576
577
578
579
        self.dfa128 = self.DFA128(
            self, 128,
            eot = self.DFA128_eot,
            eof = self.DFA128_eof,
            min = self.DFA128_min,
            max = self.DFA128_max,
            accept = self.DFA128_accept,
            special = self.DFA128_special,
            transition = self.DFA128_transition
580
581
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
582
583
584
585
586
587
588
589
590
        self.dfa126 = self.DFA126(
            self, 126,
            eot = self.DFA126_eot,
            eof = self.DFA126_eof,
            min = self.DFA126_min,
            max = self.DFA126_max,
            accept = self.DFA126_accept,
            special = self.DFA126_special,
            transition = self.DFA126_transition
591
592
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
593
594
595
596
597
598
599
600
601
        self.dfa136 = self.DFA136(
            self, 136,
            eot = self.DFA136_eot,
            eof = self.DFA136_eof,
            min = self.DFA136_min,
            max = self.DFA136_max,
            accept = self.DFA136_accept,
            special = self.DFA136_special,
            transition = self.DFA136_transition
602
603
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
604
605
606
607
608
609
610
611
612
        self.dfa142 = self.DFA142(
            self, 142,
            eot = self.DFA142_eot,
            eof = self.DFA142_eof,
            min = self.DFA142_min,
            max = self.DFA142_max,
            accept = self.DFA142_accept,
            special = self.DFA142_special,
            transition = self.DFA142_transition
613
614
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
615
616
617
618
619
620
621
622
623
        self.dfa175 = self.DFA175(
            self, 175,
            eot = self.DFA175_eot,
            eof = self.DFA175_eof,
            min = self.DFA175_min,
            max = self.DFA175_max,
            accept = self.DFA175_accept,
            special = self.DFA175_special,
            transition = self.DFA175_transition
624
625
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
626
627
628
629
630
631
632
633
634
        self.dfa180 = self.DFA180(
            self, 180,
            eot = self.DFA180_eot,
            eof = self.DFA180_eof,
            min = self.DFA180_min,
            max = self.DFA180_max,
            accept = self.DFA180_accept,
            special = self.DFA180_special,
            transition = self.DFA180_transition
635
636
            )

637
638
639
640
641
642
643
644
645
        self.dfa181 = self.DFA181(
            self, 181,
            eot = self.DFA181_eot,
            eof = self.DFA181_eof,
            min = self.DFA181_min,
            max = self.DFA181_max,
            accept = self.DFA181_accept,
            special = self.DFA181_special,
            transition = self.DFA181_transition
646
647
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
648
649
650
651
652
653
654
655
656
        self.dfa185 = self.DFA185(
            self, 185,
            eot = self.DFA185_eot,
            eof = self.DFA185_eof,
            min = self.DFA185_min,
            max = self.DFA185_max,
            accept = self.DFA185_accept,
            special = self.DFA185_special,
            transition = self.DFA185_transition
657
658
            )

Maxime Perrotin's avatar
Maxime Perrotin committed
659
660
661
662
663
664
665
666
667
        self.dfa194 = self.DFA194(
            self, 194,
            eot = self.DFA194_eot,
            eof = self.DFA194_eof,
            min = self.DFA194_min,
            max = self.DFA194_max,
            accept = self.DFA194_accept,
            special = self.DFA194_special,
            transition = self.DFA194_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
            )






        self._adaptor = None
        self.adaptor = CommonTreeAdaptor()
                


        
    def getTreeAdaptor(self):
        return self._adaptor

    def setTreeAdaptor(self, adaptor):
        self._adaptor = adaptor

    adaptor = property(getTreeAdaptor, setTreeAdaptor)


    class pr_file_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.pr_file_return, self).__init__()

            self.tree = None




    # $ANTLR start "pr_file"
700
    # sdl92.g:146:1: pr_file : ( use_clause | system_definition | process_definition )+ ;
Maxime Perrotin's avatar
Maxime Perrotin committed
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
    def pr_file(self, ):

        retval = self.pr_file_return()
        retval.start = self.input.LT(1)

        root_0 = None

        use_clause1 = None

        system_definition2 = None

        process_definition3 = None



        try:
            try:
718
719
                # sdl92.g:147:9: ( ( use_clause | system_definition | process_definition )+ )
                # sdl92.g:147:17: ( use_clause | system_definition | process_definition )+
Maxime Perrotin's avatar
Maxime Perrotin committed
720
721
722
                pass 
                root_0 = self._adaptor.nil()

723
                # sdl92.g:147:17: ( use_clause | system_definition | process_definition )+
Maxime Perrotin's avatar
Maxime Perrotin committed
724
725
726
727
                cnt1 = 0
                while True: #loop1
                    alt1 = 4
                    LA1 = self.input.LA(1)
728
                    if LA1 == 229:
729
730
                        LA1_2 = self.input.LA(2)

Maxime Perrotin's avatar
Maxime Perrotin committed
731
                        if (LA1_2 == KEEP) :
732
                            alt1 = 1
Maxime Perrotin's avatar
Maxime Perrotin committed
733
734
                        elif (LA1_2 == ANSWER or LA1_2 == COMMENT or LA1_2 == CONNECT or LA1_2 == DECISION or LA1_2 == INPUT or (JOIN <= LA1_2 <= LABEL) or LA1_2 == NEXTSTATE or LA1_2 == OUTPUT or (PROCEDURE <= LA1_2 <= PROCEDURE_CALL) or (PROCESS <= LA1_2 <= PROVIDED) or LA1_2 == RETURN or LA1_2 == STATE or LA1_2 == STOP or LA1_2 == TASK or LA1_2 == TEXT or LA1_2 == START) :
                            alt1 = 3
735
736
737


                    elif LA1 == USE:
Maxime Perrotin's avatar
Maxime Perrotin committed
738
739
740
741
742
743
744
                        alt1 = 1
                    elif LA1 == SYSTEM:
                        alt1 = 2
                    elif LA1 == PROCESS:
                        alt1 = 3

                    if alt1 == 1:
745
                        # sdl92.g:147:18: use_clause
Maxime Perrotin's avatar
Maxime Perrotin committed
746
                        pass 
747
                        self._state.following.append(self.FOLLOW_use_clause_in_pr_file1375)
Maxime Perrotin's avatar
Maxime Perrotin committed
748
749
750
751
752
753
754
755
                        use_clause1 = self.use_clause()

                        self._state.following.pop()
                        if self._state.backtracking == 0:
                            self._adaptor.addChild(root_0, use_clause1.tree)


                    elif alt1 == 2:
756
                        # sdl92.g:148:19: system_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
757
                        pass 
758
                        self._state.following.append(self.FOLLOW_system_definition_in_pr_file1395)
Maxime Perrotin's avatar
Maxime Perrotin committed
759
760
761
762
763
764
765
766
                        system_definition2 = self.system_definition()

                        self._state.following.pop()
                        if self._state.backtracking == 0:
                            self._adaptor.addChild(root_0, system_definition2.tree)


                    elif alt1 == 3:
767
                        # sdl92.g:149:19: process_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
768
                        pass 
769
                        self._state.following.append(self.FOLLOW_process_definition_in_pr_file1415)
Maxime Perrotin's avatar
Maxime Perrotin committed
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
                        process_definition3 = self.process_definition()

                        self._state.following.pop()
                        if self._state.backtracking == 0:
                            self._adaptor.addChild(root_0, process_definition3.tree)


                    else:
                        if cnt1 >= 1:
                            break #loop1

                        if self._state.backtracking > 0:
                            raise BacktrackingFailed

                        eee = EarlyExitException(1, self.input)
                        raise eee

                    cnt1 += 1



                retval.stop = self.input.LT(-1)

                if self._state.backtracking == 0:

                    retval.tree = self._adaptor.rulePostProcessing(root_0)
                    self._adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop)


            except RecognitionException, re:
                self.reportError(re)
                self.recover(self.input, re)
                retval.tree = self._adaptor.errorNode(self.input, retval.start, self.input.LT(-1), re)
        finally:

            pass
        return retval

    # $ANTLR end "pr_file"

    class system_definition_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.system_definition_return, self).__init__()

            self.tree = None




    # $ANTLR start "system_definition"
820
    # sdl92.g:153:1: system_definition : SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end -> ^( SYSTEM system_name ( entity_in_system )* ) ;
Maxime Perrotin's avatar
Maxime Perrotin committed
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
    def system_definition(self, ):

        retval = self.system_definition_return()
        retval.start = self.input.LT(1)

        root_0 = None

        SYSTEM4 = None
        ENDSYSTEM8 = None
        system_name5 = None

        end6 = None

        entity_in_system7 = None

        system_name9 = None

        end10 = None


        SYSTEM4_tree = None
        ENDSYSTEM8_tree = None
Maxime Perrotin's avatar
Maxime Perrotin committed
843
        stream_SYSTEM = RewriteRuleTokenStream(self._adaptor, "token SYSTEM")
844
        stream_ENDSYSTEM = RewriteRuleTokenStream(self._adaptor, "token ENDSYSTEM")
Maxime Perrotin's avatar
Maxime Perrotin committed
845
846
847
848
849
        stream_entity_in_system = RewriteRuleSubtreeStream(self._adaptor, "rule entity_in_system")
        stream_system_name = RewriteRuleSubtreeStream(self._adaptor, "rule system_name")
        stream_end = RewriteRuleSubtreeStream(self._adaptor, "rule end")
        try:
            try:
850
851
                # sdl92.g:154:9: ( SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end -> ^( SYSTEM system_name ( entity_in_system )* ) )
                # sdl92.g:154:17: SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end
Maxime Perrotin's avatar
Maxime Perrotin committed
852
                pass 
853
                SYSTEM4=self.match(self.input, SYSTEM, self.FOLLOW_SYSTEM_in_system_definition1449) 
Maxime Perrotin's avatar
Maxime Perrotin committed
854
855
                if self._state.backtracking == 0:
                    stream_SYSTEM.add(SYSTEM4)
856
                self._state.following.append(self.FOLLOW_system_name_in_system_definition1451)
Maxime Perrotin's avatar
Maxime Perrotin committed
857
858
859
860
861
                system_name5 = self.system_name()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_system_name.add(system_name5.tree)
862
                self._state.following.append(self.FOLLOW_end_in_system_definition1453)
Maxime Perrotin's avatar
Maxime Perrotin committed
863
864
865
866
867
                end6 = self.end()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_end.add(end6.tree)
868
                # sdl92.g:155:17: ( entity_in_system )*
Maxime Perrotin's avatar
Maxime Perrotin committed
869
870
871
872
                while True: #loop2
                    alt2 = 2
                    LA2_0 = self.input.LA(1)

873
                    if ((BLOCK <= LA2_0 <= CHANNEL) or LA2_0 == PROCEDURE or LA2_0 == SIGNAL or LA2_0 == 229) :
Maxime Perrotin's avatar
Maxime Perrotin committed
874
875
876
877
878
879
                        alt2 = 1


                    if alt2 == 1:
                        # sdl92.g:0:0: entity_in_system
                        pass 
880
                        self._state.following.append(self.FOLLOW_entity_in_system_in_system_definition1471)
Maxime Perrotin's avatar
Maxime Perrotin committed
881
882
883
884
885
886
887
888
889
                        entity_in_system7 = self.entity_in_system()

                        self._state.following.pop()
                        if self._state.backtracking == 0:
                            stream_entity_in_system.add(entity_in_system7.tree)


                    else:
                        break #loop2
890
                ENDSYSTEM8=self.match(self.input, ENDSYSTEM, self.FOLLOW_ENDSYSTEM_in_system_definition1490) 
Maxime Perrotin's avatar
Maxime Perrotin committed
891
892
                if self._state.backtracking == 0:
                    stream_ENDSYSTEM.add(ENDSYSTEM8)
893
                # sdl92.g:156:27: ( system_name )?
Maxime Perrotin's avatar
Maxime Perrotin committed
894
895
896
897
898
899
900
901
                alt3 = 2
                LA3_0 = self.input.LA(1)

                if (LA3_0 == ID) :
                    alt3 = 1
                if alt3 == 1:
                    # sdl92.g:0:0: system_name
                    pass 
902
                    self._state.following.append(self.FOLLOW_system_name_in_system_definition1492)
Maxime Perrotin's avatar
Maxime Perrotin committed
903
904
905
906
907
908
909
910
                    system_name9 = self.system_name()

                    self._state.following.pop()
                    if self._state.backtracking == 0:
                        stream_system_name.add(system_name9.tree)



911
                self._state.following.append(self.FOLLOW_end_in_system_definition1495)
Maxime Perrotin's avatar
Maxime Perrotin committed
912
913
914
915
916
917
918
                end10 = self.end()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_end.add(end10.tree)

                # AST Rewrite
919
                # elements: entity_in_system, SYSTEM, system_name
Maxime Perrotin's avatar
Maxime Perrotin committed
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
                # token labels: 
                # rule labels: retval
                # token list labels: 
                # rule list labels: 
                # wildcard labels: 
                if self._state.backtracking == 0:

                    retval.tree = root_0

                    if retval is not None:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "rule retval", retval.tree)
                    else:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "token retval", None)


                    root_0 = self._adaptor.nil()
936
937
                    # 157:9: -> ^( SYSTEM system_name ( entity_in_system )* )
                    # sdl92.g:157:17: ^( SYSTEM system_name ( entity_in_system )* )
Maxime Perrotin's avatar
Maxime Perrotin committed
938
939
940
941
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_SYSTEM.nextNode(), root_1)

                    self._adaptor.addChild(root_1, stream_system_name.nextTree())
942
                    # sdl92.g:157:38: ( entity_in_system )*
Maxime Perrotin's avatar
Maxime Perrotin committed
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
                    while stream_entity_in_system.hasNext():
                        self._adaptor.addChild(root_1, stream_entity_in_system.nextTree())


                    stream_entity_in_system.reset();

                    self._adaptor.addChild(root_0, root_1)



                    retval.tree = root_0



                retval.stop = self.input.LT(-1)

                if self._state.backtracking == 0:

                    retval.tree = self._adaptor.rulePostProcessing(root_0)
                    self._adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop)


            except RecognitionException, re:
                self.reportError(re)
                self.recover(self.input, re)
                retval.tree = self._adaptor.errorNode(self.input, retval.start, self.input.LT(-1), re)
        finally:

            pass
        return retval

    # $ANTLR end "system_definition"

    class use_clause_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.use_clause_return, self).__init__()

            self.tree = None




    # $ANTLR start "use_clause"
986
    # sdl92.g:161:1: use_clause : ( use_asn1 )? USE package_name ( '/' def_selection_list )? end -> ^( USE ( use_asn1 )? ( end )? package_name ( def_selection_list )? ) ;
Maxime Perrotin's avatar
Maxime Perrotin committed
987
988
989
990
991
992
993
994
    def use_clause(self, ):

        retval = self.use_clause_return()
        retval.start = self.input.LT(1)

        root_0 = None

        USE12 = None
995
        char_literal14 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
996
997
998
999
        use_asn111 = None

        package_name13 = None

1000
1001
1002
        def_selection_list15 = None

        end16 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1003
1004
1005


        USE12_tree = None
1006
        char_literal14_tree = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1007
        stream_DIV = RewriteRuleTokenStream(self._adaptor, "token DIV")
1008
        stream_USE = RewriteRuleTokenStream(self._adaptor, "token USE")
Maxime Perrotin's avatar
Maxime Perrotin committed
1009
1010
        stream_use_asn1 = RewriteRuleSubtreeStream(self._adaptor, "rule use_asn1")
        stream_package_name = RewriteRuleSubtreeStream(self._adaptor, "rule package_name")
Maxime Perrotin's avatar
Maxime Perrotin committed
1011
        stream_end = RewriteRuleSubtreeStream(self._adaptor, "rule end")
1012
        stream_def_selection_list = RewriteRuleSubtreeStream(self._adaptor, "rule def_selection_list")
Maxime Perrotin's avatar
Maxime Perrotin committed
1013
1014
        try:
            try:
1015
1016
                # sdl92.g:162:9: ( ( use_asn1 )? USE package_name ( '/' def_selection_list )? end -> ^( USE ( use_asn1 )? ( end )? package_name ( def_selection_list )? ) )
                # sdl92.g:162:17: ( use_asn1 )? USE package_name ( '/' def_selection_list )? end
Maxime Perrotin's avatar
Maxime Perrotin committed
1017
                pass 
1018
                # sdl92.g:162:17: ( use_asn1 )?
Maxime Perrotin's avatar
Maxime Perrotin committed
1019
1020
1021
                alt4 = 2
                LA4_0 = self.input.LA(1)

1022
                if (LA4_0 == 229) :
Maxime Perrotin's avatar
Maxime Perrotin committed
1023
1024
1025
1026
                    alt4 = 1
                if alt4 == 1:
                    # sdl92.g:0:0: use_asn1
                    pass 
1027
                    self._state.following.append(self.FOLLOW_use_asn1_in_use_clause1551)
Maxime Perrotin's avatar
Maxime Perrotin committed
1028
1029
1030
1031
1032
1033
1034
1035
                    use_asn111 = self.use_asn1()

                    self._state.following.pop()
                    if self._state.backtracking == 0:
                        stream_use_asn1.add(use_asn111.tree)



1036
                USE12=self.match(self.input, USE, self.FOLLOW_USE_in_use_clause1570) 
Maxime Perrotin's avatar
Maxime Perrotin committed
1037
1038
                if self._state.backtracking == 0:
                    stream_USE.add(USE12)
1039
                self._state.following.append(self.FOLLOW_package_name_in_use_clause1572)
Maxime Perrotin's avatar
Maxime Perrotin committed
1040
1041
1042
1043
1044
                package_name13 = self.package_name()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_package_name.add(package_name13.tree)
1045
                # sdl92.g:164:17: ( '/' def_selection_list )?
1046
1047
1048
1049
1050
1051
                alt5 = 2
                LA5_0 = self.input.LA(1)

                if (LA5_0 == DIV) :
                    alt5 = 1
                if alt5 == 1:
1052
                    # sdl92.g:164:18: '/' def_selection_list
1053
                    pass 
1054
                    char_literal14=self.match(self.input, DIV, self.FOLLOW_DIV_in_use_clause1591) 
1055
1056
                    if self._state.backtracking == 0:
                        stream_DIV.add(char_literal14)
1057
                    self._state.following.append(self.FOLLOW_def_selection_list_in_use_clause1593)
1058
1059
1060
1061
1062
1063
1064
1065
                    def_selection_list15 = self.def_selection_list()

                    self._state.following.pop()
                    if self._state.backtracking == 0:
                        stream_def_selection_list.add(def_selection_list15.tree)



1066
                self._state.following.append(self.FOLLOW_end_in_use_clause1614)
1067
                end16 = self.end()
Maxime Perrotin's avatar
Maxime Perrotin committed
1068
1069
1070

                self._state.following.pop()
                if self._state.backtracking == 0:
1071
                    stream_end.add(end16.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1072
1073

                # AST Rewrite
1074
                # elements: end, package_name, USE, def_selection_list, use_asn1
Maxime Perrotin's avatar
Maxime Perrotin committed
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
                # token labels: 
                # rule labels: retval
                # token list labels: 
                # rule list labels: 
                # wildcard labels: 
                if self._state.backtracking == 0:

                    retval.tree = root_0

                    if retval is not None:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "rule retval", retval.tree)
                    else:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "token retval", None)


                    root_0 = self._adaptor.nil()
1091
1092
                    # 166:9: -> ^( USE ( use_asn1 )? ( end )? package_name ( def_selection_list )? )
                    # sdl92.g:166:17: ^( USE ( use_asn1 )? ( end )? package_name ( def_selection_list )? )
Maxime Perrotin's avatar
Maxime Perrotin committed
1093
1094
1095
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_USE.nextNode(), root_1)

1096
                    # sdl92.g:166:23: ( use_asn1 )?
Maxime Perrotin's avatar
Maxime Perrotin committed
1097
1098
1099
1100
1101
                    if stream_use_asn1.hasNext():
                        self._adaptor.addChild(root_1, stream_use_asn1.nextTree())


                    stream_use_asn1.reset();
1102
                    # sdl92.g:166:33: ( end )?
1103
1104
1105
1106
1107
                    if stream_end.hasNext():
                        self._adaptor.addChild(root_1, stream_end.nextTree())


                    stream_end.reset();
Maxime Perrotin's avatar
Maxime Perrotin committed
1108
                    self._adaptor.addChild(root_1, stream_package_name.nextTree())
1109
                    # sdl92.g:166:51: ( def_selection_list )?
1110
1111
1112
1113
1114
                    if stream_def_selection_list.hasNext():
                        self._adaptor.addChild(root_1, stream_def_selection_list.nextTree())


                    stream_def_selection_list.reset();
Maxime Perrotin's avatar
Maxime Perrotin committed
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142

                    self._adaptor.addChild(root_0, root_1)



                    retval.tree = root_0



                retval.stop = self.input.LT(-1)

                if self._state.backtracking == 0:

                    retval.tree = self._adaptor.rulePostProcessing(root_0)
                    self._adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop)


            except RecognitionException, re:
                self.reportError(re)
                self.recover(self.input, re)
                retval.tree = self._adaptor.errorNode(self.input, retval.start, self.input.LT(-1), re)
        finally:

            pass
        return retval

    # $ANTLR end "use_clause"

1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
    class def_selection_list_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.def_selection_list_return, self).__init__()

            self.tree = None




    # $ANTLR start "def_selection_list"
1153
    # sdl92.g:173:1: def_selection_list : ID ( ',' ID )* ;
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
    def def_selection_list(self, ):

        retval = self.def_selection_list_return()
        retval.start = self.input.LT(1)

        root_0 = None

        ID17 = None
        char_literal18 = None
        ID19 = None

        ID17_tree = None
        char_literal18_tree = None
        ID19_tree = None

        try:
            try:
1171
1172
                # sdl92.g:174:9: ( ID ( ',' ID )* )
                # sdl92.g:174:17: ID ( ',' ID )*
1173
1174
1175
                pass 
                root_0 = self._adaptor.nil()

1176
                ID17=self.match(self.input, ID, self.FOLLOW_ID_in_def_selection_list1678)
1177
1178
1179
1180
1181
                if self._state.backtracking == 0:

                    ID17_tree = self._adaptor.createWithPayload(ID17)
                    self._adaptor.addChild(root_0, ID17_tree)

1182
                # sdl92.g:174:20: ( ',' ID )*
1183
1184
1185
1186
1187
1188
1189
1190
1191
                while True: #loop6
                    alt6 = 2
                    LA6_0 = self.input.LA(1)

                    if (LA6_0 == COMMA) :
                        alt6 = 1


                    if alt6 == 1:
1192
                        # sdl92.g:174:21: ',' ID
1193
                        pass 
1194
1195
                        char_literal18=self.match(self.input, COMMA, self.FOLLOW_COMMA_in_def_selection_list1681)
                        ID19=self.match(self.input, ID, self.FOLLOW_ID_in_def_selection_list1684)
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
                        if self._state.backtracking == 0:

                            ID19_tree = self._adaptor.createWithPayload(ID19)
                            self._adaptor.addChild(root_0, ID19_tree)



                    else:
                        break #loop6



                retval.stop = self.input.LT(-1)

                if self._state.backtracking == 0:

                    retval.tree = self._adaptor.rulePostProcessing(root_0)
                    self._adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop)


            except RecognitionException, re:
                self.reportError(re)
                self.recover(self.input, re)
                retval.tree = self._adaptor.errorNode(self.input, retval.start, self.input.LT(-1), re)
        finally:

            pass
        return retval

    # $ANTLR end "def_selection_list"

Maxime Perrotin's avatar
Maxime Perrotin committed
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
    class entity_in_system_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.entity_in_system_return, self).__init__()

            self.tree = None




    # $ANTLR start "entity_in_system"
1237
    # sdl92.g:181:1: entity_in_system : ( signal_declaration | text_area | procedure | channel | block_definition );
Maxime Perrotin's avatar
Maxime Perrotin committed
1238
1239
1240
1241
1242
1243
1244
    def entity_in_system(self, ):

        retval = self.entity_in_system_return()
        retval.start = self.input.LT(1)

        root_0 = None

1245
        signal_declaration20 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1246

1247
        text_area21 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1248

1249
        procedure22 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1250

1251
        channel23 = None
1252

1253
        block_definition24 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1254
1255
1256
1257
1258



        try:
            try:
1259
                # sdl92.g:182:9: ( signal_declaration | text_area | procedure | channel | block_definition )
1260
1261
                alt7 = 5
                LA7 = self.input.LA(1)
1262
                if LA7 == 229:
1263
1264
1265
1266
1267
1268
1269
1270
                    LA7_1 = self.input.LA(2)

                    if (self.synpred9_sdl92()) :
                        alt7 = 1
                    elif (self.synpred10_sdl92()) :
                        alt7 = 2
                    elif (self.synpred11_sdl92()) :
                        alt7 = 3
Maxime Perrotin's avatar
Maxime Perrotin committed
1271
1272
1273
1274
                    else:
                        if self._state.backtracking > 0:
                            raise BacktrackingFailed

1275
                        nvae = NoViableAltException("", 7, 1, self.input)
Maxime Perrotin's avatar
Maxime Perrotin committed
1276
1277
1278

                        raise nvae

1279
1280
1281
1282
1283
1284
1285
1286
                elif LA7 == SIGNAL:
                    alt7 = 1
                elif LA7 == PROCEDURE:
                    alt7 = 3
                elif LA7 == CHANNEL:
                    alt7 = 4
                elif LA7 == BLOCK:
                    alt7 = 5
Maxime Perrotin's avatar
Maxime Perrotin committed
1287
1288
1289
1290
                else:
                    if self._state.backtracking > 0:
                        raise BacktrackingFailed

1291
                    nvae = NoViableAltException("", 7, 0, self.input)
Maxime Perrotin's avatar
Maxime Perrotin committed
1292
1293
1294

                    raise nvae

1295
                if alt7 == 1:
1296
                    # sdl92.g:182:17: signal_declaration
Maxime Perrotin's avatar
Maxime Perrotin committed
1297
1298
1299
                    pass 
                    root_0 = self._adaptor.nil()

1300
                    self._state.following.append(self.FOLLOW_signal_declaration_in_entity_in_system1720)
1301
                    signal_declaration20 = self.signal_declaration()
Maxime Perrotin's avatar
Maxime Perrotin committed
1302
1303
1304

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1305
                        self._adaptor.addChild(root_0, signal_declaration20.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1306
1307


1308
                elif alt7 == 2:
1309
                    # sdl92.g:183:19: text_area
Maxime Perrotin's avatar
Maxime Perrotin committed
1310
1311
1312
                    pass 
                    root_0 = self._adaptor.nil()

1313
                    self._state.following.append(self.FOLLOW_text_area_in_entity_in_system1740)
1314
                    text_area21 = self.text_area()
Maxime Perrotin's avatar
Maxime Perrotin committed
1315
1316
1317

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1318
                        self._adaptor.addChild(root_0, text_area21.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1319
1320


1321
                elif alt7 == 3:
1322
                    # sdl92.g:184:19: procedure
Maxime Perrotin's avatar
Maxime Perrotin committed
1323
1324
1325
                    pass 
                    root_0 = self._adaptor.nil()

1326
                    self._state.following.append(self.FOLLOW_procedure_in_entity_in_system1760)
1327
                    procedure22 = self.procedure()
Maxime Perrotin's avatar
Maxime Perrotin committed
1328
1329
1330

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1331
                        self._adaptor.addChild(root_0, procedure22.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1332
1333


1334
                elif alt7 == 4:
1335
                    # sdl92.g:185:19: channel
1336
1337
1338
                    pass 
                    root_0 = self._adaptor.nil()

1339
                    self._state.following.append(self.FOLLOW_channel_in_entity_in_system1780)
1340
                    channel23 = self.channel()
1341
1342
1343

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1344
                        self._adaptor.addChild(root_0, channel23.tree)
1345
1346


1347
                elif alt7 == 5:
1348
                    # sdl92.g:186:19: block_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
1349
1350
1351
                    pass 
                    root_0 = self._adaptor.nil()

1352
                    self._state.following.append(self.FOLLOW_block_definition_in_entity_in_system1800)
1353
                    block_definition24 = self.block_definition()
Maxime Perrotin's avatar
Maxime Perrotin committed
1354
1355
1356

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1357
                        self._adaptor.addChild(root_0, block_definition24.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388


                retval.stop = self.input.LT(-1)

                if self._state.backtracking == 0:

                    retval.tree = self._adaptor.rulePostProcessing(root_0)
                    self._adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop)


            except RecognitionException, re:
                self.reportError(re)
                self.recover(self.input, re)
                retval.tree = self._adaptor.errorNode(self.input, retval.start, self.input.LT(-1), re)
        finally:

            pass
        return retval

    # $ANTLR end "entity_in_system"

    class signal_declaration_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.signal_declaration_return, self).__init__()

            self.tree = None




    # $ANTLR start "signal_declaration"
1389
    # sdl92.g:192:1: signal_declaration : ( paramnames )? SIGNAL signal_id ( input_params )? end -> ^( SIGNAL ( paramnames )? signal_id ( input_params )? ) ;
Maxime Perrotin's avatar
Maxime Perrotin committed
1390
1391
1392
1393
1394
1395
1396
    def signal_declaration(self, ):

        retval = self.signal_declaration_return()
        retval.start = self.input.LT(1)

        root_0 = None

1397
1398
        SIGNAL26 = None
        paramnames25 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1399

1400
        signal_id27 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1401

1402
        input_params28 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1403

1404
        end29 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1405
1406


1407
        SIGNAL26_tree = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1408
        stream_SIGNAL = RewriteRuleTokenStream(self._adaptor, "token SIGNAL")
Maxime Perrotin's avatar
Maxime Perrotin committed
1409
        stream_paramnames = RewriteRuleSubtreeStream(self._adaptor, "rule paramnames")
1410
        stream_input_params = RewriteRuleSubtreeStream(self._adaptor, "rule input_params")
Maxime Perrotin's avatar
Maxime Perrotin committed
1411
        stream_end = RewriteRuleSubtreeStream(self._adaptor, "rule end")
1412
        stream_signal_id = RewriteRuleSubtreeStream(self._adaptor, "rule signal_id")
Maxime Perrotin's avatar
Maxime Perrotin committed
1413
1414
        try:
            try:
1415
1416
                # sdl92.g:193:9: ( ( paramnames )? SIGNAL signal_id ( input_params )? end -> ^( SIGNAL ( paramnames )? signal_id ( input_params )? ) )
                # sdl92.g:193:17: ( paramnames )? SIGNAL signal_id ( input_params )? end
Maxime Perrotin's avatar
Maxime Perrotin committed
1417
                pass 
1418
                # sdl92.g:193:17: ( paramnames )?
1419
1420
                alt8 = 2
                LA8_0 = self.input.LA(1)
Maxime Perrotin's avatar
Maxime Perrotin committed
1421

1422
                if (LA8_0 == 229) :
1423
1424
                    alt8 = 1
                if alt8 == 1:
Maxime Perrotin's avatar
Maxime Perrotin committed
1425
1426
                    # sdl92.g:0:0: paramnames
                    pass 
1427
                    self._state.following.append(self.FOLLOW_paramnames_in_signal_declaration1833)
1428
                    paramnames25 = self.paramnames()
Maxime Perrotin's avatar
Maxime Perrotin committed
1429
1430
1431

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1432
                        stream_paramnames.add(paramnames25.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1433
1434
1435



1436
                SIGNAL26=self.match(self.input, SIGNAL, self.FOLLOW_SIGNAL_in_signal_declaration1852) 
Maxime Perrotin's avatar
Maxime Perrotin committed
1437
                if self._state.backtracking == 0:
1438
                    stream_SIGNAL.add(SIGNAL26)
1439
                self._state.following.append(self.FOLLOW_signal_id_in_signal_declaration1854)
1440
                signal_id27 = self.signal_id()
Maxime Perrotin's avatar
Maxime Perrotin committed
1441
1442
1443

                self._state.following.pop()
                if self._state.backtracking == 0:
1444
                    stream_signal_id.add(signal_id27.tree)
1445
                # sdl92.g:194:34: ( input_params )?
1446
1447
                alt9 = 2
                LA9_0 = self.input.LA(1)
Maxime Perrotin's avatar
Maxime Perrotin committed
1448

1449
1450
1451
                if (LA9_0 == L_PAREN) :
                    alt9 = 1
                if alt9 == 1:
Maxime Perrotin's avatar
Maxime Perrotin committed
1452
1453
                    # sdl92.g:0:0: input_params
                    pass 
1454
                    self._state.following.append(self.FOLLOW_input_params_in_signal_declaration1856)
1455
                    input_params28 = self.input_params()
Maxime Perrotin's avatar
Maxime Perrotin committed
1456
1457
1458

                    self._state.following.pop()
                    if self._state.backtracking == 0:
1459
                        stream_input_params.add(input_params28.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1460
1461
1462



1463
                self._state.following.append(self.FOLLOW_end_in_signal_declaration1859)
1464
                end29 = self.end()
Maxime Perrotin's avatar
Maxime Perrotin committed
1465
1466
1467

                self._state.following.pop()
                if self._state.backtracking == 0:
1468
                    stream_end.add(end29.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1469
1470

                # AST Rewrite
1471
                # elements: signal_id, input_params, SIGNAL, paramnames
Maxime Perrotin's avatar
Maxime Perrotin committed
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
                # token labels: 
                # rule labels: retval
                # token list labels: 
                # rule list labels: 
                # wildcard labels: 
                if self._state.backtracking == 0:

                    retval.tree = root_0

                    if retval is not None:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "rule retval", retval.tree)
                    else:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "token retval", None)


                    root_0 = self._adaptor.nil()
1488
1489
                    # 195:9: -> ^( SIGNAL ( paramnames )? signal_id ( input_params )? )
                    # sdl92.g:195:17: ^( SIGNAL ( paramnames )? signal_id ( input_params )? )
Maxime Perrotin's avatar
Maxime Perrotin committed
1490
1491
1492
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_SIGNAL.nextNode(), root_1)

1493
                    # sdl92.g:195:26: ( paramnames )?
Maxime Perrotin's avatar
Maxime Perrotin committed
1494
1495
1496
1497
1498
1499
                    if stream_paramnames.hasNext():
                        self._adaptor.addChild(root_1, stream_paramnames.nextTree())


                    stream_paramnames.reset();
                    self._adaptor.addChild(root_1, stream_signal_id.nextTree())
1500
                    # sdl92.g:195:48: ( input_params )?
Maxime Perrotin's avatar
Maxime Perrotin committed
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
                    if stream_input_params.hasNext():
                        self._adaptor.addChild(root_1, stream_input_params.nextTree())


                    stream_input_params.reset();

                    self._adaptor.addChild(root_0, root_1)



                    retval.tree = root_0



                retval.stop = self.input.LT(-1)

                if self._state.backtracking == 0:

                    retval.tree = self._adaptor.rulePostProcessing(root_0)
                    self._adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop)


            except RecognitionException, re:
                self.reportError(re)
                self.recover(self.input, re)
                retval.tree = self._adaptor.errorNode(self.input, retval.start, self.input.LT(-1), re)
        finally:

            pass
        return retval

    # $ANTLR end "signal_declaration"

    class channel_return(ParserRuleReturnScope):
        def __init__(self):
            super(sdl92Parser.channel_return, self).__init__()

            self.tree = None




    # $ANTLR start "channel"
1544
    # sdl92.g:199:1: channel : CHANNEL channel_id ( route )+ ENDCHANNEL end -> ^( CHANNEL channel_id ( route )+ ) ;
Maxime Perrotin's avatar
Maxime Perrotin committed
1545
1546
1547
1548
1549
1550
1551
    def channel(self, ):

        retval = self.channel_return()
        retval.start = self.input.LT(1)

        root_0 = None

1552
1553
1554
        CHANNEL30 = None
        ENDCHANNEL33 = None
        channel_id31 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1555

1556
        route32 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1557

1558
        end34 = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1559
1560


1561
1562
        CHANNEL30_tree = None
        ENDCHANNEL33_tree = None
Maxime Perrotin's avatar
Maxime Perrotin committed
1563
1564
1565
        stream_CHANNEL = RewriteRuleTokenStream(self._adaptor, "token CHANNEL")
        stream_ENDCHANNEL = RewriteRuleTokenStream(self._adaptor, "token ENDCHANNEL")
        stream_route = RewriteRuleSubtreeStream(self._adaptor, "rule route")
Maxime Perrotin's avatar
Maxime Perrotin committed
1566
        stream_end = RewriteRuleSubtreeStream(self._adaptor, "rule end")
1567
        stream_channel_id = RewriteRuleSubtreeStream(self._adaptor, "rule channel_id")
Maxime Perrotin's avatar
Maxime Perrotin committed
1568
1569
        try:
            try:
1570
1571
                # sdl92.g:200:9: ( CHANNEL channel_id ( route )+ ENDCHANNEL end -> ^( CHANNEL channel_id ( route )+ ) )
                # sdl92.g:200:17: CHANNEL channel_id ( route )+ ENDCHANNEL end
Maxime Perrotin's avatar
Maxime Perrotin committed
1572
                pass 
1573
                CHANNEL30=self.match(self.input, CHANNEL, self.FOLLOW_CHANNEL_in_channel1918) 
Maxime Perrotin's avatar
Maxime Perrotin committed
1574
                if self._state.backtracking == 0:
1575
                    stream_CHANNEL.add(CHANNEL30)
1576
                self._state.following.append(self.FOLLOW_channel_id_in_channel1920)
1577
                channel_id31 = self.channel_id()
Maxime Perrotin's avatar
Maxime Perrotin committed
1578
1579
1580

                self._state.following.pop()
                if self._state.backtracking == 0:
1581
                    stream_channel_id.add(channel_id31.tree)
1582
                # sdl92.g:201:17: ( route )+
1583
1584
1585
1586
                cnt10 = 0
                while True: #loop10
                    alt10 = 2
                    LA10_0 = self.input.LA(1)
Maxime Perrotin's avatar
Maxime Perrotin committed
1587

1588
1589
                    if (LA10_0 == FROM) :
                        alt10 = 1
Maxime Perrotin's avatar
Maxime Perrotin committed
1590
1591


1592
                    if alt10 == 1:
Maxime Perrotin's avatar
Maxime Perrotin committed
1593
1594
                        # sdl92.g:0:0: route
                        pass 
1595
                        self._state.following.append(self.FOLLOW_route_in_channel1938)
1596
                        route32 = self.route()
Maxime Perrotin's avatar
Maxime Perrotin committed
1597
1598
1599

                        self._state.following.pop()
                        if self._state.backtracking == 0:
1600
                            stream_route.add(route32.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1601
1602
1603


                    else:
1604
1605
                        if cnt10 >= 1:
                            break #loop10
Maxime Perrotin's avatar
Maxime Perrotin committed
1606
1607
1608
1609

                        if self._state.backtracking > 0:
                            raise BacktrackingFailed

1610
                        eee = EarlyExitException(10, self.input)
Maxime Perrotin's avatar
Maxime Perrotin committed
1611
1612
                        raise eee

1613
                    cnt10 += 1
1614
                ENDCHANNEL33=self.match(self.input, ENDCHANNEL, self.FOLLOW_ENDCHANNEL_in_channel1957) 
Maxime Perrotin's avatar
Maxime Perrotin committed
1615
                if self._state.backtracking == 0:
1616
                    stream_ENDCHANNEL.add(ENDCHANNEL33)
1617
                self._state.following.append(self.FOLLOW_end_in_channel1959)
1618
                end34 = self.end()
Maxime Perrotin's avatar
Maxime Perrotin committed
1619
1620
1621

                self._state.following.pop()
                if self._state.backtracking == 0:
1622
                    stream_end.add(end34.tree)
Maxime Perrotin's avatar
Maxime Perrotin committed
1623
1624

                # AST Rewrite
1625
                # elements: channel_id, CHANNEL, route
Maxime Perrotin's avatar
Maxime Perrotin committed
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
                # token labels: 
                # rule labels: retval
                # token list labels: 
                # rule list labels: 
                # wildcard labels: 
                if self._state.backtracking == 0:

                    retval.tree = root_0

                    if retval is not None:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "rule retval", retval.tree)
                    else:
                        stream_retval = RewriteRuleSubtreeStream(self._adaptor, "token retval", None)


                    root_0 = self._adaptor.nil()
1642
1643
                    # 203:9: -> ^( CHANNEL channel_id ( route )+ )
                    # sdl92.g:203:17: ^( CHANNEL channel_id ( route )+ )
Maxime Perrotin's avatar
Maxime Perrotin committed
1644
1645
1646
1647
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_CHANNEL.nextNode(), root_1)

                    self._adaptor.addChild(root_1, stream_channel_id.nextTree())
1648
                    # sdl92.g:203:38: ( route )+
Maxime Perrotin's avatar
Maxime Perrotin committed
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689