Project

General

Profile

root / branches / compiler / cSharp / ooasCompiler / src / ooa.tokens @ 12

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