sdl92Parser.py 931 KB
Newer Older
1
# $ANTLR 3.1.3 Mar 18, 2009 10:09:25 sdl92.g 2014-06-18 17:34:16
Maxime Perrotin's avatar
Maxime Perrotin committed
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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

from antlr3.tree import *



# for convenience in actions
HIDDEN = BaseRecognizer.HIDDEN

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

# token names
tokenNames = [
    "<invalid>", "<EOR>", "<DOWN>", "<UP>", 
    "FOR", "RANGE", "TIMER", "LABEL", "IFTHENELSE", "COMMENT", "VALUE", 
    "CHOICE", "SEQUENCE", "SEQOF", "EMPTYSTR", "FLOAT", "FLOAT2", "BITSTR", 
    "OCTSTR", "STRING", "EXPRESSION", "DIGITS", "ENDTEXT", "PROCESS", "NUMBER_OF_INSTANCES", 
    "TRANSITION", "STATE", "INPUT_NONE", "SAVE", "PROVIDED", "SIGNAL_LIST", 
    "INPUT", "STIMULUS", "ACTION", "PROCEDURE_CALL", "PROCEDURE", "SET", 
    "RESET", "EXPORT", "DECISION", "ALTERNATIVE", "ANSWER", "CLOSED_RANGE", 
    "OPEN_RANGE", "CONSTANT", "ELSE", "ALL", "TO", "VIA", "VIAPATH", "OUTPUT", 
    "OUTPUT_BODY", "ASSIGN", "TEXT", "NEXTSTATE", "JOIN", "TERMINATOR", 
    "RETURN", "PROCEDURE_NAME", "PARAMS", "FIELD_NAME", "PRIMARY", "PRIMARY_ID", 
    "IF", "THEN", "FI", "CIF", "HYPERLINK", "STATELIST", "INPUTLIST", "INFORMAL_TEXT", 
    "VARIABLE", "VARIABLES", "SORT", "DCL", "MINUS", "GROUND", "TEXTAREA", 
    "TEXTAREA_CONTENT", "TASK", "TASK_BODY", "QUESTION", "FPAR", "PARAM", 
    "INOUT", "EXTERNAL", "IN", "STOP", "SYSTEM", "USE", "SIGNAL", "CHANNEL", 
    "CONNECTION", "ROUTE", "BLOCK", "PARAMNAMES", "ASN1", "FLOATING_LABEL", 
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
    "COMPOSITE_STATE", "CONNECT", "SYNTYPE", "ENDSYNTYPE", "NEWTYPE", "ENDNEWTYPE", 
    "ARRAY", "CONSTANTS", "STRUCT", "FIELDS", "FIELD", "ENDSYSTEM", "ENDCHANNEL", 
    "FROM", "WITH", "ENDBLOCK", "SIGNALROUTE", "AND", "REFERENCED", "ENDPROCESS", 
    "ENDPROCEDURE", "INT", "START", "ENDCONNECTION", "SEMI", "ENDSTATE", 
    "ASTERISK", "SUBSTRUCTURE", "ENDSUBSTRUCTURE", "OUT", "NONE", "PRIORITY", 
    "L_PAREN", "R_PAREN", "COMMA", "CALL", "ENDALTERNATIVE", "ENDDECISION", 
    "ANY", "EQ", "NEQ", "GT", "LT", "LE", "GE", "CREATE", "THIS", "ID", 
    "ENDFOR", "IMPLIES", "OR", "XOR", "PLUS", "DASH", "APPEND", "DIV", "MOD", 
    "REM", "BitStringLiteral", "OctetStringLiteral", "TRUE", "FALSE", "StringLiteral", 
    "NULL", "PLUS_INFINITY", "MINUS_INFINITY", "FloatingPointLiteral", "L_BRACKET", 
    "R_BRACKET", "MANTISSA", "BASE", "EXPONENT", "NOT", "KEEP", "SPECIFIC", 
    "GEODE", "ASNFILENAME", "END", "ASSIG_OP", "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", "WS", "COMMENT2", 
    "Q", "Z", "':'", "'TO'", "'VIA'", "'ALL'", "'!'", "'(.'", "'.)'", "'ERROR'", 
    "'ACTIVE'", "'ANY'", "'IMPORT'", "'VIEW'", "'/* CIF'", "'*/'"
Maxime Perrotin's avatar
Maxime Perrotin committed
269
270
271
272
273
274
275
]




class sdl92Parser(Parser):
    grammarFileName = "sdl92.g"
