Project

General

Profile

root / trunk / compiler / ooasCompiler / src / org / momut / ooas / parser / ooa.tokens @ 9

1
T__116=116
2
T__117=117
3
T__118=118
4
T__119=119
5
T__120=120
6
T__121=121
7
FLOAT_OR_INT_OR_RANGE=4
8
LINE_COMMENT=5
9
T_ABORT=6
10
T_ABS=7
11
T_ACTIONS=8
12
T_AND=9
13
T_ASSIGNMENT=10
14
T_AUTOCONS=11
15
T_BAR=12
16
T_BIIMPLIES=13
17
T_BOOL=14
18
T_BREAK=15
19
T_CARD=16
20
T_CBRL=17
21
T_CBRR=18
22
T_CHAR=19
23
T_COLON=20
24
T_COMMA=21
25
T_COMMENT=22
26
T_CONC=23
27
T_CONSTS=24
28
T_CTRL=25
29
T_DCONC=26
30
T_DERIV=27
31
T_DIFF=28
32
T_DIGIT=29
33
T_DINTER=30
34
T_DIV=31
35
T_DO=32
36
T_DOM=33
37
T_DOMRESBY=34
38
T_DOMRESTO=35
39
T_DUNION=36
40
T_ELEMS=37
41
T_ELSE=38
42
T_END=39
43
T_EQUAL=40
44
T_EXISTS=41
45
T_FALSE=42
46
T_FLOAT=43
47
T_FLOATNUMBER=44
48
T_FOLDLR=45
49
T_FOLDRL=46
50
T_FORALL=47
51
T_GREATER=48
52
T_GREATEREQUAL=49
53
T_HEAD=50
54
T_IDENTIFIER=51
55
T_IDIV=52
56
T_IF=53
57
T_IMPLIES=54
58
T_IN=55
59
T_INDS=56
60
T_INFTY=57
61
T_INT=58
62
T_INTER=59
63
T_INTNUMBER=60
64
T_KILL=61
65
T_LEN=62
66
T_LESS=63
67
T_LESSEQUAL=64
68
T_LETTER=65
69
T_LIST=66
70
T_LPAREN=67
71
T_LSQPAREN=68
72
T_MAP=69
73
T_MAPS=70
74
T_MERGE=71
75
T_METHODS=72
76
T_MINUS=73
77
T_MOD=74
78
T_MUNION=75
79
T_NEW=76
80
T_NIL=77
81
T_NONDET=78
82
T_NOT=79
83
T_NOTEQUAL=80
84
T_OBS=81
85
T_OD=82
86
T_OF=83
87
T_OR=84
88
T_POINT=85
89
T_POW=86
90
T_PRIMED=87
91
T_PRIO=88
92
T_PROD=89
93
T_RANGETO=90
94
T_REQUIRES=91
95
T_RNG=92
96
T_RNGRESBY=93
97
T_RNGRESTO=94
98
T_RPAREN=95
99
T_RSQPAREN=96
100
T_SELF=97
101
T_SEMICOLON=98
102
T_SEQMOD_MAPOVERRIDE=99
103
T_SET=100
104
T_SKIP=101
105
T_STATIC=102
106
T_STRINGLITERAL=103
107
T_SUBSET=104
108
T_SUM=105
109
T_SYSTEM=106
110
T_TAIL=107
111
T_THEN=108
112
T_TO=109
113
T_TRUE=110
114
T_TYPES=111
115
T_UNION=112
116
T_VAR=113
117
T_WITH=114
118
T_WS=115
119
'&'=116
120
'('=67
121
')'=95
122
'::'=117
123
']|'=118
124
'as'=119
125
'begin'=120
126
'|['=121