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

# token names
tokenNames = [
    "<invalid>", "<EOR>", "<DOWN>", "<UP>", 
dbarbera's avatar
dbarbera committed
235
236
237
238
239
240
241
    "ACTION", "ALL", "ALTERNATIVE", "ANSWER", "ARRAY", "ASN1", "ASSIGN", 
    "BITSTR", "BLOCK", "CHANNEL", "CHOICE", "CIF", "CLOSED_RANGE", "COMMENT", 
    "COMPOSITE_STATE", "CONNECT", "CONNECTION", "CONSTANT", "CONSTANTS", 
    "DCL", "DECISION", "DIGITS", "ELSE", "EMPTYSTR", "ENDNEWTYPE", "ENDSYNTYPE", 
    "ENDTEXT", "EXPORT", "EXPRESSION", "EXTERNAL", "FI", "FIELD", "FIELD_NAME", 
    "FIELDS", "FLOAT2", "FLOAT", "FLOATING_LABEL", "FOR", "FPAR", "GROUND", 
    "HYPERLINK", "IF", "IFTHENELSE", "IN", "INFORMAL_TEXT", "INOUT", "INPUT", 
242
243
    "INPUT_NONE", "INPUTLIST", "JOIN", "LABEL", "LITERAL", "NEG", "NEWTYPE", 
    "NEXTSTATE", "NUMBER_OF_INSTANCES", "OCTSTR", "OPEN_RANGE", "OUTPUT", 
244
    "OUTPUT_BODY", "PARAM", "PARAMNAMES", "PARAMS", "PAREN", "PRIMARY", 
245
    "PROCEDURE", "PROCEDURE_CALL", "PROCEDURE_NAME", "PROCESS", "PROVIDED", 
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
    "QUESTION", "RANGE", "RESET", "RETURN", "ROUTE", "SAVE", "SELECTOR", 
    "SEQOF", "SEQUENCE", "SET", "SIGNAL", "SIGNAL_LIST", "SORT", "STATE", 
    "STATELIST", "STIMULUS", "STOP", "STRING", "STRUCT", "SYNONYM", "SYNONYM_LIST", 
    "SYNTYPE", "SYSTEM", "TASK", "TASK_BODY", "TERMINATOR", "TEXT", "TEXTAREA", 
    "TEXTAREA_CONTENT", "THEN", "TIMER", "TO", "TRANSITION", "USE", "VALUE", 
    "VARIABLE", "VARIABLES", "VIA", "VIAPATH", "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", "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", "WS", "COMMENT2", "Q", "Z", "':'", "'!'", 
    "'(.'", "'.)'", "'ERROR'", "'/* CIF'", "'*/'"
Maxime Perrotin's avatar
Maxime Perrotin committed
265
266
267
268
269
270
271
]




class sdl92Parser(Parser):
    grammarFileName = "sdl92.g"
Maxime Perrotin's avatar
Maxime Perrotin committed
272
273
    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
274
275
276
277
278
279
280
281
    tokenNames = tokenNames

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

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

282
283
284
285
286
287
288
289
290
        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
291
292
            )

293
294
295
296
297
298
299
300
301
302
303
        self.dfa30 = self.DFA30(
            self, 30,
            eot = self.DFA30_eot,
            eof = self.DFA30_eof,
            min = self.DFA30_min,
            max = self.DFA30_max,
            accept = self.DFA30_accept,
            special = self.DFA30_special,
            transition = self.DFA30_transition
            )

304
305
306
307
308
309
310
311
312
        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
313
314
            )

315
316
317
318
319
320
321
322
323
        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
324
325
            )

326
327
328
329
330
331
332
333
334
        self.dfa44 = self.DFA44(
            self, 44,
            eot = self.DFA44_eot,
            eof = self.DFA44_eof,
            min = self.DFA44_min,
            max = self.DFA44_max,
            accept = self.DFA44_accept,
            special = self.DFA44_special,
            transition = self.DFA44_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
335
336
            )

337
338
339
340
341
342
343
344
345
        self.dfa48 = self.DFA48(
            self, 48,
            eot = self.DFA48_eot,
            eof = self.DFA48_eof,
            min = self.DFA48_min,
            max = self.DFA48_max,
            accept = self.DFA48_accept,
            special = self.DFA48_special,
            transition = self.DFA48_transition
346
347
            )

348
349
350
351
352
353
354
355
356
        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
357
358
            )

359
360
361
362
363
364
365
366
367
        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
368
369
            )