276
277
    antlr_version = version_str_to_tuple("3.1.3 Mar 18, 2009 10:09:25")
    antlr_version_str = "3.1.3 Mar 18, 2009 10:09:25"
Maxime Perrotin's avatar
Maxime Perrotin committed
278
279
280
281
282
283
284
285
    tokenNames = tokenNames

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

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

286
287
288
289
290
291
292
293
294
        self.dfa19 = self.DFA19(
            self, 19,
            eot = self.DFA19_eot,
            eof = self.DFA19_eof,
            min = self.DFA19_min,
            max = self.DFA19_max,
            accept = self.DFA19_accept,
            special = self.DFA19_special,
            transition = self.DFA19_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
295
296
            )

297
298
299
300
301
302
303
304
305
        self.dfa37 = self.DFA37(
            self, 37,
            eot = self.DFA37_eot,
            eof = self.DFA37_eof,
            min = self.DFA37_min,
            max = self.DFA37_max,
            accept = self.DFA37_accept,
            special = self.DFA37_special,
            transition = self.DFA37_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
306
307
            )

308
309
310
311
312
313
314
315
316
        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
317
318
            )

319
320
321
322
323
324
325
326
327
        self.dfa43 = self.DFA43(
            self, 43,
            eot = self.DFA43_eot,
            eof = self.DFA43_eof,
            min = self.DFA43_min,
            max = self.DFA43_max,
            accept = self.DFA43_accept,
            special = self.DFA43_special,
            transition = self.DFA43_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
328
329
            )

330
331
332
333
334
335
336
337
338
        self.dfa47 = self.DFA47(
            self, 47,
            eot = self.DFA47_eot,
            eof = self.DFA47_eof,
            min = self.DFA47_min,
            max = self.DFA47_max,
            accept = self.DFA47_accept,
            special = self.DFA47_special,
            transition = self.DFA47_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
339
340
            )

341
342
343
344
345
346
347
348
349
        self.dfa65 = self.DFA65(
            self, 65,
            eot = self.DFA65_eot,
            eof = self.DFA65_eof,
            min = self.DFA65_min,
            max = self.DFA65_max,
            accept = self.DFA65_accept,
            special = self.DFA65_special,
            transition = self.DFA65_transition
350
351
            )

352
353
354
355
356
357
358
359
360
        self.dfa66 = self.DFA66(
            self, 66,
            eot = self.DFA66_eot,
            eof = self.DFA66_eof,
            min = self.DFA66_min,
            max = self.DFA66_max,
            accept = self.DFA66_accept,
            special = self.DFA66_special,
            transition = self.DFA66_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
361
362
            )

363
364
365
366
367
368
369
370
371
        self.dfa67 = self.DFA67(
            self, 67,
            eot = self.DFA67_eot,
            eof = self.DFA67_eof,
            min = self.DFA67_min,
            max = self.DFA67_max,
            accept = self.DFA67_accept,
            special = self.DFA67_special,
            transition = self.DFA67_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
372
373
            )

374
375
376
377
378
379
380
381
382
        self.dfa71 = self.DFA71(
            self, 71,
            eot = self.DFA71_eot,
            eof = self.DFA71_eof,
            min = self.DFA71_min,
            max = self.DFA71_max,
            accept = self.DFA71_accept,
            special = self.DFA71_special,
            transition = self.DFA71_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
383
384
            )

385
386
387
388
389
390
391
392
393
        self.dfa82 = self.DFA82(
            self, 82,
            eot = self.DFA82_eot,
            eof = self.DFA82_eof,
            min = self.DFA82_min,
            max = self.DFA82_max,
            accept = self.DFA82_accept,
            special = self.DFA82_special,
            transition = self.DFA82_transition
394
395
            )

396
397
398
399
400
401
402
403
404
        self.dfa83 = self.DFA83(
            self, 83,
            eot = self.DFA83_eot,
            eof = self.DFA83_eof,
            min = self.DFA83_min,
            max = self.DFA83_max,
            accept = self.DFA83_accept,
            special = self.DFA83_special,
            transition = self.DFA83_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
405
406
            )

407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
        self.dfa91 = self.DFA91(
            self, 91,
            eot = self.DFA91_eot,
            eof = self.DFA91_eof,
            min = self.DFA91_min,
            max = self.DFA91_max,
            accept = self.DFA91_accept,
            special = self.DFA91_special,
            transition = self.DFA91_transition
            )

        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
Maxime Perrotin's avatar
Maxime Perrotin committed
427
428
            )

