Project

General

Profile

Revision 9

Added by Willibald K. over 8 years ago

remove support for Qualitative Action Systems, rename UlyssesType to Type

View differences:

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

Also available in: Unified diff