370
371
372
373
374
375
376
377
378
        self.dfa68 = self.DFA68(
            self, 68,
            eot = self.DFA68_eot,
            eof = self.DFA68_eof,
            min = self.DFA68_min,
            max = self.DFA68_max,
            accept = self.DFA68_accept,
            special = self.DFA68_special,
            transition = self.DFA68_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
379
380
            )

381
382
383
384
385
386
387
388
389
        self.dfa72 = self.DFA72(
            self, 72,
            eot = self.DFA72_eot,
            eof = self.DFA72_eof,
            min = self.DFA72_min,
            max = self.DFA72_max,
            accept = self.DFA72_accept,
            special = self.DFA72_special,
            transition = self.DFA72_transition
390
391
            )

392
393
394
395
396
397
398
399
400
        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
401
402
            )

403
404
405
406
407
408
409
410
411
        self.dfa84 = self.DFA84(
            self, 84,
            eot = self.DFA84_eot,
            eof = self.DFA84_eof,
            min = self.DFA84_min,
            max = self.DFA84_max,
            accept = self.DFA84_accept,
            special = self.DFA84_special,
            transition = self.DFA84_transition
412
413
            )

414
415
416
417
418
419
420
421
422
        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
Maxime Perrotin's avatar
Maxime Perrotin committed
423
424
            )

425
426
427
428
429
430
431
432
433
        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
434
435
            )

436
437
438
439
440
441
442
443
444
        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
445
446
            )

447
448
449
450
451
452
453
454
455
        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
456
457
            )

458
459
460
461
462
463
464
465
466
        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
467
468
            )

469
470
471
472
473
474
475
476
477
        self.dfa94 = self.DFA94(
            self, 94,
            eot = self.DFA94_eot,
            eof = self.DFA94_eof,
            min = self.DFA94_min,
            max = self.DFA94_max,
            accept = self.DFA94_accept,
            special = self.DFA94_special,
            transition = self.DFA94_transition
478
479
            )

480
481
482
483
484
485
486
487
488
        self.dfa105 = self.DFA105(
            self, 105,
            eot = self.DFA105_eot,
            eof = self.DFA105_eof,
            min = self.DFA105_min,
            max = self.DFA105_max,
            accept = self.DFA105_accept,
            special = self.DFA105_special,
            transition = self.DFA105_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
489
490
            )

491
492
493
494
495
496
497
498
499
        self.dfa103 = self.DFA103(
            self, 103,
            eot = self.DFA103_eot,
            eof = self.DFA103_eof,
            min = self.DFA103_min,
            max = self.DFA103_max,
            accept = self.DFA103_accept,
            special = self.DFA103_special,
            transition = self.DFA103_transition
500
501
            )

502
503
504
505
506
507
508
509
510
        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
511
512
            )

513
514
515
516
517
518
519
520
521
        self.dfa152 = self.DFA152(
            self, 152,
            eot = self.DFA152_eot,
            eof = self.DFA152_eof,
            min = self.DFA152_min,
            max = self.DFA152_max,
            accept = self.DFA152_accept,
            special = self.DFA152_special,
            transition = self.DFA152_transition
522
523
            )

524
525
526
527
528
529
530
531
532
        self.dfa157 = self.DFA157(
            self, 157,
            eot = self.DFA157_eot,
            eof = self.DFA157_eof,
            min = self.DFA157_min,
            max = self.DFA157_max,
            accept = self.DFA157_accept,
            special = self.DFA157_special,
            transition = self.DFA157_transition
533
534
            )

535
536
537
538
539
540
541
542
543
        self.dfa158 = self.DFA158(
            self, 158,
            eot = self.DFA158_eot,
            eof = self.DFA158_eof,
            min = self.DFA158_min,
            max = self.DFA158_max,
            accept = self.DFA158_accept,
            special = self.DFA158_special,
            transition = self.DFA158_transition
544
545
            )

546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
        self.dfa162 = self.DFA162(
            self, 162,
            eot = self.DFA162_eot,
            eof = self.DFA162_eof,
            min = self.DFA162_min,
            max = self.DFA162_max,
            accept = self.DFA162_accept,
            special = self.DFA162_special,
            transition = self.DFA162_transition
            )

        self.dfa171 = self.DFA171(
            self, 171,
            eot = self.DFA171_eot,
            eof = self.DFA171_eof,
            min = self.DFA171_min,
            max = self.DFA171_max,
            accept = self.DFA171_accept,
            special = self.DFA171_special,
            transition = self.DFA171_transition
Maxime Perrotin's avatar
Maxime Perrotin committed
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
            )






        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"