429
430
431
432
433
434
435
436
437
        self.dfa89 = self.DFA89(
            self, 89,
            eot = self.DFA89_eot,
            eof = self.DFA89_eof,
            min = self.DFA89_min,
            max = self.DFA89_max,
            accept = self.DFA89_accept,
            special = self.DFA89_special,
            transition = self.DFA89_transition
438
439
            )

440
441
442
443
444
445
446
447
448
        self.dfa90 = self.DFA90(
            self, 90,
            eot = self.DFA90_eot,
            eof = self.DFA90_eof,
            min = self.DFA90_min,
            max = self.DFA90_max,
            accept = self.DFA90_accept,
            special = self.DFA90_special,
            transition = self.DFA90_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
449
450
            )

451
452
453
454
455
456
457
458
459
        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
460
461
            )

462
463
464
465
466
467
468
469
470
        self.dfa93 = self.DFA93(
            self, 93,
            eot = self.DFA93_eot,
            eof = self.DFA93_eof,
            min = self.DFA93_min,
            max = self.DFA93_max,
            accept = self.DFA93_accept,
            special = self.DFA93_special,
            transition = self.DFA93_transition
471
472
            )

473
474
475
476
477
478
479
480
481
        self.dfa104 = self.DFA104(
            self, 104,
            eot = self.DFA104_eot,
            eof = self.DFA104_eof,
            min = self.DFA104_min,
            max = self.DFA104_max,
            accept = self.DFA104_accept,
            special = self.DFA104_special,
            transition = self.DFA104_transition
482
483
            )

484
485
486
487
488
489
490
491
492
        self.dfa102 = self.DFA102(
            self, 102,
            eot = self.DFA102_eot,
            eof = self.DFA102_eof,
            min = self.DFA102_min,
            max = self.DFA102_max,
            accept = self.DFA102_accept,
            special = self.DFA102_special,
            transition = self.DFA102_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
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
        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
            )

        self.dfa149 = self.DFA149(
            self, 149,
            eot = self.DFA149_eot,
            eof = self.DFA149_eof,
            min = self.DFA149_min,
            max = self.DFA149_max,
            accept = self.DFA149_accept,
            special = self.DFA149_special,
            transition = self.DFA149_transition
            )

        self.dfa159 = self.DFA159(
            self, 159,
            eot = self.DFA159_eot,
            eof = self.DFA159_eof,
            min = self.DFA159_min,
            max = self.DFA159_max,
            accept = self.DFA159_accept,
            special = self.DFA159_special,
            transition = self.DFA159_transition
            )

        self.dfa169 = self.DFA169(
            self, 169,
            eot = self.DFA169_eot,
            eof = self.DFA169_eof,
            min = self.DFA169_min,
            max = self.DFA169_max,
            accept = self.DFA169_accept,
            special = self.DFA169_special,
            transition = self.DFA169_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
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
            )






        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"
569
    # sdl92.g:133:1: pr_file : ( use_clause | system_definition | process_definition )+ ;
Maxime Perrotin's avatar
Maxime Perrotin committed
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
    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:
587
588
                # sdl92.g:134:9: ( ( use_clause | system_definition | process_definition )+ )
                # sdl92.g:134:17: ( use_clause | system_definition | process_definition )+
Maxime Perrotin's avatar
Maxime Perrotin committed
589
590
591
                pass 
                root_0 = self._adaptor.nil()

592
                # sdl92.g:134:17: ( use_clause | system_definition | process_definition )+
Maxime Perrotin's avatar
Maxime Perrotin committed
593
594
595
596
                cnt1 = 0
                while True: #loop1
                    alt1 = 4
                    LA1 = self.input.LA(1)
597
                    if LA1 == 221:
598
599
                        LA1_2 = self.input.LA(2)

600
                        if (LA1_2 == LABEL or LA1_2 == COMMENT or LA1_2 == PROCESS or LA1_2 == STATE or LA1_2 == PROVIDED or LA1_2 == INPUT or (PROCEDURE_CALL <= LA1_2 <= PROCEDURE) or LA1_2 == DECISION or LA1_2 == ANSWER or LA1_2 == OUTPUT or (TEXT <= LA1_2 <= JOIN) or LA1_2 == RETURN or LA1_2 == TASK or LA1_2 == STOP or LA1_2 == CONNECT or LA1_2 == START) :
601
                            alt1 = 3
602
603
                        elif (LA1_2 == KEEP) :
                            alt1 = 1
604
605
606


                    elif LA1 == USE:
