Project

General

Profile

root / branches / compiler / cSharp / ooasCompiler / src / ooaLexer.cs

1
// $ANTLR 3.2 Sep 23, 2009 12:02:23 ooa.g 2013-10-10 13:45:32
2

    
3
// The variable 'variable' is assigned but its value is never used.
4
#pragma warning disable 168, 219
5
// Unreachable code detected.
6
#pragma warning disable 162
7

    
8

    
9
/*
10
    Ulysses OO-Action System Parser
11

    
12
    Copyright Willibald Krenn 2009
13

    
14
 */
15

    
16

    
17
using System;
18
using Antlr.Runtime;
19
using IList 		= System.Collections.IList;
20
using ArrayList 	= System.Collections.ArrayList;
21
using Stack 		= Antlr.Runtime.Collections.StackList;
22

    
23
using IDictionary	= System.Collections.IDictionary;
24
using Hashtable 	= System.Collections.Hashtable;
25
namespace  TUG.Mogentes 
26
{
27
public partial class ooaLexer : Lexer {
28
    public const int T_FLOATNUMBER = 29;
29
    public const int T_SYSTEM = 6;
30
    public const int T_ELSE = 87;
31
    public const int T_LPAREN = 12;
32
    public const int T_DUNION = 102;
33
    public const int T_BOOL = 25;
34
    public const int T_METHODS = 35;
35
    public const int T_INDS = 105;
36
    public const int T_OR = 69;
37
    public const int EOF = -1;
38
    public const int T_OD = 38;
39
    public const int T_AND = 75;
40
    public const int T_OF = 18;
41
    public const int T_STRINGLITERAL = 93;
42
    public const int T_SET = 66;
43
    public const int T_SKIP = 52;
44
    public const int T_WITH = 57;
45
    public const int T_DOM = 108;
46
    public const int T_WS = 111;
47
    public const int T_VAR = 34;
48
    public const int T_SUM = 47;
49
    public const int T_REQUIRES = 45;
50
    public const int T_DINTER = 101;
51
    public const int T_AUTOCONS = 33;
52
    public const int T_HEAD = 104;
53
    public const int T_END = 43;
54
    public const int T_TRUE = 90;
55
    public const int T_LSQPAREN = 15;
56
    public const int T_MAPS = 96;
57
    public const int T_PRIMED = 97;
58
    public const int T_INFTY = 24;
59
    public const int T_NIL = 92;
60
    public const int T_IF = 85;
61
    public const int LINE_COMMENT = 113;
62
    public const int T_THEN = 86;
63
    public const int T_FLOAT = 28;
64
    public const int T_SELF = 55;
65
    public const int T_TAIL = 107;
66
    public const int T_DIFF = 48;
67
    public const int T_MERGE = 110;
68
    public const int T_FOLDRL = 51;
69
    public const int T_QUANTITY = 22;
70
    public const int T_IN = 65;
71
    public const int T_MUNION = 82;
72
    public const int T__126 = 126;
73
    public const int T__125 = 125;
74
    public const int T_INTER = 74;
75
    public const int T_SEMICOLON = 7;
76
    public const int T_FOLDLR = 50;
77
    public const int T_CARD = 99;
78
    public const int T_FALSE = 91;
79
    public const int T_CONT = 44;
80
    public const int T_SUBSET = 68;
81
    public const int T_COMMA = 19;
82
    public const int T_RANGETO = 27;
83
    public const int T_MINUS = 23;
84
    public const int T_CONC = 77;
85
    public const int T_IDIV = 71;
86
    public const int T_FORALL = 88;
87
    public const int T_DERIV = 46;
88
    public const int T_CONSTS = 4;
89
    public const int T_TYPES = 5;
90
    public const int T_GREATEREQUAL = 60;
91
    public const int T__118 = 118;
92
    public const int T_RNG = 109;
93
    public const int T__119 = 119;
94
    public const int T_MOD = 72;
95
    public const int T__117 = 117;
96
    public const int T_SEQMOD_MAPOVERRIDE = 83;
97
    public const int T__124 = 124;
98
    public const int T__123 = 123;
99
    public const int T_ELEMS = 103;
100
    public const int T__122 = 122;
101
    public const int T__121 = 121;
102
    public const int T_IMPLIES = 64;
103
    public const int T__120 = 120;
104
    public const int T_EXISTS = 89;
105
    public const int T_POW = 76;
106
    public const int T_COMMENT = 112;
107
    public const int T_RPAREN = 13;
108
    public const int T_PRIO = 10;
109
    public const int T_RNGRESBY = 80;
110
    public const int T_ABS = 98;
111
    public const int T_DIV = 70;
112
    public const int T_LIST = 14;
113
    public const int T_CBRL = 31;
114
    public const int T_DCONC = 100;
115
    public const int T_ABORT = 53;
116
    public const int T_CHAR = 30;
117
    public const int T_STATIC = 39;
118
    public const int T_POINT = 84;
119
    public const int T_INT = 26;
120
    public const int T_CBRR = 32;
121
    public const int T_PROD = 49;
122
    public const int T_COLON = 42;
123
    public const int T_ACTIONS = 36;
124
    public const int T_LESS = 61;
125
    public const int T_DIGIT = 114;
126
    public const int T_BAR = 95;
127
    public const int T_TO = 21;
128
    public const int T_NONDET = 11;
129
    public const int T_DOMRESBY = 78;
130
    public const int T_DOMRESTO = 79;
131
    public const int T_EQUAL = 9;
132
    public const int T_GREATER = 59;
133
    public const int T_KILL = 54;
134
    public const int T_RNGRESTO = 81;
135
    public const int T_RSQPAREN = 17;
136
    public const int T_NEW = 94;
137
    public const int T_INTNUMBER = 16;
138
    public const int T_UNION = 73;
139
    public const int T_OBS = 40;
140
    public const int T_BIIMPLIES = 58;
141
    public const int T_NOTEQUAL = 63;
142
    public const int T_IDENTIFIER = 8;
143
    public const int T_DO = 37;
144
    public const int FLOAT_OR_INT_OR_RANGE = 115;
145
    public const int T_NOT = 67;
146
    public const int T_LEN = 106;
147
    public const int T_ASSIGNMENT = 56;
148
    public const int T_LETTER = 116;
149
    public const int T_LESSEQUAL = 62;
150
    public const int T_MAP = 20;
151
    public const int T_CTRL = 41;
152

    
153
    // delegates
154
    // delegators
155

    
156
    public ooaLexer() 
157
    {
158
		InitializeCyclicDFAs();
159
    }
160
    public ooaLexer(ICharStream input)
161
		: this(input, null) {
162
    }
163
    public ooaLexer(ICharStream input, RecognizerSharedState state)
164
		: base(input, state) {
165
		InitializeCyclicDFAs(); 
166

    
167
    }
168
    
169
    override public string GrammarFileName
170
    {
171
    	get { return "ooa.g";} 
172
    }
173

    
174
    // $ANTLR start "T__117"
175
    public void mT__117() // throws RecognitionException [2]
176
    {
177
    		try
178
    		{
179
            int _type = T__117;
180
    	int _channel = DEFAULT_TOKEN_CHANNEL;
181
            // ooa.g:17:8: ( '|[' )
182
            // ooa.g:17:10: '|['
183
            {
184
            	Match("|["); if (state.failed) return ;
185

    
186

    
187
            }
188

    
189
            state.type = _type;
190
            state.channel = _channel;
191
        }
192
        finally 
193
    	{
194
        }
195
    }
196
    // $ANTLR end "T__117"
197

    
198
    // $ANTLR start "T__118"
199
    public void mT__118() // throws RecognitionException [2]
200
    {
201
    		try
202
    		{
203
            int _type = T__118;
204
    	int _channel = DEFAULT_TOKEN_CHANNEL;
205
            // ooa.g:18:8: ( ']|' )
206
            // ooa.g:18:10: ']|'
207
            {
208
            	Match("]|"); if (state.failed) return ;
209

    
210

    
211
            }
212

    
213
            state.type = _type;
214
            state.channel = _channel;
215
        }
216
        finally 
217
    	{
218
        }
219
    }
220
    // $ANTLR end "T__118"
221

    
222
    // $ANTLR start "T__119"
223
    public void mT__119() // throws RecognitionException [2]
224
    {
225
    		try
226
    		{
227
            int _type = T__119;
228
    	int _channel = DEFAULT_TOKEN_CHANNEL;
229
            // ooa.g:19:8: ( 'begin' )
230
            // ooa.g:19:10: 'begin'
231
            {
232
            	Match("begin"); if (state.failed) return ;
233

    
234

    
235
            }
236

    
237
            state.type = _type;
238
            state.channel = _channel;
239
        }
240
        finally 
241
    	{
242
        }
243
    }
244
    // $ANTLR end "T__119"
245

    
246
    // $ANTLR start "T__120"
247
    public void mT__120() // throws RecognitionException [2]
248
    {
249
    		try
250
    		{
251
            int _type = T__120;
252
    	int _channel = DEFAULT_TOKEN_CHANNEL;
253
            // ooa.g:20:8: ( '&' )
254
            // ooa.g:20:10: '&'
255
            {
256
            	Match('&'); if (state.failed) return ;
257

    
258
            }
259

    
260
            state.type = _type;
261
            state.channel = _channel;
262
        }
263
        finally 
264
    	{
265
        }
266
    }
267
    // $ANTLR end "T__120"
268

    
269
    // $ANTLR start "T__121"
270
    public void mT__121() // throws RecognitionException [2]
271
    {
272
    		try
273
    		{
274
            int _type = T__121;
275
    	int _channel = DEFAULT_TOKEN_CHANNEL;
276
            // ooa.g:21:8: ( 'as' )
277
            // ooa.g:21:10: 'as'
278
            {
279
            	Match("as"); if (state.failed) return ;
280

    
281

    
282
            }
283

    
284
            state.type = _type;
285
            state.channel = _channel;
286
        }
287
        finally 
288
    	{
289
        }
290
    }
291
    // $ANTLR end "T__121"
292

    
293
    // $ANTLR start "T__122"
294
    public void mT__122() // throws RecognitionException [2]
295
    {
296
    		try
297
    		{
298
            int _type = T__122;
299
    	int _channel = DEFAULT_TOKEN_CHANNEL;
300
            // ooa.g:22:8: ( 'qval' )
301
            // ooa.g:22:10: 'qval'
302
            {
303
            	Match("qval"); if (state.failed) return ;
304

    
305

    
306
            }
307

    
308
            state.type = _type;
309
            state.channel = _channel;
310
        }
311
        finally 
312
    	{
313
        }
314
    }
315
    // $ANTLR end "T__122"
316

    
317
    // $ANTLR start "T__123"
318
    public void mT__123() // throws RecognitionException [2]
319
    {
320
    		try
321
    		{
322
            int _type = T__123;
323
    	int _channel = DEFAULT_TOKEN_CHANNEL;
324
            // ooa.g:23:8: ( 'steady' )
325
            // ooa.g:23:10: 'steady'
326
            {
327
            	Match("steady"); if (state.failed) return ;
328

    
329

    
330
            }
331

    
332
            state.type = _type;
333
            state.channel = _channel;
334
        }
335
        finally 
336
    	{
337
        }
338
    }
339
    // $ANTLR end "T__123"
340

    
341
    // $ANTLR start "T__124"
342
    public void mT__124() // throws RecognitionException [2]
343
    {
344
    		try
345
    		{
346
            int _type = T__124;
347
    	int _channel = DEFAULT_TOKEN_CHANNEL;
348
            // ooa.g:24:8: ( 'inc' )
349
            // ooa.g:24:10: 'inc'
350
            {
351
            	Match("inc"); if (state.failed) return ;
352

    
353

    
354
            }
355

    
356
            state.type = _type;
357
            state.channel = _channel;
358
        }
359
        finally 
360
    	{
361
        }
362
    }
363
    // $ANTLR end "T__124"
364

    
365
    // $ANTLR start "T__125"
366
    public void mT__125() // throws RecognitionException [2]
367
    {
368
    		try
369
    		{
370
            int _type = T__125;
371
    	int _channel = DEFAULT_TOKEN_CHANNEL;
372
            // ooa.g:25:8: ( 'dec' )
373
            // ooa.g:25:10: 'dec'
374
            {
375
            	Match("dec"); if (state.failed) return ;
376

    
377

    
378
            }
379

    
380
            state.type = _type;
381
            state.channel = _channel;
382
        }
383
        finally 
384
    	{
385
        }
386
    }
387
    // $ANTLR end "T__125"
388

    
389
    // $ANTLR start "T__126"
390
    public void mT__126() // throws RecognitionException [2]
391
    {
392
    		try
393
    		{
394
            int _type = T__126;
395
    	int _channel = DEFAULT_TOKEN_CHANNEL;
396
            // ooa.g:26:8: ( '::' )
397
            // ooa.g:26:10: '::'
398
            {
399
            	Match("::"); if (state.failed) return ;
400

    
401

    
402
            }
403

    
404
            state.type = _type;
405
            state.channel = _channel;
406
        }
407
        finally 
408
    	{
409
        }
410
    }
411
    // $ANTLR end "T__126"
412

    
413
    // $ANTLR start "T_WS"
414
    public void mT_WS() // throws RecognitionException [2]
415
    {
416
    		try
417
    		{
418
            int _type = T_WS;
419
    	int _channel = DEFAULT_TOKEN_CHANNEL;
420
            // ooa.g:992:8: ( ( ' ' | '\\r' | '\\t' | '\\u000C' | '\\n' ) )
421
            // ooa.g:992:10: ( ' ' | '\\r' | '\\t' | '\\u000C' | '\\n' )
422
            {
423
            	if ( (input.LA(1) >= '\t' && input.LA(1) <= '\n') || (input.LA(1) >= '\f' && input.LA(1) <= '\r') || input.LA(1) == ' ' ) 
424
            	{
425
            	    input.Consume();
426
            	state.failed = false;
427
            	}
428
            	else 
429
            	{
430
            	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
431
            	    MismatchedSetException mse = new MismatchedSetException(null,input);
432
            	    Recover(mse);
433
            	    throw mse;}
434

    
435
            	if ( (state.backtracking==0) )
436
            	{
437
            	  _channel=HIDDEN;
438
            	}
439

    
440
            }
441

    
442
            state.type = _type;
443
            state.channel = _channel;
444
        }
445
        finally 
446
    	{
447
        }
448
    }
449
    // $ANTLR end "T_WS"
450

    
451
    // $ANTLR start "T_COMMENT"
452
    public void mT_COMMENT() // throws RecognitionException [2]
453
    {
454
    		try
455
    		{
456
            int _type = T_COMMENT;
457
    	int _channel = DEFAULT_TOKEN_CHANNEL;
458
            // ooa.g:996:6: ( '/*' ( . )* '*/' )
459
            // ooa.g:996:8: '/*' ( . )* '*/'
460
            {
461
            	Match("/*"); if (state.failed) return ;
462

    
463
            	// ooa.g:996:13: ( . )*
464
            	do 
465
            	{
466
            	    int alt1 = 2;
467
            	    int LA1_0 = input.LA(1);
468

    
469
            	    if ( (LA1_0 == '*') )
470
            	    {
471
            	        int LA1_1 = input.LA(2);
472

    
473
            	        if ( (LA1_1 == '/') )
474
            	        {
475
            	            alt1 = 2;
476
            	        }
477
            	        else if ( ((LA1_1 >= '\u0000' && LA1_1 <= '.') || (LA1_1 >= '0' && LA1_1 <= '\uFFFF')) )
478
            	        {
479
            	            alt1 = 1;
480
            	        }
481

    
482

    
483
            	    }
484
            	    else if ( ((LA1_0 >= '\u0000' && LA1_0 <= ')') || (LA1_0 >= '+' && LA1_0 <= '\uFFFF')) )
485
            	    {
486
            	        alt1 = 1;
487
            	    }
488

    
489

    
490
            	    switch (alt1) 
491
            		{
492
            			case 1 :
493
            			    // ooa.g:996:13: .
494
            			    {
495
            			    	MatchAny(); if (state.failed) return ;
496

    
497
            			    }
498
            			    break;
499

    
500
            			default:
501
            			    goto loop1;
502
            	    }
503
            	} while (true);
504

    
505
            	loop1:
506
            		;	// Stops C# compiler whining that label 'loop1' has no statements
507

    
508
            	Match("*/"); if (state.failed) return ;
509

    
510
            	if ( (state.backtracking==0) )
511
            	{
512
            	  _channel=HIDDEN;
513
            	}
514

    
515
            }
516

    
517
            state.type = _type;
518
            state.channel = _channel;
519
        }
520
        finally 
521
    	{
522
        }
523
    }
524
    // $ANTLR end "T_COMMENT"
525

    
526
    // $ANTLR start "LINE_COMMENT"
527
    public void mLINE_COMMENT() // throws RecognitionException [2]
528
    {
529
    		try
530
    		{
531
            int _type = LINE_COMMENT;
532
    	int _channel = DEFAULT_TOKEN_CHANNEL;
533
            // ooa.g:1000:6: ( '#' (~ ( '\\n' | '\\r' ) )* ( '\\r' )? '\\n' )
534
            // ooa.g:1000:8: '#' (~ ( '\\n' | '\\r' ) )* ( '\\r' )? '\\n'
535
            {
536
            	Match('#'); if (state.failed) return ;
537
            	// ooa.g:1000:12: (~ ( '\\n' | '\\r' ) )*
538
            	do 
539
            	{
540
            	    int alt2 = 2;
541
            	    int LA2_0 = input.LA(1);
542

    
543
            	    if ( ((LA2_0 >= '\u0000' && LA2_0 <= '\t') || (LA2_0 >= '\u000B' && LA2_0 <= '\f') || (LA2_0 >= '\u000E' && LA2_0 <= '\uFFFF')) )
544
            	    {
545
            	        alt2 = 1;
546
            	    }
547

    
548

    
549
            	    switch (alt2) 
550
            		{
551
            			case 1 :
552
            			    // ooa.g:1000:12: ~ ( '\\n' | '\\r' )
553
            			    {
554
            			    	if ( (input.LA(1) >= '\u0000' && input.LA(1) <= '\t') || (input.LA(1) >= '\u000B' && input.LA(1) <= '\f') || (input.LA(1) >= '\u000E' && input.LA(1) <= '\uFFFF') ) 
555
            			    	{
556
            			    	    input.Consume();
557
            			    	state.failed = false;
558
            			    	}
559
            			    	else 
560
            			    	{
561
            			    	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
562
            			    	    MismatchedSetException mse = new MismatchedSetException(null,input);
563
            			    	    Recover(mse);
564
            			    	    throw mse;}
565

    
566

    
567
            			    }
568
            			    break;
569

    
570
            			default:
571
            			    goto loop2;
572
            	    }
573
            	} while (true);
574

    
575
            	loop2:
576
            		;	// Stops C# compiler whining that label 'loop2' has no statements
577

    
578
            	// ooa.g:1000:26: ( '\\r' )?
579
            	int alt3 = 2;
580
            	int LA3_0 = input.LA(1);
581

    
582
            	if ( (LA3_0 == '\r') )
583
            	{
584
            	    alt3 = 1;
585
            	}
586
            	switch (alt3) 
587
            	{
588
            	    case 1 :
589
            	        // ooa.g:1000:26: '\\r'
590
            	        {
591
            	        	Match('\r'); if (state.failed) return ;
592

    
593
            	        }
594
            	        break;
595

    
596
            	}
597

    
598
            	Match('\n'); if (state.failed) return ;
599
            	if ( (state.backtracking==0) )
600
            	{
601
            	  _channel=HIDDEN;
602
            	}
603

    
604
            }
605

    
606
            state.type = _type;
607
            state.channel = _channel;
608
        }
609
        finally 
610
    	{
611
        }
612
    }
613
    // $ANTLR end "LINE_COMMENT"
614

    
615
    // $ANTLR start "T_PRIMED"
616
    public void mT_PRIMED() // throws RecognitionException [2]
617
    {
618
    		try
619
    		{
620
            int _type = T_PRIMED;
621
    	int _channel = DEFAULT_TOKEN_CHANNEL;
622
            // ooa.g:1004:2: ( '\\'' )
623
            // ooa.g:1004:4: '\\''
624
            {
625
            	Match('\''); if (state.failed) return ;
626

    
627
            }
628

    
629
            state.type = _type;
630
            state.channel = _channel;
631
        }
632
        finally 
633
    	{
634
        }
635
    }
636
    // $ANTLR end "T_PRIMED"
637

    
638
    // $ANTLR start "T_STRINGLITERAL"
639
    public void mT_STRINGLITERAL() // throws RecognitionException [2]
640
    {
641
    		try
642
    		{
643
            int _type = T_STRINGLITERAL;
644
    	int _channel = DEFAULT_TOKEN_CHANNEL;
645
            // ooa.g:1007:2: ( '\"' ( ( '\"' '\"' )=> '\"' | ~ '\"' )* '\"' )
646
            // ooa.g:1007:4: '\"' ( ( '\"' '\"' )=> '\"' | ~ '\"' )* '\"'
647
            {
648
            	Match('\"'); if (state.failed) return ;
649
            	// ooa.g:1008:3: ( ( '\"' '\"' )=> '\"' | ~ '\"' )*
650
            	do 
651
            	{
652
            	    int alt4 = 3;
653
            	    int LA4_0 = input.LA(1);
654

    
655
            	    if ( (LA4_0 == '\"') )
656
            	    {
657
            	        int LA4_1 = input.LA(2);
658

    
659
            	        if ( (LA4_1 == '\"') && (synpred1_ooa()) )
660
            	        {
661
            	            alt4 = 1;
662
            	        }
663
            	        else if ( ((LA4_1 >= '\u0000' && LA4_1 <= '!') || (LA4_1 >= '#' && LA4_1 <= '\uFFFF')) && (synpred1_ooa()) )
664
            	        {
665
            	            alt4 = 1;
666
            	        }
667

    
668

    
669
            	    }
670
            	    else if ( ((LA4_0 >= '\u0000' && LA4_0 <= '!') || (LA4_0 >= '#' && LA4_0 <= '\uFFFF')) )
671
            	    {
672
            	        alt4 = 2;
673
            	    }
674

    
675

    
676
            	    switch (alt4) 
677
            		{
678
            			case 1 :
679
            			    // ooa.g:1009:9: ( '\"' '\"' )=> '\"'
680
            			    {
681
            			    	Match('\"'); if (state.failed) return ;
682

    
683
            			    }
684
            			    break;
685
            			case 2 :
686
            			    // ooa.g:1010:13: ~ '\"'
687
            			    {
688
            			    	if ( (input.LA(1) >= '\u0000' && input.LA(1) <= '!') || (input.LA(1) >= '#' && input.LA(1) <= '\uFFFF') ) 
689
            			    	{
690
            			    	    input.Consume();
691
            			    	state.failed = false;
692
            			    	}
693
            			    	else 
694
            			    	{
695
            			    	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
696
            			    	    MismatchedSetException mse = new MismatchedSetException(null,input);
697
            			    	    Recover(mse);
698
            			    	    throw mse;}
699

    
700

    
701
            			    }
702
            			    break;
703

    
704
            			default:
705
            			    goto loop4;
706
            	    }
707
            	} while (true);
708

    
709
            	loop4:
710
            		;	// Stops C# compiler whining that label 'loop4' has no statements
711

    
712
            	Match('\"'); if (state.failed) return ;
713

    
714
            }
715

    
716
            state.type = _type;
717
            state.channel = _channel;
718
        }
719
        finally 
720
    	{
721
        }
722
    }
723
    // $ANTLR end "T_STRINGLITERAL"
724

    
725
    // $ANTLR start "T_ABORT"
726
    public void mT_ABORT() // throws RecognitionException [2]
727
    {
728
    		try
729
    		{
730
            int _type = T_ABORT;
731
    	int _channel = DEFAULT_TOKEN_CHANNEL;
732
            // ooa.g:1016:9: ( 'abort' )
733
            // ooa.g:1016:11: 'abort'
734
            {
735
            	Match("abort"); if (state.failed) return ;
736

    
737

    
738
            }
739

    
740
            state.type = _type;
741
            state.channel = _channel;
742
        }
743
        finally 
744
    	{
745
        }
746
    }
747
    // $ANTLR end "T_ABORT"
748

    
749
    // $ANTLR start "T_ACTIONS"
750
    public void mT_ACTIONS() // throws RecognitionException [2]
751
    {
752
    		try
753
    		{
754
            int _type = T_ACTIONS;
755
    	int _channel = DEFAULT_TOKEN_CHANNEL;
756
            // ooa.g:1018:2: ( 'actions' )
757
            // ooa.g:1018:4: 'actions'
758
            {
759
            	Match("actions"); if (state.failed) return ;
760

    
761

    
762
            }
763

    
764
            state.type = _type;
765
            state.channel = _channel;
766
        }
767
        finally 
768
    	{
769
        }
770
    }
771
    // $ANTLR end "T_ACTIONS"
772

    
773
    // $ANTLR start "T_ASSIGNMENT"
774
    public void mT_ASSIGNMENT() // throws RecognitionException [2]
775
    {
776
    		try
777
    		{
778
            int _type = T_ASSIGNMENT;
779
    	int _channel = DEFAULT_TOKEN_CHANNEL;
780
            // ooa.g:1020:2: ( ':=' )
781
            // ooa.g:1020:4: ':='
782
            {
783
            	Match(":="); if (state.failed) return ;
784

    
785

    
786
            }
787

    
788
            state.type = _type;
789
            state.channel = _channel;
790
        }
791
        finally 
792
    	{
793
        }
794
    }
795
    // $ANTLR end "T_ASSIGNMENT"
796

    
797
    // $ANTLR start "T_AUTOCONS"
798
    public void mT_AUTOCONS() // throws RecognitionException [2]
799
    {
800
    		try
801
    		{
802
            int _type = T_AUTOCONS;
803
    	int _channel = DEFAULT_TOKEN_CHANNEL;
804
            // ooa.g:1021:11: ( 'autocons' )
805
            // ooa.g:1021:13: 'autocons'
806
            {
807
            	Match("autocons"); if (state.failed) return ;
808

    
809

    
810
            }
811

    
812
            state.type = _type;
813
            state.channel = _channel;
814
        }
815
        finally 
816
    	{
817
        }
818
    }
819
    // $ANTLR end "T_AUTOCONS"
820

    
821
    // $ANTLR start "T_BAR"
822
    public void mT_BAR() // throws RecognitionException [2]
823
    {
824
    		try
825
    		{
826
            int _type = T_BAR;
827
    	int _channel = DEFAULT_TOKEN_CHANNEL;
828
            // ooa.g:1022:7: ( '|' )
829
            // ooa.g:1022:9: '|'
830
            {
831
            	Match('|'); if (state.failed) return ;
832

    
833
            }
834

    
835
            state.type = _type;
836
            state.channel = _channel;
837
        }
838
        finally 
839
    	{
840
        }
841
    }
842
    // $ANTLR end "T_BAR"
843

    
844
    // $ANTLR start "T_BOOL"
845
    public void mT_BOOL() // throws RecognitionException [2]
846
    {
847
    		try
848
    		{
849
            int _type = T_BOOL;
850
    	int _channel = DEFAULT_TOKEN_CHANNEL;
851
            // ooa.g:1023:8: ( 'bool' )
852
            // ooa.g:1023:10: 'bool'
853
            {
854
            	Match("bool"); if (state.failed) return ;
855

    
856

    
857
            }
858

    
859
            state.type = _type;
860
            state.channel = _channel;
861
        }
862
        finally 
863
    	{
864
        }
865
    }
866
    // $ANTLR end "T_BOOL"
867

    
868
    // $ANTLR start "T_CBRL"
869
    public void mT_CBRL() // throws RecognitionException [2]
870
    {
871
    		try
872
    		{
873
            int _type = T_CBRL;
874
    	int _channel = DEFAULT_TOKEN_CHANNEL;
875
            // ooa.g:1024:8: ( '{' )
876
            // ooa.g:1024:10: '{'
877
            {
878
            	Match('{'); if (state.failed) return ;
879

    
880
            }
881

    
882
            state.type = _type;
883
            state.channel = _channel;
884
        }
885
        finally 
886
    	{
887
        }
888
    }
889
    // $ANTLR end "T_CBRL"
890

    
891
    // $ANTLR start "T_CBRR"
892
    public void mT_CBRR() // throws RecognitionException [2]
893
    {
894
    		try
895
    		{
896
            int _type = T_CBRR;
897
    	int _channel = DEFAULT_TOKEN_CHANNEL;
898
            // ooa.g:1025:8: ( '}' )
899
            // ooa.g:1025:10: '}'
900
            {
901
            	Match('}'); if (state.failed) return ;
902

    
903
            }
904

    
905
            state.type = _type;
906
            state.channel = _channel;
907
        }
908
        finally 
909
    	{
910
        }
911
    }
912
    // $ANTLR end "T_CBRR"
913

    
914
    // $ANTLR start "T_COLON"
915
    public void mT_COLON() // throws RecognitionException [2]
916
    {
917
    		try
918
    		{
919
            int _type = T_COLON;
920
    	int _channel = DEFAULT_TOKEN_CHANNEL;
921
            // ooa.g:1026:9: ( ':' )
922
            // ooa.g:1026:11: ':'
923
            {
924
            	Match(':'); if (state.failed) return ;
925

    
926
            }
927

    
928
            state.type = _type;
929
            state.channel = _channel;
930
        }
931
        finally 
932
    	{
933
        }
934
    }
935
    // $ANTLR end "T_COLON"
936

    
937
    // $ANTLR start "T_COMMA"
938
    public void mT_COMMA() // throws RecognitionException [2]
939
    {
940
    		try
941
    		{
942
            int _type = T_COMMA;
943
    	int _channel = DEFAULT_TOKEN_CHANNEL;
944
            // ooa.g:1027:9: ( ',' )
945
            // ooa.g:1027:11: ','
946
            {
947
            	Match(','); if (state.failed) return ;
948

    
949
            }
950

    
951
            state.type = _type;
952
            state.channel = _channel;
953
        }
954
        finally 
955
    	{
956
        }
957
    }
958
    // $ANTLR end "T_COMMA"
959

    
960
    // $ANTLR start "T_CONT"
961
    public void mT_CONT() // throws RecognitionException [2]
962
    {
963
    		try
964
    		{
965
            int _type = T_CONT;
966
    	int _channel = DEFAULT_TOKEN_CHANNEL;
967
            // ooa.g:1028:8: ( 'qual' )
968
            // ooa.g:1028:10: 'qual'
969
            {
970
            	Match("qual"); if (state.failed) return ;
971

    
972

    
973
            }
974

    
975
            state.type = _type;
976
            state.channel = _channel;
977
        }
978
        finally 
979
    	{
980
        }
981
    }
982
    // $ANTLR end "T_CONT"
983

    
984
    // $ANTLR start "T_CHAR"
985
    public void mT_CHAR() // throws RecognitionException [2]
986
    {
987
    		try
988
    		{
989
            int _type = T_CHAR;
990
    	int _channel = DEFAULT_TOKEN_CHANNEL;
991
            // ooa.g:1029:8: ( 'char' )
992
            // ooa.g:1029:10: 'char'
993
            {
994
            	Match("char"); if (state.failed) return ;
995

    
996

    
997
            }
998

    
999
            state.type = _type;
1000
            state.channel = _channel;
1001
        }
1002
        finally 
1003
    	{
1004
        }
1005
    }
1006
    // $ANTLR end "T_CHAR"
1007

    
1008
    // $ANTLR start "T_CTRL"
1009
    public void mT_CTRL() // throws RecognitionException [2]
1010
    {
1011
    		try
1012
    		{
1013
            int _type = T_CTRL;
1014
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1015
            // ooa.g:1030:9: ( 'ctr' )
1016
            // ooa.g:1030:11: 'ctr'
1017
            {
1018
            	Match("ctr"); if (state.failed) return ;
1019

    
1020

    
1021
            }
1022

    
1023
            state.type = _type;
1024
            state.channel = _channel;
1025
        }
1026
        finally 
1027
    	{
1028
        }
1029
    }
1030
    // $ANTLR end "T_CTRL"
1031

    
1032
    // $ANTLR start "T_SYSTEM"
1033
    public void mT_SYSTEM() // throws RecognitionException [2]
1034
    {
1035
    		try
1036
    		{
1037
            int _type = T_SYSTEM;
1038
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1039
            // ooa.g:1032:2: ( 'system' )
1040
            // ooa.g:1032:4: 'system'
1041
            {
1042
            	Match("system"); if (state.failed) return ;
1043

    
1044

    
1045
            }
1046

    
1047
            state.type = _type;
1048
            state.channel = _channel;
1049
        }
1050
        finally 
1051
    	{
1052
        }
1053
    }
1054
    // $ANTLR end "T_SYSTEM"
1055

    
1056
    // $ANTLR start "T_DO"
1057
    public void mT_DO() // throws RecognitionException [2]
1058
    {
1059
    		try
1060
    		{
1061
            int _type = T_DO;
1062
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1063
            // ooa.g:1033:6: ( 'do' )
1064
            // ooa.g:1033:8: 'do'
1065
            {
1066
            	Match("do"); if (state.failed) return ;
1067

    
1068

    
1069
            }
1070

    
1071
            state.type = _type;
1072
            state.channel = _channel;
1073
        }
1074
        finally 
1075
    	{
1076
        }
1077
    }
1078
    // $ANTLR end "T_DO"
1079

    
1080
    // $ANTLR start "T_ELSE"
1081
    public void mT_ELSE() // throws RecognitionException [2]
1082
    {
1083
    		try
1084
    		{
1085
            int _type = T_ELSE;
1086
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1087
            // ooa.g:1034:8: ( 'else' )
1088
            // ooa.g:1034:10: 'else'
1089
            {
1090
            	Match("else"); if (state.failed) return ;
1091

    
1092

    
1093
            }
1094

    
1095
            state.type = _type;
1096
            state.channel = _channel;
1097
        }
1098
        finally 
1099
    	{
1100
        }
1101
    }
1102
    // $ANTLR end "T_ELSE"
1103

    
1104
    // $ANTLR start "T_END"
1105
    public void mT_END() // throws RecognitionException [2]
1106
    {
1107
    		try
1108
    		{
1109
            int _type = T_END;
1110
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1111
            // ooa.g:1035:7: ( 'end' )
1112
            // ooa.g:1035:9: 'end'
1113
            {
1114
            	Match("end"); if (state.failed) return ;
1115

    
1116

    
1117
            }
1118

    
1119
            state.type = _type;
1120
            state.channel = _channel;
1121
        }
1122
        finally 
1123
    	{
1124
        }
1125
    }
1126
    // $ANTLR end "T_END"
1127

    
1128
    // $ANTLR start "T_EQUAL"
1129
    public void mT_EQUAL() // throws RecognitionException [2]
1130
    {
1131
    		try
1132
    		{
1133
            int _type = T_EQUAL;
1134
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1135
            // ooa.g:1036:9: ( '=' )
1136
            // ooa.g:1036:11: '='
1137
            {
1138
            	Match('='); if (state.failed) return ;
1139

    
1140
            }
1141

    
1142
            state.type = _type;
1143
            state.channel = _channel;
1144
        }
1145
        finally 
1146
    	{
1147
        }
1148
    }
1149
    // $ANTLR end "T_EQUAL"
1150

    
1151
    // $ANTLR start "T_EXISTS"
1152
    public void mT_EXISTS() // throws RecognitionException [2]
1153
    {
1154
    		try
1155
    		{
1156
            int _type = T_EXISTS;
1157
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1158
            // ooa.g:1037:9: ( 'exists' )
1159
            // ooa.g:1037:11: 'exists'
1160
            {
1161
            	Match("exists"); if (state.failed) return ;
1162

    
1163

    
1164
            }
1165

    
1166
            state.type = _type;
1167
            state.channel = _channel;
1168
        }
1169
        finally 
1170
    	{
1171
        }
1172
    }
1173
    // $ANTLR end "T_EXISTS"
1174

    
1175
    // $ANTLR start "T_FLOAT"
1176
    public void mT_FLOAT() // throws RecognitionException [2]
1177
    {
1178
    		try
1179
    		{
1180
            int _type = T_FLOAT;
1181
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1182
            // ooa.g:1038:9: ( 'float' )
1183
            // ooa.g:1038:11: 'float'
1184
            {
1185
            	Match("float"); if (state.failed) return ;
1186

    
1187

    
1188
            }
1189

    
1190
            state.type = _type;
1191
            state.channel = _channel;
1192
        }
1193
        finally 
1194
    	{
1195
        }
1196
    }
1197
    // $ANTLR end "T_FLOAT"
1198

    
1199
    // $ANTLR start "T_FORALL"
1200
    public void mT_FORALL() // throws RecognitionException [2]
1201
    {
1202
    		try
1203
    		{
1204
            int _type = T_FORALL;
1205
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1206
            // ooa.g:1039:9: ( 'forall' )
1207
            // ooa.g:1039:11: 'forall'
1208
            {
1209
            	Match("forall"); if (state.failed) return ;
1210

    
1211

    
1212
            }
1213

    
1214
            state.type = _type;
1215
            state.channel = _channel;
1216
        }
1217
        finally 
1218
    	{
1219
        }
1220
    }
1221
    // $ANTLR end "T_FORALL"
1222

    
1223
    // $ANTLR start "T_FALSE"
1224
    public void mT_FALSE() // throws RecognitionException [2]
1225
    {
1226
    		try
1227
    		{
1228
            int _type = T_FALSE;
1229
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1230
            // ooa.g:1040:9: ( 'false' )
1231
            // ooa.g:1040:11: 'false'
1232
            {
1233
            	Match("false"); if (state.failed) return ;
1234

    
1235

    
1236
            }
1237

    
1238
            state.type = _type;
1239
            state.channel = _channel;
1240
        }
1241
        finally 
1242
    	{
1243
        }
1244
    }
1245
    // $ANTLR end "T_FALSE"
1246

    
1247
    // $ANTLR start "T_IF"
1248
    public void mT_IF() // throws RecognitionException [2]
1249
    {
1250
    		try
1251
    		{
1252
            int _type = T_IF;
1253
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1254
            // ooa.g:1041:6: ( 'if' )
1255
            // ooa.g:1041:8: 'if'
1256
            {
1257
            	Match("if"); if (state.failed) return ;
1258

    
1259

    
1260
            }
1261

    
1262
            state.type = _type;
1263
            state.channel = _channel;
1264
        }
1265
        finally 
1266
    	{
1267
        }
1268
    }
1269
    // $ANTLR end "T_IF"
1270

    
1271
    // $ANTLR start "T_IN"
1272
    public void mT_IN() // throws RecognitionException [2]
1273
    {
1274
    		try
1275
    		{
1276
            int _type = T_IN;
1277
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1278
            // ooa.g:1042:6: ( 'in' )
1279
            // ooa.g:1042:8: 'in'
1280
            {
1281
            	Match("in"); if (state.failed) return ;
1282

    
1283

    
1284
            }
1285

    
1286
            state.type = _type;
1287
            state.channel = _channel;
1288
        }
1289
        finally 
1290
    	{
1291
        }
1292
    }
1293
    // $ANTLR end "T_IN"
1294

    
1295
    // $ANTLR start "T_INT"
1296
    public void mT_INT() // throws RecognitionException [2]
1297
    {
1298
    		try
1299
    		{
1300
            int _type = T_INT;
1301
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1302
            // ooa.g:1043:7: ( 'int' )
1303
            // ooa.g:1043:9: 'int'
1304
            {
1305
            	Match("int"); if (state.failed) return ;
1306

    
1307

    
1308
            }
1309

    
1310
            state.type = _type;
1311
            state.channel = _channel;
1312
        }
1313
        finally 
1314
    	{
1315
        }
1316
    }
1317
    // $ANTLR end "T_INT"
1318

    
1319
    // $ANTLR start "T_KILL"
1320
    public void mT_KILL() // throws RecognitionException [2]
1321
    {
1322
    		try
1323
    		{
1324
            int _type = T_KILL;
1325
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1326
            // ooa.g:1044:8: ( 'kill' )
1327
            // ooa.g:1044:10: 'kill'
1328
            {
1329
            	Match("kill"); if (state.failed) return ;
1330

    
1331

    
1332
            }
1333

    
1334
            state.type = _type;
1335
            state.channel = _channel;
1336
        }
1337
        finally 
1338
    	{
1339
        }
1340
    }
1341
    // $ANTLR end "T_KILL"
1342

    
1343
    // $ANTLR start "T_LIST"
1344
    public void mT_LIST() // throws RecognitionException [2]
1345
    {
1346
    		try
1347
    		{
1348
            int _type = T_LIST;
1349
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1350
            // ooa.g:1045:8: ( 'list' )
1351
            // ooa.g:1045:10: 'list'
1352
            {
1353
            	Match("list"); if (state.failed) return ;
1354

    
1355

    
1356
            }
1357

    
1358
            state.type = _type;
1359
            state.channel = _channel;
1360
        }
1361
        finally 
1362
    	{
1363
        }
1364
    }
1365
    // $ANTLR end "T_LIST"
1366

    
1367
    // $ANTLR start "T_LPAREN"
1368
    public void mT_LPAREN() // throws RecognitionException [2]
1369
    {
1370
    		try
1371
    		{
1372
            int _type = T_LPAREN;
1373
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1374
            // ooa.g:1046:9: ( '(' )
1375
            // ooa.g:1046:11: '('
1376
            {
1377
            	Match('('); if (state.failed) return ;
1378

    
1379
            }
1380

    
1381
            state.type = _type;
1382
            state.channel = _channel;
1383
        }
1384
        finally 
1385
    	{
1386
        }
1387
    }
1388
    // $ANTLR end "T_LPAREN"
1389

    
1390
    // $ANTLR start "T_LSQPAREN"
1391
    public void mT_LSQPAREN() // throws RecognitionException [2]
1392
    {
1393
    		try
1394
    		{
1395
            int _type = T_LSQPAREN;
1396
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1397
            // ooa.g:1047:11: ( '[' )
1398
            // ooa.g:1047:13: '['
1399
            {
1400
            	Match('['); if (state.failed) return ;
1401

    
1402
            }
1403

    
1404
            state.type = _type;
1405
            state.channel = _channel;
1406
        }
1407
        finally 
1408
    	{
1409
        }
1410
    }
1411
    // $ANTLR end "T_LSQPAREN"
1412

    
1413
    // $ANTLR start "T_MAP"
1414
    public void mT_MAP() // throws RecognitionException [2]
1415
    {
1416
    		try
1417
    		{
1418
            int _type = T_MAP;
1419
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1420
            // ooa.g:1048:7: ( 'map' )
1421
            // ooa.g:1048:9: 'map'
1422
            {
1423
            	Match("map"); if (state.failed) return ;
1424

    
1425

    
1426
            }
1427

    
1428
            state.type = _type;
1429
            state.channel = _channel;
1430
        }
1431
        finally 
1432
    	{
1433
        }
1434
    }
1435
    // $ANTLR end "T_MAP"
1436

    
1437
    // $ANTLR start "T_MAPS"
1438
    public void mT_MAPS() // throws RecognitionException [2]
1439
    {
1440
    		try
1441
    		{
1442
            int _type = T_MAPS;
1443
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1444
            // ooa.g:1049:8: ( '->' )
1445
            // ooa.g:1049:10: '->'
1446
            {
1447
            	Match("->"); if (state.failed) return ;
1448

    
1449

    
1450
            }
1451

    
1452
            state.type = _type;
1453
            state.channel = _channel;
1454
        }
1455
        finally 
1456
    	{
1457
        }
1458
    }
1459
    // $ANTLR end "T_MAPS"
1460

    
1461
    // $ANTLR start "T_METHODS"
1462
    public void mT_METHODS() // throws RecognitionException [2]
1463
    {
1464
    		try
1465
    		{
1466
            int _type = T_METHODS;
1467
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1468
            // ooa.g:1051:2: ( 'methods' )
1469
            // ooa.g:1051:4: 'methods'
1470
            {
1471
            	Match("methods"); if (state.failed) return ;
1472

    
1473

    
1474
            }
1475

    
1476
            state.type = _type;
1477
            state.channel = _channel;
1478
        }
1479
        finally 
1480
    	{
1481
        }
1482
    }
1483
    // $ANTLR end "T_METHODS"
1484

    
1485
    // $ANTLR start "T_NEW"
1486
    public void mT_NEW() // throws RecognitionException [2]
1487
    {
1488
    		try
1489
    		{
1490
            int _type = T_NEW;
1491
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1492
            // ooa.g:1052:7: ( 'new' )
1493
            // ooa.g:1052:9: 'new'
1494
            {
1495
            	Match("new"); if (state.failed) return ;
1496

    
1497

    
1498
            }
1499

    
1500
            state.type = _type;
1501
            state.channel = _channel;
1502
        }
1503
        finally 
1504
    	{
1505
        }
1506
    }
1507
    // $ANTLR end "T_NEW"
1508

    
1509
    // $ANTLR start "T_NIL"
1510
    public void mT_NIL() // throws RecognitionException [2]
1511
    {
1512
    		try
1513
    		{
1514
            int _type = T_NIL;
1515
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1516
            // ooa.g:1053:7: ( 'nil' )
1517
            // ooa.g:1053:9: 'nil'
1518
            {
1519
            	Match("nil"); if (state.failed) return ;
1520

    
1521

    
1522
            }
1523

    
1524
            state.type = _type;
1525
            state.channel = _channel;
1526
        }
1527
        finally 
1528
    	{
1529
        }
1530
    }
1531
    // $ANTLR end "T_NIL"
1532

    
1533
    // $ANTLR start "T_NONDET"
1534
    public void mT_NONDET() // throws RecognitionException [2]
1535
    {
1536
    		try
1537
    		{
1538
            int _type = T_NONDET;
1539
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1540
            // ooa.g:1054:9: ( '[]' )
1541
            // ooa.g:1054:11: '[]'
1542
            {
1543
            	Match("[]"); if (state.failed) return ;
1544

    
1545

    
1546
            }
1547

    
1548
            state.type = _type;
1549
            state.channel = _channel;
1550
        }
1551
        finally 
1552
    	{
1553
        }
1554
    }
1555
    // $ANTLR end "T_NONDET"
1556

    
1557
    // $ANTLR start "T_OBS"
1558
    public void mT_OBS() // throws RecognitionException [2]
1559
    {
1560
    		try
1561
    		{
1562
            int _type = T_OBS;
1563
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1564
            // ooa.g:1055:7: ( 'obs' )
1565
            // ooa.g:1055:9: 'obs'
1566
            {
1567
            	Match("obs"); if (state.failed) return ;
1568

    
1569

    
1570
            }
1571

    
1572
            state.type = _type;
1573
            state.channel = _channel;
1574
        }
1575
        finally 
1576
    	{
1577
        }
1578
    }
1579
    // $ANTLR end "T_OBS"
1580

    
1581
    // $ANTLR start "T_OD"
1582
    public void mT_OD() // throws RecognitionException [2]
1583
    {
1584
    		try
1585
    		{
1586
            int _type = T_OD;
1587
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1588
            // ooa.g:1056:6: ( 'od' )
1589
            // ooa.g:1056:8: 'od'
1590
            {
1591
            	Match("od"); if (state.failed) return ;
1592

    
1593

    
1594
            }
1595

    
1596
            state.type = _type;
1597
            state.channel = _channel;
1598
        }
1599
        finally 
1600
    	{
1601
        }
1602
    }
1603
    // $ANTLR end "T_OD"
1604

    
1605
    // $ANTLR start "T_OF"
1606
    public void mT_OF() // throws RecognitionException [2]
1607
    {
1608
    		try
1609
    		{
1610
            int _type = T_OF;
1611
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1612
            // ooa.g:1057:6: ( 'of' )
1613
            // ooa.g:1057:8: 'of'
1614
            {
1615
            	Match("of"); if (state.failed) return ;
1616

    
1617

    
1618
            }
1619

    
1620
            state.type = _type;
1621
            state.channel = _channel;
1622
        }
1623
        finally 
1624
    	{
1625
        }
1626
    }
1627
    // $ANTLR end "T_OF"
1628

    
1629
    // $ANTLR start "T_PRIO"
1630
    public void mT_PRIO() // throws RecognitionException [2]
1631
    {
1632
    		try
1633
    		{
1634
            int _type = T_PRIO;
1635
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1636
            // ooa.g:1058:8: ( '//' )
1637
            // ooa.g:1058:10: '//'
1638
            {
1639
            	Match("//"); if (state.failed) return ;
1640

    
1641

    
1642
            }
1643

    
1644
            state.type = _type;
1645
            state.channel = _channel;
1646
        }
1647
        finally 
1648
    	{
1649
        }
1650
    }
1651
    // $ANTLR end "T_PRIO"
1652

    
1653
    // $ANTLR start "T_REQUIRES"
1654
    public void mT_REQUIRES() // throws RecognitionException [2]
1655
    {
1656
    		try
1657
    		{
1658
            int _type = T_REQUIRES;
1659
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1660
            // ooa.g:1060:2: ( 'requires' )
1661
            // ooa.g:1060:4: 'requires'
1662
            {
1663
            	Match("requires"); if (state.failed) return ;
1664

    
1665

    
1666
            }
1667

    
1668
            state.type = _type;
1669
            state.channel = _channel;
1670
        }
1671
        finally 
1672
    	{
1673
        }
1674
    }
1675
    // $ANTLR end "T_REQUIRES"
1676

    
1677
    // $ANTLR start "T_RPAREN"
1678
    public void mT_RPAREN() // throws RecognitionException [2]
1679
    {
1680
    		try
1681
    		{
1682
            int _type = T_RPAREN;
1683
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1684
            // ooa.g:1061:9: ( ')' )
1685
            // ooa.g:1061:11: ')'
1686
            {
1687
            	Match(')'); if (state.failed) return ;
1688

    
1689
            }
1690

    
1691
            state.type = _type;
1692
            state.channel = _channel;
1693
        }
1694
        finally 
1695
    	{
1696
        }
1697
    }
1698
    // $ANTLR end "T_RPAREN"
1699

    
1700
    // $ANTLR start "T_RSQPAREN"
1701
    public void mT_RSQPAREN() // throws RecognitionException [2]
1702
    {
1703
    		try
1704
    		{
1705
            int _type = T_RSQPAREN;
1706
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1707
            // ooa.g:1062:11: ( ']' )
1708
            // ooa.g:1062:13: ']'
1709
            {
1710
            	Match(']'); if (state.failed) return ;
1711

    
1712
            }
1713

    
1714
            state.type = _type;
1715
            state.channel = _channel;
1716
        }
1717
        finally 
1718
    	{
1719
        }
1720
    }
1721
    // $ANTLR end "T_RSQPAREN"
1722

    
1723
    // $ANTLR start "T_QUANTITY"
1724
    public void mT_QUANTITY() // throws RecognitionException [2]
1725
    {
1726
    		try
1727
    		{
1728
            int _type = T_QUANTITY;
1729
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1730
            // ooa.g:1064:2: ( 'qspace' )
1731
            // ooa.g:1064:4: 'qspace'
1732
            {
1733
            	Match("qspace"); if (state.failed) return ;
1734

    
1735

    
1736
            }
1737

    
1738
            state.type = _type;
1739
            state.channel = _channel;
1740
        }
1741
        finally 
1742
    	{
1743
        }
1744
    }
1745
    // $ANTLR end "T_QUANTITY"
1746

    
1747
    // $ANTLR start "T_SELF"
1748
    public void mT_SELF() // throws RecognitionException [2]
1749
    {
1750
    		try
1751
    		{
1752
            int _type = T_SELF;
1753
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1754
            // ooa.g:1065:8: ( 'self' )
1755
            // ooa.g:1065:10: 'self'
1756
            {
1757
            	Match("self"); if (state.failed) return ;
1758

    
1759

    
1760
            }
1761

    
1762
            state.type = _type;
1763
            state.channel = _channel;
1764
        }
1765
        finally 
1766
    	{
1767
        }
1768
    }
1769
    // $ANTLR end "T_SELF"
1770

    
1771
    // $ANTLR start "T_SET"
1772
    public void mT_SET() // throws RecognitionException [2]
1773
    {
1774
    		try
1775
    		{
1776
            int _type = T_SET;
1777
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1778
            // ooa.g:1066:8: ( 'set' )
1779
            // ooa.g:1066:10: 'set'
1780
            {
1781
            	Match("set"); if (state.failed) return ;
1782

    
1783

    
1784
            }
1785

    
1786
            state.type = _type;
1787
            state.channel = _channel;
1788
        }
1789
        finally 
1790
    	{
1791
        }
1792
    }
1793
    // $ANTLR end "T_SET"
1794

    
1795
    // $ANTLR start "T_SEMICOLON"
1796
    public void mT_SEMICOLON() // throws RecognitionException [2]
1797
    {
1798
    		try
1799
    		{
1800
            int _type = T_SEMICOLON;
1801
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1802
            // ooa.g:1068:2: ( ';' )
1803
            // ooa.g:1068:4: ';'
1804
            {
1805
            	Match(';'); if (state.failed) return ;
1806

    
1807
            }
1808

    
1809
            state.type = _type;
1810
            state.channel = _channel;
1811
        }
1812
        finally 
1813
    	{
1814
        }
1815
    }
1816
    // $ANTLR end "T_SEMICOLON"
1817

    
1818
    // $ANTLR start "T_STATIC"
1819
    public void mT_STATIC() // throws RecognitionException [2]
1820
    {
1821
    		try
1822
    		{
1823
            int _type = T_STATIC;
1824
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1825
            // ooa.g:1069:9: ( 'static' )
1826
            // ooa.g:1069:11: 'static'
1827
            {
1828
            	Match("static"); if (state.failed) return ;
1829

    
1830

    
1831
            }
1832

    
1833
            state.type = _type;
1834
            state.channel = _channel;
1835
        }
1836
        finally 
1837
    	{
1838
        }
1839
    }
1840
    // $ANTLR end "T_STATIC"
1841

    
1842
    // $ANTLR start "T_SKIP"
1843
    public void mT_SKIP() // throws RecognitionException [2]
1844
    {
1845
    		try
1846
    		{
1847
            int _type = T_SKIP;
1848
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1849
            // ooa.g:1070:8: ( 'skip' )
1850
            // ooa.g:1070:10: 'skip'
1851
            {
1852
            	Match("skip"); if (state.failed) return ;
1853

    
1854

    
1855
            }
1856

    
1857
            state.type = _type;
1858
            state.channel = _channel;
1859
        }
1860
        finally 
1861
    	{
1862
        }
1863
    }
1864
    // $ANTLR end "T_SKIP"
1865

    
1866
    // $ANTLR start "T_THEN"
1867
    public void mT_THEN() // throws RecognitionException [2]
1868
    {
1869
    		try
1870
    		{
1871
            int _type = T_THEN;
1872
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1873
            // ooa.g:1071:8: ( 'then' )
1874
            // ooa.g:1071:10: 'then'
1875
            {
1876
            	Match("then"); if (state.failed) return ;
1877

    
1878

    
1879
            }
1880

    
1881
            state.type = _type;
1882
            state.channel = _channel;
1883
        }
1884
        finally 
1885
    	{
1886
        }
1887
    }
1888
    // $ANTLR end "T_THEN"
1889

    
1890
    // $ANTLR start "T_TRUE"
1891
    public void mT_TRUE() // throws RecognitionException [2]
1892
    {
1893
    		try
1894
    		{
1895
            int _type = T_TRUE;
1896
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1897
            // ooa.g:1072:9: ( 'true' )
1898
            // ooa.g:1072:11: 'true'
1899
            {
1900
            	Match("true"); if (state.failed) return ;
1901

    
1902

    
1903
            }
1904

    
1905
            state.type = _type;
1906
            state.channel = _channel;
1907
        }
1908
        finally 
1909
    	{
1910
        }
1911
    }
1912
    // $ANTLR end "T_TRUE"
1913

    
1914
    // $ANTLR start "T_TO"
1915
    public void mT_TO() // throws RecognitionException [2]
1916
    {
1917
    		try
1918
    		{
1919
            int _type = T_TO;
1920
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1921
            // ooa.g:1073:6: ( 'to' )
1922
            // ooa.g:1073:8: 'to'
1923
            {
1924
            	Match("to"); if (state.failed) return ;
1925

    
1926

    
1927
            }
1928

    
1929
            state.type = _type;
1930
            state.channel = _channel;
1931
        }
1932
        finally 
1933
    	{
1934
        }
1935
    }
1936
    // $ANTLR end "T_TO"
1937

    
1938
    // $ANTLR start "T_TYPES"
1939
    public void mT_TYPES() // throws RecognitionException [2]
1940
    {
1941
    		try
1942
    		{
1943
            int _type = T_TYPES;
1944
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1945
            // ooa.g:1074:9: ( 'types' )
1946
            // ooa.g:1074:11: 'types'
1947
            {
1948
            	Match("types"); if (state.failed) return ;
1949

    
1950

    
1951
            }
1952

    
1953
            state.type = _type;
1954
            state.channel = _channel;
1955
        }
1956
        finally 
1957
    	{
1958
        }
1959
    }
1960
    // $ANTLR end "T_TYPES"
1961

    
1962
    // $ANTLR start "T_VAR"
1963
    public void mT_VAR() // throws RecognitionException [2]
1964
    {
1965
    		try
1966
    		{
1967
            int _type = T_VAR;
1968
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1969
            // ooa.g:1075:7: ( 'var' )
1970
            // ooa.g:1075:9: 'var'
1971
            {
1972
            	Match("var"); if (state.failed) return ;
1973

    
1974

    
1975
            }
1976

    
1977
            state.type = _type;
1978
            state.channel = _channel;
1979
        }
1980
        finally 
1981
    	{
1982
        }
1983
    }
1984
    // $ANTLR end "T_VAR"
1985

    
1986
    // $ANTLR start "T_WITH"
1987
    public void mT_WITH() // throws RecognitionException [2]
1988
    {
1989
    		try
1990
    		{
1991
            int _type = T_WITH;
1992
    	int _channel = DEFAULT_TOKEN_CHANNEL;
1993
            // ooa.g:1076:8: ( 'with' )
1994
            // ooa.g:1076:10: 'with'
1995
            {
1996
            	Match("with"); if (state.failed) return ;
1997

    
1998

    
1999
            }
2000

    
2001
            state.type = _type;
2002
            state.channel = _channel;
2003
        }
2004
        finally 
2005
    	{
2006
        }
2007
    }
2008
    // $ANTLR end "T_WITH"
2009

    
2010
    // $ANTLR start "T_AND"
2011
    public void mT_AND() // throws RecognitionException [2]
2012
    {
2013
    		try
2014
    		{
2015
            int _type = T_AND;
2016
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2017
            // ooa.g:1082:7: ( 'and' )
2018
            // ooa.g:1082:9: 'and'
2019
            {
2020
            	Match("and"); if (state.failed) return ;
2021

    
2022

    
2023
            }
2024

    
2025
            state.type = _type;
2026
            state.channel = _channel;
2027
        }
2028
        finally 
2029
    	{
2030
        }
2031
    }
2032
    // $ANTLR end "T_AND"
2033

    
2034
    // $ANTLR start "T_BIIMPLIES"
2035
    public void mT_BIIMPLIES() // throws RecognitionException [2]
2036
    {
2037
    		try
2038
    		{
2039
            int _type = T_BIIMPLIES;
2040
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2041
            // ooa.g:1084:2: ( '<=>' )
2042
            // ooa.g:1084:4: '<=>'
2043
            {
2044
            	Match("<=>"); if (state.failed) return ;
2045

    
2046

    
2047
            }
2048

    
2049
            state.type = _type;
2050
            state.channel = _channel;
2051
        }
2052
        finally 
2053
    	{
2054
        }
2055
    }
2056
    // $ANTLR end "T_BIIMPLIES"
2057

    
2058
    // $ANTLR start "T_IMPLIES"
2059
    public void mT_IMPLIES() // throws RecognitionException [2]
2060
    {
2061
    		try
2062
    		{
2063
            int _type = T_IMPLIES;
2064
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2065
            // ooa.g:1086:2: ( '=>' )
2066
            // ooa.g:1086:4: '=>'
2067
            {
2068
            	Match("=>"); if (state.failed) return ;
2069

    
2070

    
2071
            }
2072

    
2073
            state.type = _type;
2074
            state.channel = _channel;
2075
        }
2076
        finally 
2077
    	{
2078
        }
2079
    }
2080
    // $ANTLR end "T_IMPLIES"
2081

    
2082
    // $ANTLR start "T_NOT"
2083
    public void mT_NOT() // throws RecognitionException [2]
2084
    {
2085
    		try
2086
    		{
2087
            int _type = T_NOT;
2088
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2089
            // ooa.g:1087:7: ( 'not' )
2090
            // ooa.g:1087:9: 'not'
2091
            {
2092
            	Match("not"); if (state.failed) return ;
2093

    
2094

    
2095
            }
2096

    
2097
            state.type = _type;
2098
            state.channel = _channel;
2099
        }
2100
        finally 
2101
    	{
2102
        }
2103
    }
2104
    // $ANTLR end "T_NOT"
2105

    
2106
    // $ANTLR start "T_NOTEQUAL"
2107
    public void mT_NOTEQUAL() // throws RecognitionException [2]
2108
    {
2109
    		try
2110
    		{
2111
            int _type = T_NOTEQUAL;
2112
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2113
            // ooa.g:1088:11: ( '<>' )
2114
            // ooa.g:1088:13: '<>'
2115
            {
2116
            	Match("<>"); if (state.failed) return ;
2117

    
2118

    
2119
            }
2120

    
2121
            state.type = _type;
2122
            state.channel = _channel;
2123
        }
2124
        finally 
2125
    	{
2126
        }
2127
    }
2128
    // $ANTLR end "T_NOTEQUAL"
2129

    
2130
    // $ANTLR start "T_OR"
2131
    public void mT_OR() // throws RecognitionException [2]
2132
    {
2133
    		try
2134
    		{
2135
            int _type = T_OR;
2136
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2137
            // ooa.g:1089:6: ( 'or' )
2138
            // ooa.g:1089:8: 'or'
2139
            {
2140
            	Match("or"); if (state.failed) return ;
2141

    
2142

    
2143
            }
2144

    
2145
            state.type = _type;
2146
            state.channel = _channel;
2147
        }
2148
        finally 
2149
    	{
2150
        }
2151
    }
2152
    // $ANTLR end "T_OR"
2153

    
2154
    // $ANTLR start "T_ABS"
2155
    public void mT_ABS() // throws RecognitionException [2]
2156
    {
2157
    		try
2158
    		{
2159
            int _type = T_ABS;
2160
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2161
            // ooa.g:1092:7: ( 'abs' )
2162
            // ooa.g:1092:9: 'abs'
2163
            {
2164
            	Match("abs"); if (state.failed) return ;
2165

    
2166

    
2167
            }
2168

    
2169
            state.type = _type;
2170
            state.channel = _channel;
2171
        }
2172
        finally 
2173
    	{
2174
        }
2175
    }
2176
    // $ANTLR end "T_ABS"
2177

    
2178
    // $ANTLR start "T_DIV"
2179
    public void mT_DIV() // throws RecognitionException [2]
2180
    {
2181
    		try
2182
    		{
2183
            int _type = T_DIV;
2184
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2185
            // ooa.g:1093:7: ( '/' )
2186
            // ooa.g:1093:9: '/'
2187
            {
2188
            	Match('/'); if (state.failed) return ;
2189

    
2190
            }
2191

    
2192
            state.type = _type;
2193
            state.channel = _channel;
2194
        }
2195
        finally 
2196
    	{
2197
        }
2198
    }
2199
    // $ANTLR end "T_DIV"
2200

    
2201
    // $ANTLR start "T_GREATER"
2202
    public void mT_GREATER() // throws RecognitionException [2]
2203
    {
2204
    		try
2205
    		{
2206
            int _type = T_GREATER;
2207
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2208
            // ooa.g:1095:2: ( '>' )
2209
            // ooa.g:1095:4: '>'
2210
            {
2211
            	Match('>'); if (state.failed) return ;
2212

    
2213
            }
2214

    
2215
            state.type = _type;
2216
            state.channel = _channel;
2217
        }
2218
        finally 
2219
    	{
2220
        }
2221
    }
2222
    // $ANTLR end "T_GREATER"
2223

    
2224
    // $ANTLR start "T_GREATEREQUAL"
2225
    public void mT_GREATEREQUAL() // throws RecognitionException [2]
2226
    {
2227
    		try
2228
    		{
2229
            int _type = T_GREATEREQUAL;
2230
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2231
            // ooa.g:1097:2: ( '>=' )
2232
            // ooa.g:1097:4: '>='
2233
            {
2234
            	Match(">="); if (state.failed) return ;
2235

    
2236

    
2237
            }
2238

    
2239
            state.type = _type;
2240
            state.channel = _channel;
2241
        }
2242
        finally 
2243
    	{
2244
        }
2245
    }
2246
    // $ANTLR end "T_GREATEREQUAL"
2247

    
2248
    // $ANTLR start "T_IDIV"
2249
    public void mT_IDIV() // throws RecognitionException [2]
2250
    {
2251
    		try
2252
    		{
2253
            int _type = T_IDIV;
2254
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2255
            // ooa.g:1098:8: ( 'div' )
2256
            // ooa.g:1098:10: 'div'
2257
            {
2258
            	Match("div"); if (state.failed) return ;
2259

    
2260

    
2261
            }
2262

    
2263
            state.type = _type;
2264
            state.channel = _channel;
2265
        }
2266
        finally 
2267
    	{
2268
        }
2269
    }
2270
    // $ANTLR end "T_IDIV"
2271

    
2272
    // $ANTLR start "T_LESS"
2273
    public void mT_LESS() // throws RecognitionException [2]
2274
    {
2275
    		try
2276
    		{
2277
            int _type = T_LESS;
2278
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2279
            // ooa.g:1099:8: ( '<' )
2280
            // ooa.g:1099:10: '<'
2281
            {
2282
            	Match('<'); if (state.failed) return ;
2283

    
2284
            }
2285

    
2286
            state.type = _type;
2287
            state.channel = _channel;
2288
        }
2289
        finally 
2290
    	{
2291
        }
2292
    }
2293
    // $ANTLR end "T_LESS"
2294

    
2295
    // $ANTLR start "T_LESSEQUAL"
2296
    public void mT_LESSEQUAL() // throws RecognitionException [2]
2297
    {
2298
    		try
2299
    		{
2300
            int _type = T_LESSEQUAL;
2301
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2302
            // ooa.g:1101:2: ( '<=' )
2303
            // ooa.g:1101:4: '<='
2304
            {
2305
            	Match("<="); if (state.failed) return ;
2306

    
2307

    
2308
            }
2309

    
2310
            state.type = _type;
2311
            state.channel = _channel;
2312
        }
2313
        finally 
2314
    	{
2315
        }
2316
    }
2317
    // $ANTLR end "T_LESSEQUAL"
2318

    
2319
    // $ANTLR start "T_MOD"
2320
    public void mT_MOD() // throws RecognitionException [2]
2321
    {
2322
    		try
2323
    		{
2324
            int _type = T_MOD;
2325
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2326
            // ooa.g:1102:7: ( 'mod' )
2327
            // ooa.g:1102:9: 'mod'
2328
            {
2329
            	Match("mod"); if (state.failed) return ;
2330

    
2331

    
2332
            }
2333

    
2334
            state.type = _type;
2335
            state.channel = _channel;
2336
        }
2337
        finally 
2338
    	{
2339
        }
2340
    }
2341
    // $ANTLR end "T_MOD"
2342

    
2343
    // $ANTLR start "T_POW"
2344
    public void mT_POW() // throws RecognitionException [2]
2345
    {
2346
    		try
2347
    		{
2348
            int _type = T_POW;
2349
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2350
            // ooa.g:1103:7: ( '**' )
2351
            // ooa.g:1103:9: '**'
2352
            {
2353
            	Match("**"); if (state.failed) return ;
2354

    
2355

    
2356
            }
2357

    
2358
            state.type = _type;
2359
            state.channel = _channel;
2360
        }
2361
        finally 
2362
    	{
2363
        }
2364
    }
2365
    // $ANTLR end "T_POW"
2366

    
2367
    // $ANTLR start "T_PROD"
2368
    public void mT_PROD() // throws RecognitionException [2]
2369
    {
2370
    		try
2371
    		{
2372
            int _type = T_PROD;
2373
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2374
            // ooa.g:1104:8: ( '*' )
2375
            // ooa.g:1104:10: '*'
2376
            {
2377
            	Match('*'); if (state.failed) return ;
2378

    
2379
            }
2380

    
2381
            state.type = _type;
2382
            state.channel = _channel;
2383
        }
2384
        finally 
2385
    	{
2386
        }
2387
    }
2388
    // $ANTLR end "T_PROD"
2389

    
2390
    // $ANTLR start "T_DERIV"
2391
    public void mT_DERIV() // throws RecognitionException [2]
2392
    {
2393
    		try
2394
    		{
2395
            int _type = T_DERIV;
2396
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2397
            // ooa.g:1105:9: ( 'dt' )
2398
            // ooa.g:1105:11: 'dt'
2399
            {
2400
            	Match("dt"); if (state.failed) return ;
2401

    
2402

    
2403
            }
2404

    
2405
            state.type = _type;
2406
            state.channel = _channel;
2407
        }
2408
        finally 
2409
    	{
2410
        }
2411
    }
2412
    // $ANTLR end "T_DERIV"
2413

    
2414
    // $ANTLR start "T_CARD"
2415
    public void mT_CARD() // throws RecognitionException [2]
2416
    {
2417
    		try
2418
    		{
2419
            int _type = T_CARD;
2420
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2421
            // ooa.g:1108:8: ( 'card' )
2422
            // ooa.g:1108:10: 'card'
2423
            {
2424
            	Match("card"); if (state.failed) return ;
2425

    
2426

    
2427
            }
2428

    
2429
            state.type = _type;
2430
            state.channel = _channel;
2431
        }
2432
        finally 
2433
    	{
2434
        }
2435
    }
2436
    // $ANTLR end "T_CARD"
2437

    
2438
    // $ANTLR start "T_CONC"
2439
    public void mT_CONC() // throws RecognitionException [2]
2440
    {
2441
    		try
2442
    		{
2443
            int _type = T_CONC;
2444
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2445
            // ooa.g:1109:8: ( '^' )
2446
            // ooa.g:1109:10: '^'
2447
            {
2448
            	Match('^'); if (state.failed) return ;
2449

    
2450
            }
2451

    
2452
            state.type = _type;
2453
            state.channel = _channel;
2454
        }
2455
        finally 
2456
    	{
2457
        }
2458
    }
2459
    // $ANTLR end "T_CONC"
2460

    
2461
    // $ANTLR start "T_DCONC"
2462
    public void mT_DCONC() // throws RecognitionException [2]
2463
    {
2464
    		try
2465
    		{
2466
            int _type = T_DCONC;
2467
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2468
            // ooa.g:1110:9: ( 'conc' )
2469
            // ooa.g:1110:11: 'conc'
2470
            {
2471
            	Match("conc"); if (state.failed) return ;
2472

    
2473

    
2474
            }
2475

    
2476
            state.type = _type;
2477
            state.channel = _channel;
2478
        }
2479
        finally 
2480
    	{
2481
        }
2482
    }
2483
    // $ANTLR end "T_DCONC"
2484

    
2485
    // $ANTLR start "T_DIFF"
2486
    public void mT_DIFF() // throws RecognitionException [2]
2487
    {
2488
    		try
2489
    		{
2490
            int _type = T_DIFF;
2491
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2492
            // ooa.g:1111:8: ( '\\\\' )
2493
            // ooa.g:1111:10: '\\\\'
2494
            {
2495
            	Match('\\'); if (state.failed) return ;
2496

    
2497
            }
2498

    
2499
            state.type = _type;
2500
            state.channel = _channel;
2501
        }
2502
        finally 
2503
    	{
2504
        }
2505
    }
2506
    // $ANTLR end "T_DIFF"
2507

    
2508
    // $ANTLR start "T_DINTER"
2509
    public void mT_DINTER() // throws RecognitionException [2]
2510
    {
2511
    		try
2512
    		{
2513
            int _type = T_DINTER;
2514
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2515
            // ooa.g:1112:9: ( 'dinter' )
2516
            // ooa.g:1112:11: 'dinter'
2517
            {
2518
            	Match("dinter"); if (state.failed) return ;
2519

    
2520

    
2521
            }
2522

    
2523
            state.type = _type;
2524
            state.channel = _channel;
2525
        }
2526
        finally 
2527
    	{
2528
        }
2529
    }
2530
    // $ANTLR end "T_DINTER"
2531

    
2532
    // $ANTLR start "T_DUNION"
2533
    public void mT_DUNION() // throws RecognitionException [2]
2534
    {
2535
    		try
2536
    		{
2537
            int _type = T_DUNION;
2538
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2539
            // ooa.g:1113:9: ( 'dunion' )
2540
            // ooa.g:1113:11: 'dunion'
2541
            {
2542
            	Match("dunion"); if (state.failed) return ;
2543

    
2544

    
2545
            }
2546

    
2547
            state.type = _type;
2548
            state.channel = _channel;
2549
        }
2550
        finally 
2551
    	{
2552
        }
2553
    }
2554
    // $ANTLR end "T_DUNION"
2555

    
2556
    // $ANTLR start "T_ELEMS"
2557
    public void mT_ELEMS() // throws RecognitionException [2]
2558
    {
2559
    		try
2560
    		{
2561
            int _type = T_ELEMS;
2562
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2563
            // ooa.g:1114:9: ( 'elems' )
2564
            // ooa.g:1114:11: 'elems'
2565
            {
2566
            	Match("elems"); if (state.failed) return ;
2567

    
2568

    
2569
            }
2570

    
2571
            state.type = _type;
2572
            state.channel = _channel;
2573
        }
2574
        finally 
2575
    	{
2576
        }
2577
    }
2578
    // $ANTLR end "T_ELEMS"
2579

    
2580
    // $ANTLR start "T_HEAD"
2581
    public void mT_HEAD() // throws RecognitionException [2]
2582
    {
2583
    		try
2584
    		{
2585
            int _type = T_HEAD;
2586
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2587
            // ooa.g:1115:8: ( 'hd' )
2588
            // ooa.g:1115:10: 'hd'
2589
            {
2590
            	Match("hd"); if (state.failed) return ;
2591

    
2592

    
2593
            }
2594

    
2595
            state.type = _type;
2596
            state.channel = _channel;
2597
        }
2598
        finally 
2599
    	{
2600
        }
2601
    }
2602
    // $ANTLR end "T_HEAD"
2603

    
2604
    // $ANTLR start "T_INDS"
2605
    public void mT_INDS() // throws RecognitionException [2]
2606
    {
2607
    		try
2608
    		{
2609
            int _type = T_INDS;
2610
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2611
            // ooa.g:1116:8: ( 'inds' )
2612
            // ooa.g:1116:10: 'inds'
2613
            {
2614
            	Match("inds"); if (state.failed) return ;
2615

    
2616

    
2617
            }
2618

    
2619
            state.type = _type;
2620
            state.channel = _channel;
2621
        }
2622
        finally 
2623
    	{
2624
        }
2625
    }
2626
    // $ANTLR end "T_INDS"
2627

    
2628
    // $ANTLR start "T_INTER"
2629
    public void mT_INTER() // throws RecognitionException [2]
2630
    {
2631
    		try
2632
    		{
2633
            int _type = T_INTER;
2634
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2635
            // ooa.g:1117:9: ( 'inter' )
2636
            // ooa.g:1117:11: 'inter'
2637
            {
2638
            	Match("inter"); if (state.failed) return ;
2639

    
2640

    
2641
            }
2642

    
2643
            state.type = _type;
2644
            state.channel = _channel;
2645
        }
2646
        finally 
2647
    	{
2648
        }
2649
    }
2650
    // $ANTLR end "T_INTER"
2651

    
2652
    // $ANTLR start "T_LEN"
2653
    public void mT_LEN() // throws RecognitionException [2]
2654
    {
2655
    		try
2656
    		{
2657
            int _type = T_LEN;
2658
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2659
            // ooa.g:1118:7: ( 'len' )
2660
            // ooa.g:1118:9: 'len'
2661
            {
2662
            	Match("len"); if (state.failed) return ;
2663

    
2664

    
2665
            }
2666

    
2667
            state.type = _type;
2668
            state.channel = _channel;
2669
        }
2670
        finally 
2671
    	{
2672
        }
2673
    }
2674
    // $ANTLR end "T_LEN"
2675

    
2676
    // $ANTLR start "T_SEQMOD_MAPOVERRIDE"
2677
    public void mT_SEQMOD_MAPOVERRIDE() // throws RecognitionException [2]
2678
    {
2679
    		try
2680
    		{
2681
            int _type = T_SEQMOD_MAPOVERRIDE;
2682
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2683
            // ooa.g:1120:2: ( '++' )
2684
            // ooa.g:1120:4: '++'
2685
            {
2686
            	Match("++"); if (state.failed) return ;
2687

    
2688

    
2689
            }
2690

    
2691
            state.type = _type;
2692
            state.channel = _channel;
2693
        }
2694
        finally 
2695
    	{
2696
        }
2697
    }
2698
    // $ANTLR end "T_SEQMOD_MAPOVERRIDE"
2699

    
2700
    // $ANTLR start "T_SUBSET"
2701
    public void mT_SUBSET() // throws RecognitionException [2]
2702
    {
2703
    		try
2704
    		{
2705
            int _type = T_SUBSET;
2706
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2707
            // ooa.g:1121:9: ( 'subset' )
2708
            // ooa.g:1121:11: 'subset'
2709
            {
2710
            	Match("subset"); if (state.failed) return ;
2711

    
2712

    
2713
            }
2714

    
2715
            state.type = _type;
2716
            state.channel = _channel;
2717
        }
2718
        finally 
2719
    	{
2720
        }
2721
    }
2722
    // $ANTLR end "T_SUBSET"
2723

    
2724
    // $ANTLR start "T_TAIL"
2725
    public void mT_TAIL() // throws RecognitionException [2]
2726
    {
2727
    		try
2728
    		{
2729
            int _type = T_TAIL;
2730
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2731
            // ooa.g:1122:8: ( 'tl' )
2732
            // ooa.g:1122:10: 'tl'
2733
            {
2734
            	Match("tl"); if (state.failed) return ;
2735

    
2736

    
2737
            }
2738

    
2739
            state.type = _type;
2740
            state.channel = _channel;
2741
        }
2742
        finally 
2743
    	{
2744
        }
2745
    }
2746
    // $ANTLR end "T_TAIL"
2747

    
2748
    // $ANTLR start "T_UNION"
2749
    public void mT_UNION() // throws RecognitionException [2]
2750
    {
2751
    		try
2752
    		{
2753
            int _type = T_UNION;
2754
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2755
            // ooa.g:1123:9: ( 'union' )
2756
            // ooa.g:1123:11: 'union'
2757
            {
2758
            	Match("union"); if (state.failed) return ;
2759

    
2760

    
2761
            }
2762

    
2763
            state.type = _type;
2764
            state.channel = _channel;
2765
        }
2766
        finally 
2767
    	{
2768
        }
2769
    }
2770
    // $ANTLR end "T_UNION"
2771

    
2772
    // $ANTLR start "T_FOLDLR"
2773
    public void mT_FOLDLR() // throws RecognitionException [2]
2774
    {
2775
    		try
2776
    		{
2777
            int _type = T_FOLDLR;
2778
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2779
            // ooa.g:1125:2: ( ':>:' )
2780
            // ooa.g:1125:4: ':>:'
2781
            {
2782
            	Match(":>:"); if (state.failed) return ;
2783

    
2784

    
2785
            }
2786

    
2787
            state.type = _type;
2788
            state.channel = _channel;
2789
        }
2790
        finally 
2791
    	{
2792
        }
2793
    }
2794
    // $ANTLR end "T_FOLDLR"
2795

    
2796
    // $ANTLR start "T_FOLDRL"
2797
    public void mT_FOLDRL() // throws RecognitionException [2]
2798
    {
2799
    		try
2800
    		{
2801
            int _type = T_FOLDRL;
2802
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2803
            // ooa.g:1127:2: ( ':<:' )
2804
            // ooa.g:1127:4: ':<:'
2805
            {
2806
            	Match(":<:"); if (state.failed) return ;
2807

    
2808

    
2809
            }
2810

    
2811
            state.type = _type;
2812
            state.channel = _channel;
2813
        }
2814
        finally 
2815
    	{
2816
        }
2817
    }
2818
    // $ANTLR end "T_FOLDRL"
2819

    
2820
    // $ANTLR start "T_DOM"
2821
    public void mT_DOM() // throws RecognitionException [2]
2822
    {
2823
    		try
2824
    		{
2825
            int _type = T_DOM;
2826
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2827
            // ooa.g:1131:7: ( 'dom' )
2828
            // ooa.g:1131:9: 'dom'
2829
            {
2830
            	Match("dom"); if (state.failed) return ;
2831

    
2832

    
2833
            }
2834

    
2835
            state.type = _type;
2836
            state.channel = _channel;
2837
        }
2838
        finally 
2839
    	{
2840
        }
2841
    }
2842
    // $ANTLR end "T_DOM"
2843

    
2844
    // $ANTLR start "T_DOMRESBY"
2845
    public void mT_DOMRESBY() // throws RecognitionException [2]
2846
    {
2847
    		try
2848
    		{
2849
            int _type = T_DOMRESBY;
2850
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2851
            // ooa.g:1133:2: ( '<-:' )
2852
            // ooa.g:1133:4: '<-:'
2853
            {
2854
            	Match("<-:"); if (state.failed) return ;
2855

    
2856

    
2857
            }
2858

    
2859
            state.type = _type;
2860
            state.channel = _channel;
2861
        }
2862
        finally 
2863
    	{
2864
        }
2865
    }
2866
    // $ANTLR end "T_DOMRESBY"
2867

    
2868
    // $ANTLR start "T_DOMRESTO"
2869
    public void mT_DOMRESTO() // throws RecognitionException [2]
2870
    {
2871
    		try
2872
    		{
2873
            int _type = T_DOMRESTO;
2874
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2875
            // ooa.g:1135:2: ( '<:' )
2876
            // ooa.g:1135:4: '<:'
2877
            {
2878
            	Match("<:"); if (state.failed) return ;
2879

    
2880

    
2881
            }
2882

    
2883
            state.type = _type;
2884
            state.channel = _channel;
2885
        }
2886
        finally 
2887
    	{
2888
        }
2889
    }
2890
    // $ANTLR end "T_DOMRESTO"
2891

    
2892
    // $ANTLR start "T_RNG"
2893
    public void mT_RNG() // throws RecognitionException [2]
2894
    {
2895
    		try
2896
    		{
2897
            int _type = T_RNG;
2898
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2899
            // ooa.g:1136:7: ( 'rng' )
2900
            // ooa.g:1136:9: 'rng'
2901
            {
2902
            	Match("rng"); if (state.failed) return ;
2903

    
2904

    
2905
            }
2906

    
2907
            state.type = _type;
2908
            state.channel = _channel;
2909
        }
2910
        finally 
2911
    	{
2912
        }
2913
    }
2914
    // $ANTLR end "T_RNG"
2915

    
2916
    // $ANTLR start "T_RNGRESBY"
2917
    public void mT_RNGRESBY() // throws RecognitionException [2]
2918
    {
2919
    		try
2920
    		{
2921
            int _type = T_RNGRESBY;
2922
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2923
            // ooa.g:1138:2: ( ':->' )
2924
            // ooa.g:1138:4: ':->'
2925
            {
2926
            	Match(":->"); if (state.failed) return ;
2927

    
2928

    
2929
            }
2930

    
2931
            state.type = _type;
2932
            state.channel = _channel;
2933
        }
2934
        finally 
2935
    	{
2936
        }
2937
    }
2938
    // $ANTLR end "T_RNGRESBY"
2939

    
2940
    // $ANTLR start "T_RNGRESTO"
2941
    public void mT_RNGRESTO() // throws RecognitionException [2]
2942
    {
2943
    		try
2944
    		{
2945
            int _type = T_RNGRESTO;
2946
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2947
            // ooa.g:1140:2: ( ':>' )
2948
            // ooa.g:1140:4: ':>'
2949
            {
2950
            	Match(":>"); if (state.failed) return ;
2951

    
2952

    
2953
            }
2954

    
2955
            state.type = _type;
2956
            state.channel = _channel;
2957
        }
2958
        finally 
2959
    	{
2960
        }
2961
    }
2962
    // $ANTLR end "T_RNGRESTO"
2963

    
2964
    // $ANTLR start "T_MERGE"
2965
    public void mT_MERGE() // throws RecognitionException [2]
2966
    {
2967
    		try
2968
    		{
2969
            int _type = T_MERGE;
2970
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2971
            // ooa.g:1141:9: ( 'merge' )
2972
            // ooa.g:1141:11: 'merge'
2973
            {
2974
            	Match("merge"); if (state.failed) return ;
2975

    
2976

    
2977
            }
2978

    
2979
            state.type = _type;
2980
            state.channel = _channel;
2981
        }
2982
        finally 
2983
    	{
2984
        }
2985
    }
2986
    // $ANTLR end "T_MERGE"
2987

    
2988
    // $ANTLR start "T_MUNION"
2989
    public void mT_MUNION() // throws RecognitionException [2]
2990
    {
2991
    		try
2992
    		{
2993
            int _type = T_MUNION;
2994
    	int _channel = DEFAULT_TOKEN_CHANNEL;
2995
            // ooa.g:1142:9: ( 'munion' )
2996
            // ooa.g:1142:11: 'munion'
2997
            {
2998
            	Match("munion"); if (state.failed) return ;
2999

    
3000

    
3001
            }
3002

    
3003
            state.type = _type;
3004
            state.channel = _channel;
3005
        }
3006
        finally 
3007
    	{
3008
        }
3009
    }
3010
    // $ANTLR end "T_MUNION"
3011

    
3012
    // $ANTLR start "T_CONSTS"
3013
    public void mT_CONSTS() // throws RecognitionException [2]
3014
    {
3015
    		try
3016
    		{
3017
            int _type = T_CONSTS;
3018
    	int _channel = DEFAULT_TOKEN_CHANNEL;
3019
            // ooa.g:1144:9: ( 'consts' )
3020
            // ooa.g:1144:11: 'consts'
3021
            {
3022
            	Match("consts"); if (state.failed) return ;
3023

    
3024

    
3025
            }
3026

    
3027
            state.type = _type;
3028
            state.channel = _channel;
3029
        }
3030
        finally 
3031
    	{
3032
        }
3033
    }
3034
    // $ANTLR end "T_CONSTS"
3035

    
3036
    // $ANTLR start "T_INFTY"
3037
    public void mT_INFTY() // throws RecognitionException [2]
3038
    {
3039
    		try
3040
    		{
3041
            int _type = T_INFTY;
3042
    	int _channel = DEFAULT_TOKEN_CHANNEL;
3043
            // ooa.g:1148:9: ( ( T_MINUS | T_SUM )? 'inf' )
3044
            // ooa.g:1148:11: ( T_MINUS | T_SUM )? 'inf'
3045
            {
3046
            	// ooa.g:1148:11: ( T_MINUS | T_SUM )?
3047
            	int alt5 = 2;
3048
            	int LA5_0 = input.LA(1);
3049

    
3050
            	if ( (LA5_0 == '+' || LA5_0 == '-') )
3051
            	{
3052
            	    alt5 = 1;
3053
            	}
3054
            	switch (alt5) 
3055
            	{
3056
            	    case 1 :
3057
            	        // ooa.g:
3058
            	        {
3059
            	        	if ( input.LA(1) == '+' || input.LA(1) == '-' ) 
3060
            	        	{
3061
            	        	    input.Consume();
3062
            	        	state.failed = false;
3063
            	        	}
3064
            	        	else 
3065
            	        	{
3066
            	        	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3067
            	        	    MismatchedSetException mse = new MismatchedSetException(null,input);
3068
            	        	    Recover(mse);
3069
            	        	    throw mse;}
3070

    
3071

    
3072
            	        }
3073
            	        break;
3074

    
3075
            	}
3076

    
3077
            	Match("inf"); if (state.failed) return ;
3078

    
3079

    
3080
            }
3081

    
3082
            state.type = _type;
3083
            state.channel = _channel;
3084
        }
3085
        finally 
3086
    	{
3087
        }
3088
    }
3089
    // $ANTLR end "T_INFTY"
3090

    
3091
    // $ANTLR start "T_INTNUMBER"
3092
    public void mT_INTNUMBER() // throws RecognitionException [2]
3093
    {
3094
    		try
3095
    		{
3096
            // ooa.g:1155:2: ()
3097
            // ooa.g:1155:4: 
3098
            {
3099
            }
3100

    
3101
        }
3102
        finally 
3103
    	{
3104
        }
3105
    }
3106
    // $ANTLR end "T_INTNUMBER"
3107

    
3108
    // $ANTLR start "T_FLOATNUMBER"
3109
    public void mT_FLOATNUMBER() // throws RecognitionException [2]
3110
    {
3111
    		try
3112
    		{
3113
            // ooa.g:1157:2: ()
3114
            // ooa.g:1157:4: 
3115
            {
3116
            }
3117

    
3118
        }
3119
        finally 
3120
    	{
3121
        }
3122
    }
3123
    // $ANTLR end "T_FLOATNUMBER"
3124

    
3125
    // $ANTLR start "T_RANGETO"
3126
    public void mT_RANGETO() // throws RecognitionException [2]
3127
    {
3128
    		try
3129
    		{
3130
            // ooa.g:1159:2: ()
3131
            // ooa.g:1159:4: 
3132
            {
3133
            }
3134

    
3135
        }
3136
        finally 
3137
    	{
3138
        }
3139
    }
3140
    // $ANTLR end "T_RANGETO"
3141

    
3142
    // $ANTLR start "FLOAT_OR_INT_OR_RANGE"
3143
    public void mFLOAT_OR_INT_OR_RANGE() // throws RecognitionException [2]
3144
    {
3145
    		try
3146
    		{
3147
            int _type = FLOAT_OR_INT_OR_RANGE;
3148
    	int _channel = DEFAULT_TOKEN_CHANNEL;
3149
            // ooa.g:1162:2: ( ( T_MINUS | T_SUM )? ( T_DIGIT )+ ( ( T_POINT T_POINT )=> | ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )? | ) | T_POINT ( T_POINT | ) | T_MINUS | T_SUM )
3150
            int alt14 = 4;
3151
            switch ( input.LA(1) ) 
3152
            {
3153
            case '-':
3154
            	{
3155
                int LA14_1 = input.LA(2);
3156

    
3157
                if ( ((LA14_1 >= '0' && LA14_1 <= '9')) )
3158
                {
3159
                    alt14 = 1;
3160
                }
3161
                else 
3162
                {
3163
                    alt14 = 3;}
3164
                }
3165
                break;
3166
            case '0':
3167
            case '1':
3168
            case '2':
3169
            case '3':
3170
            case '4':
3171
            case '5':
3172
            case '6':
3173
            case '7':
3174
            case '8':
3175
            case '9':
3176
            	{
3177
                alt14 = 1;
3178
                }
3179
                break;
3180
            case '.':
3181
            	{
3182
                alt14 = 2;
3183
                }
3184
                break;
3185
            case '+':
3186
            	{
3187
                int LA14_4 = input.LA(2);
3188

    
3189
                if ( ((LA14_4 >= '0' && LA14_4 <= '9')) )
3190
                {
3191
                    alt14 = 1;
3192
                }
3193
                else 
3194
                {
3195
                    alt14 = 4;}
3196
                }
3197
                break;
3198
            	default:
3199
            	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3200
            	    NoViableAltException nvae_d14s0 =
3201
            	        new NoViableAltException("", 14, 0, input);
3202

    
3203
            	    throw nvae_d14s0;
3204
            }
3205

    
3206
            switch (alt14) 
3207
            {
3208
                case 1 :
3209
                    // ooa.g:1162:5: ( T_MINUS | T_SUM )? ( T_DIGIT )+ ( ( T_POINT T_POINT )=> | ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )? | )
3210
                    {
3211
                    	// ooa.g:1162:5: ( T_MINUS | T_SUM )?
3212
                    	int alt6 = 2;
3213
                    	int LA6_0 = input.LA(1);
3214

    
3215
                    	if ( (LA6_0 == '+' || LA6_0 == '-') )
3216
                    	{
3217
                    	    alt6 = 1;
3218
                    	}
3219
                    	switch (alt6) 
3220
                    	{
3221
                    	    case 1 :
3222
                    	        // ooa.g:
3223
                    	        {
3224
                    	        	if ( input.LA(1) == '+' || input.LA(1) == '-' ) 
3225
                    	        	{
3226
                    	        	    input.Consume();
3227
                    	        	state.failed = false;
3228
                    	        	}
3229
                    	        	else 
3230
                    	        	{
3231
                    	        	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3232
                    	        	    MismatchedSetException mse = new MismatchedSetException(null,input);
3233
                    	        	    Recover(mse);
3234
                    	        	    throw mse;}
3235

    
3236

    
3237
                    	        }
3238
                    	        break;
3239

    
3240
                    	}
3241

    
3242
                    	// ooa.g:1162:22: ( T_DIGIT )+
3243
                    	int cnt7 = 0;
3244
                    	do 
3245
                    	{
3246
                    	    int alt7 = 2;
3247
                    	    int LA7_0 = input.LA(1);
3248

    
3249
                    	    if ( ((LA7_0 >= '0' && LA7_0 <= '9')) )
3250
                    	    {
3251
                    	        alt7 = 1;
3252
                    	    }
3253

    
3254

    
3255
                    	    switch (alt7) 
3256
                    		{
3257
                    			case 1 :
3258
                    			    // ooa.g:1162:22: T_DIGIT
3259
                    			    {
3260
                    			    	mT_DIGIT(); if (state.failed) return ;
3261

    
3262
                    			    }
3263
                    			    break;
3264

    
3265
                    			default:
3266
                    			    if ( cnt7 >= 1 ) goto loop7;
3267
                    			    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3268
                    		            EarlyExitException eee7 =
3269
                    		                new EarlyExitException(7, input);
3270
                    		            throw eee7;
3271
                    	    }
3272
                    	    cnt7++;
3273
                    	} while (true);
3274

    
3275
                    	loop7:
3276
                    		;	// Stops C# compiler whining that label 'loop7' has no statements
3277

    
3278
                    	// ooa.g:1163:3: ( ( T_POINT T_POINT )=> | ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )? | )
3279
                    	int alt12 = 3;
3280
                    	int LA12_0 = input.LA(1);
3281

    
3282
                    	if ( (LA12_0 == '.') && (synpred3_ooa()) )
3283
                    	{
3284
                    	    alt12 = 2;
3285
                    	}
3286
                    	else if ( (synpred2_ooa()) )
3287
                    	{
3288
                    	    alt12 = 1;
3289
                    	}
3290
                    	else if ( (true) )
3291
                    	{
3292
                    	    alt12 = 3;
3293
                    	}
3294
                    	else 
3295
                    	{
3296
                    	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3297
                    	    NoViableAltException nvae_d12s0 =
3298
                    	        new NoViableAltException("", 12, 0, input);
3299

    
3300
                    	    throw nvae_d12s0;
3301
                    	}
3302
                    	switch (alt12) 
3303
                    	{
3304
                    	    case 1 :
3305
                    	        // ooa.g:1164:5: ( T_POINT T_POINT )=>
3306
                    	        {
3307
                    	        	if ( (state.backtracking==0) )
3308
                    	        	{
3309
                    	        	  _type=T_INTNUMBER;
3310
                    	        	}
3311

    
3312
                    	        }
3313
                    	        break;
3314
                    	    case 2 :
3315
                    	        // ooa.g:1165:6: ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )?
3316
                    	        {
3317
                    	        	mT_POINT(); if (state.failed) return ;
3318
                    	        	// ooa.g:1165:35: ( T_DIGIT )+
3319
                    	        	int cnt8 = 0;
3320
                    	        	do 
3321
                    	        	{
3322
                    	        	    int alt8 = 2;
3323
                    	        	    int LA8_0 = input.LA(1);
3324

    
3325
                    	        	    if ( ((LA8_0 >= '0' && LA8_0 <= '9')) )
3326
                    	        	    {
3327
                    	        	        alt8 = 1;
3328
                    	        	    }
3329

    
3330

    
3331
                    	        	    switch (alt8) 
3332
                    	        		{
3333
                    	        			case 1 :
3334
                    	        			    // ooa.g:1165:35: T_DIGIT
3335
                    	        			    {
3336
                    	        			    	mT_DIGIT(); if (state.failed) return ;
3337

    
3338
                    	        			    }
3339
                    	        			    break;
3340

    
3341
                    	        			default:
3342
                    	        			    if ( cnt8 >= 1 ) goto loop8;
3343
                    	        			    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3344
                    	        		            EarlyExitException eee8 =
3345
                    	        		                new EarlyExitException(8, input);
3346
                    	        		            throw eee8;
3347
                    	        	    }
3348
                    	        	    cnt8++;
3349
                    	        	} while (true);
3350

    
3351
                    	        	loop8:
3352
                    	        		;	// Stops C# compiler whining that label 'loop8' has no statements
3353

    
3354
                    	        	// ooa.g:1165:44: ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )?
3355
                    	        	int alt11 = 2;
3356
                    	        	int LA11_0 = input.LA(1);
3357

    
3358
                    	        	if ( (LA11_0 == 'E' || LA11_0 == 'e') )
3359
                    	        	{
3360
                    	        	    alt11 = 1;
3361
                    	        	}
3362
                    	        	switch (alt11) 
3363
                    	        	{
3364
                    	        	    case 1 :
3365
                    	        	        // ooa.g:1165:45: ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+
3366
                    	        	        {
3367
                    	        	        	if ( input.LA(1) == 'E' || input.LA(1) == 'e' ) 
3368
                    	        	        	{
3369
                    	        	        	    input.Consume();
3370
                    	        	        	state.failed = false;
3371
                    	        	        	}
3372
                    	        	        	else 
3373
                    	        	        	{
3374
                    	        	        	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3375
                    	        	        	    MismatchedSetException mse = new MismatchedSetException(null,input);
3376
                    	        	        	    Recover(mse);
3377
                    	        	        	    throw mse;}
3378

    
3379
                    	        	        	// ooa.g:1165:55: ( T_MINUS | T_SUM )?
3380
                    	        	        	int alt9 = 2;
3381
                    	        	        	int LA9_0 = input.LA(1);
3382

    
3383
                    	        	        	if ( (LA9_0 == '+' || LA9_0 == '-') )
3384
                    	        	        	{
3385
                    	        	        	    alt9 = 1;
3386
                    	        	        	}
3387
                    	        	        	switch (alt9) 
3388
                    	        	        	{
3389
                    	        	        	    case 1 :
3390
                    	        	        	        // ooa.g:
3391
                    	        	        	        {
3392
                    	        	        	        	if ( input.LA(1) == '+' || input.LA(1) == '-' ) 
3393
                    	        	        	        	{
3394
                    	        	        	        	    input.Consume();
3395
                    	        	        	        	state.failed = false;
3396
                    	        	        	        	}
3397
                    	        	        	        	else 
3398
                    	        	        	        	{
3399
                    	        	        	        	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3400
                    	        	        	        	    MismatchedSetException mse = new MismatchedSetException(null,input);
3401
                    	        	        	        	    Recover(mse);
3402
                    	        	        	        	    throw mse;}
3403

    
3404

    
3405
                    	        	        	        }
3406
                    	        	        	        break;
3407

    
3408
                    	        	        	}
3409

    
3410
                    	        	        	// ooa.g:1165:72: ( T_DIGIT )+
3411
                    	        	        	int cnt10 = 0;
3412
                    	        	        	do 
3413
                    	        	        	{
3414
                    	        	        	    int alt10 = 2;
3415
                    	        	        	    int LA10_0 = input.LA(1);
3416

    
3417
                    	        	        	    if ( ((LA10_0 >= '0' && LA10_0 <= '9')) )
3418
                    	        	        	    {
3419
                    	        	        	        alt10 = 1;
3420
                    	        	        	    }
3421

    
3422

    
3423
                    	        	        	    switch (alt10) 
3424
                    	        	        		{
3425
                    	        	        			case 1 :
3426
                    	        	        			    // ooa.g:1165:72: T_DIGIT
3427
                    	        	        			    {
3428
                    	        	        			    	mT_DIGIT(); if (state.failed) return ;
3429

    
3430
                    	        	        			    }
3431
                    	        	        			    break;
3432

    
3433
                    	        	        			default:
3434
                    	        	        			    if ( cnt10 >= 1 ) goto loop10;
3435
                    	        	        			    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3436
                    	        	        		            EarlyExitException eee10 =
3437
                    	        	        		                new EarlyExitException(10, input);
3438
                    	        	        		            throw eee10;
3439
                    	        	        	    }
3440
                    	        	        	    cnt10++;
3441
                    	        	        	} while (true);
3442

    
3443
                    	        	        	loop10:
3444
                    	        	        		;	// Stops C# compiler whining that label 'loop10' has no statements
3445

    
3446

    
3447
                    	        	        }
3448
                    	        	        break;
3449

    
3450
                    	        	}
3451

    
3452
                    	        	if ( (state.backtracking==0) )
3453
                    	        	{
3454
                    	        	  _type=T_FLOATNUMBER;
3455
                    	        	}
3456

    
3457
                    	        }
3458
                    	        break;
3459
                    	    case 3 :
3460
                    	        // ooa.g:1166:6: 
3461
                    	        {
3462
                    	        	if ( (state.backtracking==0) )
3463
                    	        	{
3464
                    	        	  _type=T_INTNUMBER;
3465
                    	        	}
3466

    
3467
                    	        }
3468
                    	        break;
3469

    
3470
                    	}
3471

    
3472

    
3473
                    }
3474
                    break;
3475
                case 2 :
3476
                    // ooa.g:1168:4: T_POINT ( T_POINT | )
3477
                    {
3478
                    	mT_POINT(); if (state.failed) return ;
3479
                    	// ooa.g:1169:3: ( T_POINT | )
3480
                    	int alt13 = 2;
3481
                    	int LA13_0 = input.LA(1);
3482

    
3483
                    	if ( (LA13_0 == '.') )
3484
                    	{
3485
                    	    alt13 = 1;
3486
                    	}
3487
                    	else 
3488
                    	{
3489
                    	    alt13 = 2;}
3490
                    	switch (alt13) 
3491
                    	{
3492
                    	    case 1 :
3493
                    	        // ooa.g:1170:5: T_POINT
3494
                    	        {
3495
                    	        	mT_POINT(); if (state.failed) return ;
3496
                    	        	if ( (state.backtracking==0) )
3497
                    	        	{
3498
                    	        	  _type=T_RANGETO;
3499
                    	        	}
3500

    
3501
                    	        }
3502
                    	        break;
3503
                    	    case 2 :
3504
                    	        // ooa.g:1171:13: 
3505
                    	        {
3506
                    	        	if ( (state.backtracking==0) )
3507
                    	        	{
3508
                    	        	  _type=T_POINT;
3509
                    	        	}
3510

    
3511
                    	        }
3512
                    	        break;
3513

    
3514
                    	}
3515

    
3516

    
3517
                    }
3518
                    break;
3519
                case 3 :
3520
                    // ooa.g:1173:4: T_MINUS
3521
                    {
3522
                    	mT_MINUS(); if (state.failed) return ;
3523
                    	if ( (state.backtracking==0) )
3524
                    	{
3525
                    	  _type=T_MINUS;
3526
                    	}
3527

    
3528
                    }
3529
                    break;
3530
                case 4 :
3531
                    // ooa.g:1174:4: T_SUM
3532
                    {
3533
                    	mT_SUM(); if (state.failed) return ;
3534
                    	if ( (state.backtracking==0) )
3535
                    	{
3536
                    	  _type=T_SUM;
3537
                    	}
3538

    
3539
                    }
3540
                    break;
3541

    
3542
            }
3543
            state.type = _type;
3544
            state.channel = _channel;
3545
        }
3546
        finally 
3547
    	{
3548
        }
3549
    }
3550
    // $ANTLR end "FLOAT_OR_INT_OR_RANGE"
3551

    
3552
    // $ANTLR start "T_MINUS"
3553
    public void mT_MINUS() // throws RecognitionException [2]
3554
    {
3555
    		try
3556
    		{
3557
            // ooa.g:1179:17: ( '-' )
3558
            // ooa.g:1179:19: '-'
3559
            {
3560
            	Match('-'); if (state.failed) return ;
3561

    
3562
            }
3563

    
3564
        }
3565
        finally 
3566
    	{
3567
        }
3568
    }
3569
    // $ANTLR end "T_MINUS"
3570

    
3571
    // $ANTLR start "T_SUM"
3572
    public void mT_SUM() // throws RecognitionException [2]
3573
    {
3574
    		try
3575
    		{
3576
            // ooa.g:1180:16: ( '+' )
3577
            // ooa.g:1180:18: '+'
3578
            {
3579
            	Match('+'); if (state.failed) return ;
3580

    
3581
            }
3582

    
3583
        }
3584
        finally 
3585
    	{
3586
        }
3587
    }
3588
    // $ANTLR end "T_SUM"
3589

    
3590
    // $ANTLR start "T_POINT"
3591
    public void mT_POINT() // throws RecognitionException [2]
3592
    {
3593
    		try
3594
    		{
3595
            // ooa.g:1181:17: ( '.' )
3596
            // ooa.g:1181:19: '.'
3597
            {
3598
            	Match('.'); if (state.failed) return ;
3599

    
3600
            }
3601

    
3602
        }
3603
        finally 
3604
    	{
3605
        }
3606
    }
3607
    // $ANTLR end "T_POINT"
3608

    
3609
    // $ANTLR start "T_IDENTIFIER"
3610
    public void mT_IDENTIFIER() // throws RecognitionException [2]
3611
    {
3612
    		try
3613
    		{
3614
            int _type = T_IDENTIFIER;
3615
    	int _channel = DEFAULT_TOKEN_CHANNEL;
3616
            // ooa.g:1187:2: ( T_LETTER ( T_LETTER | T_DIGIT )* )
3617
            // ooa.g:1187:4: T_LETTER ( T_LETTER | T_DIGIT )*
3618
            {
3619
            	mT_LETTER(); if (state.failed) return ;
3620
            	// ooa.g:1187:13: ( T_LETTER | T_DIGIT )*
3621
            	do 
3622
            	{
3623
            	    int alt15 = 2;
3624
            	    int LA15_0 = input.LA(1);
3625

    
3626
            	    if ( (LA15_0 == '$' || (LA15_0 >= '0' && LA15_0 <= '9') || (LA15_0 >= 'A' && LA15_0 <= 'Z') || LA15_0 == '_' || (LA15_0 >= 'a' && LA15_0 <= 'z')) )
3627
            	    {
3628
            	        alt15 = 1;
3629
            	    }
3630

    
3631

    
3632
            	    switch (alt15) 
3633
            		{
3634
            			case 1 :
3635
            			    // ooa.g:
3636
            			    {
3637
            			    	if ( input.LA(1) == '$' || (input.LA(1) >= '0' && input.LA(1) <= '9') || (input.LA(1) >= 'A' && input.LA(1) <= 'Z') || input.LA(1) == '_' || (input.LA(1) >= 'a' && input.LA(1) <= 'z') ) 
3638
            			    	{
3639
            			    	    input.Consume();
3640
            			    	state.failed = false;
3641
            			    	}
3642
            			    	else 
3643
            			    	{
3644
            			    	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3645
            			    	    MismatchedSetException mse = new MismatchedSetException(null,input);
3646
            			    	    Recover(mse);
3647
            			    	    throw mse;}
3648

    
3649

    
3650
            			    }
3651
            			    break;
3652

    
3653
            			default:
3654
            			    goto loop15;
3655
            	    }
3656
            	} while (true);
3657

    
3658
            	loop15:
3659
            		;	// Stops C# compiler whining that label 'loop15' has no statements
3660

    
3661

    
3662
            }
3663

    
3664
            state.type = _type;
3665
            state.channel = _channel;
3666
        }
3667
        finally 
3668
    	{
3669
        }
3670
    }
3671
    // $ANTLR end "T_IDENTIFIER"
3672

    
3673
    // $ANTLR start "T_LETTER"
3674
    public void mT_LETTER() // throws RecognitionException [2]
3675
    {
3676
    		try
3677
    		{
3678
            // ooa.g:1195:2: ( '$' | 'A' .. 'Z' | 'a' .. 'z' | '_' )
3679
            // ooa.g:
3680
            {
3681
            	if ( input.LA(1) == '$' || (input.LA(1) >= 'A' && input.LA(1) <= 'Z') || input.LA(1) == '_' || (input.LA(1) >= 'a' && input.LA(1) <= 'z') ) 
3682
            	{
3683
            	    input.Consume();
3684
            	state.failed = false;
3685
            	}
3686
            	else 
3687
            	{
3688
            	    if ( state.backtracking > 0 ) {state.failed = true; return ;}
3689
            	    MismatchedSetException mse = new MismatchedSetException(null,input);
3690
            	    Recover(mse);
3691
            	    throw mse;}
3692

    
3693

    
3694
            }
3695

    
3696
        }
3697
        finally 
3698
    	{
3699
        }
3700
    }
3701
    // $ANTLR end "T_LETTER"
3702

    
3703
    // $ANTLR start "T_DIGIT"
3704
    public void mT_DIGIT() // throws RecognitionException [2]
3705
    {
3706
    		try
3707
    		{
3708
            // ooa.g:1202:8: ( '0' .. '9' )
3709
            // ooa.g:1202:10: '0' .. '9'
3710
            {
3711
            	MatchRange('0','9'); if (state.failed) return ;
3712

    
3713
            }
3714

    
3715
        }
3716
        finally 
3717
    	{
3718
        }
3719
    }
3720
    // $ANTLR end "T_DIGIT"
3721

    
3722
    override public void mTokens() // throws RecognitionException 
3723
    {
3724
        // ooa.g:1:8: ( T__117 | T__118 | T__119 | T__120 | T__121 | T__122 | T__123 | T__124 | T__125 | T__126 | T_WS | T_COMMENT | LINE_COMMENT | T_PRIMED | T_STRINGLITERAL | T_ABORT | T_ACTIONS | T_ASSIGNMENT | T_AUTOCONS | T_BAR | T_BOOL | T_CBRL | T_CBRR | T_COLON | T_COMMA | T_CONT | T_CHAR | T_CTRL | T_SYSTEM | T_DO | T_ELSE | T_END | T_EQUAL | T_EXISTS | T_FLOAT | T_FORALL | T_FALSE | T_IF | T_IN | T_INT | T_KILL | T_LIST | T_LPAREN | T_LSQPAREN | T_MAP | T_MAPS | T_METHODS | T_NEW | T_NIL | T_NONDET | T_OBS | T_OD | T_OF | T_PRIO | T_REQUIRES | T_RPAREN | T_RSQPAREN | T_QUANTITY | T_SELF | T_SET | T_SEMICOLON | T_STATIC | T_SKIP | T_THEN | T_TRUE | T_TO | T_TYPES | T_VAR | T_WITH | T_AND | T_BIIMPLIES | T_IMPLIES | T_NOT | T_NOTEQUAL | T_OR | T_ABS | T_DIV | T_GREATER | T_GREATEREQUAL | T_IDIV | T_LESS | T_LESSEQUAL | T_MOD | T_POW | T_PROD | T_DERIV | T_CARD | T_CONC | T_DCONC | T_DIFF | T_DINTER | T_DUNION | T_ELEMS | T_HEAD | T_INDS | T_INTER | T_LEN | T_SEQMOD_MAPOVERRIDE | T_SUBSET | T_TAIL | T_UNION | T_FOLDLR | T_FOLDRL | T_DOM | T_DOMRESBY | T_DOMRESTO | T_RNG | T_RNGRESBY | T_RNGRESTO | T_MERGE | T_MUNION | T_CONSTS | T_INFTY | FLOAT_OR_INT_OR_RANGE | T_IDENTIFIER )
3725
        int alt16 = 115;
3726
        alt16 = dfa16.Predict(input);
3727
        switch (alt16) 
3728
        {
3729
            case 1 :
3730
                // ooa.g:1:10: T__117
3731
                {
3732
                	mT__117(); if (state.failed) return ;
3733

    
3734
                }
3735
                break;
3736
            case 2 :
3737
                // ooa.g:1:17: T__118
3738
                {
3739
                	mT__118(); if (state.failed) return ;
3740

    
3741
                }
3742
                break;
3743
            case 3 :
3744
                // ooa.g:1:24: T__119
3745
                {
3746
                	mT__119(); if (state.failed) return ;
3747

    
3748
                }
3749
                break;
3750
            case 4 :
3751
                // ooa.g:1:31: T__120
3752
                {
3753
                	mT__120(); if (state.failed) return ;
3754

    
3755
                }
3756
                break;
3757
            case 5 :
3758
                // ooa.g:1:38: T__121
3759
                {
3760
                	mT__121(); if (state.failed) return ;
3761

    
3762
                }
3763
                break;
3764
            case 6 :
3765
                // ooa.g:1:45: T__122
3766
                {
3767
                	mT__122(); if (state.failed) return ;
3768

    
3769
                }
3770
                break;
3771
            case 7 :
3772
                // ooa.g:1:52: T__123
3773
                {
3774
                	mT__123(); if (state.failed) return ;
3775

    
3776
                }
3777
                break;
3778
            case 8 :
3779
                // ooa.g:1:59: T__124
3780
                {
3781
                	mT__124(); if (state.failed) return ;
3782

    
3783
                }
3784
                break;
3785
            case 9 :
3786
                // ooa.g:1:66: T__125
3787
                {
3788
                	mT__125(); if (state.failed) return ;
3789

    
3790
                }
3791
                break;
3792
            case 10 :
3793
                // ooa.g:1:73: T__126
3794
                {
3795
                	mT__126(); if (state.failed) return ;
3796

    
3797
                }
3798
                break;
3799
            case 11 :
3800
                // ooa.g:1:80: T_WS
3801
                {
3802
                	mT_WS(); if (state.failed) return ;
3803

    
3804
                }
3805
                break;
3806
            case 12 :
3807
                // ooa.g:1:85: T_COMMENT
3808
                {
3809
                	mT_COMMENT(); if (state.failed) return ;
3810

    
3811
                }
3812
                break;
3813
            case 13 :
3814
                // ooa.g:1:95: LINE_COMMENT
3815
                {
3816
                	mLINE_COMMENT(); if (state.failed) return ;
3817

    
3818
                }
3819
                break;
3820
            case 14 :
3821
                // ooa.g:1:108: T_PRIMED
3822
                {
3823
                	mT_PRIMED(); if (state.failed) return ;
3824

    
3825
                }
3826
                break;
3827
            case 15 :
3828
                // ooa.g:1:117: T_STRINGLITERAL
3829
                {
3830
                	mT_STRINGLITERAL(); if (state.failed) return ;
3831

    
3832
                }
3833
                break;
3834
            case 16 :
3835
                // ooa.g:1:133: T_ABORT
3836
                {
3837
                	mT_ABORT(); if (state.failed) return ;
3838

    
3839
                }
3840
                break;
3841
            case 17 :
3842
                // ooa.g:1:141: T_ACTIONS
3843
                {
3844
                	mT_ACTIONS(); if (state.failed) return ;
3845

    
3846
                }
3847
                break;
3848
            case 18 :
3849
                // ooa.g:1:151: T_ASSIGNMENT
3850
                {
3851
                	mT_ASSIGNMENT(); if (state.failed) return ;
3852

    
3853
                }
3854
                break;
3855
            case 19 :
3856
                // ooa.g:1:164: T_AUTOCONS
3857
                {
3858
                	mT_AUTOCONS(); if (state.failed) return ;
3859

    
3860
                }
3861
                break;
3862
            case 20 :
3863
                // ooa.g:1:175: T_BAR
3864
                {
3865
                	mT_BAR(); if (state.failed) return ;
3866

    
3867
                }
3868
                break;
3869
            case 21 :
3870
                // ooa.g:1:181: T_BOOL
3871
                {
3872
                	mT_BOOL(); if (state.failed) return ;
3873

    
3874
                }
3875
                break;
3876
            case 22 :
3877
                // ooa.g:1:188: T_CBRL
3878
                {
3879
                	mT_CBRL(); if (state.failed) return ;
3880

    
3881
                }
3882
                break;
3883
            case 23 :
3884
                // ooa.g:1:195: T_CBRR
3885
                {
3886
                	mT_CBRR(); if (state.failed) return ;
3887

    
3888
                }
3889
                break;
3890
            case 24 :
3891
                // ooa.g:1:202: T_COLON
3892
                {
3893
                	mT_COLON(); if (state.failed) return ;
3894

    
3895
                }
3896
                break;
3897
            case 25 :
3898
                // ooa.g:1:210: T_COMMA
3899
                {
3900
                	mT_COMMA(); if (state.failed) return ;
3901

    
3902
                }
3903
                break;
3904
            case 26 :
3905
                // ooa.g:1:218: T_CONT
3906
                {
3907
                	mT_CONT(); if (state.failed) return ;
3908

    
3909
                }
3910
                break;
3911
            case 27 :
3912
                // ooa.g:1:225: T_CHAR
3913
                {
3914
                	mT_CHAR(); if (state.failed) return ;
3915

    
3916
                }
3917
                break;
3918
            case 28 :
3919
                // ooa.g:1:232: T_CTRL
3920
                {
3921
                	mT_CTRL(); if (state.failed) return ;
3922

    
3923
                }
3924
                break;
3925
            case 29 :
3926
                // ooa.g:1:239: T_SYSTEM
3927
                {
3928
                	mT_SYSTEM(); if (state.failed) return ;
3929

    
3930
                }
3931
                break;
3932
            case 30 :
3933
                // ooa.g:1:248: T_DO
3934
                {
3935
                	mT_DO(); if (state.failed) return ;
3936

    
3937
                }
3938
                break;
3939
            case 31 :
3940
                // ooa.g:1:253: T_ELSE
3941
                {
3942
                	mT_ELSE(); if (state.failed) return ;
3943

    
3944
                }
3945
                break;
3946
            case 32 :
3947
                // ooa.g:1:260: T_END
3948
                {
3949
                	mT_END(); if (state.failed) return ;
3950

    
3951
                }
3952
                break;
3953
            case 33 :
3954
                // ooa.g:1:266: T_EQUAL
3955
                {
3956
                	mT_EQUAL(); if (state.failed) return ;
3957

    
3958
                }
3959
                break;
3960
            case 34 :
3961
                // ooa.g:1:274: T_EXISTS
3962
                {
3963
                	mT_EXISTS(); if (state.failed) return ;
3964

    
3965
                }
3966
                break;
3967
            case 35 :
3968
                // ooa.g:1:283: T_FLOAT
3969
                {
3970
                	mT_FLOAT(); if (state.failed) return ;
3971

    
3972
                }
3973
                break;
3974
            case 36 :
3975
                // ooa.g:1:291: T_FORALL
3976
                {
3977
                	mT_FORALL(); if (state.failed) return ;
3978

    
3979
                }
3980
                break;
3981
            case 37 :
3982
                // ooa.g:1:300: T_FALSE
3983
                {
3984
                	mT_FALSE(); if (state.failed) return ;
3985

    
3986
                }
3987
                break;
3988
            case 38 :
3989
                // ooa.g:1:308: T_IF
3990
                {
3991
                	mT_IF(); if (state.failed) return ;
3992

    
3993
                }
3994
                break;
3995
            case 39 :
3996
                // ooa.g:1:313: T_IN
3997
                {
3998
                	mT_IN(); if (state.failed) return ;
3999

    
4000
                }
4001
                break;
4002
            case 40 :
4003
                // ooa.g:1:318: T_INT
4004
                {
4005
                	mT_INT(); if (state.failed) return ;
4006

    
4007
                }
4008
                break;
4009
            case 41 :
4010
                // ooa.g:1:324: T_KILL
4011
                {
4012
                	mT_KILL(); if (state.failed) return ;
4013

    
4014
                }
4015
                break;
4016
            case 42 :
4017
                // ooa.g:1:331: T_LIST
4018
                {
4019
                	mT_LIST(); if (state.failed) return ;
4020

    
4021
                }
4022
                break;
4023
            case 43 :
4024
                // ooa.g:1:338: T_LPAREN
4025
                {
4026
                	mT_LPAREN(); if (state.failed) return ;
4027

    
4028
                }
4029
                break;
4030
            case 44 :
4031
                // ooa.g:1:347: T_LSQPAREN
4032
                {
4033
                	mT_LSQPAREN(); if (state.failed) return ;
4034

    
4035
                }
4036
                break;
4037
            case 45 :
4038
                // ooa.g:1:358: T_MAP
4039
                {
4040
                	mT_MAP(); if (state.failed) return ;
4041

    
4042
                }
4043
                break;
4044
            case 46 :
4045
                // ooa.g:1:364: T_MAPS
4046
                {
4047
                	mT_MAPS(); if (state.failed) return ;
4048

    
4049
                }
4050
                break;
4051
            case 47 :
4052
                // ooa.g:1:371: T_METHODS
4053
                {
4054
                	mT_METHODS(); if (state.failed) return ;
4055

    
4056
                }
4057
                break;
4058
            case 48 :
4059
                // ooa.g:1:381: T_NEW
4060
                {
4061
                	mT_NEW(); if (state.failed) return ;
4062

    
4063
                }
4064
                break;
4065
            case 49 :
4066
                // ooa.g:1:387: T_NIL
4067
                {
4068
                	mT_NIL(); if (state.failed) return ;
4069

    
4070
                }
4071
                break;
4072
            case 50 :
4073
                // ooa.g:1:393: T_NONDET
4074
                {
4075
                	mT_NONDET(); if (state.failed) return ;
4076

    
4077
                }
4078
                break;
4079
            case 51 :
4080
                // ooa.g:1:402: T_OBS
4081
                {
4082
                	mT_OBS(); if (state.failed) return ;
4083

    
4084
                }
4085
                break;
4086
            case 52 :
4087
                // ooa.g:1:408: T_OD
4088
                {
4089
                	mT_OD(); if (state.failed) return ;
4090

    
4091
                }
4092
                break;
4093
            case 53 :
4094
                // ooa.g:1:413: T_OF
4095
                {
4096
                	mT_OF(); if (state.failed) return ;
4097

    
4098
                }
4099
                break;
4100
            case 54 :
4101
                // ooa.g:1:418: T_PRIO
4102
                {
4103
                	mT_PRIO(); if (state.failed) return ;
4104

    
4105
                }
4106
                break;
4107
            case 55 :
4108
                // ooa.g:1:425: T_REQUIRES
4109
                {
4110
                	mT_REQUIRES(); if (state.failed) return ;
4111

    
4112
                }
4113
                break;
4114
            case 56 :
4115
                // ooa.g:1:436: T_RPAREN
4116
                {
4117
                	mT_RPAREN(); if (state.failed) return ;
4118

    
4119
                }
4120
                break;
4121
            case 57 :
4122
                // ooa.g:1:445: T_RSQPAREN
4123
                {
4124
                	mT_RSQPAREN(); if (state.failed) return ;
4125

    
4126
                }
4127
                break;
4128
            case 58 :
4129
                // ooa.g:1:456: T_QUANTITY
4130
                {
4131
                	mT_QUANTITY(); if (state.failed) return ;
4132

    
4133
                }
4134
                break;
4135
            case 59 :
4136
                // ooa.g:1:467: T_SELF
4137
                {
4138
                	mT_SELF(); if (state.failed) return ;
4139

    
4140
                }
4141
                break;
4142
            case 60 :
4143
                // ooa.g:1:474: T_SET
4144
                {
4145
                	mT_SET(); if (state.failed) return ;
4146

    
4147
                }
4148
                break;
4149
            case 61 :
4150
                // ooa.g:1:480: T_SEMICOLON
4151
                {
4152
                	mT_SEMICOLON(); if (state.failed) return ;
4153

    
4154
                }
4155
                break;
4156
            case 62 :
4157
                // ooa.g:1:492: T_STATIC
4158
                {
4159
                	mT_STATIC(); if (state.failed) return ;
4160

    
4161
                }
4162
                break;
4163
            case 63 :
4164
                // ooa.g:1:501: T_SKIP
4165
                {
4166
                	mT_SKIP(); if (state.failed) return ;
4167

    
4168
                }
4169
                break;
4170
            case 64 :
4171
                // ooa.g:1:508: T_THEN
4172
                {
4173
                	mT_THEN(); if (state.failed) return ;
4174

    
4175
                }
4176
                break;
4177
            case 65 :
4178
                // ooa.g:1:515: T_TRUE
4179
                {
4180
                	mT_TRUE(); if (state.failed) return ;
4181

    
4182
                }
4183
                break;
4184
            case 66 :
4185
                // ooa.g:1:522: T_TO
4186
                {
4187
                	mT_TO(); if (state.failed) return ;
4188

    
4189
                }
4190
                break;
4191
            case 67 :
4192
                // ooa.g:1:527: T_TYPES
4193
                {
4194
                	mT_TYPES(); if (state.failed) return ;
4195

    
4196
                }
4197
                break;
4198
            case 68 :
4199
                // ooa.g:1:535: T_VAR
4200
                {
4201
                	mT_VAR(); if (state.failed) return ;
4202

    
4203
                }
4204
                break;
4205
            case 69 :
4206
                // ooa.g:1:541: T_WITH
4207
                {
4208
                	mT_WITH(); if (state.failed) return ;
4209

    
4210
                }
4211
                break;
4212
            case 70 :
4213
                // ooa.g:1:548: T_AND
4214
                {
4215
                	mT_AND(); if (state.failed) return ;
4216

    
4217
                }
4218
                break;
4219
            case 71 :
4220
                // ooa.g:1:554: T_BIIMPLIES
4221
                {
4222
                	mT_BIIMPLIES(); if (state.failed) return ;
4223

    
4224
                }
4225
                break;
4226
            case 72 :
4227
                // ooa.g:1:566: T_IMPLIES
4228
                {
4229
                	mT_IMPLIES(); if (state.failed) return ;
4230

    
4231
                }
4232
                break;
4233
            case 73 :
4234
                // ooa.g:1:576: T_NOT
4235
                {
4236
                	mT_NOT(); if (state.failed) return ;
4237

    
4238
                }
4239
                break;
4240
            case 74 :
4241
                // ooa.g:1:582: T_NOTEQUAL
4242
                {
4243
                	mT_NOTEQUAL(); if (state.failed) return ;
4244

    
4245
                }
4246
                break;
4247
            case 75 :
4248
                // ooa.g:1:593: T_OR
4249
                {
4250
                	mT_OR(); if (state.failed) return ;
4251

    
4252
                }
4253
                break;
4254
            case 76 :
4255
                // ooa.g:1:598: T_ABS
4256
                {
4257
                	mT_ABS(); if (state.failed) return ;
4258

    
4259
                }
4260
                break;
4261
            case 77 :
4262
                // ooa.g:1:604: T_DIV
4263
                {
4264
                	mT_DIV(); if (state.failed) return ;
4265

    
4266
                }
4267
                break;
4268
            case 78 :
4269
                // ooa.g:1:610: T_GREATER
4270
                {
4271
                	mT_GREATER(); if (state.failed) return ;
4272

    
4273
                }
4274
                break;
4275
            case 79 :
4276
                // ooa.g:1:620: T_GREATEREQUAL
4277
                {
4278
                	mT_GREATEREQUAL(); if (state.failed) return ;
4279

    
4280
                }
4281
                break;
4282
            case 80 :
4283
                // ooa.g:1:635: T_IDIV
4284
                {
4285
                	mT_IDIV(); if (state.failed) return ;
4286

    
4287
                }
4288
                break;
4289
            case 81 :
4290
                // ooa.g:1:642: T_LESS
4291
                {
4292
                	mT_LESS(); if (state.failed) return ;
4293

    
4294
                }
4295
                break;
4296
            case 82 :
4297
                // ooa.g:1:649: T_LESSEQUAL
4298
                {
4299
                	mT_LESSEQUAL(); if (state.failed) return ;
4300

    
4301
                }
4302
                break;
4303
            case 83 :
4304
                // ooa.g:1:661: T_MOD
4305
                {
4306
                	mT_MOD(); if (state.failed) return ;
4307

    
4308
                }
4309
                break;
4310
            case 84 :
4311
                // ooa.g:1:667: T_POW
4312
                {
4313
                	mT_POW(); if (state.failed) return ;
4314

    
4315
                }
4316
                break;
4317
            case 85 :
4318
                // ooa.g:1:673: T_PROD
4319
                {
4320
                	mT_PROD(); if (state.failed) return ;
4321

    
4322
                }
4323
                break;
4324
            case 86 :
4325
                // ooa.g:1:680: T_DERIV
4326
                {
4327
                	mT_DERIV(); if (state.failed) return ;
4328

    
4329
                }
4330
                break;
4331
            case 87 :
4332
                // ooa.g:1:688: T_CARD
4333
                {
4334
                	mT_CARD(); if (state.failed) return ;
4335

    
4336
                }
4337
                break;
4338
            case 88 :
4339
                // ooa.g:1:695: T_CONC
4340
                {
4341
                	mT_CONC(); if (state.failed) return ;
4342

    
4343
                }
4344
                break;
4345
            case 89 :
4346
                // ooa.g:1:702: T_DCONC
4347
                {
4348
                	mT_DCONC(); if (state.failed) return ;
4349

    
4350
                }
4351
                break;
4352
            case 90 :
4353
                // ooa.g:1:710: T_DIFF
4354
                {
4355
                	mT_DIFF(); if (state.failed) return ;
4356

    
4357
                }
4358
                break;
4359
            case 91 :
4360
                // ooa.g:1:717: T_DINTER
4361
                {
4362
                	mT_DINTER(); if (state.failed) return ;
4363

    
4364
                }
4365
                break;
4366
            case 92 :
4367
                // ooa.g:1:726: T_DUNION
4368
                {
4369
                	mT_DUNION(); if (state.failed) return ;
4370

    
4371
                }
4372
                break;
4373
            case 93 :
4374
                // ooa.g:1:735: T_ELEMS
4375
                {
4376
                	mT_ELEMS(); if (state.failed) return ;
4377

    
4378
                }
4379
                break;
4380
            case 94 :
4381
                // ooa.g:1:743: T_HEAD
4382
                {
4383
                	mT_HEAD(); if (state.failed) return ;
4384

    
4385
                }
4386
                break;
4387
            case 95 :
4388
                // ooa.g:1:750: T_INDS
4389
                {
4390
                	mT_INDS(); if (state.failed) return ;
4391

    
4392
                }
4393
                break;
4394
            case 96 :
4395
                // ooa.g:1:757: T_INTER
4396
                {
4397
                	mT_INTER(); if (state.failed) return ;
4398

    
4399
                }
4400
                break;
4401
            case 97 :
4402
                // ooa.g:1:765: T_LEN
4403
                {
4404
                	mT_LEN(); if (state.failed) return ;
4405

    
4406
                }
4407
                break;
4408
            case 98 :
4409
                // ooa.g:1:771: T_SEQMOD_MAPOVERRIDE
4410
                {
4411
                	mT_SEQMOD_MAPOVERRIDE(); if (state.failed) return ;
4412

    
4413
                }
4414
                break;
4415
            case 99 :
4416
                // ooa.g:1:792: T_SUBSET
4417
                {
4418
                	mT_SUBSET(); if (state.failed) return ;
4419

    
4420
                }
4421
                break;
4422
            case 100 :
4423
                // ooa.g:1:801: T_TAIL
4424
                {
4425
                	mT_TAIL(); if (state.failed) return ;
4426

    
4427
                }
4428
                break;
4429
            case 101 :
4430
                // ooa.g:1:808: T_UNION
4431
                {
4432
                	mT_UNION(); if (state.failed) return ;
4433

    
4434
                }
4435
                break;
4436
            case 102 :
4437
                // ooa.g:1:816: T_FOLDLR
4438
                {
4439
                	mT_FOLDLR(); if (state.failed) return ;
4440

    
4441
                }
4442
                break;
4443
            case 103 :
4444
                // ooa.g:1:825: T_FOLDRL
4445
                {
4446
                	mT_FOLDRL(); if (state.failed) return ;
4447

    
4448
                }
4449
                break;
4450
            case 104 :
4451
                // ooa.g:1:834: T_DOM
4452
                {
4453
                	mT_DOM(); if (state.failed) return ;
4454

    
4455
                }
4456
                break;
4457
            case 105 :
4458
                // ooa.g:1:840: T_DOMRESBY
4459
                {
4460
                	mT_DOMRESBY(); if (state.failed) return ;
4461

    
4462
                }
4463
                break;
4464
            case 106 :
4465
                // ooa.g:1:851: T_DOMRESTO
4466
                {
4467
                	mT_DOMRESTO(); if (state.failed) return ;
4468

    
4469
                }
4470
                break;
4471
            case 107 :
4472
                // ooa.g:1:862: T_RNG
4473
                {
4474
                	mT_RNG(); if (state.failed) return ;
4475

    
4476
                }
4477
                break;
4478
            case 108 :
4479
                // ooa.g:1:868: T_RNGRESBY
4480
                {
4481
                	mT_RNGRESBY(); if (state.failed) return ;
4482

    
4483
                }
4484
                break;
4485
            case 109 :
4486
                // ooa.g:1:879: T_RNGRESTO
4487
                {
4488
                	mT_RNGRESTO(); if (state.failed) return ;
4489

    
4490
                }
4491
                break;
4492
            case 110 :
4493
                // ooa.g:1:890: T_MERGE
4494
                {
4495
                	mT_MERGE(); if (state.failed) return ;
4496

    
4497
                }
4498
                break;
4499
            case 111 :
4500
                // ooa.g:1:898: T_MUNION
4501
                {
4502
                	mT_MUNION(); if (state.failed) return ;
4503

    
4504
                }
4505
                break;
4506
            case 112 :
4507
                // ooa.g:1:907: T_CONSTS
4508
                {
4509
                	mT_CONSTS(); if (state.failed) return ;
4510

    
4511
                }
4512
                break;
4513
            case 113 :
4514
                // ooa.g:1:916: T_INFTY
4515
                {
4516
                	mT_INFTY(); if (state.failed) return ;
4517

    
4518
                }
4519
                break;
4520
            case 114 :
4521
                // ooa.g:1:924: FLOAT_OR_INT_OR_RANGE
4522
                {
4523
                	mFLOAT_OR_INT_OR_RANGE(); if (state.failed) return ;
4524

    
4525
                }
4526
                break;
4527
            case 115 :
4528
                // ooa.g:1:946: T_IDENTIFIER
4529
                {
4530
                	mT_IDENTIFIER(); if (state.failed) return ;
4531

    
4532
                }
4533
                break;
4534

    
4535
        }
4536

    
4537
    }
4538

    
4539
    // $ANTLR start "synpred1_ooa"
4540
    public void synpred1_ooa_fragment() {
4541
        // ooa.g:1009:9: ( '\"' '\"' )
4542
        // ooa.g:1009:11: '\"' '\"'
4543
        {
4544
        	Match('\"'); if (state.failed) return ;
4545
        	Match('\"'); if (state.failed) return ;
4546

    
4547
        }
4548
    }
4549
    // $ANTLR end "synpred1_ooa"
4550

    
4551
    // $ANTLR start "synpred2_ooa"
4552
    public void synpred2_ooa_fragment() {
4553
        // ooa.g:1164:5: ( T_POINT T_POINT )
4554
        // ooa.g:1164:6: T_POINT T_POINT
4555
        {
4556
        	mT_POINT(); if (state.failed) return ;
4557
        	mT_POINT(); if (state.failed) return ;
4558

    
4559
        }
4560
    }
4561
    // $ANTLR end "synpred2_ooa"
4562

    
4563
    // $ANTLR start "synpred3_ooa"
4564
    public void synpred3_ooa_fragment() {
4565
        // ooa.g:1165:6: ( T_POINT T_DIGIT )
4566
        // ooa.g:1165:7: T_POINT T_DIGIT
4567
        {
4568
        	mT_POINT(); if (state.failed) return ;
4569
        	mT_DIGIT(); if (state.failed) return ;
4570

    
4571
        }
4572
    }
4573
    // $ANTLR end "synpred3_ooa"
4574

    
4575
   	public bool synpred2_ooa() 
4576
   	{
4577
   	    state.backtracking++;
4578
   	    int start = input.Mark();
4579
   	    try 
4580
   	    {
4581
   	        synpred2_ooa_fragment(); // can never throw exception
4582
   	    }
4583
   	    catch (RecognitionException re) 
4584
   	    {
4585
   	        Console.Error.WriteLine("impossible: "+re);
4586
   	    }
4587
   	    bool success = !state.failed;
4588
   	    input.Rewind(start);
4589
   	    state.backtracking--;
4590
   	    state.failed = false;
4591
   	    return success;
4592
   	}
4593
   	public bool synpred1_ooa() 
4594
   	{
4595
   	    state.backtracking++;
4596
   	    int start = input.Mark();
4597
   	    try 
4598
   	    {
4599
   	        synpred1_ooa_fragment(); // can never throw exception
4600
   	    }
4601
   	    catch (RecognitionException re) 
4602
   	    {
4603
   	        Console.Error.WriteLine("impossible: "+re);
4604
   	    }
4605
   	    bool success = !state.failed;
4606
   	    input.Rewind(start);
4607
   	    state.backtracking--;
4608
   	    state.failed = false;
4609
   	    return success;
4610
   	}
4611
   	public bool synpred3_ooa() 
4612
   	{
4613
   	    state.backtracking++;
4614
   	    int start = input.Mark();
4615
   	    try 
4616
   	    {
4617
   	        synpred3_ooa_fragment(); // can never throw exception
4618
   	    }
4619
   	    catch (RecognitionException re) 
4620
   	    {
4621
   	        Console.Error.WriteLine("impossible: "+re);
4622
   	    }
4623
   	    bool success = !state.failed;
4624
   	    input.Rewind(start);
4625
   	    state.backtracking--;
4626
   	    state.failed = false;
4627
   	    return success;
4628
   	}
4629

    
4630

    
4631
    protected DFA16 dfa16;
4632
	private void InitializeCyclicDFAs()
4633
	{
4634
	    this.dfa16 = new DFA16(this);
4635
	}
4636

    
4637
    const string DFA16_eotS =
4638
        "\x01\uffff\x01\x30\x01\x32\x01\x2e\x01\uffff\x05\x2e\x01\x4e\x01"+
4639
        "\uffff\x01\x51\x06\uffff\x02\x2e\x01\x5a\x03\x2e\x01\uffff\x01\x62"+
4640
        "\x01\x2e\x01\x2d\x03\x2e\x02\uffff\x03\x2e\x01\x7d\x01\x7f\x01\u0081"+
4641
        "\x02\uffff\x01\x2e\x01\x2d\x01\x2e\x06\uffff\x02\x2e\x01\u0087\x0c"+
4642
        "\x2e\x01\u009b\x01\u009c\x01\x2e\x01\u009f\x01\x2e\x01\u00a2\x01"+
4643
        "\x2e\x02\uffff\x01\u00a5\x06\uffff\x07\x2e\x02\uffff\x06\x2e\x02"+
4644
        "\uffff\x04\x2e\x02\uffff\x04\x2e\x01\u00bd\x01\u00be\x01\u00bf\x04"+
4645
        "\x2e\x01\u00c4\x01\x2e\x01\u00c6\x02\x2e\x01\u00ca\x08\uffff\x01"+
4646
        "\u00cb\x01\uffff\x03\x2e\x01\uffff\x01\x2e\x01\u00d0\x02\x2e\x01"+
4647
        "\u00d3\x07\x2e\x01\u00db\x02\x2e\x01\u00de\x01\u00e0\x01\x2e\x01"+
4648
        "\x68\x02\uffff\x01\u00e2\x01\u00e3\x01\uffff\x01\u00e4\x01\x2e\x01"+
4649
        "\uffff\x01\x2e\x02\uffff\x01\x2e\x01\u00e8\x04\x2e\x01\u00ee\x06"+
4650
        "\x2e\x01\u00f5\x01\u00f6\x02\x2e\x01\u00f9\x01\x2e\x01\u00fb\x01"+
4651
        "\u00fc\x01\u00fd\x01\u00fe\x03\uffff\x01\x2e\x01\u0100\x02\x2e\x01"+
4652
        "\uffff\x01\x2e\x01\uffff\x01\u0104\x01\x2e\x03\uffff\x02\x2e\x01"+
4653
        "\u0108\x01\x2e\x01\uffff\x02\x2e\x01\uffff\x01\u010c\x01\u010d\x04"+
4654
        "\x2e\x01\u0112\x01\uffff\x01\u0113\x01\x2e\x01\uffff\x01\x2e\x01"+
4655
        "\uffff\x01\u0116\x03\uffff\x02\x2e\x01\u0119\x01\uffff\x01\u011a"+
4656
        "\x01\u011b\x01\x2e\x01\u011d\x01\x2e\x01\uffff\x04\x2e\x01\u0123"+
4657
        "\x01\u0124\x02\uffff\x02\x2e\x01\uffff\x01\x2e\x04\uffff\x01\x2e"+
4658
        "\x01\uffff\x01\u0129\x01\u012a\x01\x2e\x01\uffff\x01\u012c\x01\x2e"+
4659
        "\x01\u012e\x01\uffff\x01\u012f\x02\x2e\x02\uffff\x04\x2e\x02\uffff"+
4660
        "\x01\x2e\x01\u0137\x01\uffff\x02\x2e\x03\uffff\x01\x2e\x01\uffff"+
4661
        "\x01\u013b\x01\x2e\x01\u013d\x01\x2e\x01\u013f\x02\uffff\x01\x2e"+
4662
        "\x01\u0141\x02\x2e\x02\uffff\x01\u0144\x01\uffff\x01\u0145\x02\uffff"+
4663
        "\x02\x2e\x01\u0148\x01\u0149\x01\u014a\x01\u014b\x01\u014c\x01\uffff"+
4664
        "\x01\u014d\x01\u014e\x01\u014f\x01\uffff\x01\u0150\x01\uffff\x01"+
4665
        "\u0151\x01\uffff\x01\x2e\x01\uffff\x01\u0153\x01\x2e\x02\uffff\x01"+
4666
        "\u0155\x01\x2e\x0a\uffff\x01\u0157\x01\uffff\x01\x2e\x01\uffff\x01"+
4667
        "\u0159\x01\uffff\x01\u015a\x02\uffff";
4668
    const string DFA16_eofS =
4669
        "\u015b\uffff";
4670
    const string DFA16_minS =
4671
        "\x01\x09\x01\x5b\x01\x7c\x01\x65\x01\uffff\x01\x62\x01\x73\x01"+
4672
        "\x65\x01\x66\x01\x65\x01\x2d\x01\uffff\x01\x2a\x06\uffff\x01\x61"+
4673
        "\x01\x6c\x01\x3e\x01\x61\x01\x69\x01\x65\x01\uffff\x01\x5d\x01\x61"+
4674
        "\x01\x3e\x01\x65\x01\x62\x01\x65\x02\uffff\x01\x68\x01\x61\x01\x69"+
4675
        "\x01\x2d\x01\x3d\x01\x2a\x02\uffff\x01\x64\x01\x2b\x01\x6e\x06\uffff"+
4676
        "\x01\x67\x01\x6f\x01\x24\x01\x6f\x02\x74\x01\x64\x02\x61\x01\x70"+
4677
        "\x01\x61\x01\x73\x01\x6c\x01\x69\x01\x62\x02\x24\x01\x63\x01\x24"+
4678
        "\x01\x6e\x01\x24\x01\x6e\x02\uffff\x01\x3a\x06\uffff\x01\x61\x02"+
4679
        "\x72\x01\x6e\x01\x65\x01\x64\x01\x69\x02\uffff\x01\x6f\x01\x72\x02"+
4680
        "\x6c\x01\x73\x01\x6e\x02\uffff\x01\x70\x01\x72\x01\x64\x01\x6e\x02"+
4681
        "\uffff\x01\x77\x01\x6c\x01\x74\x01\x73\x03\x24\x01\x71\x01\x67\x01"+
4682
        "\x65\x01\x75\x01\x24\x01\x70\x01\x24\x01\x72\x01\x74\x01\x3e\x08"+
4683
        "\uffff\x01\x24\x01\uffff\x02\x69\x01\x6c\x01\uffff\x01\x72\x01\x24"+
4684
        "\x01\x69\x01\x6f\x01\x24\x02\x6c\x02\x61\x02\x74\x01\x66\x01\x24"+
4685
        "\x01\x70\x01\x73\x02\x24\x01\x73\x01\x24\x02\uffff\x02\x24\x01\uffff"+
4686
        "\x01\x24\x01\x74\x01\uffff\x01\x69\x02\uffff\x01\x72\x01\x24\x01"+
4687
        "\x64\x01\x63\x01\x65\x01\x6d\x01\x24\x01\x73\x02\x61\x01\x73\x01"+
4688
        "\x6c\x01\x74\x02\x24\x01\x68\x01\x67\x01\x24\x01\x69\x04\x24\x03"+
4689
        "\uffff\x01\x75\x01\x24\x01\x6e\x01\x65\x01\uffff\x01\x65\x01\uffff"+
4690
        "\x01\x24\x01\x68\x03\uffff\x01\x6f\x01\x6e\x01\x24\x01\x74\x01\uffff"+
4691
        "\x01\x6f\x01\x63\x01\uffff\x02\x24\x01\x63\x01\x64\x01\x69\x01\x65"+
4692
        "\x01\x24\x01\uffff\x01\x24\x01\x65\x01\uffff\x01\x72\x01\uffff\x01"+
4693
        "\x24\x03\uffff\x01\x65\x01\x6f\x01\x24\x01\uffff\x02\x24\x01\x74"+
4694
        "\x01\x24\x01\x73\x01\uffff\x02\x74\x01\x6c\x01\x65\x02\x24\x02\uffff"+
4695
        "\x01\x6f\x01\x65\x01\uffff\x01\x6f\x04\uffff\x01\x69\x01\uffff\x02"+
4696
        "\x24\x01\x73\x01\uffff\x01\x24\x01\x6e\x01\x24\x01\uffff\x01\x24"+
4697
        "\x01\x6e\x01\x6f\x02\uffff\x01\x65\x01\x79\x01\x63\x01\x6d\x02\uffff"+
4698
        "\x01\x74\x01\x24\x01\uffff\x01\x72\x01\x6e\x03\uffff\x01\x73\x01"+
4699
        "\uffff\x01\x24\x01\x73\x01\x24\x01\x6c\x01\x24\x02\uffff\x01\x64"+
4700
        "\x01\x24\x01\x6e\x01\x72\x02\uffff\x01\x24\x01\uffff\x01\x24\x02"+
4701
        "\uffff\x01\x73\x01\x6e\x05\x24\x01\uffff\x03\x24\x01\uffff\x01\x24"+
4702
        "\x01\uffff\x01\x24\x01\uffff\x01\x73\x01\uffff\x01\x24\x01\x65\x02"+
4703
        "\uffff\x01\x24\x01\x73\x0a\uffff\x01\x24\x01\uffff\x01\x73\x01\uffff"+
4704
        "\x01\x24\x01\uffff\x01\x24\x02\uffff";
4705
    const string DFA16_maxS =
4706
        "\x01\x7d\x01\x5b\x01\x7c\x01\x6f\x01\uffff\x01\x75\x01\x76\x01"+
4707
        "\x79\x01\x6e\x01\x75\x01\x3e\x01\uffff\x01\x2f\x06\uffff\x01\x74"+
4708
        "\x01\x78\x01\x3e\x01\x6f\x02\x69\x01\uffff\x01\x5d\x01\x75\x01\x69"+
4709
        "\x01\x6f\x01\x72\x01\x6e\x02\uffff\x01\x79\x01\x61\x01\x69\x01\x3e"+
4710
        "\x01\x3d\x01\x2a\x02\uffff\x01\x64\x01\x69\x01\x6e\x06\uffff\x01"+
4711
        "\x67\x01\x6f\x01\x7a\x01\x73\x02\x74\x01\x64\x02\x61\x01\x70\x01"+
4712
        "\x65\x01\x73\x01\x74\x01\x69\x01\x62\x02\x7a\x01\x63\x01\x7a\x01"+
4713
        "\x76\x01\x7a\x01\x6e\x02\uffff\x01\x3a\x06\uffff\x01\x61\x02\x72"+
4714
        "\x01\x6e\x01\x73\x01\x64\x01\x69\x02\uffff\x01\x6f\x01\x72\x02\x6c"+
4715
        "\x01\x73\x01\x6e\x02\uffff\x01\x70\x01\x74\x01\x64\x01\x6e\x02\uffff"+
4716
        "\x01\x77\x01\x6c\x01\x74\x01\x73\x03\x7a\x01\x71\x01\x67\x01\x65"+
4717
        "\x01\x75\x01\x7a\x01\x70\x01\x7a\x01\x72\x01\x74\x01\x3e\x08\uffff"+
4718
        "\x01\x7a\x01\uffff\x02\x69\x01\x6c\x01\uffff\x01\x72\x01\x7a\x01"+
4719
        "\x69\x01\x6f\x01\x7a\x02\x6c\x02\x61\x02\x74\x01\x66\x01\x7a\x01"+
4720
        "\x70\x01\x73\x02\x7a\x01\x73\x01\x7a\x02\uffff\x02\x7a\x01\uffff"+
4721
        "\x01\x7a\x01\x74\x01\uffff\x01\x69\x02\uffff\x01\x72\x01\x7a\x01"+
4722
        "\x64\x01\x73\x01\x65\x01\x6d\x01\x7a\x01\x73\x02\x61\x01\x73\x01"+
4723
        "\x6c\x01\x74\x02\x7a\x01\x68\x01\x67\x01\x7a\x01\x69\x04\x7a\x03"+
4724
        "\uffff\x01\x75\x01\x7a\x01\x6e\x01\x65\x01\uffff\x01\x65\x01\uffff"+
4725
        "\x01\x7a\x01\x68\x03\uffff\x01\x6f\x01\x6e\x01\x7a\x01\x74\x01\uffff"+
4726
        "\x01\x6f\x01\x63\x01\uffff\x02\x7a\x01\x63\x01\x64\x01\x69\x01\x65"+
4727
        "\x01\x7a\x01\uffff\x01\x7a\x01\x65\x01\uffff\x01\x72\x01\uffff\x01"+
4728
        "\x7a\x03\uffff\x01\x65\x01\x6f\x01\x7a\x01\uffff\x02\x7a\x01\x74"+
4729
        "\x01\x7a\x01\x73\x01\uffff\x02\x74\x01\x6c\x01\x65\x02\x7a\x02\uffff"+
4730
        "\x01\x6f\x01\x65\x01\uffff\x01\x6f\x04\uffff\x01\x69\x01\uffff\x02"+
4731
        "\x7a\x01\x73\x01\uffff\x01\x7a\x01\x6e\x01\x7a\x01\uffff\x01\x7a"+
4732
        "\x01\x6e\x01\x6f\x02\uffff\x01\x65\x01\x79\x01\x63\x01\x6d\x02\uffff"+
4733
        "\x01\x74\x01\x7a\x01\uffff\x01\x72\x01\x6e\x03\uffff\x01\x73\x01"+
4734
        "\uffff\x01\x7a\x01\x73\x01\x7a\x01\x6c\x01\x7a\x02\uffff\x01\x64"+
4735
        "\x01\x7a\x01\x6e\x01\x72\x02\uffff\x01\x7a\x01\uffff\x01\x7a\x02"+
4736
        "\uffff\x01\x73\x01\x6e\x05\x7a\x01\uffff\x03\x7a\x01\uffff\x01\x7a"+
4737
        "\x01\uffff\x01\x7a\x01\uffff\x01\x73\x01\uffff\x01\x7a\x01\x65\x02"+
4738
        "\uffff\x01\x7a\x01\x73\x0a\uffff\x01\x7a\x01\uffff\x01\x73\x01\uffff"+
4739
        "\x01\x7a\x01\uffff\x01\x7a\x02\uffff";
4740
    const string DFA16_acceptS =
4741
        "\x04\uffff\x01\x04\x06\uffff\x01\x0b\x01\uffff\x01\x0d\x01\x0e"+
4742
        "\x01\x0f\x01\x16\x01\x17\x01\x19\x06\uffff\x01\x2b\x06\uffff\x01"+
4743
        "\x38\x01\x3d\x06\uffff\x01\x58\x01\x5a\x03\uffff\x01\x72\x01\x73"+
4744
        "\x01\x01\x01\x14\x01\x02\x01\x39\x16\uffff\x01\x0a\x01\x12\x01\uffff"+
4745
        "\x01\x67\x01\x6c\x01\x18\x01\x0c\x01\x36\x01\x4d\x07\uffff\x01\x48"+
4746
        "\x01\x21\x06\uffff\x01\x32\x01\x2c\x04\uffff\x01\x2e\x01\x71\x11"+
4747
        "\uffff\x01\x4a\x01\x69\x01\x6a\x01\x51\x01\x4f\x01\x4e\x01\x54\x01"+
4748
        "\x55\x01\uffff\x01\x62\x03\uffff\x01\x05\x13\uffff\x01\x27\x01\x26"+
4749
        "\x02\uffff\x01\x1e\x02\uffff\x01\x56\x01\uffff\x01\x66\x01\x6d\x17"+
4750
        "\uffff\x01\x34\x01\x35\x01\x4b\x04\uffff\x01\x42\x01\uffff\x01\x64"+
4751
        "\x02\uffff\x01\x47\x01\x52\x01\x5e\x04\uffff\x01\x4c\x02\uffff\x01"+
4752
        "\x46\x07\uffff\x01\x3c\x02\uffff\x01\x08\x01\uffff\x01\x28\x01\uffff"+
4753
        "\x01\x09\x01\x68\x01\x50\x03\uffff\x01\x1c\x05\uffff\x01\x20\x06"+
4754
        "\uffff\x01\x61\x01\x2d\x02\uffff\x01\x53\x01\uffff\x01\x30\x01\x31"+
4755
        "\x01\x49\x01\x33\x01\uffff\x01\x6b\x03\uffff\x01\x44\x03\uffff\x01"+
4756
        "\x15\x03\uffff\x01\x06\x01\x1a\x04\uffff\x01\x3b\x01\x3f\x02\uffff"+
4757
        "\x01\x5f\x02\uffff\x01\x1b\x01\x57\x01\x59\x01\uffff\x01\x1f\x05"+
4758
        "\uffff\x01\x29\x01\x2a\x04\uffff\x01\x40\x01\x41\x01\uffff\x01\x45"+
4759
        "\x01\uffff\x01\x03\x01\x10\x07\uffff\x01\x60\x03\uffff\x01\x5d\x01"+
4760
        "\uffff\x01\x23\x01\uffff\x01\x25\x01\uffff\x01\x6e\x02\uffff\x01"+
4761
        "\x43\x01\x65\x02\uffff\x01\x3a\x01\x07\x01\x3e\x01\x1d\x01\x63\x01"+
4762
        "\x5b\x01\x5c\x01\x70\x01\x22\x01\x24\x01\uffff\x01\x6f\x01\uffff"+
4763
        "\x01\x11\x01\uffff\x01\x2f\x01\uffff\x01\x13\x01\x37";
4764
    const string DFA16_specialS =
4765
        "\u015b\uffff}>";
4766
    static readonly string[] DFA16_transitionS = {
4767
            "\x02\x0b\x01\uffff\x02\x0b\x12\uffff\x01\x0b\x01\uffff\x01"+
4768
            "\x0f\x01\x0d\x01\x2e\x01\uffff\x01\x04\x01\x0e\x01\x19\x01\x20"+
4769
            "\x01\x27\x01\x2b\x01\x12\x01\x1c\x01\x2d\x01\x0c\x0a\x2d\x01"+
4770
            "\x0a\x01\x21\x01\x25\x01\x15\x01\x26\x02\uffff\x1a\x2e\x01\x1a"+
4771
            "\x01\x29\x01\x02\x01\x28\x01\x2e\x01\uffff\x01\x05\x01\x03\x01"+
4772
            "\x13\x01\x09\x01\x14\x01\x16\x01\x2e\x01\x2a\x01\x08\x01\x2e"+
4773
            "\x01\x17\x01\x18\x01\x1b\x01\x1d\x01\x1e\x01\x2e\x01\x06\x01"+
4774
            "\x1f\x01\x07\x01\x22\x01\x2c\x01\x23\x01\x24\x03\x2e\x01\x10"+
4775
            "\x01\x01\x01\x11",
4776
            "\x01\x2f",
4777
            "\x01\x31",
4778
            "\x01\x33\x09\uffff\x01\x34",
4779
            "",
4780
            "\x01\x36\x01\x37\x0a\uffff\x01\x39\x04\uffff\x01\x35\x01\uffff"+
4781
            "\x01\x38",
4782
            "\x01\x3c\x01\uffff\x01\x3b\x01\x3a",
4783
            "\x01\x3f\x05\uffff\x01\x40\x08\uffff\x01\x3d\x01\x41\x03\uffff"+
4784
            "\x01\x3e",
4785
            "\x01\x43\x07\uffff\x01\x42",
4786
            "\x01\x44\x03\uffff\x01\x46\x05\uffff\x01\x45\x04\uffff\x01"+
4787
            "\x47\x01\x48",
4788
            "\x01\x4d\x0c\uffff\x01\x49\x01\uffff\x01\x4c\x01\x4a\x01\x4b",
4789
            "",
4790
            "\x01\x4f\x04\uffff\x01\x50",
4791
            "",
4792
            "",
4793
            "",
4794
            "",
4795
            "",
4796
            "",
4797
            "\x01\x54\x06\uffff\x01\x52\x06\uffff\x01\x55\x04\uffff\x01"+
4798
            "\x53",
4799
            "\x01\x56\x01\uffff\x01\x57\x09\uffff\x01\x58",
4800
            "\x01\x59",
4801
            "\x01\x5d\x0a\uffff\x01\x5b\x02\uffff\x01\x5c",
4802
            "\x01\x5e",
4803
            "\x01\x60\x03\uffff\x01\x5f",
4804
            "",
4805
            "\x01\x61",
4806
            "\x01\x63\x03\uffff\x01\x64\x09\uffff\x01\x65\x05\uffff\x01"+
4807
            "\x66",
4808
            "\x01\x67\x2a\uffff\x01\x68",
4809
            "\x01\x69\x03\uffff\x01\x6a\x05\uffff\x01\x6b",
4810
            "\x01\x6c\x01\uffff\x01\x6d\x01\uffff\x01\x6e\x0b\uffff\x01"+
4811
            "\x6f",
4812
            "\x01\x70\x08\uffff\x01\x71",
4813
            "",
4814
            "",
4815
            "\x01\x72\x03\uffff\x01\x76\x02\uffff\x01\x74\x02\uffff\x01"+
4816
            "\x73\x06\uffff\x01\x75",
4817
            "\x01\x77",
4818
            "\x01\x78",
4819
            "\x01\x7b\x0c\uffff\x01\x7c\x02\uffff\x01\x79\x01\x7a",
4820
            "\x01\x7e",
4821
            "\x01\u0080",
4822
            "",
4823
            "",
4824
            "\x01\u0082",
4825
            "\x01\u0083\x3d\uffff\x01\x68",
4826
            "\x01\u0084",
4827
            "",
4828
            "",
4829
            "",
4830
            "",
4831
            "",
4832
            "",
4833
            "\x01\u0085",
4834
            "\x01\u0086",
4835
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4836
            "\x2e\x01\uffff\x1a\x2e",
4837
            "\x01\u0088\x03\uffff\x01\u0089",
4838
            "\x01\u008a",
4839
            "\x01\u008b",
4840
            "\x01\u008c",
4841
            "\x01\u008d",
4842
            "\x01\u008e",
4843
            "\x01\u008f",
4844
            "\x01\u0091\x03\uffff\x01\u0090",
4845
            "\x01\u0092",
4846
            "\x01\u0093\x07\uffff\x01\u0094",
4847
            "\x01\u0095",
4848
            "\x01\u0096",
4849
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4850
            "\x2e\x01\uffff\x02\x2e\x01\u0097\x01\u0099\x01\x2e\x01\u009a"+
4851
            "\x0d\x2e\x01\u0098\x06\x2e",
4852
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4853
            "\x2e\x01\uffff\x1a\x2e",
4854
            "\x01\u009d",
4855
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4856
            "\x2e\x01\uffff\x0c\x2e\x01\u009e\x0d\x2e",
4857
            "\x01\u00a1\x07\uffff\x01\u00a0",
4858
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4859
            "\x2e\x01\uffff\x1a\x2e",
4860
            "\x01\u00a3",
4861
            "",
4862
            "",
4863
            "\x01\u00a4",
4864
            "",
4865
            "",
4866
            "",
4867
            "",
4868
            "",
4869
            "",
4870
            "\x01\u00a6",
4871
            "\x01\u00a7",
4872
            "\x01\u00a8",
4873
            "\x01\u00a9",
4874
            "\x01\u00ab\x0d\uffff\x01\u00aa",
4875
            "\x01\u00ac",
4876
            "\x01\u00ad",
4877
            "",
4878
            "",
4879
            "\x01\u00ae",
4880
            "\x01\u00af",
4881
            "\x01\u00b0",
4882
            "\x01\u00b1",
4883
            "\x01\u00b2",
4884
            "\x01\u00b3",
4885
            "",
4886
            "",
4887
            "\x01\u00b4",
4888
            "\x01\u00b6\x01\uffff\x01\u00b5",
4889
            "\x01\u00b7",
4890
            "\x01\u00b8",
4891
            "",
4892
            "",
4893
            "\x01\u00b9",
4894
            "\x01\u00ba",
4895
            "\x01\u00bb",
4896
            "\x01\u00bc",
4897
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4898
            "\x2e\x01\uffff\x1a\x2e",
4899
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4900
            "\x2e\x01\uffff\x1a\x2e",
4901
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4902
            "\x2e\x01\uffff\x1a\x2e",
4903
            "\x01\u00c0",
4904
            "\x01\u00c1",
4905
            "\x01\u00c2",
4906
            "\x01\u00c3",
4907
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4908
            "\x2e\x01\uffff\x1a\x2e",
4909
            "\x01\u00c5",
4910
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4911
            "\x2e\x01\uffff\x1a\x2e",
4912
            "\x01\u00c7",
4913
            "\x01\u00c8",
4914
            "\x01\u00c9",
4915
            "",
4916
            "",
4917
            "",
4918
            "",
4919
            "",
4920
            "",
4921
            "",
4922
            "",
4923
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4924
            "\x2e\x01\uffff\x1a\x2e",
4925
            "",
4926
            "\x01\u00cc",
4927
            "\x01\u00cd",
4928
            "\x01\u00ce",
4929
            "",
4930
            "\x01\u00cf",
4931
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4932
            "\x2e\x01\uffff\x1a\x2e",
4933
            "\x01\u00d1",
4934
            "\x01\u00d2",
4935
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4936
            "\x2e\x01\uffff\x1a\x2e",
4937
            "\x01\u00d4",
4938
            "\x01\u00d5",
4939
            "\x01\u00d6",
4940
            "\x01\u00d7",
4941
            "\x01\u00d8",
4942
            "\x01\u00d9",
4943
            "\x01\u00da",
4944
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4945
            "\x2e\x01\uffff\x1a\x2e",
4946
            "\x01\u00dc",
4947
            "\x01\u00dd",
4948
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4949
            "\x2e\x01\uffff\x1a\x2e",
4950
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4951
            "\x2e\x01\uffff\x04\x2e\x01\u00df\x15\x2e",
4952
            "\x01\u00e1",
4953
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4954
            "\x2e\x01\uffff\x1a\x2e",
4955
            "",
4956
            "",
4957
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4958
            "\x2e\x01\uffff\x1a\x2e",
4959
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4960
            "\x2e\x01\uffff\x1a\x2e",
4961
            "",
4962
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4963
            "\x2e\x01\uffff\x1a\x2e",
4964
            "\x01\u00e5",
4965
            "",
4966
            "\x01\u00e6",
4967
            "",
4968
            "",
4969
            "\x01\u00e7",
4970
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4971
            "\x2e\x01\uffff\x1a\x2e",
4972
            "\x01\u00e9",
4973
            "\x01\u00ea\x0f\uffff\x01\u00eb",
4974
            "\x01\u00ec",
4975
            "\x01\u00ed",
4976
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4977
            "\x2e\x01\uffff\x1a\x2e",
4978
            "\x01\u00ef",
4979
            "\x01\u00f0",
4980
            "\x01\u00f1",
4981
            "\x01\u00f2",
4982
            "\x01\u00f3",
4983
            "\x01\u00f4",
4984
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4985
            "\x2e\x01\uffff\x1a\x2e",
4986
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4987
            "\x2e\x01\uffff\x1a\x2e",
4988
            "\x01\u00f7",
4989
            "\x01\u00f8",
4990
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4991
            "\x2e\x01\uffff\x1a\x2e",
4992
            "\x01\u00fa",
4993
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4994
            "\x2e\x01\uffff\x1a\x2e",
4995
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4996
            "\x2e\x01\uffff\x1a\x2e",
4997
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
4998
            "\x2e\x01\uffff\x1a\x2e",
4999
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5000
            "\x2e\x01\uffff\x1a\x2e",
5001
            "",
5002
            "",
5003
            "",
5004
            "\x01\u00ff",
5005
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5006
            "\x2e\x01\uffff\x1a\x2e",
5007
            "\x01\u0101",
5008
            "\x01\u0102",
5009
            "",
5010
            "\x01\u0103",
5011
            "",
5012
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5013
            "\x2e\x01\uffff\x1a\x2e",
5014
            "\x01\u0105",
5015
            "",
5016
            "",
5017
            "",
5018
            "\x01\u0106",
5019
            "\x01\u0107",
5020
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5021
            "\x2e\x01\uffff\x1a\x2e",
5022
            "\x01\u0109",
5023
            "",
5024
            "\x01\u010a",
5025
            "\x01\u010b",
5026
            "",
5027
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5028
            "\x2e\x01\uffff\x1a\x2e",
5029
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5030
            "\x2e\x01\uffff\x1a\x2e",
5031
            "\x01\u010e",
5032
            "\x01\u010f",
5033
            "\x01\u0110",
5034
            "\x01\u0111",
5035
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5036
            "\x2e\x01\uffff\x1a\x2e",
5037
            "",
5038
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5039
            "\x2e\x01\uffff\x1a\x2e",
5040
            "\x01\u0114",
5041
            "",
5042
            "\x01\u0115",
5043
            "",
5044
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5045
            "\x2e\x01\uffff\x1a\x2e",
5046
            "",
5047
            "",
5048
            "",
5049
            "\x01\u0117",
5050
            "\x01\u0118",
5051
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5052
            "\x2e\x01\uffff\x1a\x2e",
5053
            "",
5054
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5055
            "\x2e\x01\uffff\x1a\x2e",
5056
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5057
            "\x2e\x01\uffff\x1a\x2e",
5058
            "\x01\u011c",
5059
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5060
            "\x2e\x01\uffff\x1a\x2e",
5061
            "\x01\u011e",
5062
            "",
5063
            "\x01\u011f",
5064
            "\x01\u0120",
5065
            "\x01\u0121",
5066
            "\x01\u0122",
5067
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5068
            "\x2e\x01\uffff\x1a\x2e",
5069
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5070
            "\x2e\x01\uffff\x1a\x2e",
5071
            "",
5072
            "",
5073
            "\x01\u0125",
5074
            "\x01\u0126",
5075
            "",
5076
            "\x01\u0127",
5077
            "",
5078
            "",
5079
            "",
5080
            "",
5081
            "\x01\u0128",
5082
            "",
5083
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5084
            "\x2e\x01\uffff\x1a\x2e",
5085
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5086
            "\x2e\x01\uffff\x1a\x2e",
5087
            "\x01\u012b",
5088
            "",
5089
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5090
            "\x2e\x01\uffff\x1a\x2e",
5091
            "\x01\u012d",
5092
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5093
            "\x2e\x01\uffff\x1a\x2e",
5094
            "",
5095
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5096
            "\x2e\x01\uffff\x1a\x2e",
5097
            "\x01\u0130",
5098
            "\x01\u0131",
5099
            "",
5100
            "",
5101
            "\x01\u0132",
5102
            "\x01\u0133",
5103
            "\x01\u0134",
5104
            "\x01\u0135",
5105
            "",
5106
            "",
5107
            "\x01\u0136",
5108
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5109
            "\x2e\x01\uffff\x1a\x2e",
5110
            "",
5111
            "\x01\u0138",
5112
            "\x01\u0139",
5113
            "",
5114
            "",
5115
            "",
5116
            "\x01\u013a",
5117
            "",
5118
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5119
            "\x2e\x01\uffff\x1a\x2e",
5120
            "\x01\u013c",
5121
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5122
            "\x2e\x01\uffff\x1a\x2e",
5123
            "\x01\u013e",
5124
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5125
            "\x2e\x01\uffff\x1a\x2e",
5126
            "",
5127
            "",
5128
            "\x01\u0140",
5129
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5130
            "\x2e\x01\uffff\x1a\x2e",
5131
            "\x01\u0142",
5132
            "\x01\u0143",
5133
            "",
5134
            "",
5135
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5136
            "\x2e\x01\uffff\x1a\x2e",
5137
            "",
5138
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5139
            "\x2e\x01\uffff\x1a\x2e",
5140
            "",
5141
            "",
5142
            "\x01\u0146",
5143
            "\x01\u0147",
5144
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5145
            "\x2e\x01\uffff\x1a\x2e",
5146
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5147
            "\x2e\x01\uffff\x1a\x2e",
5148
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5149
            "\x2e\x01\uffff\x1a\x2e",
5150
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5151
            "\x2e\x01\uffff\x1a\x2e",
5152
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5153
            "\x2e\x01\uffff\x1a\x2e",
5154
            "",
5155
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5156
            "\x2e\x01\uffff\x1a\x2e",
5157
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5158
            "\x2e\x01\uffff\x1a\x2e",
5159
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5160
            "\x2e\x01\uffff\x1a\x2e",
5161
            "",
5162
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5163
            "\x2e\x01\uffff\x1a\x2e",
5164
            "",
5165
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5166
            "\x2e\x01\uffff\x1a\x2e",
5167
            "",
5168
            "\x01\u0152",
5169
            "",
5170
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5171
            "\x2e\x01\uffff\x1a\x2e",
5172
            "\x01\u0154",
5173
            "",
5174
            "",
5175
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5176
            "\x2e\x01\uffff\x1a\x2e",
5177
            "\x01\u0156",
5178
            "",
5179
            "",
5180
            "",
5181
            "",
5182
            "",
5183
            "",
5184
            "",
5185
            "",
5186
            "",
5187
            "",
5188
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5189
            "\x2e\x01\uffff\x1a\x2e",
5190
            "",
5191
            "\x01\u0158",
5192
            "",
5193
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5194
            "\x2e\x01\uffff\x1a\x2e",
5195
            "",
5196
            "\x01\x2e\x0b\uffff\x0a\x2e\x07\uffff\x1a\x2e\x04\uffff\x01"+
5197
            "\x2e\x01\uffff\x1a\x2e",
5198
            "",
5199
            ""
5200
    };
5201

    
5202
    static readonly short[] DFA16_eot = DFA.UnpackEncodedString(DFA16_eotS);
5203
    static readonly short[] DFA16_eof = DFA.UnpackEncodedString(DFA16_eofS);
5204
    static readonly char[] DFA16_min = DFA.UnpackEncodedStringToUnsignedChars(DFA16_minS);
5205
    static readonly char[] DFA16_max = DFA.UnpackEncodedStringToUnsignedChars(DFA16_maxS);
5206
    static readonly short[] DFA16_accept = DFA.UnpackEncodedString(DFA16_acceptS);
5207
    static readonly short[] DFA16_special = DFA.UnpackEncodedString(DFA16_specialS);
5208
    static readonly short[][] DFA16_transition = DFA.UnpackEncodedStringArray(DFA16_transitionS);
5209

    
5210
    protected class DFA16 : DFA
5211
    {
5212
        public DFA16(BaseRecognizer recognizer)
5213
        {
5214
            this.recognizer = recognizer;
5215
            this.decisionNumber = 16;
5216
            this.eot = DFA16_eot;
5217
            this.eof = DFA16_eof;
5218
            this.min = DFA16_min;
5219
            this.max = DFA16_max;
5220
            this.accept = DFA16_accept;
5221
            this.special = DFA16_special;
5222
            this.transition = DFA16_transition;
5223

    
5224
        }
5225

    
5226
        override public string Description
5227
        {
5228
            get { return "1:1: Tokens : ( T__117 | T__118 | T__119 | T__120 | T__121 | T__122 | T__123 | T__124 | T__125 | T__126 | T_WS | T_COMMENT | LINE_COMMENT | T_PRIMED | T_STRINGLITERAL | T_ABORT | T_ACTIONS | T_ASSIGNMENT | T_AUTOCONS | T_BAR | T_BOOL | T_CBRL | T_CBRR | T_COLON | T_COMMA | T_CONT | T_CHAR | T_CTRL | T_SYSTEM | T_DO | T_ELSE | T_END | T_EQUAL | T_EXISTS | T_FLOAT | T_FORALL | T_FALSE | T_IF | T_IN | T_INT | T_KILL | T_LIST | T_LPAREN | T_LSQPAREN | T_MAP | T_MAPS | T_METHODS | T_NEW | T_NIL | T_NONDET | T_OBS | T_OD | T_OF | T_PRIO | T_REQUIRES | T_RPAREN | T_RSQPAREN | T_QUANTITY | T_SELF | T_SET | T_SEMICOLON | T_STATIC | T_SKIP | T_THEN | T_TRUE | T_TO | T_TYPES | T_VAR | T_WITH | T_AND | T_BIIMPLIES | T_IMPLIES | T_NOT | T_NOTEQUAL | T_OR | T_ABS | T_DIV | T_GREATER | T_GREATEREQUAL | T_IDIV | T_LESS | T_LESSEQUAL | T_MOD | T_POW | T_PROD | T_DERIV | T_CARD | T_CONC | T_DCONC | T_DIFF | T_DINTER | T_DUNION | T_ELEMS | T_HEAD | T_INDS | T_INTER | T_LEN | T_SEQMOD_MAPOVERRIDE | T_SUBSET | T_TAIL | T_UNION | T_FOLDLR | T_FOLDRL | T_DOM | T_DOMRESBY | T_DOMRESTO | T_RNG | T_RNGRESBY | T_RNGRESTO | T_MERGE | T_MUNION | T_CONSTS | T_INFTY | FLOAT_OR_INT_OR_RANGE | T_IDENTIFIER );"; }
5229
        }
5230

    
5231
    }
5232

    
5233
 
5234
    
5235
}
5236
}