598
    # sdl92.g:137:1: pr_file : ( use_clause | system_definition | process_definition )+ ;
Maxime Perrotin's avatar
Maxime Perrotin committed
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
    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:
616
617
                # sdl92.g:138:9: ( ( use_clause | system_definition | process_definition )+ )
                # sdl92.g:138:17: ( use_clause | system_definition | process_definition )+
Maxime Perrotin's avatar
Maxime Perrotin committed
618
619
620
                pass 
                root_0 = self._adaptor.nil()

621
                # sdl92.g:138:17: ( use_clause | system_definition | process_definition )+
Maxime Perrotin's avatar
Maxime Perrotin committed
622
623
624
625
                cnt1 = 0
                while True: #loop1
                    alt1 = 4
                    LA1 = self.input.LA(1)
626
                    if LA1 == 217:
627
628
                        LA1_2 = self.input.LA(2)

dbarbera's avatar
dbarbera committed
629
                        if (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) :
630
                            alt1 = 3
dbarbera's avatar
dbarbera committed
631
632
                        elif (LA1_2 == KEEP) :
                            alt1 = 1
633
634
635


                    elif LA1 == USE:
Maxime Perrotin's avatar
Maxime Perrotin committed
636
637
638
639
640
641
642
                        alt1 = 1
                    elif LA1 == SYSTEM:
                        alt1 = 2
                    elif LA1 == PROCESS:
                        alt1 = 3

                    if alt1 == 1:
643
                        # sdl92.g:138:18: use_clause
Maxime Perrotin's avatar
Maxime Perrotin committed
644
                        pass 
645
                        self._state.following.append(self.FOLLOW_use_clause_in_pr_file1277)
Maxime Perrotin's avatar
Maxime Perrotin committed
646
647
648
649
650
651
652
653
                        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:
654
                        # sdl92.g:139:19: system_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
655
                        pass 
656
                        self._state.following.append(self.FOLLOW_system_definition_in_pr_file1297)
Maxime Perrotin's avatar
Maxime Perrotin committed
657
658
659
660
661
662
663
664
                        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:
665
                        # sdl92.g:140:19: process_definition
Maxime Perrotin's avatar
Maxime Perrotin committed
666
                        pass 
667
                        self._state.following.append(self.FOLLOW_process_definition_in_pr_file1317)
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
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
                        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"
718
    # sdl92.g:143: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
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
    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:
748
749
                # sdl92.g:144:9: ( SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end -> ^( SYSTEM system_name ( entity_in_system )* ) )
                # sdl92.g:144:17: SYSTEM system_name end ( entity_in_system )* ENDSYSTEM ( system_name )? end
Maxime Perrotin's avatar
Maxime Perrotin committed
750
                pass 
751
                SYSTEM4=self.match(self.input, SYSTEM, self.FOLLOW_SYSTEM_in_system_definition1342) 
Maxime Perrotin's avatar
Maxime Perrotin committed
752
753
                if self._state.backtracking == 0:
                    stream_SYSTEM.add(SYSTEM4)
754
                self._state.following.append(self.FOLLOW_system_name_in_system_definition1344)
Maxime Perrotin's avatar
Maxime Perrotin committed
755
756
757
758
759
                system_name5 = self.system_name()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_system_name.add(system_name5.tree)
760
                self._state.following.append(self.FOLLOW_end_in_system_definition1346)
Maxime Perrotin's avatar
Maxime Perrotin committed
761
762
763
764
765
                end6 = self.end()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_end.add(end6.tree)
766
                # sdl92.g:145:17: ( entity_in_system )*
Maxime Perrotin's avatar
Maxime Perrotin committed
767
768
769
770
                while True: #loop2
                    alt2 = 2
                    LA2_0 = self.input.LA(1)

771
                    if ((BLOCK <= LA2_0 <= CHANNEL) or LA2_0 == PROCEDURE or LA2_0 == SIGNAL or LA2_0 == 217) :
Maxime Perrotin's avatar
Maxime Perrotin committed
772
773
774
775
776
777
                        alt2 = 1


                    if alt2 == 1:
                        # sdl92.g:0:0: entity_in_system
                        pass 
778
                        self._state.following.append(self.FOLLOW_entity_in_system_in_system_definition1364)
Maxime Perrotin's avatar
Maxime Perrotin committed
779
780
781
782
783
784
785
786
787
                        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
788
                ENDSYSTEM8=self.match(self.input, ENDSYSTEM, self.FOLLOW_ENDSYSTEM_in_system_definition1383) 