Maxime Perrotin's avatar
Maxime Perrotin committed
607
608
609
610
611
612
613
                        alt1 = 1
                    elif LA1 == SYSTEM:
                        alt1 = 2
                    elif LA1 == PROCESS:
                        alt1 = 3

                    if alt1 == 1:
614
                        # sdl92.g:134:18: use_clause
Maxime Perrotin's avatar
Maxime Perrotin committed
615
                        pass 
616
                        self._state.following.append(self.FOLLOW_use_clause_in_pr_file1233)
Maxime Perrotin's avatar
Maxime Perrotin committed
617
618
619
620
621
622
623
624
                        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:
625
                        # sdl92.g:135:19: system_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
626
                        pass 
627
                        self._state.following.append(self.FOLLOW_system_definition_in_pr_file1253)
Maxime Perrotin's avatar
Maxime Perrotin committed
628
629
630
631
632
633
634
635
                        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:
636
                        # sdl92.g:136:19: process_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
637
                        pass 
638
                        self._state.following.append(self.FOLLOW_process_definition_in_pr_file1273)
Maxime Perrotin's avatar
Maxime Perrotin committed
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
                        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"
689
    # sdl92.g:139: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
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
    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
        stream_ENDSYSTEM = RewriteRuleTokenStream(self._adaptor, "token ENDSYSTEM")
        stream_SYSTEM = RewriteRuleTokenStream(self._adaptor, "token SYSTEM")
        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:
719
720
                # sdl92.g:140:9: ( SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end -> ^( SYSTEM system_name ( entity_in_system )* ) )
                # sdl92.g:140:17: SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end
Maxime Perrotin's avatar
Maxime Perrotin committed
721
                pass 
722
                SYSTEM4=self.match(self.input, SYSTEM, self.FOLLOW_SYSTEM_in_system_definition1298) 
Maxime Perrotin's avatar
Maxime Perrotin committed
723
724
                if self._state.backtracking == 0:
                    stream_SYSTEM.add(SYSTEM4)
725
                self._state.following.append(self.FOLLOW_system_name_in_system_definition1300)
Maxime Perrotin's avatar
Maxime Perrotin committed
726
727
728
729
730
                system_name5 = self.system_name()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_system_name.add(system_name5.tree)
731
                self._state.following.append(self.FOLLOW_end_in_system_definition1302)
Maxime Perrotin's avatar
Maxime Perrotin committed
732
733
734
735
736
                end6 = self.end()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_end.add(end6.tree)
737
                # sdl92.g:141:17: ( entity_in_system )*
Maxime Perrotin's avatar
Maxime Perrotin committed
738
739
740
741
                while True: #loop2
                    alt2 = 2
                    LA2_0 = self.input.LA(1)

742
                    if (LA2_0 == PROCEDURE or (SIGNAL <= LA2_0 <= CHANNEL) or LA2_0 == BLOCK or LA2_0 == 221) :
Maxime Perrotin's avatar
Maxime Perrotin committed
743
744
745
746
747
748
                        alt2 = 1


                    if alt2 == 1:
                        # sdl92.g:0:0: entity_in_system
                        pass 
749
                        self._state.following.append(self.FOLLOW_entity_in_system_in_system_definition1320)
Maxime Perrotin's avatar
Maxime Perrotin committed
750
751
752
753
754
755
756
757
758
                        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
759
                ENDSYSTEM8=self.match(self.input, ENDSYSTEM, self.FOLLOW_ENDSYSTEM_in_system_definition1339) 
Maxime Perrotin's avatar
Maxime Perrotin committed
760
761
                if self._state.backtracking == 0:
                    stream_ENDSYSTEM.add(ENDSYSTEM8)
762
                # sdl92.g:142:27: ( system_name )?
Maxime Perrotin's avatar
Maxime Perrotin committed
763
764
765
766
767
768
769
770
                alt3 = 2
                LA3_0 = self.input.LA(1)

                if (LA3_0 == ID) :
                    alt3 = 1
                if alt3 == 1:
                    # sdl92.g:0:0: system_name
                    pass 
771
                    self._state.following.append(self.FOLLOW_system_name_in_system_definition1341)
Maxime Perrotin's avatar
Maxime Perrotin committed
772
773
774
775
776
777
778
779
                    system_name9 = self.system_name()

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



780
                self._state.following.append(self.FOLLOW_end_in_system_definition1344)
Maxime Perrotin's avatar
Maxime Perrotin committed
781
782
783
784
785
786
787
                end10 = self.end()

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

                # AST Rewrite
