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
|
}
|