Maxime Perrotin's avatar
Maxime Perrotin committed
789
790
                if self._state.backtracking == 0:
                    stream_ENDSYSTEM.add(ENDSYSTEM8)
791
                # sdl92.g:146:27: ( system_name )?
Maxime Perrotin's avatar
Maxime Perrotin committed
792
793
794
795
796
797
798
799
                alt3 = 2
                LA3_0 = self.input.LA(1)

                if (LA3_0 == ID) :
                    alt3 = 1
                if alt3 == 1:
                    # sdl92.g:0:0: system_name
                    pass 
800
                    self._state.following.append(self.FOLLOW_system_name_in_system_definition1385)
Maxime Perrotin's avatar
Maxime Perrotin committed
801
802
803
804
805
806
807
808
                    system_name9 = self.system_name()

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



809
                self._state.following.append(self.FOLLOW_end_in_system_definition1388)
Maxime Perrotin's avatar
Maxime Perrotin committed
810
811
812
813
814
815
816
                end10 = self.end()

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

                # AST Rewrite
817
                # elements: system_name, entity_in_system, SYSTEM
Maxime Perrotin's avatar
Maxime Perrotin committed
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
                # 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()
834
835
                    # 147:9: -> ^( SYSTEM system_name ( entity_in_system )* )
                    # sdl92.g:147:17: ^( SYSTEM system_name ( entity_in_system )* )
Maxime Perrotin's avatar
Maxime Perrotin committed
836
837
838
839
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_SYSTEM.nextNode(), root_1)

                    self._adaptor.addChild(root_1, stream_system_name.nextTree())
840
                    # sdl92.g:147:38: ( entity_in_system )*
Maxime Perrotin's avatar
Maxime Perrotin committed
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
                    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"
884
    # sdl92.g:150:1: use_clause : ( use_asn1 )? USE package_name end -> ^( USE ( use_asn1 )? package_name ) ;
Maxime Perrotin's avatar
Maxime Perrotin committed
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
    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:
907
908
                # sdl92.g:151:9: ( ( use_asn1 )? USE package_name end -> ^( USE ( use_asn1 )? package_name ) )
                # sdl92.g:151:17: ( use_asn1 )? USE package_name end
Maxime Perrotin's avatar
Maxime Perrotin committed
909
                pass 
910
                # sdl92.g:151:17: ( use_asn1 )?
Maxime Perrotin's avatar
Maxime Perrotin committed
911
912
913
                alt4 = 2
                LA4_0 = self.input.LA(1)

914
                if (LA4_0 == 217) :
Maxime Perrotin's avatar
Maxime Perrotin committed
915
916
917
918
                    alt4 = 1
                if alt4 == 1:
                    # sdl92.g:0:0: use_asn1
                    pass 
919
                    self._state.following.append(self.FOLLOW_use_asn1_in_use_clause1435)
Maxime Perrotin's avatar
Maxime Perrotin committed
920
921
922
923
924
925
926
927
                    use_asn111 = self.use_asn1()

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



928
                USE12=self.match(self.input, USE, self.FOLLOW_USE_in_use_clause1454) 
Maxime Perrotin's avatar
Maxime Perrotin committed
929
930
                if self._state.backtracking == 0:
                    stream_USE.add(USE12)
931
                self._state.following.append(self.FOLLOW_package_name_in_use_clause1456)
Maxime Perrotin's avatar
Maxime Perrotin committed
932
933
934
935
936
                package_name13 = self.package_name()

                self._state.following.pop()
                if self._state.backtracking == 0:
                    stream_package_name.add(package_name13.tree)
937
                self._state.following.append(self.FOLLOW_end_in_use_clause1458)
Maxime Perrotin's avatar
Maxime Perrotin committed
938
939
940
941
942
943
944
                end14 = self.end()

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

                # AST Rewrite
945
                # elements: package_name, use_asn1, USE
Maxime Perrotin's avatar
Maxime Perrotin committed
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
                # 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()
962
963
                    # 153:9: -> ^( USE ( use_asn1 )? package_name )
                    # sdl92.g:153:17: ^( USE ( use_asn1 )? package_name )
Maxime Perrotin's avatar
Maxime Perrotin committed
964
965
966
                    root_1 = self._adaptor.nil()
                    root_1 = self._adaptor.becomeRoot(stream_USE.nextNode(), root_1)

967
                    # sdl92.g:153:23: ( use_asn1 )?
Maxime Perrotin's avatar
Maxime Perrotin committed
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
                    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"