788
                # elements: entity_in_system, SYSTEM, system_name
Maxime Perrotin's avatar
Maxime Perrotin committed
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
                # 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()
805
806
                    # 143:9: -> ^( SYSTEM system_name ( entity_in_system )* )
                    # sdl92.g:143:17: ^( SYSTEM system_name ( entity_in_system )* )
Maxime Perrotin's avatar
Maxime Perrotin committed
807
808
809
810
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_SYSTEM.nextNode(), root_1)

                    self._adaptor.addChild(root_1, stream_system_name.nextTree())
811
                    # sdl92.g:143:38: ( entity_in_system )*
Maxime Perrotin's avatar
Maxime Perrotin committed
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
                    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"
855
    # sdl92.g:146:1: use_clause : ( use_asn1 )? USE package_name end -> ^( USE ( use_asn1 )? package_name ) ;
Maxime Perrotin's avatar
Maxime Perrotin committed
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
    def use_clause(self, ):

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

        root_0 = None

        USE12 = None
        use_asn111 = None

        package_name13 = None

        end14 = None


        USE12_tree = None
        stream_USE = RewriteRuleTokenStream(self._adaptor, "token USE")
        stream_use_asn1 = RewriteRuleSubtreeStream(self._adaptor, "rule use_asn1")
        stream_package_name = RewriteRuleSubtreeStream(self._adaptor, "rule package_name")
        stream_end = RewriteRuleSubtreeStream(self._adaptor, "rule end")
        try:
            try:
878
879
                # sdl92.g:147:9: ( ( use_asn1 )? USE package_name end -> ^( USE ( use_asn1 )? package_name ) )
                # sdl92.g:147:17: ( use_asn1 )? USE package_name end
Maxime Perrotin's avatar
Maxime Perrotin committed
880
                pass 
881
                # sdl92.g:147:17: ( use_asn1 )?
Maxime Perrotin's avatar
Maxime Perrotin committed
882
883
884
                alt4 = 2
                LA4_0 = self.input.LA(1)

885
                if (LA4_0 == 221) :
Maxime Perrotin's avatar
Maxime Perrotin committed
886
887
888
889
                    alt4 = 1
                if alt4 == 1:
                    # sdl92.g:0:0: use_asn1
                    pass 
890
                    self._state.following.append(self.FOLLOW_use_asn1_in_use_clause1391)
Maxime Perrotin's avatar
Maxime Perrotin committed
891
892
893
894
895
896
897
898
                    use_asn111 = self.use_asn1()

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



899
                USE12=self.match(self.input, USE, self.FOLLOW_USE_in_use_clause1410) 
Maxime Perrotin's avatar
Maxime Perrotin committed
900
901
                if self._state.backtracking == 0:
                    stream_USE.add(USE12)
902
                self._state.following.append(self.FOLLOW_package_name_in_use_clause1412)
Maxime Perrotin's avatar
Maxime Perrotin committed
903
904
905
906
907
                package_name13 = self.package_name()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_package_name.add(package_name13.tree)
908
                self._state.following.append(self.FOLLOW_end_in_use_clause1414)
Maxime Perrotin's avatar
Maxime Perrotin committed
909
910
911
912
913
914
915
                end14 = self.end()

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

                # AST Rewrite
916
                # elements: use_asn1, USE, package_name
Maxime Perrotin's avatar
Maxime Perrotin committed
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
                # 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()
933
934
                    # 149:9: -> ^( USE ( use_asn1 )? package_name )
                    # sdl92.g:149:17: ^( USE ( use_asn1 )? package_name )
Maxime Perrotin's avatar
Maxime Perrotin committed
935
936
937
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_USE.nextNode(), root_1)

938
                    # sdl92.g:149:23: ( use_asn1 )?
Maxime Perrotin's avatar
Maxime Perrotin committed
939
940
941
942
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
                    if stream_use_asn1.hasNext():
                        self._adaptor.addChild(root_1, stream_use_asn1.nextTree())


                    stream_use_asn1.reset();
                    self._adaptor.addChild(root_1, stream_package_name.nextTree())

                    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"

    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"
983
    # sdl92.g:155:1: entity_in_system : ( signal_declaration | procedure | channel | block_definition );
Maxime Perrotin's avatar
Maxime Perrotin committed
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
    def entity_in_system(self, ):

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

        root_0 = None

        signal_declaration15 = None

        procedure16 = None

        channel17 = None

        block_definition18 = None