blob: 736b2f0ac3ae1cee4ffcf02fbd11a2112b0cda4c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
'!'=43
'!='=32
'('=44
')'=45
'*'=46
'+'=47
','=48
'-'=49
'->'=33
'.'=50
'..'=34
'...'=28
'/'=51
':'=52
':-'=35
';'=53
'<'=54
'<='=36
'='=55
'=='=37
'=>'=38
'>'=56
'>='=39
'['=57
']'=58
'^'=59
'abstract'=5
'as'=40
'class'=18
'contains'=6
'count'=19
'current'=11
'datatype'=7
'default'=12
'else'=24
'empty'=20
'error'=21
'exists'=15
'extends'=13
'extern'=16
'false'=22
'forall'=17
'functional'=4
'if'=41
'in'=42
'inf'=29
'let'=30
'maximize'=8
'may'=31
'minimize'=9
'must'=25
'opposite'=10
'scope'=23
'then'=26
'true'=27
'unknown'=14
'{'=60
'|'=61
'}'=62
RULE_ANY_OTHER=73
RULE_FULL_STOP=68
RULE_ID=69
RULE_INT=70
RULE_ML_COMMENT=71
RULE_QUOTED_ID=64
RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
RULE_SL_COMMENT=65
RULE_STRING=63
RULE_TRANSITIVE_CLOSURE=66
RULE_WS=72
|
