diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer')
3 files changed, 840 insertions, 654 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g index 77e9557a..dd52bd33 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g | |||
@@ -11,6 +11,8 @@ package org.eclipse.viatra.solver.language.ide.contentassist.antlr.lexer; | |||
11 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | 11 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; |
12 | } | 12 | } |
13 | 13 | ||
14 | Containment : 'containment'; | ||
15 | |||
14 | Functional : 'functional'; | 16 | Functional : 'functional'; |
15 | 17 | ||
16 | Abstract : 'abstract'; | 18 | Abstract : 'abstract'; |
@@ -25,19 +27,21 @@ Minimize : 'minimize'; | |||
25 | 27 | ||
26 | Opposite : 'opposite'; | 28 | Opposite : 'opposite'; |
27 | 29 | ||
28 | Current : 'current'; | ||
29 | |||
30 | Default : 'default'; | 30 | Default : 'default'; |
31 | 31 | ||
32 | Extends : 'extends'; | 32 | Extends : 'extends'; |
33 | 33 | ||
34 | Unknown : 'unknown'; | 34 | Problem : 'problem'; |
35 | 35 | ||
36 | Exists : 'exists'; | 36 | Unknown : 'unknown'; |
37 | 37 | ||
38 | Extern : 'extern'; | 38 | Extern : 'extern'; |
39 | 39 | ||
40 | Forall : 'forall'; | 40 | Import : 'import'; |
41 | |||
42 | Object : 'object'; | ||
43 | |||
44 | Refers : 'refers'; | ||
41 | 45 | ||
42 | Class : 'class'; | 46 | Class : 'class'; |
43 | 47 | ||
@@ -53,7 +57,9 @@ Scope : 'scope'; | |||
53 | 57 | ||
54 | Else : 'else'; | 58 | Else : 'else'; |
55 | 59 | ||
56 | Must : 'must'; | 60 | Enum : 'enum'; |
61 | |||
62 | Root : 'root'; | ||
57 | 63 | ||
58 | Then : 'then'; | 64 | Then : 'then'; |
59 | 65 | ||
@@ -65,16 +71,16 @@ Inf : 'inf'; | |||
65 | 71 | ||
66 | Let : 'let'; | 72 | Let : 'let'; |
67 | 73 | ||
68 | May : 'may'; | ||
69 | |||
70 | ExclamationMarkEqualsSign : '!='; | 74 | ExclamationMarkEqualsSign : '!='; |
71 | 75 | ||
72 | HyphenMinusGreaterThanSign : '->'; | 76 | HyphenMinusGreaterThanSign : '->'; |
73 | 77 | ||
74 | FullStopFullStop : '..'; | ||
75 | |||
76 | ColonHyphenMinus : ':-'; | 78 | ColonHyphenMinus : ':-'; |
77 | 79 | ||
80 | ColonColon : '::'; | ||
81 | |||
82 | ColonEqualsSign : ':='; | ||
83 | |||
78 | LessThanSignEqualsSign : '<='; | 84 | LessThanSignEqualsSign : '<='; |
79 | 85 | ||
80 | EqualsSignEqualsSign : '=='; | 86 | EqualsSignEqualsSign : '=='; |
@@ -117,6 +123,8 @@ EqualsSign : '='; | |||
117 | 123 | ||
118 | GreaterThanSign : '>'; | 124 | GreaterThanSign : '>'; |
119 | 125 | ||
126 | QuestionMark : '?'; | ||
127 | |||
120 | LeftSquareBracket : '['; | 128 | LeftSquareBracket : '['; |
121 | 129 | ||
122 | RightSquareBracket : ']'; | 130 | RightSquareBracket : ']'; |
@@ -129,6 +137,8 @@ VerticalLine : '|'; | |||
129 | 137 | ||
130 | RightCurlyBracket : '}'; | 138 | RightCurlyBracket : '}'; |
131 | 139 | ||
140 | Tilde : '~'; | ||
141 | |||
132 | RULE_STRING : '"' ('\\' .|~(('\\'|'"')))* '"'; | 142 | RULE_STRING : '"' ('\\' .|~(('\\'|'"')))* '"'; |
133 | 143 | ||
134 | RULE_QUOTED_ID : '\'' ('\\' .|~(('\\'|'\'')))* '\''; | 144 | RULE_QUOTED_ID : '\'' ('\\' .|~(('\\'|'\'')))* '\''; |
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java index 541338df..c77ac448 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.java | |||
@@ -12,77 +12,82 @@ import java.util.ArrayList; | |||
12 | 12 | ||
13 | @SuppressWarnings("all") | 13 | @SuppressWarnings("all") |
14 | public class InternalSolverLanguageLexer extends Lexer { | 14 | public class InternalSolverLanguageLexer extends Lexer { |
15 | public static final int EqualsSignGreaterThanSign=38; | 15 | public static final int Enum=27; |
16 | public static final int True=27; | 16 | public static final int Import=17; |
17 | public static final int Count=19; | 17 | public static final int EqualsSignGreaterThanSign=41; |
18 | public static final int False=22; | 18 | public static final int True=30; |
19 | public static final int Must=25; | 19 | public static final int Count=21; |
20 | public static final int FullStopFullStopFullStop=28; | 20 | public static final int False=24; |
21 | public static final int LessThanSign=54; | 21 | public static final int FullStopFullStopFullStop=31; |
22 | public static final int Datatype=7; | 22 | public static final int LessThanSign=57; |
23 | public static final int LeftParenthesis=44; | 23 | public static final int Datatype=8; |
24 | public static final int Unknown=14; | 24 | public static final int LeftParenthesis=47; |
25 | public static final int RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67; | 25 | public static final int Unknown=15; |
26 | public static final int FullStopFullStop=34; | 26 | public static final int RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72; |
27 | public static final int Then=26; | 27 | public static final int Then=29; |
28 | public static final int Extends=13; | 28 | public static final int Extends=13; |
29 | public static final int Forall=17; | 29 | public static final int RightSquareBracket=62; |
30 | public static final int RightSquareBracket=58; | 30 | public static final int ExclamationMark=46; |
31 | public static final int ExclamationMark=43; | 31 | public static final int Opposite=11; |
32 | public static final int Opposite=10; | 32 | public static final int GreaterThanSign=59; |
33 | public static final int GreaterThanSign=56; | 33 | public static final int Root=28; |
34 | public static final int RULE_ID=69; | 34 | public static final int RULE_ID=74; |
35 | public static final int RULE_QUOTED_ID=64; | 35 | public static final int RULE_QUOTED_ID=69; |
36 | public static final int RightParenthesis=45; | 36 | public static final int RightParenthesis=48; |
37 | public static final int GreaterThanSignEqualsSign=39; | 37 | public static final int ColonEqualsSign=38; |
38 | public static final int Functional=4; | 38 | public static final int GreaterThanSignEqualsSign=42; |
39 | public static final int EqualsSignEqualsSign=37; | 39 | public static final int Functional=5; |
40 | public static final int VerticalLine=61; | 40 | public static final int ColonColon=37; |
41 | public static final int PlusSign=47; | 41 | public static final int EqualsSignEqualsSign=40; |
42 | public static final int RULE_INT=70; | 42 | public static final int VerticalLine=65; |
43 | public static final int Contains=6; | 43 | public static final int PlusSign=50; |
44 | public static final int RULE_ML_COMMENT=71; | 44 | public static final int RULE_INT=75; |
45 | public static final int RULE_TRANSITIVE_CLOSURE=66; | 45 | public static final int Contains=7; |
46 | public static final int Class=18; | 46 | public static final int RULE_ML_COMMENT=76; |
47 | public static final int LeftSquareBracket=57; | 47 | public static final int RULE_TRANSITIVE_CLOSURE=71; |
48 | public static final int RULE_FULL_STOP=68; | 48 | public static final int Problem=14; |
49 | public static final int Current=11; | 49 | public static final int Object=18; |
50 | public static final int If=41; | 50 | public static final int Class=20; |
51 | public static final int Inf=29; | 51 | public static final int LeftSquareBracket=61; |
52 | public static final int May=31; | 52 | public static final int RULE_FULL_STOP=73; |
53 | public static final int In=42; | 53 | public static final int If=44; |
54 | public static final int RULE_STRING=63; | 54 | public static final int Refers=19; |
55 | public static final int Inf=32; | ||
56 | public static final int In=45; | ||
57 | public static final int RULE_STRING=68; | ||
55 | public static final int Extern=16; | 58 | public static final int Extern=16; |
56 | public static final int RULE_SL_COMMENT=65; | 59 | public static final int RULE_SL_COMMENT=70; |
57 | public static final int Comma=48; | 60 | public static final int Comma=51; |
58 | public static final int EqualsSign=55; | 61 | public static final int EqualsSign=58; |
59 | public static final int Empty=20; | 62 | public static final int Empty=22; |
60 | public static final int As=40; | 63 | public static final int As=43; |
61 | public static final int HyphenMinus=49; | 64 | public static final int HyphenMinus=52; |
62 | public static final int Maximize=8; | 65 | public static final int Maximize=9; |
63 | public static final int LessThanSignEqualsSign=36; | 66 | public static final int LessThanSignEqualsSign=39; |
64 | public static final int Solidus=51; | 67 | public static final int Solidus=54; |
65 | public static final int Colon=52; | 68 | public static final int Colon=55; |
66 | public static final int RightCurlyBracket=62; | 69 | public static final int RightCurlyBracket=66; |
67 | public static final int EOF=-1; | 70 | public static final int EOF=-1; |
68 | public static final int Asterisk=46; | 71 | public static final int Asterisk=49; |
69 | public static final int FullStop=50; | 72 | public static final int Containment=4; |
70 | public static final int RULE_WS=72; | 73 | public static final int FullStop=53; |
71 | public static final int Abstract=5; | 74 | public static final int RULE_WS=77; |
72 | public static final int Minimize=9; | 75 | public static final int Abstract=6; |
73 | public static final int LeftCurlyBracket=60; | 76 | public static final int Minimize=10; |
74 | public static final int Error=21; | 77 | public static final int LeftCurlyBracket=64; |
75 | public static final int RULE_ANY_OTHER=73; | 78 | public static final int Error=23; |
79 | public static final int Tilde=67; | ||
80 | public static final int RULE_ANY_OTHER=78; | ||
76 | public static final int Default=12; | 81 | public static final int Default=12; |
77 | public static final int ColonHyphenMinus=35; | 82 | public static final int ColonHyphenMinus=36; |
78 | public static final int CircumflexAccent=59; | 83 | public static final int CircumflexAccent=63; |
79 | public static final int Semicolon=53; | 84 | public static final int Semicolon=56; |
80 | public static final int Scope=23; | 85 | public static final int Scope=25; |
81 | public static final int Exists=15; | 86 | public static final int QuestionMark=60; |
82 | public static final int Else=24; | 87 | public static final int Else=26; |
83 | public static final int Let=30; | 88 | public static final int Let=33; |
84 | public static final int ExclamationMarkEqualsSign=32; | 89 | public static final int ExclamationMarkEqualsSign=34; |
85 | public static final int HyphenMinusGreaterThanSign=33; | 90 | public static final int HyphenMinusGreaterThanSign=35; |
86 | 91 | ||
87 | // delegates | 92 | // delegates |
88 | // delegators | 93 | // delegators |
@@ -97,13 +102,34 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
97 | } | 102 | } |
98 | public String getGrammarFileName() { return "InternalSolverLanguageLexer.g"; } | 103 | public String getGrammarFileName() { return "InternalSolverLanguageLexer.g"; } |
99 | 104 | ||
105 | // $ANTLR start "Containment" | ||
106 | public final void mContainment() throws RecognitionException { | ||
107 | try { | ||
108 | int _type = Containment; | ||
109 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
110 | // InternalSolverLanguageLexer.g:14:13: ( 'containment' ) | ||
111 | // InternalSolverLanguageLexer.g:14:15: 'containment' | ||
112 | { | ||
113 | match("containment"); | ||
114 | |||
115 | |||
116 | } | ||
117 | |||
118 | state.type = _type; | ||
119 | state.channel = _channel; | ||
120 | } | ||
121 | finally { | ||
122 | } | ||
123 | } | ||
124 | // $ANTLR end "Containment" | ||
125 | |||
100 | // $ANTLR start "Functional" | 126 | // $ANTLR start "Functional" |
101 | public final void mFunctional() throws RecognitionException { | 127 | public final void mFunctional() throws RecognitionException { |
102 | try { | 128 | try { |
103 | int _type = Functional; | 129 | int _type = Functional; |
104 | int _channel = DEFAULT_TOKEN_CHANNEL; | 130 | int _channel = DEFAULT_TOKEN_CHANNEL; |
105 | // InternalSolverLanguageLexer.g:14:12: ( 'functional' ) | 131 | // InternalSolverLanguageLexer.g:16:12: ( 'functional' ) |
106 | // InternalSolverLanguageLexer.g:14:14: 'functional' | 132 | // InternalSolverLanguageLexer.g:16:14: 'functional' |
107 | { | 133 | { |
108 | match("functional"); | 134 | match("functional"); |
109 | 135 | ||
@@ -123,8 +149,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
123 | try { | 149 | try { |
124 | int _type = Abstract; | 150 | int _type = Abstract; |
125 | int _channel = DEFAULT_TOKEN_CHANNEL; | 151 | int _channel = DEFAULT_TOKEN_CHANNEL; |
126 | // InternalSolverLanguageLexer.g:16:10: ( 'abstract' ) | 152 | // InternalSolverLanguageLexer.g:18:10: ( 'abstract' ) |
127 | // InternalSolverLanguageLexer.g:16:12: 'abstract' | 153 | // InternalSolverLanguageLexer.g:18:12: 'abstract' |
128 | { | 154 | { |
129 | match("abstract"); | 155 | match("abstract"); |
130 | 156 | ||
@@ -144,8 +170,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
144 | try { | 170 | try { |
145 | int _type = Contains; | 171 | int _type = Contains; |
146 | int _channel = DEFAULT_TOKEN_CHANNEL; | 172 | int _channel = DEFAULT_TOKEN_CHANNEL; |
147 | // InternalSolverLanguageLexer.g:18:10: ( 'contains' ) | 173 | // InternalSolverLanguageLexer.g:20:10: ( 'contains' ) |
148 | // InternalSolverLanguageLexer.g:18:12: 'contains' | 174 | // InternalSolverLanguageLexer.g:20:12: 'contains' |
149 | { | 175 | { |
150 | match("contains"); | 176 | match("contains"); |
151 | 177 | ||
@@ -165,8 +191,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
165 | try { | 191 | try { |
166 | int _type = Datatype; | 192 | int _type = Datatype; |
167 | int _channel = DEFAULT_TOKEN_CHANNEL; | 193 | int _channel = DEFAULT_TOKEN_CHANNEL; |
168 | // InternalSolverLanguageLexer.g:20:10: ( 'datatype' ) | 194 | // InternalSolverLanguageLexer.g:22:10: ( 'datatype' ) |
169 | // InternalSolverLanguageLexer.g:20:12: 'datatype' | 195 | // InternalSolverLanguageLexer.g:22:12: 'datatype' |
170 | { | 196 | { |
171 | match("datatype"); | 197 | match("datatype"); |
172 | 198 | ||
@@ -186,8 +212,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
186 | try { | 212 | try { |
187 | int _type = Maximize; | 213 | int _type = Maximize; |
188 | int _channel = DEFAULT_TOKEN_CHANNEL; | 214 | int _channel = DEFAULT_TOKEN_CHANNEL; |
189 | // InternalSolverLanguageLexer.g:22:10: ( 'maximize' ) | 215 | // InternalSolverLanguageLexer.g:24:10: ( 'maximize' ) |
190 | // InternalSolverLanguageLexer.g:22:12: 'maximize' | 216 | // InternalSolverLanguageLexer.g:24:12: 'maximize' |
191 | { | 217 | { |
192 | match("maximize"); | 218 | match("maximize"); |
193 | 219 | ||
@@ -207,8 +233,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
207 | try { | 233 | try { |
208 | int _type = Minimize; | 234 | int _type = Minimize; |
209 | int _channel = DEFAULT_TOKEN_CHANNEL; | 235 | int _channel = DEFAULT_TOKEN_CHANNEL; |
210 | // InternalSolverLanguageLexer.g:24:10: ( 'minimize' ) | 236 | // InternalSolverLanguageLexer.g:26:10: ( 'minimize' ) |
211 | // InternalSolverLanguageLexer.g:24:12: 'minimize' | 237 | // InternalSolverLanguageLexer.g:26:12: 'minimize' |
212 | { | 238 | { |
213 | match("minimize"); | 239 | match("minimize"); |
214 | 240 | ||
@@ -228,8 +254,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
228 | try { | 254 | try { |
229 | int _type = Opposite; | 255 | int _type = Opposite; |
230 | int _channel = DEFAULT_TOKEN_CHANNEL; | 256 | int _channel = DEFAULT_TOKEN_CHANNEL; |
231 | // InternalSolverLanguageLexer.g:26:10: ( 'opposite' ) | 257 | // InternalSolverLanguageLexer.g:28:10: ( 'opposite' ) |
232 | // InternalSolverLanguageLexer.g:26:12: 'opposite' | 258 | // InternalSolverLanguageLexer.g:28:12: 'opposite' |
233 | { | 259 | { |
234 | match("opposite"); | 260 | match("opposite"); |
235 | 261 | ||
@@ -244,27 +270,6 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
244 | } | 270 | } |
245 | // $ANTLR end "Opposite" | 271 | // $ANTLR end "Opposite" |
246 | 272 | ||
247 | // $ANTLR start "Current" | ||
248 | public final void mCurrent() throws RecognitionException { | ||
249 | try { | ||
250 | int _type = Current; | ||
251 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
252 | // InternalSolverLanguageLexer.g:28:9: ( 'current' ) | ||
253 | // InternalSolverLanguageLexer.g:28:11: 'current' | ||
254 | { | ||
255 | match("current"); | ||
256 | |||
257 | |||
258 | } | ||
259 | |||
260 | state.type = _type; | ||
261 | state.channel = _channel; | ||
262 | } | ||
263 | finally { | ||
264 | } | ||
265 | } | ||
266 | // $ANTLR end "Current" | ||
267 | |||
268 | // $ANTLR start "Default" | 273 | // $ANTLR start "Default" |
269 | public final void mDefault() throws RecognitionException { | 274 | public final void mDefault() throws RecognitionException { |
270 | try { | 275 | try { |
@@ -307,15 +312,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
307 | } | 312 | } |
308 | // $ANTLR end "Extends" | 313 | // $ANTLR end "Extends" |
309 | 314 | ||
310 | // $ANTLR start "Unknown" | 315 | // $ANTLR start "Problem" |
311 | public final void mUnknown() throws RecognitionException { | 316 | public final void mProblem() throws RecognitionException { |
312 | try { | 317 | try { |
313 | int _type = Unknown; | 318 | int _type = Problem; |
314 | int _channel = DEFAULT_TOKEN_CHANNEL; | 319 | int _channel = DEFAULT_TOKEN_CHANNEL; |
315 | // InternalSolverLanguageLexer.g:34:9: ( 'unknown' ) | 320 | // InternalSolverLanguageLexer.g:34:9: ( 'problem' ) |
316 | // InternalSolverLanguageLexer.g:34:11: 'unknown' | 321 | // InternalSolverLanguageLexer.g:34:11: 'problem' |
317 | { | 322 | { |
318 | match("unknown"); | 323 | match("problem"); |
319 | 324 | ||
320 | 325 | ||
321 | } | 326 | } |
@@ -326,17 +331,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
326 | finally { | 331 | finally { |
327 | } | 332 | } |
328 | } | 333 | } |
329 | // $ANTLR end "Unknown" | 334 | // $ANTLR end "Problem" |
330 | 335 | ||
331 | // $ANTLR start "Exists" | 336 | // $ANTLR start "Unknown" |
332 | public final void mExists() throws RecognitionException { | 337 | public final void mUnknown() throws RecognitionException { |
333 | try { | 338 | try { |
334 | int _type = Exists; | 339 | int _type = Unknown; |
335 | int _channel = DEFAULT_TOKEN_CHANNEL; | 340 | int _channel = DEFAULT_TOKEN_CHANNEL; |
336 | // InternalSolverLanguageLexer.g:36:8: ( 'exists' ) | 341 | // InternalSolverLanguageLexer.g:36:9: ( 'unknown' ) |
337 | // InternalSolverLanguageLexer.g:36:10: 'exists' | 342 | // InternalSolverLanguageLexer.g:36:11: 'unknown' |
338 | { | 343 | { |
339 | match("exists"); | 344 | match("unknown"); |
340 | 345 | ||
341 | 346 | ||
342 | } | 347 | } |
@@ -347,7 +352,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
347 | finally { | 352 | finally { |
348 | } | 353 | } |
349 | } | 354 | } |
350 | // $ANTLR end "Exists" | 355 | // $ANTLR end "Unknown" |
351 | 356 | ||
352 | // $ANTLR start "Extern" | 357 | // $ANTLR start "Extern" |
353 | public final void mExtern() throws RecognitionException { | 358 | public final void mExtern() throws RecognitionException { |
@@ -370,15 +375,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
370 | } | 375 | } |
371 | // $ANTLR end "Extern" | 376 | // $ANTLR end "Extern" |
372 | 377 | ||
373 | // $ANTLR start "Forall" | 378 | // $ANTLR start "Import" |
374 | public final void mForall() throws RecognitionException { | 379 | public final void mImport() throws RecognitionException { |
375 | try { | 380 | try { |
376 | int _type = Forall; | 381 | int _type = Import; |
377 | int _channel = DEFAULT_TOKEN_CHANNEL; | 382 | int _channel = DEFAULT_TOKEN_CHANNEL; |
378 | // InternalSolverLanguageLexer.g:40:8: ( 'forall' ) | 383 | // InternalSolverLanguageLexer.g:40:8: ( 'import' ) |
379 | // InternalSolverLanguageLexer.g:40:10: 'forall' | 384 | // InternalSolverLanguageLexer.g:40:10: 'import' |
380 | { | 385 | { |
381 | match("forall"); | 386 | match("import"); |
382 | 387 | ||
383 | 388 | ||
384 | } | 389 | } |
@@ -389,15 +394,57 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
389 | finally { | 394 | finally { |
390 | } | 395 | } |
391 | } | 396 | } |
392 | // $ANTLR end "Forall" | 397 | // $ANTLR end "Import" |
398 | |||
399 | // $ANTLR start "Object" | ||
400 | public final void mObject() throws RecognitionException { | ||
401 | try { | ||
402 | int _type = Object; | ||
403 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
404 | // InternalSolverLanguageLexer.g:42:8: ( 'object' ) | ||
405 | // InternalSolverLanguageLexer.g:42:10: 'object' | ||
406 | { | ||
407 | match("object"); | ||
408 | |||
409 | |||
410 | } | ||
411 | |||
412 | state.type = _type; | ||
413 | state.channel = _channel; | ||
414 | } | ||
415 | finally { | ||
416 | } | ||
417 | } | ||
418 | // $ANTLR end "Object" | ||
419 | |||
420 | // $ANTLR start "Refers" | ||
421 | public final void mRefers() throws RecognitionException { | ||
422 | try { | ||
423 | int _type = Refers; | ||
424 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
425 | // InternalSolverLanguageLexer.g:44:8: ( 'refers' ) | ||
426 | // InternalSolverLanguageLexer.g:44:10: 'refers' | ||
427 | { | ||
428 | match("refers"); | ||
429 | |||
430 | |||
431 | } | ||
432 | |||
433 | state.type = _type; | ||
434 | state.channel = _channel; | ||
435 | } | ||
436 | finally { | ||
437 | } | ||
438 | } | ||
439 | // $ANTLR end "Refers" | ||
393 | 440 | ||
394 | // $ANTLR start "Class" | 441 | // $ANTLR start "Class" |
395 | public final void mClass() throws RecognitionException { | 442 | public final void mClass() throws RecognitionException { |
396 | try { | 443 | try { |
397 | int _type = Class; | 444 | int _type = Class; |
398 | int _channel = DEFAULT_TOKEN_CHANNEL; | 445 | int _channel = DEFAULT_TOKEN_CHANNEL; |
399 | // InternalSolverLanguageLexer.g:42:7: ( 'class' ) | 446 | // InternalSolverLanguageLexer.g:46:7: ( 'class' ) |
400 | // InternalSolverLanguageLexer.g:42:9: 'class' | 447 | // InternalSolverLanguageLexer.g:46:9: 'class' |
401 | { | 448 | { |
402 | match("class"); | 449 | match("class"); |
403 | 450 | ||
@@ -417,8 +464,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
417 | try { | 464 | try { |
418 | int _type = Count; | 465 | int _type = Count; |
419 | int _channel = DEFAULT_TOKEN_CHANNEL; | 466 | int _channel = DEFAULT_TOKEN_CHANNEL; |
420 | // InternalSolverLanguageLexer.g:44:7: ( 'count' ) | 467 | // InternalSolverLanguageLexer.g:48:7: ( 'count' ) |
421 | // InternalSolverLanguageLexer.g:44:9: 'count' | 468 | // InternalSolverLanguageLexer.g:48:9: 'count' |
422 | { | 469 | { |
423 | match("count"); | 470 | match("count"); |
424 | 471 | ||
@@ -438,8 +485,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
438 | try { | 485 | try { |
439 | int _type = Empty; | 486 | int _type = Empty; |
440 | int _channel = DEFAULT_TOKEN_CHANNEL; | 487 | int _channel = DEFAULT_TOKEN_CHANNEL; |
441 | // InternalSolverLanguageLexer.g:46:7: ( 'empty' ) | 488 | // InternalSolverLanguageLexer.g:50:7: ( 'empty' ) |
442 | // InternalSolverLanguageLexer.g:46:9: 'empty' | 489 | // InternalSolverLanguageLexer.g:50:9: 'empty' |
443 | { | 490 | { |
444 | match("empty"); | 491 | match("empty"); |
445 | 492 | ||
@@ -459,8 +506,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
459 | try { | 506 | try { |
460 | int _type = Error; | 507 | int _type = Error; |
461 | int _channel = DEFAULT_TOKEN_CHANNEL; | 508 | int _channel = DEFAULT_TOKEN_CHANNEL; |
462 | // InternalSolverLanguageLexer.g:48:7: ( 'error' ) | 509 | // InternalSolverLanguageLexer.g:52:7: ( 'error' ) |
463 | // InternalSolverLanguageLexer.g:48:9: 'error' | 510 | // InternalSolverLanguageLexer.g:52:9: 'error' |
464 | { | 511 | { |
465 | match("error"); | 512 | match("error"); |
466 | 513 | ||
@@ -480,8 +527,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
480 | try { | 527 | try { |
481 | int _type = False; | 528 | int _type = False; |
482 | int _channel = DEFAULT_TOKEN_CHANNEL; | 529 | int _channel = DEFAULT_TOKEN_CHANNEL; |
483 | // InternalSolverLanguageLexer.g:50:7: ( 'false' ) | 530 | // InternalSolverLanguageLexer.g:54:7: ( 'false' ) |
484 | // InternalSolverLanguageLexer.g:50:9: 'false' | 531 | // InternalSolverLanguageLexer.g:54:9: 'false' |
485 | { | 532 | { |
486 | match("false"); | 533 | match("false"); |
487 | 534 | ||
@@ -501,8 +548,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
501 | try { | 548 | try { |
502 | int _type = Scope; | 549 | int _type = Scope; |
503 | int _channel = DEFAULT_TOKEN_CHANNEL; | 550 | int _channel = DEFAULT_TOKEN_CHANNEL; |
504 | // InternalSolverLanguageLexer.g:52:7: ( 'scope' ) | 551 | // InternalSolverLanguageLexer.g:56:7: ( 'scope' ) |
505 | // InternalSolverLanguageLexer.g:52:9: 'scope' | 552 | // InternalSolverLanguageLexer.g:56:9: 'scope' |
506 | { | 553 | { |
507 | match("scope"); | 554 | match("scope"); |
508 | 555 | ||
@@ -522,8 +569,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
522 | try { | 569 | try { |
523 | int _type = Else; | 570 | int _type = Else; |
524 | int _channel = DEFAULT_TOKEN_CHANNEL; | 571 | int _channel = DEFAULT_TOKEN_CHANNEL; |
525 | // InternalSolverLanguageLexer.g:54:6: ( 'else' ) | 572 | // InternalSolverLanguageLexer.g:58:6: ( 'else' ) |
526 | // InternalSolverLanguageLexer.g:54:8: 'else' | 573 | // InternalSolverLanguageLexer.g:58:8: 'else' |
527 | { | 574 | { |
528 | match("else"); | 575 | match("else"); |
529 | 576 | ||
@@ -538,15 +585,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
538 | } | 585 | } |
539 | // $ANTLR end "Else" | 586 | // $ANTLR end "Else" |
540 | 587 | ||
541 | // $ANTLR start "Must" | 588 | // $ANTLR start "Enum" |
542 | public final void mMust() throws RecognitionException { | 589 | public final void mEnum() throws RecognitionException { |
543 | try { | 590 | try { |
544 | int _type = Must; | 591 | int _type = Enum; |
545 | int _channel = DEFAULT_TOKEN_CHANNEL; | 592 | int _channel = DEFAULT_TOKEN_CHANNEL; |
546 | // InternalSolverLanguageLexer.g:56:6: ( 'must' ) | 593 | // InternalSolverLanguageLexer.g:60:6: ( 'enum' ) |
547 | // InternalSolverLanguageLexer.g:56:8: 'must' | 594 | // InternalSolverLanguageLexer.g:60:8: 'enum' |
548 | { | 595 | { |
549 | match("must"); | 596 | match("enum"); |
550 | 597 | ||
551 | 598 | ||
552 | } | 599 | } |
@@ -557,15 +604,36 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
557 | finally { | 604 | finally { |
558 | } | 605 | } |
559 | } | 606 | } |
560 | // $ANTLR end "Must" | 607 | // $ANTLR end "Enum" |
608 | |||
609 | // $ANTLR start "Root" | ||
610 | public final void mRoot() throws RecognitionException { | ||
611 | try { | ||
612 | int _type = Root; | ||
613 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
614 | // InternalSolverLanguageLexer.g:62:6: ( 'root' ) | ||
615 | // InternalSolverLanguageLexer.g:62:8: 'root' | ||
616 | { | ||
617 | match("root"); | ||
618 | |||
619 | |||
620 | } | ||
621 | |||
622 | state.type = _type; | ||
623 | state.channel = _channel; | ||
624 | } | ||
625 | finally { | ||
626 | } | ||
627 | } | ||
628 | // $ANTLR end "Root" | ||
561 | 629 | ||
562 | // $ANTLR start "Then" | 630 | // $ANTLR start "Then" |
563 | public final void mThen() throws RecognitionException { | 631 | public final void mThen() throws RecognitionException { |
564 | try { | 632 | try { |
565 | int _type = Then; | 633 | int _type = Then; |
566 | int _channel = DEFAULT_TOKEN_CHANNEL; | 634 | int _channel = DEFAULT_TOKEN_CHANNEL; |
567 | // InternalSolverLanguageLexer.g:58:6: ( 'then' ) | 635 | // InternalSolverLanguageLexer.g:64:6: ( 'then' ) |
568 | // InternalSolverLanguageLexer.g:58:8: 'then' | 636 | // InternalSolverLanguageLexer.g:64:8: 'then' |
569 | { | 637 | { |
570 | match("then"); | 638 | match("then"); |
571 | 639 | ||
@@ -585,8 +653,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
585 | try { | 653 | try { |
586 | int _type = True; | 654 | int _type = True; |
587 | int _channel = DEFAULT_TOKEN_CHANNEL; | 655 | int _channel = DEFAULT_TOKEN_CHANNEL; |
588 | // InternalSolverLanguageLexer.g:60:6: ( 'true' ) | 656 | // InternalSolverLanguageLexer.g:66:6: ( 'true' ) |
589 | // InternalSolverLanguageLexer.g:60:8: 'true' | 657 | // InternalSolverLanguageLexer.g:66:8: 'true' |
590 | { | 658 | { |
591 | match("true"); | 659 | match("true"); |
592 | 660 | ||
@@ -606,8 +674,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
606 | try { | 674 | try { |
607 | int _type = FullStopFullStopFullStop; | 675 | int _type = FullStopFullStopFullStop; |
608 | int _channel = DEFAULT_TOKEN_CHANNEL; | 676 | int _channel = DEFAULT_TOKEN_CHANNEL; |
609 | // InternalSolverLanguageLexer.g:62:26: ( '...' ) | 677 | // InternalSolverLanguageLexer.g:68:26: ( '...' ) |
610 | // InternalSolverLanguageLexer.g:62:28: '...' | 678 | // InternalSolverLanguageLexer.g:68:28: '...' |
611 | { | 679 | { |
612 | match("..."); | 680 | match("..."); |
613 | 681 | ||
@@ -627,8 +695,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
627 | try { | 695 | try { |
628 | int _type = Inf; | 696 | int _type = Inf; |
629 | int _channel = DEFAULT_TOKEN_CHANNEL; | 697 | int _channel = DEFAULT_TOKEN_CHANNEL; |
630 | // InternalSolverLanguageLexer.g:64:5: ( 'inf' ) | 698 | // InternalSolverLanguageLexer.g:70:5: ( 'inf' ) |
631 | // InternalSolverLanguageLexer.g:64:7: 'inf' | 699 | // InternalSolverLanguageLexer.g:70:7: 'inf' |
632 | { | 700 | { |
633 | match("inf"); | 701 | match("inf"); |
634 | 702 | ||
@@ -648,8 +716,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
648 | try { | 716 | try { |
649 | int _type = Let; | 717 | int _type = Let; |
650 | int _channel = DEFAULT_TOKEN_CHANNEL; | 718 | int _channel = DEFAULT_TOKEN_CHANNEL; |
651 | // InternalSolverLanguageLexer.g:66:5: ( 'let' ) | 719 | // InternalSolverLanguageLexer.g:72:5: ( 'let' ) |
652 | // InternalSolverLanguageLexer.g:66:7: 'let' | 720 | // InternalSolverLanguageLexer.g:72:7: 'let' |
653 | { | 721 | { |
654 | match("let"); | 722 | match("let"); |
655 | 723 | ||
@@ -664,15 +732,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
664 | } | 732 | } |
665 | // $ANTLR end "Let" | 733 | // $ANTLR end "Let" |
666 | 734 | ||
667 | // $ANTLR start "May" | 735 | // $ANTLR start "ExclamationMarkEqualsSign" |
668 | public final void mMay() throws RecognitionException { | 736 | public final void mExclamationMarkEqualsSign() throws RecognitionException { |
669 | try { | 737 | try { |
670 | int _type = May; | 738 | int _type = ExclamationMarkEqualsSign; |
671 | int _channel = DEFAULT_TOKEN_CHANNEL; | 739 | int _channel = DEFAULT_TOKEN_CHANNEL; |
672 | // InternalSolverLanguageLexer.g:68:5: ( 'may' ) | 740 | // InternalSolverLanguageLexer.g:74:27: ( '!=' ) |
673 | // InternalSolverLanguageLexer.g:68:7: 'may' | 741 | // InternalSolverLanguageLexer.g:74:29: '!=' |
674 | { | 742 | { |
675 | match("may"); | 743 | match("!="); |
676 | 744 | ||
677 | 745 | ||
678 | } | 746 | } |
@@ -683,17 +751,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
683 | finally { | 751 | finally { |
684 | } | 752 | } |
685 | } | 753 | } |
686 | // $ANTLR end "May" | 754 | // $ANTLR end "ExclamationMarkEqualsSign" |
687 | 755 | ||
688 | // $ANTLR start "ExclamationMarkEqualsSign" | 756 | // $ANTLR start "HyphenMinusGreaterThanSign" |
689 | public final void mExclamationMarkEqualsSign() throws RecognitionException { | 757 | public final void mHyphenMinusGreaterThanSign() throws RecognitionException { |
690 | try { | 758 | try { |
691 | int _type = ExclamationMarkEqualsSign; | 759 | int _type = HyphenMinusGreaterThanSign; |
692 | int _channel = DEFAULT_TOKEN_CHANNEL; | 760 | int _channel = DEFAULT_TOKEN_CHANNEL; |
693 | // InternalSolverLanguageLexer.g:70:27: ( '!=' ) | 761 | // InternalSolverLanguageLexer.g:76:28: ( '->' ) |
694 | // InternalSolverLanguageLexer.g:70:29: '!=' | 762 | // InternalSolverLanguageLexer.g:76:30: '->' |
695 | { | 763 | { |
696 | match("!="); | 764 | match("->"); |
697 | 765 | ||
698 | 766 | ||
699 | } | 767 | } |
@@ -704,17 +772,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
704 | finally { | 772 | finally { |
705 | } | 773 | } |
706 | } | 774 | } |
707 | // $ANTLR end "ExclamationMarkEqualsSign" | 775 | // $ANTLR end "HyphenMinusGreaterThanSign" |
708 | 776 | ||
709 | // $ANTLR start "HyphenMinusGreaterThanSign" | 777 | // $ANTLR start "ColonHyphenMinus" |
710 | public final void mHyphenMinusGreaterThanSign() throws RecognitionException { | 778 | public final void mColonHyphenMinus() throws RecognitionException { |
711 | try { | 779 | try { |
712 | int _type = HyphenMinusGreaterThanSign; | 780 | int _type = ColonHyphenMinus; |
713 | int _channel = DEFAULT_TOKEN_CHANNEL; | 781 | int _channel = DEFAULT_TOKEN_CHANNEL; |
714 | // InternalSolverLanguageLexer.g:72:28: ( '->' ) | 782 | // InternalSolverLanguageLexer.g:78:18: ( ':-' ) |
715 | // InternalSolverLanguageLexer.g:72:30: '->' | 783 | // InternalSolverLanguageLexer.g:78:20: ':-' |
716 | { | 784 | { |
717 | match("->"); | 785 | match(":-"); |
718 | 786 | ||
719 | 787 | ||
720 | } | 788 | } |
@@ -725,17 +793,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
725 | finally { | 793 | finally { |
726 | } | 794 | } |
727 | } | 795 | } |
728 | // $ANTLR end "HyphenMinusGreaterThanSign" | 796 | // $ANTLR end "ColonHyphenMinus" |
729 | 797 | ||
730 | // $ANTLR start "FullStopFullStop" | 798 | // $ANTLR start "ColonColon" |
731 | public final void mFullStopFullStop() throws RecognitionException { | 799 | public final void mColonColon() throws RecognitionException { |
732 | try { | 800 | try { |
733 | int _type = FullStopFullStop; | 801 | int _type = ColonColon; |
734 | int _channel = DEFAULT_TOKEN_CHANNEL; | 802 | int _channel = DEFAULT_TOKEN_CHANNEL; |
735 | // InternalSolverLanguageLexer.g:74:18: ( '..' ) | 803 | // InternalSolverLanguageLexer.g:80:12: ( '::' ) |
736 | // InternalSolverLanguageLexer.g:74:20: '..' | 804 | // InternalSolverLanguageLexer.g:80:14: '::' |
737 | { | 805 | { |
738 | match(".."); | 806 | match("::"); |
739 | 807 | ||
740 | 808 | ||
741 | } | 809 | } |
@@ -746,17 +814,17 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
746 | finally { | 814 | finally { |
747 | } | 815 | } |
748 | } | 816 | } |
749 | // $ANTLR end "FullStopFullStop" | 817 | // $ANTLR end "ColonColon" |
750 | 818 | ||
751 | // $ANTLR start "ColonHyphenMinus" | 819 | // $ANTLR start "ColonEqualsSign" |
752 | public final void mColonHyphenMinus() throws RecognitionException { | 820 | public final void mColonEqualsSign() throws RecognitionException { |
753 | try { | 821 | try { |
754 | int _type = ColonHyphenMinus; | 822 | int _type = ColonEqualsSign; |
755 | int _channel = DEFAULT_TOKEN_CHANNEL; | 823 | int _channel = DEFAULT_TOKEN_CHANNEL; |
756 | // InternalSolverLanguageLexer.g:76:18: ( ':-' ) | 824 | // InternalSolverLanguageLexer.g:82:17: ( ':=' ) |
757 | // InternalSolverLanguageLexer.g:76:20: ':-' | 825 | // InternalSolverLanguageLexer.g:82:19: ':=' |
758 | { | 826 | { |
759 | match(":-"); | 827 | match(":="); |
760 | 828 | ||
761 | 829 | ||
762 | } | 830 | } |
@@ -767,15 +835,15 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
767 | finally { | 835 | finally { |
768 | } | 836 | } |
769 | } | 837 | } |
770 | // $ANTLR end "ColonHyphenMinus" | 838 | // $ANTLR end "ColonEqualsSign" |
771 | 839 | ||
772 | // $ANTLR start "LessThanSignEqualsSign" | 840 | // $ANTLR start "LessThanSignEqualsSign" |
773 | public final void mLessThanSignEqualsSign() throws RecognitionException { | 841 | public final void mLessThanSignEqualsSign() throws RecognitionException { |
774 | try { | 842 | try { |
775 | int _type = LessThanSignEqualsSign; | 843 | int _type = LessThanSignEqualsSign; |
776 | int _channel = DEFAULT_TOKEN_CHANNEL; | 844 | int _channel = DEFAULT_TOKEN_CHANNEL; |
777 | // InternalSolverLanguageLexer.g:78:24: ( '<=' ) | 845 | // InternalSolverLanguageLexer.g:84:24: ( '<=' ) |
778 | // InternalSolverLanguageLexer.g:78:26: '<=' | 846 | // InternalSolverLanguageLexer.g:84:26: '<=' |
779 | { | 847 | { |
780 | match("<="); | 848 | match("<="); |
781 | 849 | ||
@@ -795,8 +863,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
795 | try { | 863 | try { |
796 | int _type = EqualsSignEqualsSign; | 864 | int _type = EqualsSignEqualsSign; |
797 | int _channel = DEFAULT_TOKEN_CHANNEL; | 865 | int _channel = DEFAULT_TOKEN_CHANNEL; |
798 | // InternalSolverLanguageLexer.g:80:22: ( '==' ) | 866 | // InternalSolverLanguageLexer.g:86:22: ( '==' ) |
799 | // InternalSolverLanguageLexer.g:80:24: '==' | 867 | // InternalSolverLanguageLexer.g:86:24: '==' |
800 | { | 868 | { |
801 | match("=="); | 869 | match("=="); |
802 | 870 | ||
@@ -816,8 +884,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
816 | try { | 884 | try { |
817 | int _type = EqualsSignGreaterThanSign; | 885 | int _type = EqualsSignGreaterThanSign; |
818 | int _channel = DEFAULT_TOKEN_CHANNEL; | 886 | int _channel = DEFAULT_TOKEN_CHANNEL; |
819 | // InternalSolverLanguageLexer.g:82:27: ( '=>' ) | 887 | // InternalSolverLanguageLexer.g:88:27: ( '=>' ) |
820 | // InternalSolverLanguageLexer.g:82:29: '=>' | 888 | // InternalSolverLanguageLexer.g:88:29: '=>' |
821 | { | 889 | { |
822 | match("=>"); | 890 | match("=>"); |
823 | 891 | ||
@@ -837,8 +905,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
837 | try { | 905 | try { |
838 | int _type = GreaterThanSignEqualsSign; | 906 | int _type = GreaterThanSignEqualsSign; |
839 | int _channel = DEFAULT_TOKEN_CHANNEL; | 907 | int _channel = DEFAULT_TOKEN_CHANNEL; |
840 | // InternalSolverLanguageLexer.g:84:27: ( '>=' ) | 908 | // InternalSolverLanguageLexer.g:90:27: ( '>=' ) |
841 | // InternalSolverLanguageLexer.g:84:29: '>=' | 909 | // InternalSolverLanguageLexer.g:90:29: '>=' |
842 | { | 910 | { |
843 | match(">="); | 911 | match(">="); |
844 | 912 | ||
@@ -858,8 +926,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
858 | try { | 926 | try { |
859 | int _type = As; | 927 | int _type = As; |
860 | int _channel = DEFAULT_TOKEN_CHANNEL; | 928 | int _channel = DEFAULT_TOKEN_CHANNEL; |
861 | // InternalSolverLanguageLexer.g:86:4: ( 'as' ) | 929 | // InternalSolverLanguageLexer.g:92:4: ( 'as' ) |
862 | // InternalSolverLanguageLexer.g:86:6: 'as' | 930 | // InternalSolverLanguageLexer.g:92:6: 'as' |
863 | { | 931 | { |
864 | match("as"); | 932 | match("as"); |
865 | 933 | ||
@@ -879,8 +947,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
879 | try { | 947 | try { |
880 | int _type = If; | 948 | int _type = If; |
881 | int _channel = DEFAULT_TOKEN_CHANNEL; | 949 | int _channel = DEFAULT_TOKEN_CHANNEL; |
882 | // InternalSolverLanguageLexer.g:88:4: ( 'if' ) | 950 | // InternalSolverLanguageLexer.g:94:4: ( 'if' ) |
883 | // InternalSolverLanguageLexer.g:88:6: 'if' | 951 | // InternalSolverLanguageLexer.g:94:6: 'if' |
884 | { | 952 | { |
885 | match("if"); | 953 | match("if"); |
886 | 954 | ||
@@ -900,8 +968,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
900 | try { | 968 | try { |
901 | int _type = In; | 969 | int _type = In; |
902 | int _channel = DEFAULT_TOKEN_CHANNEL; | 970 | int _channel = DEFAULT_TOKEN_CHANNEL; |
903 | // InternalSolverLanguageLexer.g:90:4: ( 'in' ) | 971 | // InternalSolverLanguageLexer.g:96:4: ( 'in' ) |
904 | // InternalSolverLanguageLexer.g:90:6: 'in' | 972 | // InternalSolverLanguageLexer.g:96:6: 'in' |
905 | { | 973 | { |
906 | match("in"); | 974 | match("in"); |
907 | 975 | ||
@@ -921,8 +989,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
921 | try { | 989 | try { |
922 | int _type = ExclamationMark; | 990 | int _type = ExclamationMark; |
923 | int _channel = DEFAULT_TOKEN_CHANNEL; | 991 | int _channel = DEFAULT_TOKEN_CHANNEL; |
924 | // InternalSolverLanguageLexer.g:92:17: ( '!' ) | 992 | // InternalSolverLanguageLexer.g:98:17: ( '!' ) |
925 | // InternalSolverLanguageLexer.g:92:19: '!' | 993 | // InternalSolverLanguageLexer.g:98:19: '!' |
926 | { | 994 | { |
927 | match('!'); | 995 | match('!'); |
928 | 996 | ||
@@ -941,8 +1009,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
941 | try { | 1009 | try { |
942 | int _type = LeftParenthesis; | 1010 | int _type = LeftParenthesis; |
943 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1011 | int _channel = DEFAULT_TOKEN_CHANNEL; |
944 | // InternalSolverLanguageLexer.g:94:17: ( '(' ) | 1012 | // InternalSolverLanguageLexer.g:100:17: ( '(' ) |
945 | // InternalSolverLanguageLexer.g:94:19: '(' | 1013 | // InternalSolverLanguageLexer.g:100:19: '(' |
946 | { | 1014 | { |
947 | match('('); | 1015 | match('('); |
948 | 1016 | ||
@@ -961,8 +1029,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
961 | try { | 1029 | try { |
962 | int _type = RightParenthesis; | 1030 | int _type = RightParenthesis; |
963 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1031 | int _channel = DEFAULT_TOKEN_CHANNEL; |
964 | // InternalSolverLanguageLexer.g:96:18: ( ')' ) | 1032 | // InternalSolverLanguageLexer.g:102:18: ( ')' ) |
965 | // InternalSolverLanguageLexer.g:96:20: ')' | 1033 | // InternalSolverLanguageLexer.g:102:20: ')' |
966 | { | 1034 | { |
967 | match(')'); | 1035 | match(')'); |
968 | 1036 | ||
@@ -981,8 +1049,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
981 | try { | 1049 | try { |
982 | int _type = Asterisk; | 1050 | int _type = Asterisk; |
983 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1051 | int _channel = DEFAULT_TOKEN_CHANNEL; |
984 | // InternalSolverLanguageLexer.g:98:10: ( '*' ) | 1052 | // InternalSolverLanguageLexer.g:104:10: ( '*' ) |
985 | // InternalSolverLanguageLexer.g:98:12: '*' | 1053 | // InternalSolverLanguageLexer.g:104:12: '*' |
986 | { | 1054 | { |
987 | match('*'); | 1055 | match('*'); |
988 | 1056 | ||
@@ -1001,8 +1069,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1001 | try { | 1069 | try { |
1002 | int _type = PlusSign; | 1070 | int _type = PlusSign; |
1003 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1071 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1004 | // InternalSolverLanguageLexer.g:100:10: ( '+' ) | 1072 | // InternalSolverLanguageLexer.g:106:10: ( '+' ) |
1005 | // InternalSolverLanguageLexer.g:100:12: '+' | 1073 | // InternalSolverLanguageLexer.g:106:12: '+' |
1006 | { | 1074 | { |
1007 | match('+'); | 1075 | match('+'); |
1008 | 1076 | ||
@@ -1021,8 +1089,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1021 | try { | 1089 | try { |
1022 | int _type = Comma; | 1090 | int _type = Comma; |
1023 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1091 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1024 | // InternalSolverLanguageLexer.g:102:7: ( ',' ) | 1092 | // InternalSolverLanguageLexer.g:108:7: ( ',' ) |
1025 | // InternalSolverLanguageLexer.g:102:9: ',' | 1093 | // InternalSolverLanguageLexer.g:108:9: ',' |
1026 | { | 1094 | { |
1027 | match(','); | 1095 | match(','); |
1028 | 1096 | ||
@@ -1041,8 +1109,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1041 | try { | 1109 | try { |
1042 | int _type = HyphenMinus; | 1110 | int _type = HyphenMinus; |
1043 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1111 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1044 | // InternalSolverLanguageLexer.g:104:13: ( '-' ) | 1112 | // InternalSolverLanguageLexer.g:110:13: ( '-' ) |
1045 | // InternalSolverLanguageLexer.g:104:15: '-' | 1113 | // InternalSolverLanguageLexer.g:110:15: '-' |
1046 | { | 1114 | { |
1047 | match('-'); | 1115 | match('-'); |
1048 | 1116 | ||
@@ -1061,8 +1129,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1061 | try { | 1129 | try { |
1062 | int _type = FullStop; | 1130 | int _type = FullStop; |
1063 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1131 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1064 | // InternalSolverLanguageLexer.g:106:10: ( '.' ) | 1132 | // InternalSolverLanguageLexer.g:112:10: ( '.' ) |
1065 | // InternalSolverLanguageLexer.g:106:12: '.' | 1133 | // InternalSolverLanguageLexer.g:112:12: '.' |
1066 | { | 1134 | { |
1067 | match('.'); | 1135 | match('.'); |
1068 | 1136 | ||
@@ -1081,8 +1149,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1081 | try { | 1149 | try { |
1082 | int _type = Solidus; | 1150 | int _type = Solidus; |
1083 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1151 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1084 | // InternalSolverLanguageLexer.g:108:9: ( '/' ) | 1152 | // InternalSolverLanguageLexer.g:114:9: ( '/' ) |
1085 | // InternalSolverLanguageLexer.g:108:11: '/' | 1153 | // InternalSolverLanguageLexer.g:114:11: '/' |
1086 | { | 1154 | { |
1087 | match('/'); | 1155 | match('/'); |
1088 | 1156 | ||
@@ -1101,8 +1169,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1101 | try { | 1169 | try { |
1102 | int _type = Colon; | 1170 | int _type = Colon; |
1103 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1171 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1104 | // InternalSolverLanguageLexer.g:110:7: ( ':' ) | 1172 | // InternalSolverLanguageLexer.g:116:7: ( ':' ) |
1105 | // InternalSolverLanguageLexer.g:110:9: ':' | 1173 | // InternalSolverLanguageLexer.g:116:9: ':' |
1106 | { | 1174 | { |
1107 | match(':'); | 1175 | match(':'); |
1108 | 1176 | ||
@@ -1121,8 +1189,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1121 | try { | 1189 | try { |
1122 | int _type = Semicolon; | 1190 | int _type = Semicolon; |
1123 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1191 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1124 | // InternalSolverLanguageLexer.g:112:11: ( ';' ) | 1192 | // InternalSolverLanguageLexer.g:118:11: ( ';' ) |
1125 | // InternalSolverLanguageLexer.g:112:13: ';' | 1193 | // InternalSolverLanguageLexer.g:118:13: ';' |
1126 | { | 1194 | { |
1127 | match(';'); | 1195 | match(';'); |
1128 | 1196 | ||
@@ -1141,8 +1209,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1141 | try { | 1209 | try { |
1142 | int _type = LessThanSign; | 1210 | int _type = LessThanSign; |
1143 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1211 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1144 | // InternalSolverLanguageLexer.g:114:14: ( '<' ) | 1212 | // InternalSolverLanguageLexer.g:120:14: ( '<' ) |
1145 | // InternalSolverLanguageLexer.g:114:16: '<' | 1213 | // InternalSolverLanguageLexer.g:120:16: '<' |
1146 | { | 1214 | { |
1147 | match('<'); | 1215 | match('<'); |
1148 | 1216 | ||
@@ -1161,8 +1229,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1161 | try { | 1229 | try { |
1162 | int _type = EqualsSign; | 1230 | int _type = EqualsSign; |
1163 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1231 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1164 | // InternalSolverLanguageLexer.g:116:12: ( '=' ) | 1232 | // InternalSolverLanguageLexer.g:122:12: ( '=' ) |
1165 | // InternalSolverLanguageLexer.g:116:14: '=' | 1233 | // InternalSolverLanguageLexer.g:122:14: '=' |
1166 | { | 1234 | { |
1167 | match('='); | 1235 | match('='); |
1168 | 1236 | ||
@@ -1181,8 +1249,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1181 | try { | 1249 | try { |
1182 | int _type = GreaterThanSign; | 1250 | int _type = GreaterThanSign; |
1183 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1251 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1184 | // InternalSolverLanguageLexer.g:118:17: ( '>' ) | 1252 | // InternalSolverLanguageLexer.g:124:17: ( '>' ) |
1185 | // InternalSolverLanguageLexer.g:118:19: '>' | 1253 | // InternalSolverLanguageLexer.g:124:19: '>' |
1186 | { | 1254 | { |
1187 | match('>'); | 1255 | match('>'); |
1188 | 1256 | ||
@@ -1196,13 +1264,33 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1196 | } | 1264 | } |
1197 | // $ANTLR end "GreaterThanSign" | 1265 | // $ANTLR end "GreaterThanSign" |
1198 | 1266 | ||
1267 | // $ANTLR start "QuestionMark" | ||
1268 | public final void mQuestionMark() throws RecognitionException { | ||
1269 | try { | ||
1270 | int _type = QuestionMark; | ||
1271 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
1272 | // InternalSolverLanguageLexer.g:126:14: ( '?' ) | ||
1273 | // InternalSolverLanguageLexer.g:126:16: '?' | ||
1274 | { | ||
1275 | match('?'); | ||
1276 | |||
1277 | } | ||
1278 | |||
1279 | state.type = _type; | ||
1280 | state.channel = _channel; | ||
1281 | } | ||
1282 | finally { | ||
1283 | } | ||
1284 | } | ||
1285 | // $ANTLR end "QuestionMark" | ||
1286 | |||
1199 | // $ANTLR start "LeftSquareBracket" | 1287 | // $ANTLR start "LeftSquareBracket" |
1200 | public final void mLeftSquareBracket() throws RecognitionException { | 1288 | public final void mLeftSquareBracket() throws RecognitionException { |
1201 | try { | 1289 | try { |
1202 | int _type = LeftSquareBracket; | 1290 | int _type = LeftSquareBracket; |
1203 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1291 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1204 | // InternalSolverLanguageLexer.g:120:19: ( '[' ) | 1292 | // InternalSolverLanguageLexer.g:128:19: ( '[' ) |
1205 | // InternalSolverLanguageLexer.g:120:21: '[' | 1293 | // InternalSolverLanguageLexer.g:128:21: '[' |
1206 | { | 1294 | { |
1207 | match('['); | 1295 | match('['); |
1208 | 1296 | ||
@@ -1221,8 +1309,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1221 | try { | 1309 | try { |
1222 | int _type = RightSquareBracket; | 1310 | int _type = RightSquareBracket; |
1223 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1311 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1224 | // InternalSolverLanguageLexer.g:122:20: ( ']' ) | 1312 | // InternalSolverLanguageLexer.g:130:20: ( ']' ) |
1225 | // InternalSolverLanguageLexer.g:122:22: ']' | 1313 | // InternalSolverLanguageLexer.g:130:22: ']' |
1226 | { | 1314 | { |
1227 | match(']'); | 1315 | match(']'); |
1228 | 1316 | ||
@@ -1241,8 +1329,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1241 | try { | 1329 | try { |
1242 | int _type = CircumflexAccent; | 1330 | int _type = CircumflexAccent; |
1243 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1331 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1244 | // InternalSolverLanguageLexer.g:124:18: ( '^' ) | 1332 | // InternalSolverLanguageLexer.g:132:18: ( '^' ) |
1245 | // InternalSolverLanguageLexer.g:124:20: '^' | 1333 | // InternalSolverLanguageLexer.g:132:20: '^' |
1246 | { | 1334 | { |
1247 | match('^'); | 1335 | match('^'); |
1248 | 1336 | ||
@@ -1261,8 +1349,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1261 | try { | 1349 | try { |
1262 | int _type = LeftCurlyBracket; | 1350 | int _type = LeftCurlyBracket; |
1263 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1351 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1264 | // InternalSolverLanguageLexer.g:126:18: ( '{' ) | 1352 | // InternalSolverLanguageLexer.g:134:18: ( '{' ) |
1265 | // InternalSolverLanguageLexer.g:126:20: '{' | 1353 | // InternalSolverLanguageLexer.g:134:20: '{' |
1266 | { | 1354 | { |
1267 | match('{'); | 1355 | match('{'); |
1268 | 1356 | ||
@@ -1281,8 +1369,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1281 | try { | 1369 | try { |
1282 | int _type = VerticalLine; | 1370 | int _type = VerticalLine; |
1283 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1371 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1284 | // InternalSolverLanguageLexer.g:128:14: ( '|' ) | 1372 | // InternalSolverLanguageLexer.g:136:14: ( '|' ) |
1285 | // InternalSolverLanguageLexer.g:128:16: '|' | 1373 | // InternalSolverLanguageLexer.g:136:16: '|' |
1286 | { | 1374 | { |
1287 | match('|'); | 1375 | match('|'); |
1288 | 1376 | ||
@@ -1301,8 +1389,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1301 | try { | 1389 | try { |
1302 | int _type = RightCurlyBracket; | 1390 | int _type = RightCurlyBracket; |
1303 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1391 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1304 | // InternalSolverLanguageLexer.g:130:19: ( '}' ) | 1392 | // InternalSolverLanguageLexer.g:138:19: ( '}' ) |
1305 | // InternalSolverLanguageLexer.g:130:21: '}' | 1393 | // InternalSolverLanguageLexer.g:138:21: '}' |
1306 | { | 1394 | { |
1307 | match('}'); | 1395 | match('}'); |
1308 | 1396 | ||
@@ -1316,16 +1404,36 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1316 | } | 1404 | } |
1317 | // $ANTLR end "RightCurlyBracket" | 1405 | // $ANTLR end "RightCurlyBracket" |
1318 | 1406 | ||
1407 | // $ANTLR start "Tilde" | ||
1408 | public final void mTilde() throws RecognitionException { | ||
1409 | try { | ||
1410 | int _type = Tilde; | ||
1411 | int _channel = DEFAULT_TOKEN_CHANNEL; | ||
1412 | // InternalSolverLanguageLexer.g:140:7: ( '~' ) | ||
1413 | // InternalSolverLanguageLexer.g:140:9: '~' | ||
1414 | { | ||
1415 | match('~'); | ||
1416 | |||
1417 | } | ||
1418 | |||
1419 | state.type = _type; | ||
1420 | state.channel = _channel; | ||
1421 | } | ||
1422 | finally { | ||
1423 | } | ||
1424 | } | ||
1425 | // $ANTLR end "Tilde" | ||
1426 | |||
1319 | // $ANTLR start "RULE_STRING" | 1427 | // $ANTLR start "RULE_STRING" |
1320 | public final void mRULE_STRING() throws RecognitionException { | 1428 | public final void mRULE_STRING() throws RecognitionException { |
1321 | try { | 1429 | try { |
1322 | int _type = RULE_STRING; | 1430 | int _type = RULE_STRING; |
1323 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1431 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1324 | // InternalSolverLanguageLexer.g:132:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) | 1432 | // InternalSolverLanguageLexer.g:142:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) |
1325 | // InternalSolverLanguageLexer.g:132:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | 1433 | // InternalSolverLanguageLexer.g:142:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' |
1326 | { | 1434 | { |
1327 | match('\"'); | 1435 | match('\"'); |
1328 | // InternalSolverLanguageLexer.g:132:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* | 1436 | // InternalSolverLanguageLexer.g:142:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* |
1329 | loop1: | 1437 | loop1: |
1330 | do { | 1438 | do { |
1331 | int alt1=3; | 1439 | int alt1=3; |
@@ -1341,7 +1449,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1341 | 1449 | ||
1342 | switch (alt1) { | 1450 | switch (alt1) { |
1343 | case 1 : | 1451 | case 1 : |
1344 | // InternalSolverLanguageLexer.g:132:20: '\\\\' . | 1452 | // InternalSolverLanguageLexer.g:142:20: '\\\\' . |
1345 | { | 1453 | { |
1346 | match('\\'); | 1454 | match('\\'); |
1347 | matchAny(); | 1455 | matchAny(); |
@@ -1349,7 +1457,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1349 | } | 1457 | } |
1350 | break; | 1458 | break; |
1351 | case 2 : | 1459 | case 2 : |
1352 | // InternalSolverLanguageLexer.g:132:27: ~ ( ( '\\\\' | '\"' ) ) | 1460 | // InternalSolverLanguageLexer.g:142:27: ~ ( ( '\\\\' | '\"' ) ) |
1353 | { | 1461 | { |
1354 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 1462 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
1355 | input.consume(); | 1463 | input.consume(); |
@@ -1386,11 +1494,11 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1386 | try { | 1494 | try { |
1387 | int _type = RULE_QUOTED_ID; | 1495 | int _type = RULE_QUOTED_ID; |
1388 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1496 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1389 | // InternalSolverLanguageLexer.g:134:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) | 1497 | // InternalSolverLanguageLexer.g:144:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) |
1390 | // InternalSolverLanguageLexer.g:134:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' | 1498 | // InternalSolverLanguageLexer.g:144:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' |
1391 | { | 1499 | { |
1392 | match('\''); | 1500 | match('\''); |
1393 | // InternalSolverLanguageLexer.g:134:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* | 1501 | // InternalSolverLanguageLexer.g:144:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* |
1394 | loop2: | 1502 | loop2: |
1395 | do { | 1503 | do { |
1396 | int alt2=3; | 1504 | int alt2=3; |
@@ -1406,7 +1514,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1406 | 1514 | ||
1407 | switch (alt2) { | 1515 | switch (alt2) { |
1408 | case 1 : | 1516 | case 1 : |
1409 | // InternalSolverLanguageLexer.g:134:24: '\\\\' . | 1517 | // InternalSolverLanguageLexer.g:144:24: '\\\\' . |
1410 | { | 1518 | { |
1411 | match('\\'); | 1519 | match('\\'); |
1412 | matchAny(); | 1520 | matchAny(); |
@@ -1414,7 +1522,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1414 | } | 1522 | } |
1415 | break; | 1523 | break; |
1416 | case 2 : | 1524 | case 2 : |
1417 | // InternalSolverLanguageLexer.g:134:31: ~ ( ( '\\\\' | '\\'' ) ) | 1525 | // InternalSolverLanguageLexer.g:144:31: ~ ( ( '\\\\' | '\\'' ) ) |
1418 | { | 1526 | { |
1419 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { | 1527 | if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { |
1420 | input.consume(); | 1528 | input.consume(); |
@@ -1451,10 +1559,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1451 | try { | 1559 | try { |
1452 | int _type = RULE_SL_COMMENT; | 1560 | int _type = RULE_SL_COMMENT; |
1453 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1561 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1454 | // InternalSolverLanguageLexer.g:136:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) | 1562 | // InternalSolverLanguageLexer.g:146:17: ( ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) |
1455 | // InternalSolverLanguageLexer.g:136:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? | 1563 | // InternalSolverLanguageLexer.g:146:19: ( '%' | '//' ) (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? |
1456 | { | 1564 | { |
1457 | // InternalSolverLanguageLexer.g:136:19: ( '%' | '//' ) | 1565 | // InternalSolverLanguageLexer.g:146:19: ( '%' | '//' ) |
1458 | int alt3=2; | 1566 | int alt3=2; |
1459 | int LA3_0 = input.LA(1); | 1567 | int LA3_0 = input.LA(1); |
1460 | 1568 | ||
@@ -1472,14 +1580,14 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1472 | } | 1580 | } |
1473 | switch (alt3) { | 1581 | switch (alt3) { |
1474 | case 1 : | 1582 | case 1 : |
1475 | // InternalSolverLanguageLexer.g:136:20: '%' | 1583 | // InternalSolverLanguageLexer.g:146:20: '%' |
1476 | { | 1584 | { |
1477 | match('%'); | 1585 | match('%'); |
1478 | 1586 | ||
1479 | } | 1587 | } |
1480 | break; | 1588 | break; |
1481 | case 2 : | 1589 | case 2 : |
1482 | // InternalSolverLanguageLexer.g:136:24: '//' | 1590 | // InternalSolverLanguageLexer.g:146:24: '//' |
1483 | { | 1591 | { |
1484 | match("//"); | 1592 | match("//"); |
1485 | 1593 | ||
@@ -1489,7 +1597,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1489 | 1597 | ||
1490 | } | 1598 | } |
1491 | 1599 | ||
1492 | // InternalSolverLanguageLexer.g:136:30: (~ ( ( '\\n' | '\\r' ) ) )* | 1600 | // InternalSolverLanguageLexer.g:146:30: (~ ( ( '\\n' | '\\r' ) ) )* |
1493 | loop4: | 1601 | loop4: |
1494 | do { | 1602 | do { |
1495 | int alt4=2; | 1603 | int alt4=2; |
@@ -1502,7 +1610,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1502 | 1610 | ||
1503 | switch (alt4) { | 1611 | switch (alt4) { |
1504 | case 1 : | 1612 | case 1 : |
1505 | // InternalSolverLanguageLexer.g:136:30: ~ ( ( '\\n' | '\\r' ) ) | 1613 | // InternalSolverLanguageLexer.g:146:30: ~ ( ( '\\n' | '\\r' ) ) |
1506 | { | 1614 | { |
1507 | 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') ) { | 1615 | 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') ) { |
1508 | input.consume(); | 1616 | input.consume(); |
@@ -1522,7 +1630,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1522 | } | 1630 | } |
1523 | } while (true); | 1631 | } while (true); |
1524 | 1632 | ||
1525 | // InternalSolverLanguageLexer.g:136:46: ( ( '\\r' )? '\\n' )? | 1633 | // InternalSolverLanguageLexer.g:146:46: ( ( '\\r' )? '\\n' )? |
1526 | int alt6=2; | 1634 | int alt6=2; |
1527 | int LA6_0 = input.LA(1); | 1635 | int LA6_0 = input.LA(1); |
1528 | 1636 | ||
@@ -1531,9 +1639,9 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1531 | } | 1639 | } |
1532 | switch (alt6) { | 1640 | switch (alt6) { |
1533 | case 1 : | 1641 | case 1 : |
1534 | // InternalSolverLanguageLexer.g:136:47: ( '\\r' )? '\\n' | 1642 | // InternalSolverLanguageLexer.g:146:47: ( '\\r' )? '\\n' |
1535 | { | 1643 | { |
1536 | // InternalSolverLanguageLexer.g:136:47: ( '\\r' )? | 1644 | // InternalSolverLanguageLexer.g:146:47: ( '\\r' )? |
1537 | int alt5=2; | 1645 | int alt5=2; |
1538 | int LA5_0 = input.LA(1); | 1646 | int LA5_0 = input.LA(1); |
1539 | 1647 | ||
@@ -1542,7 +1650,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1542 | } | 1650 | } |
1543 | switch (alt5) { | 1651 | switch (alt5) { |
1544 | case 1 : | 1652 | case 1 : |
1545 | // InternalSolverLanguageLexer.g:136:47: '\\r' | 1653 | // InternalSolverLanguageLexer.g:146:47: '\\r' |
1546 | { | 1654 | { |
1547 | match('\r'); | 1655 | match('\r'); |
1548 | 1656 | ||
@@ -1572,8 +1680,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1572 | // $ANTLR start "RULE_TRANSITIVE_CLOSURE" | 1680 | // $ANTLR start "RULE_TRANSITIVE_CLOSURE" |
1573 | public final void mRULE_TRANSITIVE_CLOSURE() throws RecognitionException { | 1681 | public final void mRULE_TRANSITIVE_CLOSURE() throws RecognitionException { |
1574 | try { | 1682 | try { |
1575 | // InternalSolverLanguageLexer.g:138:34: () | 1683 | // InternalSolverLanguageLexer.g:148:34: () |
1576 | // InternalSolverLanguageLexer.g:138:36: | 1684 | // InternalSolverLanguageLexer.g:148:36: |
1577 | { | 1685 | { |
1578 | } | 1686 | } |
1579 | 1687 | ||
@@ -1586,8 +1694,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1586 | // $ANTLR start "RULE_REFLEXIVE_TRANSITIVE_CLOSURE" | 1694 | // $ANTLR start "RULE_REFLEXIVE_TRANSITIVE_CLOSURE" |
1587 | public final void mRULE_REFLEXIVE_TRANSITIVE_CLOSURE() throws RecognitionException { | 1695 | public final void mRULE_REFLEXIVE_TRANSITIVE_CLOSURE() throws RecognitionException { |
1588 | try { | 1696 | try { |
1589 | // InternalSolverLanguageLexer.g:140:44: () | 1697 | // InternalSolverLanguageLexer.g:150:44: () |
1590 | // InternalSolverLanguageLexer.g:140:46: | 1698 | // InternalSolverLanguageLexer.g:150:46: |
1591 | { | 1699 | { |
1592 | } | 1700 | } |
1593 | 1701 | ||
@@ -1600,8 +1708,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1600 | // $ANTLR start "RULE_FULL_STOP" | 1708 | // $ANTLR start "RULE_FULL_STOP" |
1601 | public final void mRULE_FULL_STOP() throws RecognitionException { | 1709 | public final void mRULE_FULL_STOP() throws RecognitionException { |
1602 | try { | 1710 | try { |
1603 | // InternalSolverLanguageLexer.g:142:25: () | 1711 | // InternalSolverLanguageLexer.g:152:25: () |
1604 | // InternalSolverLanguageLexer.g:142:27: | 1712 | // InternalSolverLanguageLexer.g:152:27: |
1605 | { | 1713 | { |
1606 | } | 1714 | } |
1607 | 1715 | ||
@@ -1616,10 +1724,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1616 | try { | 1724 | try { |
1617 | int _type = RULE_ID; | 1725 | int _type = RULE_ID; |
1618 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1726 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1619 | // InternalSolverLanguageLexer.g:144:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) | 1727 | // InternalSolverLanguageLexer.g:154:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) |
1620 | // InternalSolverLanguageLexer.g:144:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 1728 | // InternalSolverLanguageLexer.g:154:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
1621 | { | 1729 | { |
1622 | // InternalSolverLanguageLexer.g:144:11: ( '^' )? | 1730 | // InternalSolverLanguageLexer.g:154:11: ( '^' )? |
1623 | int alt7=2; | 1731 | int alt7=2; |
1624 | int LA7_0 = input.LA(1); | 1732 | int LA7_0 = input.LA(1); |
1625 | 1733 | ||
@@ -1628,7 +1736,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1628 | } | 1736 | } |
1629 | switch (alt7) { | 1737 | switch (alt7) { |
1630 | case 1 : | 1738 | case 1 : |
1631 | // InternalSolverLanguageLexer.g:144:11: '^' | 1739 | // InternalSolverLanguageLexer.g:154:11: '^' |
1632 | { | 1740 | { |
1633 | match('^'); | 1741 | match('^'); |
1634 | 1742 | ||
@@ -1646,7 +1754,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1646 | recover(mse); | 1754 | recover(mse); |
1647 | throw mse;} | 1755 | throw mse;} |
1648 | 1756 | ||
1649 | // InternalSolverLanguageLexer.g:144:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* | 1757 | // InternalSolverLanguageLexer.g:154:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* |
1650 | loop8: | 1758 | loop8: |
1651 | do { | 1759 | do { |
1652 | int alt8=2; | 1760 | int alt8=2; |
@@ -1695,10 +1803,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1695 | try { | 1803 | try { |
1696 | int _type = RULE_INT; | 1804 | int _type = RULE_INT; |
1697 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1805 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1698 | // InternalSolverLanguageLexer.g:146:10: ( ( '0' .. '9' )+ ) | 1806 | // InternalSolverLanguageLexer.g:156:10: ( ( '0' .. '9' )+ ) |
1699 | // InternalSolverLanguageLexer.g:146:12: ( '0' .. '9' )+ | 1807 | // InternalSolverLanguageLexer.g:156:12: ( '0' .. '9' )+ |
1700 | { | 1808 | { |
1701 | // InternalSolverLanguageLexer.g:146:12: ( '0' .. '9' )+ | 1809 | // InternalSolverLanguageLexer.g:156:12: ( '0' .. '9' )+ |
1702 | int cnt9=0; | 1810 | int cnt9=0; |
1703 | loop9: | 1811 | loop9: |
1704 | do { | 1812 | do { |
@@ -1712,7 +1820,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1712 | 1820 | ||
1713 | switch (alt9) { | 1821 | switch (alt9) { |
1714 | case 1 : | 1822 | case 1 : |
1715 | // InternalSolverLanguageLexer.g:146:13: '0' .. '9' | 1823 | // InternalSolverLanguageLexer.g:156:13: '0' .. '9' |
1716 | { | 1824 | { |
1717 | matchRange('0','9'); | 1825 | matchRange('0','9'); |
1718 | 1826 | ||
@@ -1744,12 +1852,12 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1744 | try { | 1852 | try { |
1745 | int _type = RULE_ML_COMMENT; | 1853 | int _type = RULE_ML_COMMENT; |
1746 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1854 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1747 | // InternalSolverLanguageLexer.g:148:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) | 1855 | // InternalSolverLanguageLexer.g:158:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) |
1748 | // InternalSolverLanguageLexer.g:148:19: '/*' ( options {greedy=false; } : . )* '*/' | 1856 | // InternalSolverLanguageLexer.g:158:19: '/*' ( options {greedy=false; } : . )* '*/' |
1749 | { | 1857 | { |
1750 | match("/*"); | 1858 | match("/*"); |
1751 | 1859 | ||
1752 | // InternalSolverLanguageLexer.g:148:24: ( options {greedy=false; } : . )* | 1860 | // InternalSolverLanguageLexer.g:158:24: ( options {greedy=false; } : . )* |
1753 | loop10: | 1861 | loop10: |
1754 | do { | 1862 | do { |
1755 | int alt10=2; | 1863 | int alt10=2; |
@@ -1774,7 +1882,7 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1774 | 1882 | ||
1775 | switch (alt10) { | 1883 | switch (alt10) { |
1776 | case 1 : | 1884 | case 1 : |
1777 | // InternalSolverLanguageLexer.g:148:52: . | 1885 | // InternalSolverLanguageLexer.g:158:52: . |
1778 | { | 1886 | { |
1779 | matchAny(); | 1887 | matchAny(); |
1780 | 1888 | ||
@@ -1804,10 +1912,10 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1804 | try { | 1912 | try { |
1805 | int _type = RULE_WS; | 1913 | int _type = RULE_WS; |
1806 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1914 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1807 | // InternalSolverLanguageLexer.g:150:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) | 1915 | // InternalSolverLanguageLexer.g:160:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) |
1808 | // InternalSolverLanguageLexer.g:150:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1916 | // InternalSolverLanguageLexer.g:160:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
1809 | { | 1917 | { |
1810 | // InternalSolverLanguageLexer.g:150:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ | 1918 | // InternalSolverLanguageLexer.g:160:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ |
1811 | int cnt11=0; | 1919 | int cnt11=0; |
1812 | loop11: | 1920 | loop11: |
1813 | do { | 1921 | do { |
@@ -1861,8 +1969,8 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1861 | try { | 1969 | try { |
1862 | int _type = RULE_ANY_OTHER; | 1970 | int _type = RULE_ANY_OTHER; |
1863 | int _channel = DEFAULT_TOKEN_CHANNEL; | 1971 | int _channel = DEFAULT_TOKEN_CHANNEL; |
1864 | // InternalSolverLanguageLexer.g:152:16: ( . ) | 1972 | // InternalSolverLanguageLexer.g:162:16: ( . ) |
1865 | // InternalSolverLanguageLexer.g:152:18: . | 1973 | // InternalSolverLanguageLexer.g:162:18: . |
1866 | { | 1974 | { |
1867 | matchAny(); | 1975 | matchAny(); |
1868 | 1976 | ||
@@ -1877,474 +1985,509 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
1877 | // $ANTLR end "RULE_ANY_OTHER" | 1985 | // $ANTLR end "RULE_ANY_OTHER" |
1878 | 1986 | ||
1879 | public void mTokens() throws RecognitionException { | 1987 | public void mTokens() throws RecognitionException { |
1880 | // InternalSolverLanguageLexer.g:1:8: ( Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Current | Default | Extends | Unknown | Exists | Extern | Forall | Class | Count | Empty | Error | False | Scope | Else | Must | Then | True | FullStopFullStopFullStop | Inf | Let | May | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | FullStopFullStop | ColonHyphenMinus | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER ) | 1988 | // InternalSolverLanguageLexer.g:1:8: ( Containment | Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Default | Extends | Problem | Unknown | Extern | Import | Object | Refers | Class | Count | Empty | Error | False | Scope | Else | Enum | Root | Then | True | FullStopFullStopFullStop | Inf | Let | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | ColonHyphenMinus | ColonColon | ColonEqualsSign | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | QuestionMark | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | Tilde | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER ) |
1881 | int alt12=67; | 1989 | int alt12=72; |
1882 | alt12 = dfa12.predict(input); | 1990 | alt12 = dfa12.predict(input); |
1883 | switch (alt12) { | 1991 | switch (alt12) { |
1884 | case 1 : | 1992 | case 1 : |
1885 | // InternalSolverLanguageLexer.g:1:10: Functional | 1993 | // InternalSolverLanguageLexer.g:1:10: Containment |
1886 | { | 1994 | { |
1887 | mFunctional(); | 1995 | mContainment(); |
1888 | 1996 | ||
1889 | } | 1997 | } |
1890 | break; | 1998 | break; |
1891 | case 2 : | 1999 | case 2 : |
1892 | // InternalSolverLanguageLexer.g:1:21: Abstract | 2000 | // InternalSolverLanguageLexer.g:1:22: Functional |
1893 | { | 2001 | { |
1894 | mAbstract(); | 2002 | mFunctional(); |
1895 | 2003 | ||
1896 | } | 2004 | } |
1897 | break; | 2005 | break; |
1898 | case 3 : | 2006 | case 3 : |
1899 | // InternalSolverLanguageLexer.g:1:30: Contains | 2007 | // InternalSolverLanguageLexer.g:1:33: Abstract |
1900 | { | 2008 | { |
1901 | mContains(); | 2009 | mAbstract(); |
1902 | 2010 | ||
1903 | } | 2011 | } |
1904 | break; | 2012 | break; |
1905 | case 4 : | 2013 | case 4 : |
1906 | // InternalSolverLanguageLexer.g:1:39: Datatype | 2014 | // InternalSolverLanguageLexer.g:1:42: Contains |
1907 | { | 2015 | { |
1908 | mDatatype(); | 2016 | mContains(); |
1909 | 2017 | ||
1910 | } | 2018 | } |
1911 | break; | 2019 | break; |
1912 | case 5 : | 2020 | case 5 : |
1913 | // InternalSolverLanguageLexer.g:1:48: Maximize | 2021 | // InternalSolverLanguageLexer.g:1:51: Datatype |
1914 | { | 2022 | { |
1915 | mMaximize(); | 2023 | mDatatype(); |
1916 | 2024 | ||
1917 | } | 2025 | } |
1918 | break; | 2026 | break; |
1919 | case 6 : | 2027 | case 6 : |
1920 | // InternalSolverLanguageLexer.g:1:57: Minimize | 2028 | // InternalSolverLanguageLexer.g:1:60: Maximize |
1921 | { | 2029 | { |
1922 | mMinimize(); | 2030 | mMaximize(); |
1923 | 2031 | ||
1924 | } | 2032 | } |
1925 | break; | 2033 | break; |
1926 | case 7 : | 2034 | case 7 : |
1927 | // InternalSolverLanguageLexer.g:1:66: Opposite | 2035 | // InternalSolverLanguageLexer.g:1:69: Minimize |
1928 | { | 2036 | { |
1929 | mOpposite(); | 2037 | mMinimize(); |
1930 | 2038 | ||
1931 | } | 2039 | } |
1932 | break; | 2040 | break; |
1933 | case 8 : | 2041 | case 8 : |
1934 | // InternalSolverLanguageLexer.g:1:75: Current | 2042 | // InternalSolverLanguageLexer.g:1:78: Opposite |
1935 | { | 2043 | { |
1936 | mCurrent(); | 2044 | mOpposite(); |
1937 | 2045 | ||
1938 | } | 2046 | } |
1939 | break; | 2047 | break; |
1940 | case 9 : | 2048 | case 9 : |
1941 | // InternalSolverLanguageLexer.g:1:83: Default | 2049 | // InternalSolverLanguageLexer.g:1:87: Default |
1942 | { | 2050 | { |
1943 | mDefault(); | 2051 | mDefault(); |
1944 | 2052 | ||
1945 | } | 2053 | } |
1946 | break; | 2054 | break; |
1947 | case 10 : | 2055 | case 10 : |
1948 | // InternalSolverLanguageLexer.g:1:91: Extends | 2056 | // InternalSolverLanguageLexer.g:1:95: Extends |
1949 | { | 2057 | { |
1950 | mExtends(); | 2058 | mExtends(); |
1951 | 2059 | ||
1952 | } | 2060 | } |
1953 | break; | 2061 | break; |
1954 | case 11 : | 2062 | case 11 : |
1955 | // InternalSolverLanguageLexer.g:1:99: Unknown | 2063 | // InternalSolverLanguageLexer.g:1:103: Problem |
1956 | { | 2064 | { |
1957 | mUnknown(); | 2065 | mProblem(); |
1958 | 2066 | ||
1959 | } | 2067 | } |
1960 | break; | 2068 | break; |
1961 | case 12 : | 2069 | case 12 : |
1962 | // InternalSolverLanguageLexer.g:1:107: Exists | 2070 | // InternalSolverLanguageLexer.g:1:111: Unknown |
1963 | { | 2071 | { |
1964 | mExists(); | 2072 | mUnknown(); |
1965 | 2073 | ||
1966 | } | 2074 | } |
1967 | break; | 2075 | break; |
1968 | case 13 : | 2076 | case 13 : |
1969 | // InternalSolverLanguageLexer.g:1:114: Extern | 2077 | // InternalSolverLanguageLexer.g:1:119: Extern |
1970 | { | 2078 | { |
1971 | mExtern(); | 2079 | mExtern(); |
1972 | 2080 | ||
1973 | } | 2081 | } |
1974 | break; | 2082 | break; |
1975 | case 14 : | 2083 | case 14 : |
1976 | // InternalSolverLanguageLexer.g:1:121: Forall | 2084 | // InternalSolverLanguageLexer.g:1:126: Import |
1977 | { | 2085 | { |
1978 | mForall(); | 2086 | mImport(); |
1979 | 2087 | ||
1980 | } | 2088 | } |
1981 | break; | 2089 | break; |
1982 | case 15 : | 2090 | case 15 : |
1983 | // InternalSolverLanguageLexer.g:1:128: Class | 2091 | // InternalSolverLanguageLexer.g:1:133: Object |
1984 | { | 2092 | { |
1985 | mClass(); | 2093 | mObject(); |
1986 | 2094 | ||
1987 | } | 2095 | } |
1988 | break; | 2096 | break; |
1989 | case 16 : | 2097 | case 16 : |
1990 | // InternalSolverLanguageLexer.g:1:134: Count | 2098 | // InternalSolverLanguageLexer.g:1:140: Refers |
1991 | { | 2099 | { |
1992 | mCount(); | 2100 | mRefers(); |
1993 | 2101 | ||
1994 | } | 2102 | } |
1995 | break; | 2103 | break; |
1996 | case 17 : | 2104 | case 17 : |
1997 | // InternalSolverLanguageLexer.g:1:140: Empty | 2105 | // InternalSolverLanguageLexer.g:1:147: Class |
1998 | { | 2106 | { |
1999 | mEmpty(); | 2107 | mClass(); |
2000 | 2108 | ||
2001 | } | 2109 | } |
2002 | break; | 2110 | break; |
2003 | case 18 : | 2111 | case 18 : |
2004 | // InternalSolverLanguageLexer.g:1:146: Error | 2112 | // InternalSolverLanguageLexer.g:1:153: Count |
2005 | { | 2113 | { |
2006 | mError(); | 2114 | mCount(); |
2007 | 2115 | ||
2008 | } | 2116 | } |
2009 | break; | 2117 | break; |
2010 | case 19 : | 2118 | case 19 : |
2011 | // InternalSolverLanguageLexer.g:1:152: False | 2119 | // InternalSolverLanguageLexer.g:1:159: Empty |
2012 | { | 2120 | { |
2013 | mFalse(); | 2121 | mEmpty(); |
2014 | 2122 | ||
2015 | } | 2123 | } |
2016 | break; | 2124 | break; |
2017 | case 20 : | 2125 | case 20 : |
2018 | // InternalSolverLanguageLexer.g:1:158: Scope | 2126 | // InternalSolverLanguageLexer.g:1:165: Error |
2019 | { | 2127 | { |
2020 | mScope(); | 2128 | mError(); |
2021 | 2129 | ||
2022 | } | 2130 | } |
2023 | break; | 2131 | break; |
2024 | case 21 : | 2132 | case 21 : |
2025 | // InternalSolverLanguageLexer.g:1:164: Else | 2133 | // InternalSolverLanguageLexer.g:1:171: False |
2026 | { | 2134 | { |
2027 | mElse(); | 2135 | mFalse(); |
2028 | 2136 | ||
2029 | } | 2137 | } |
2030 | break; | 2138 | break; |
2031 | case 22 : | 2139 | case 22 : |
2032 | // InternalSolverLanguageLexer.g:1:169: Must | 2140 | // InternalSolverLanguageLexer.g:1:177: Scope |
2033 | { | 2141 | { |
2034 | mMust(); | 2142 | mScope(); |
2035 | 2143 | ||
2036 | } | 2144 | } |
2037 | break; | 2145 | break; |
2038 | case 23 : | 2146 | case 23 : |
2039 | // InternalSolverLanguageLexer.g:1:174: Then | 2147 | // InternalSolverLanguageLexer.g:1:183: Else |
2040 | { | 2148 | { |
2041 | mThen(); | 2149 | mElse(); |
2042 | 2150 | ||
2043 | } | 2151 | } |
2044 | break; | 2152 | break; |
2045 | case 24 : | 2153 | case 24 : |
2046 | // InternalSolverLanguageLexer.g:1:179: True | 2154 | // InternalSolverLanguageLexer.g:1:188: Enum |
2047 | { | 2155 | { |
2048 | mTrue(); | 2156 | mEnum(); |
2049 | 2157 | ||
2050 | } | 2158 | } |
2051 | break; | 2159 | break; |
2052 | case 25 : | 2160 | case 25 : |
2053 | // InternalSolverLanguageLexer.g:1:184: FullStopFullStopFullStop | 2161 | // InternalSolverLanguageLexer.g:1:193: Root |
2054 | { | 2162 | { |
2055 | mFullStopFullStopFullStop(); | 2163 | mRoot(); |
2056 | 2164 | ||
2057 | } | 2165 | } |
2058 | break; | 2166 | break; |
2059 | case 26 : | 2167 | case 26 : |
2060 | // InternalSolverLanguageLexer.g:1:209: Inf | 2168 | // InternalSolverLanguageLexer.g:1:198: Then |
2061 | { | 2169 | { |
2062 | mInf(); | 2170 | mThen(); |
2063 | 2171 | ||
2064 | } | 2172 | } |
2065 | break; | 2173 | break; |
2066 | case 27 : | 2174 | case 27 : |
2067 | // InternalSolverLanguageLexer.g:1:213: Let | 2175 | // InternalSolverLanguageLexer.g:1:203: True |
2068 | { | 2176 | { |
2069 | mLet(); | 2177 | mTrue(); |
2070 | 2178 | ||
2071 | } | 2179 | } |
2072 | break; | 2180 | break; |
2073 | case 28 : | 2181 | case 28 : |
2074 | // InternalSolverLanguageLexer.g:1:217: May | 2182 | // InternalSolverLanguageLexer.g:1:208: FullStopFullStopFullStop |
2075 | { | 2183 | { |
2076 | mMay(); | 2184 | mFullStopFullStopFullStop(); |
2077 | 2185 | ||
2078 | } | 2186 | } |
2079 | break; | 2187 | break; |
2080 | case 29 : | 2188 | case 29 : |
2081 | // InternalSolverLanguageLexer.g:1:221: ExclamationMarkEqualsSign | 2189 | // InternalSolverLanguageLexer.g:1:233: Inf |
2082 | { | 2190 | { |
2083 | mExclamationMarkEqualsSign(); | 2191 | mInf(); |
2084 | 2192 | ||
2085 | } | 2193 | } |
2086 | break; | 2194 | break; |
2087 | case 30 : | 2195 | case 30 : |
2088 | // InternalSolverLanguageLexer.g:1:247: HyphenMinusGreaterThanSign | 2196 | // InternalSolverLanguageLexer.g:1:237: Let |
2089 | { | 2197 | { |
2090 | mHyphenMinusGreaterThanSign(); | 2198 | mLet(); |
2091 | 2199 | ||
2092 | } | 2200 | } |
2093 | break; | 2201 | break; |
2094 | case 31 : | 2202 | case 31 : |
2095 | // InternalSolverLanguageLexer.g:1:274: FullStopFullStop | 2203 | // InternalSolverLanguageLexer.g:1:241: ExclamationMarkEqualsSign |
2096 | { | 2204 | { |
2097 | mFullStopFullStop(); | 2205 | mExclamationMarkEqualsSign(); |
2098 | 2206 | ||
2099 | } | 2207 | } |
2100 | break; | 2208 | break; |
2101 | case 32 : | 2209 | case 32 : |
2102 | // InternalSolverLanguageLexer.g:1:291: ColonHyphenMinus | 2210 | // InternalSolverLanguageLexer.g:1:267: HyphenMinusGreaterThanSign |
2103 | { | 2211 | { |
2104 | mColonHyphenMinus(); | 2212 | mHyphenMinusGreaterThanSign(); |
2105 | 2213 | ||
2106 | } | 2214 | } |
2107 | break; | 2215 | break; |
2108 | case 33 : | 2216 | case 33 : |
2109 | // InternalSolverLanguageLexer.g:1:308: LessThanSignEqualsSign | 2217 | // InternalSolverLanguageLexer.g:1:294: ColonHyphenMinus |
2110 | { | 2218 | { |
2111 | mLessThanSignEqualsSign(); | 2219 | mColonHyphenMinus(); |
2112 | 2220 | ||
2113 | } | 2221 | } |
2114 | break; | 2222 | break; |
2115 | case 34 : | 2223 | case 34 : |
2116 | // InternalSolverLanguageLexer.g:1:331: EqualsSignEqualsSign | 2224 | // InternalSolverLanguageLexer.g:1:311: ColonColon |
2117 | { | 2225 | { |
2118 | mEqualsSignEqualsSign(); | 2226 | mColonColon(); |
2119 | 2227 | ||
2120 | } | 2228 | } |
2121 | break; | 2229 | break; |
2122 | case 35 : | 2230 | case 35 : |
2123 | // InternalSolverLanguageLexer.g:1:352: EqualsSignGreaterThanSign | 2231 | // InternalSolverLanguageLexer.g:1:322: ColonEqualsSign |
2124 | { | 2232 | { |
2125 | mEqualsSignGreaterThanSign(); | 2233 | mColonEqualsSign(); |
2126 | 2234 | ||
2127 | } | 2235 | } |
2128 | break; | 2236 | break; |
2129 | case 36 : | 2237 | case 36 : |
2130 | // InternalSolverLanguageLexer.g:1:378: GreaterThanSignEqualsSign | 2238 | // InternalSolverLanguageLexer.g:1:338: LessThanSignEqualsSign |
2131 | { | 2239 | { |
2132 | mGreaterThanSignEqualsSign(); | 2240 | mLessThanSignEqualsSign(); |
2133 | 2241 | ||
2134 | } | 2242 | } |
2135 | break; | 2243 | break; |
2136 | case 37 : | 2244 | case 37 : |
2137 | // InternalSolverLanguageLexer.g:1:404: As | 2245 | // InternalSolverLanguageLexer.g:1:361: EqualsSignEqualsSign |
2138 | { | 2246 | { |
2139 | mAs(); | 2247 | mEqualsSignEqualsSign(); |
2140 | 2248 | ||
2141 | } | 2249 | } |
2142 | break; | 2250 | break; |
2143 | case 38 : | 2251 | case 38 : |
2144 | // InternalSolverLanguageLexer.g:1:407: If | 2252 | // InternalSolverLanguageLexer.g:1:382: EqualsSignGreaterThanSign |
2145 | { | 2253 | { |
2146 | mIf(); | 2254 | mEqualsSignGreaterThanSign(); |
2147 | 2255 | ||
2148 | } | 2256 | } |
2149 | break; | 2257 | break; |
2150 | case 39 : | 2258 | case 39 : |
2151 | // InternalSolverLanguageLexer.g:1:410: In | 2259 | // InternalSolverLanguageLexer.g:1:408: GreaterThanSignEqualsSign |
2152 | { | 2260 | { |
2153 | mIn(); | 2261 | mGreaterThanSignEqualsSign(); |
2154 | 2262 | ||
2155 | } | 2263 | } |
2156 | break; | 2264 | break; |
2157 | case 40 : | 2265 | case 40 : |
2158 | // InternalSolverLanguageLexer.g:1:413: ExclamationMark | 2266 | // InternalSolverLanguageLexer.g:1:434: As |
2159 | { | 2267 | { |
2160 | mExclamationMark(); | 2268 | mAs(); |
2161 | 2269 | ||
2162 | } | 2270 | } |
2163 | break; | 2271 | break; |
2164 | case 41 : | 2272 | case 41 : |
2165 | // InternalSolverLanguageLexer.g:1:429: LeftParenthesis | 2273 | // InternalSolverLanguageLexer.g:1:437: If |
2166 | { | 2274 | { |
2167 | mLeftParenthesis(); | 2275 | mIf(); |
2168 | 2276 | ||
2169 | } | 2277 | } |
2170 | break; | 2278 | break; |
2171 | case 42 : | 2279 | case 42 : |
2172 | // InternalSolverLanguageLexer.g:1:445: RightParenthesis | 2280 | // InternalSolverLanguageLexer.g:1:440: In |
2173 | { | 2281 | { |
2174 | mRightParenthesis(); | 2282 | mIn(); |
2175 | 2283 | ||
2176 | } | 2284 | } |
2177 | break; | 2285 | break; |
2178 | case 43 : | 2286 | case 43 : |
2179 | // InternalSolverLanguageLexer.g:1:462: Asterisk | 2287 | // InternalSolverLanguageLexer.g:1:443: ExclamationMark |
2180 | { | 2288 | { |
2181 | mAsterisk(); | 2289 | mExclamationMark(); |
2182 | 2290 | ||
2183 | } | 2291 | } |
2184 | break; | 2292 | break; |
2185 | case 44 : | 2293 | case 44 : |
2186 | // InternalSolverLanguageLexer.g:1:471: PlusSign | 2294 | // InternalSolverLanguageLexer.g:1:459: LeftParenthesis |
2187 | { | 2295 | { |
2188 | mPlusSign(); | 2296 | mLeftParenthesis(); |
2189 | 2297 | ||
2190 | } | 2298 | } |
2191 | break; | 2299 | break; |
2192 | case 45 : | 2300 | case 45 : |
2193 | // InternalSolverLanguageLexer.g:1:480: Comma | 2301 | // InternalSolverLanguageLexer.g:1:475: RightParenthesis |
2194 | { | 2302 | { |
2195 | mComma(); | 2303 | mRightParenthesis(); |
2196 | 2304 | ||
2197 | } | 2305 | } |
2198 | break; | 2306 | break; |
2199 | case 46 : | 2307 | case 46 : |
2200 | // InternalSolverLanguageLexer.g:1:486: HyphenMinus | 2308 | // InternalSolverLanguageLexer.g:1:492: Asterisk |
2201 | { | 2309 | { |
2202 | mHyphenMinus(); | 2310 | mAsterisk(); |
2203 | 2311 | ||
2204 | } | 2312 | } |
2205 | break; | 2313 | break; |
2206 | case 47 : | 2314 | case 47 : |
2207 | // InternalSolverLanguageLexer.g:1:498: FullStop | 2315 | // InternalSolverLanguageLexer.g:1:501: PlusSign |
2208 | { | 2316 | { |
2209 | mFullStop(); | 2317 | mPlusSign(); |
2210 | 2318 | ||
2211 | } | 2319 | } |
2212 | break; | 2320 | break; |
2213 | case 48 : | 2321 | case 48 : |
2214 | // InternalSolverLanguageLexer.g:1:507: Solidus | 2322 | // InternalSolverLanguageLexer.g:1:510: Comma |
2215 | { | 2323 | { |
2216 | mSolidus(); | 2324 | mComma(); |
2217 | 2325 | ||
2218 | } | 2326 | } |
2219 | break; | 2327 | break; |
2220 | case 49 : | 2328 | case 49 : |
2221 | // InternalSolverLanguageLexer.g:1:515: Colon | 2329 | // InternalSolverLanguageLexer.g:1:516: HyphenMinus |
2222 | { | 2330 | { |
2223 | mColon(); | 2331 | mHyphenMinus(); |
2224 | 2332 | ||
2225 | } | 2333 | } |
2226 | break; | 2334 | break; |
2227 | case 50 : | 2335 | case 50 : |
2228 | // InternalSolverLanguageLexer.g:1:521: Semicolon | 2336 | // InternalSolverLanguageLexer.g:1:528: FullStop |
2229 | { | 2337 | { |
2230 | mSemicolon(); | 2338 | mFullStop(); |
2231 | 2339 | ||
2232 | } | 2340 | } |
2233 | break; | 2341 | break; |
2234 | case 51 : | 2342 | case 51 : |
2235 | // InternalSolverLanguageLexer.g:1:531: LessThanSign | 2343 | // InternalSolverLanguageLexer.g:1:537: Solidus |
2236 | { | 2344 | { |
2237 | mLessThanSign(); | 2345 | mSolidus(); |
2238 | 2346 | ||
2239 | } | 2347 | } |
2240 | break; | 2348 | break; |
2241 | case 52 : | 2349 | case 52 : |
2242 | // InternalSolverLanguageLexer.g:1:544: EqualsSign | 2350 | // InternalSolverLanguageLexer.g:1:545: Colon |
2243 | { | 2351 | { |
2244 | mEqualsSign(); | 2352 | mColon(); |
2245 | 2353 | ||
2246 | } | 2354 | } |
2247 | break; | 2355 | break; |
2248 | case 53 : | 2356 | case 53 : |
2249 | // InternalSolverLanguageLexer.g:1:555: GreaterThanSign | 2357 | // InternalSolverLanguageLexer.g:1:551: Semicolon |
2250 | { | 2358 | { |
2251 | mGreaterThanSign(); | 2359 | mSemicolon(); |
2252 | 2360 | ||
2253 | } | 2361 | } |
2254 | break; | 2362 | break; |
2255 | case 54 : | 2363 | case 54 : |
2256 | // InternalSolverLanguageLexer.g:1:571: LeftSquareBracket | 2364 | // InternalSolverLanguageLexer.g:1:561: LessThanSign |
2257 | { | 2365 | { |
2258 | mLeftSquareBracket(); | 2366 | mLessThanSign(); |
2259 | 2367 | ||
2260 | } | 2368 | } |
2261 | break; | 2369 | break; |
2262 | case 55 : | 2370 | case 55 : |
2263 | // InternalSolverLanguageLexer.g:1:589: RightSquareBracket | 2371 | // InternalSolverLanguageLexer.g:1:574: EqualsSign |
2264 | { | 2372 | { |
2265 | mRightSquareBracket(); | 2373 | mEqualsSign(); |
2266 | 2374 | ||
2267 | } | 2375 | } |
2268 | break; | 2376 | break; |
2269 | case 56 : | 2377 | case 56 : |
2270 | // InternalSolverLanguageLexer.g:1:608: CircumflexAccent | 2378 | // InternalSolverLanguageLexer.g:1:585: GreaterThanSign |
2271 | { | 2379 | { |
2272 | mCircumflexAccent(); | 2380 | mGreaterThanSign(); |
2273 | 2381 | ||
2274 | } | 2382 | } |
2275 | break; | 2383 | break; |
2276 | case 57 : | 2384 | case 57 : |
2277 | // InternalSolverLanguageLexer.g:1:625: LeftCurlyBracket | 2385 | // InternalSolverLanguageLexer.g:1:601: QuestionMark |
2278 | { | 2386 | { |
2279 | mLeftCurlyBracket(); | 2387 | mQuestionMark(); |
2280 | 2388 | ||
2281 | } | 2389 | } |
2282 | break; | 2390 | break; |
2283 | case 58 : | 2391 | case 58 : |
2284 | // InternalSolverLanguageLexer.g:1:642: VerticalLine | 2392 | // InternalSolverLanguageLexer.g:1:614: LeftSquareBracket |
2285 | { | 2393 | { |
2286 | mVerticalLine(); | 2394 | mLeftSquareBracket(); |
2287 | 2395 | ||
2288 | } | 2396 | } |
2289 | break; | 2397 | break; |
2290 | case 59 : | 2398 | case 59 : |
2291 | // InternalSolverLanguageLexer.g:1:655: RightCurlyBracket | 2399 | // InternalSolverLanguageLexer.g:1:632: RightSquareBracket |
2292 | { | 2400 | { |
2293 | mRightCurlyBracket(); | 2401 | mRightSquareBracket(); |
2294 | 2402 | ||
2295 | } | 2403 | } |
2296 | break; | 2404 | break; |
2297 | case 60 : | 2405 | case 60 : |
2298 | // InternalSolverLanguageLexer.g:1:673: RULE_STRING | 2406 | // InternalSolverLanguageLexer.g:1:651: CircumflexAccent |
2299 | { | 2407 | { |
2300 | mRULE_STRING(); | 2408 | mCircumflexAccent(); |
2301 | 2409 | ||
2302 | } | 2410 | } |
2303 | break; | 2411 | break; |
2304 | case 61 : | 2412 | case 61 : |
2305 | // InternalSolverLanguageLexer.g:1:685: RULE_QUOTED_ID | 2413 | // InternalSolverLanguageLexer.g:1:668: LeftCurlyBracket |
2306 | { | 2414 | { |
2307 | mRULE_QUOTED_ID(); | 2415 | mLeftCurlyBracket(); |
2308 | 2416 | ||
2309 | } | 2417 | } |
2310 | break; | 2418 | break; |
2311 | case 62 : | 2419 | case 62 : |
2312 | // InternalSolverLanguageLexer.g:1:700: RULE_SL_COMMENT | 2420 | // InternalSolverLanguageLexer.g:1:685: VerticalLine |
2313 | { | 2421 | { |
2314 | mRULE_SL_COMMENT(); | 2422 | mVerticalLine(); |
2315 | 2423 | ||
2316 | } | 2424 | } |
2317 | break; | 2425 | break; |
2318 | case 63 : | 2426 | case 63 : |
2319 | // InternalSolverLanguageLexer.g:1:716: RULE_ID | 2427 | // InternalSolverLanguageLexer.g:1:698: RightCurlyBracket |
2320 | { | 2428 | { |
2321 | mRULE_ID(); | 2429 | mRightCurlyBracket(); |
2322 | 2430 | ||
2323 | } | 2431 | } |
2324 | break; | 2432 | break; |
2325 | case 64 : | 2433 | case 64 : |
2326 | // InternalSolverLanguageLexer.g:1:724: RULE_INT | 2434 | // InternalSolverLanguageLexer.g:1:716: Tilde |
2327 | { | 2435 | { |
2328 | mRULE_INT(); | 2436 | mTilde(); |
2329 | 2437 | ||
2330 | } | 2438 | } |
2331 | break; | 2439 | break; |
2332 | case 65 : | 2440 | case 65 : |
2333 | // InternalSolverLanguageLexer.g:1:733: RULE_ML_COMMENT | 2441 | // InternalSolverLanguageLexer.g:1:722: RULE_STRING |
2334 | { | 2442 | { |
2335 | mRULE_ML_COMMENT(); | 2443 | mRULE_STRING(); |
2336 | 2444 | ||
2337 | } | 2445 | } |
2338 | break; | 2446 | break; |
2339 | case 66 : | 2447 | case 66 : |
2340 | // InternalSolverLanguageLexer.g:1:749: RULE_WS | 2448 | // InternalSolverLanguageLexer.g:1:734: RULE_QUOTED_ID |
2341 | { | 2449 | { |
2342 | mRULE_WS(); | 2450 | mRULE_QUOTED_ID(); |
2343 | 2451 | ||
2344 | } | 2452 | } |
2345 | break; | 2453 | break; |
2346 | case 67 : | 2454 | case 67 : |
2347 | // InternalSolverLanguageLexer.g:1:757: RULE_ANY_OTHER | 2455 | // InternalSolverLanguageLexer.g:1:749: RULE_SL_COMMENT |
2456 | { | ||
2457 | mRULE_SL_COMMENT(); | ||
2458 | |||
2459 | } | ||
2460 | break; | ||
2461 | case 68 : | ||
2462 | // InternalSolverLanguageLexer.g:1:765: RULE_ID | ||
2463 | { | ||
2464 | mRULE_ID(); | ||
2465 | |||
2466 | } | ||
2467 | break; | ||
2468 | case 69 : | ||
2469 | // InternalSolverLanguageLexer.g:1:773: RULE_INT | ||
2470 | { | ||
2471 | mRULE_INT(); | ||
2472 | |||
2473 | } | ||
2474 | break; | ||
2475 | case 70 : | ||
2476 | // InternalSolverLanguageLexer.g:1:782: RULE_ML_COMMENT | ||
2477 | { | ||
2478 | mRULE_ML_COMMENT(); | ||
2479 | |||
2480 | } | ||
2481 | break; | ||
2482 | case 71 : | ||
2483 | // InternalSolverLanguageLexer.g:1:798: RULE_WS | ||
2484 | { | ||
2485 | mRULE_WS(); | ||
2486 | |||
2487 | } | ||
2488 | break; | ||
2489 | case 72 : | ||
2490 | // InternalSolverLanguageLexer.g:1:806: RULE_ANY_OTHER | ||
2348 | { | 2491 | { |
2349 | mRULE_ANY_OTHER(); | 2492 | mRULE_ANY_OTHER(); |
2350 | 2493 | ||
@@ -2358,74 +2501,69 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2358 | 2501 | ||
2359 | protected DFA12 dfa12 = new DFA12(this); | 2502 | protected DFA12 dfa12 = new DFA12(this); |
2360 | static final String DFA12_eotS = | 2503 | static final String DFA12_eotS = |
2361 | "\1\uffff\12\53\1\100\2\53\1\105\1\107\1\111\1\113\1\116\1\120\5\uffff\1\130\3\uffff\1\134\3\uffff\2\47\5\uffff\3\53\1\uffff\1\53\1\150\21\53\1\176\1\uffff\1\u0080\1\u0081\1\53\40\uffff\4\53\1\uffff\7\53\1\u008e\14\53\2\uffff\1\u009b\2\uffff\1\u009c\13\53\1\uffff\1\53\1\u00a9\5\53\1\u00b0\2\53\1\u00b3\1\u00b4\2\uffff\2\53\1\u00b7\2\53\1\u00ba\1\53\1\u00bc\4\53\1\uffff\4\53\1\u00c5\1\u00c6\1\uffff\1\53\1\u00c8\2\uffff\1\53\1\u00ca\1\uffff\2\53\1\uffff\1\53\1\uffff\6\53\1\u00d4\1\u00d5\2\uffff\1\53\1\uffff\1\53\1\uffff\2\53\1\u00da\1\53\1\u00dc\3\53\1\u00e0\2\uffff\1\u00e1\1\53\1\u00e3\1\u00e4\1\uffff\1\u00e5\1\uffff\1\u00e6\1\u00e7\1\u00e8\2\uffff\1\53\6\uffff\1\u00ea\1\uffff"; | 2504 | "\1\uffff\15\56\1\111\1\56\1\114\1\116\1\122\1\124\1\127\1\131\5\uffff\1\141\4\uffff\1\146\4\uffff\2\53\5\uffff\2\56\1\uffff\3\56\1\165\16\56\1\u0085\1\u0086\5\56\2\uffff\1\56\44\uffff\6\56\1\uffff\16\56\1\u00a1\2\uffff\5\56\1\u00a7\17\56\1\u00b8\1\u00b9\3\56\1\uffff\1\56\1\u00be\1\56\1\u00c0\1\u00c1\1\uffff\1\56\1\u00c3\1\u00c4\1\56\1\u00c6\11\56\1\u00d0\1\u00d1\2\uffff\4\56\1\uffff\1\u00d6\2\uffff\1\56\2\uffff\1\56\1\uffff\6\56\1\u00df\1\56\1\u00e1\2\uffff\2\56\1\u00e4\1\u00e5\1\uffff\4\56\1\u00eb\3\56\1\uffff\1\u00ef\1\uffff\1\u00f0\1\u00f1\2\uffff\1\56\1\u00f3\1\56\1\u00f5\1\u00f6\1\uffff\1\u00f7\1\u00f8\1\u00f9\3\uffff\1\56\1\uffff\1\56\5\uffff\1\56\1\u00fd\1\u00fe\2\uffff"; |
2362 | static final String DFA12_eofS = | 2505 | static final String DFA12_eofS = |
2363 | "\u00eb\uffff"; | 2506 | "\u00ff\uffff"; |
2364 | static final String DFA12_minS = | 2507 | static final String DFA12_minS = |
2365 | "\1\0\1\141\1\142\1\154\2\141\1\160\1\154\1\156\1\143\1\150\1\56\1\146\1\145\1\75\1\76\1\55\3\75\5\uffff\1\52\3\uffff\1\101\3\uffff\2\0\5\uffff\1\156\1\162\1\154\1\uffff\1\163\1\60\1\156\1\162\1\141\1\164\1\146\1\170\1\156\1\163\1\160\1\151\1\160\1\162\1\163\1\153\1\157\1\145\1\165\1\56\1\uffff\2\60\1\164\40\uffff\1\143\1\141\1\163\1\164\1\uffff\1\164\1\156\1\162\1\163\2\141\1\151\1\60\1\151\1\164\1\157\1\145\1\163\1\164\1\157\1\145\1\156\1\160\1\156\1\145\2\uffff\1\60\2\uffff\1\60\1\164\1\154\1\145\1\162\1\141\1\164\1\145\1\163\1\164\1\165\1\155\1\uffff\1\155\1\60\1\163\1\156\1\164\1\171\1\162\1\60\1\157\1\145\2\60\2\uffff\1\151\1\154\1\60\1\141\1\151\1\60\1\156\1\60\1\171\1\154\2\151\1\uffff\1\151\1\144\1\156\1\163\2\60\1\uffff\1\167\1\60\2\uffff\1\157\1\60\1\uffff\1\143\1\156\1\uffff\1\164\1\uffff\1\160\1\164\2\172\1\164\1\163\2\60\2\uffff\1\156\1\uffff\1\156\1\uffff\1\164\1\163\1\60\1\145\1\60\3\145\1\60\2\uffff\1\60\1\141\2\60\1\uffff\1\60\1\uffff\3\60\2\uffff\1\154\6\uffff\1\60\1\uffff"; | 2508 | "\1\0\1\154\1\141\1\142\2\141\1\142\1\154\1\162\1\156\1\146\1\145\1\143\1\150\1\56\1\145\1\75\1\76\1\55\3\75\5\uffff\1\52\4\uffff\1\101\4\uffff\2\0\5\uffff\1\156\1\141\1\uffff\1\156\1\154\1\163\1\60\1\164\1\146\1\170\1\156\1\160\1\152\1\164\1\160\1\162\1\163\1\165\1\157\1\153\1\160\2\60\1\146\2\157\1\145\1\165\2\uffff\1\164\44\uffff\1\164\1\156\1\163\1\143\1\163\1\164\1\uffff\2\141\2\151\1\157\2\145\1\164\1\157\1\145\1\155\1\142\1\156\1\157\1\60\2\uffff\1\145\1\164\1\160\1\156\1\145\1\60\1\141\1\164\1\163\1\164\1\145\1\162\1\164\1\165\2\155\1\163\1\143\1\156\1\171\1\162\2\60\1\154\1\157\1\162\1\uffff\1\162\1\60\1\145\2\60\1\uffff\1\151\2\60\1\151\1\60\1\141\1\171\1\154\3\151\1\164\1\144\1\156\2\60\2\uffff\1\145\1\167\1\164\1\163\1\uffff\1\60\2\uffff\1\156\2\uffff\1\157\1\uffff\1\143\1\160\1\164\2\172\1\164\1\60\1\163\1\60\2\uffff\1\155\1\156\2\60\1\uffff\1\155\1\156\1\164\1\145\1\60\3\145\1\uffff\1\60\1\uffff\2\60\2\uffff\1\145\1\60\1\141\2\60\1\uffff\3\60\3\uffff\1\156\1\uffff\1\154\5\uffff\1\164\2\60\2\uffff"; |
2366 | static final String DFA12_maxS = | 2509 | static final String DFA12_maxS = |
2367 | "\1\uffff\1\165\1\163\1\165\1\145\1\165\1\160\1\170\1\156\1\143\1\162\1\56\1\156\1\145\1\75\1\76\1\55\1\75\1\76\1\75\5\uffff\1\57\3\uffff\1\172\3\uffff\2\uffff\5\uffff\1\156\1\162\1\154\1\uffff\1\163\1\172\1\165\1\162\1\141\1\164\1\146\1\171\1\156\1\163\1\160\1\164\1\160\1\162\1\163\1\153\1\157\1\145\1\165\1\56\1\uffff\2\172\1\164\40\uffff\1\143\1\141\1\163\1\164\1\uffff\1\164\1\156\1\162\1\163\2\141\1\151\1\172\1\151\1\164\1\157\1\145\1\163\1\164\1\157\1\145\1\156\1\160\1\156\1\145\2\uffff\1\172\2\uffff\1\172\1\164\1\154\1\145\1\162\1\141\1\164\1\145\1\163\1\164\1\165\1\155\1\uffff\1\155\1\172\1\163\1\162\1\164\1\171\1\162\1\172\1\157\1\145\2\172\2\uffff\1\151\1\154\1\172\1\141\1\151\1\172\1\156\1\172\1\171\1\154\2\151\1\uffff\1\151\1\144\1\156\1\163\2\172\1\uffff\1\167\1\172\2\uffff\1\157\1\172\1\uffff\1\143\1\156\1\uffff\1\164\1\uffff\1\160\1\164\2\172\1\164\1\163\2\172\2\uffff\1\156\1\uffff\1\156\1\uffff\1\164\1\163\1\172\1\145\1\172\3\145\1\172\2\uffff\1\172\1\141\2\172\1\uffff\1\172\1\uffff\3\172\2\uffff\1\154\6\uffff\1\172\1\uffff"; | 2510 | "\1\uffff\1\157\1\165\1\163\1\145\1\151\1\160\1\170\1\162\2\156\1\157\1\143\1\162\1\56\1\145\1\75\1\76\2\75\1\76\1\75\5\uffff\1\57\4\uffff\1\172\4\uffff\2\uffff\5\uffff\1\165\1\141\1\uffff\1\156\1\154\1\163\1\172\1\164\1\146\1\170\1\156\1\160\1\152\1\164\1\160\1\162\1\163\1\165\1\157\1\153\1\160\2\172\1\146\2\157\1\145\1\165\2\uffff\1\164\44\uffff\1\164\1\156\1\163\1\143\1\163\1\164\1\uffff\2\141\2\151\1\157\2\145\1\164\1\157\1\145\1\155\1\142\1\156\1\157\1\172\2\uffff\1\145\1\164\1\160\1\156\1\145\1\172\1\141\1\164\1\163\1\164\1\145\1\162\1\164\1\165\2\155\1\163\1\143\1\162\1\171\1\162\2\172\1\154\1\157\1\162\1\uffff\1\162\1\172\1\145\2\172\1\uffff\1\151\2\172\1\151\1\172\1\141\1\171\1\154\3\151\1\164\1\144\1\156\2\172\2\uffff\1\145\1\167\1\164\1\163\1\uffff\1\172\2\uffff\1\156\2\uffff\1\157\1\uffff\1\143\1\160\1\164\2\172\1\164\1\172\1\163\1\172\2\uffff\1\155\1\156\2\172\1\uffff\1\163\1\156\1\164\1\145\1\172\3\145\1\uffff\1\172\1\uffff\2\172\2\uffff\1\145\1\172\1\141\2\172\1\uffff\3\172\3\uffff\1\156\1\uffff\1\154\5\uffff\1\164\2\172\2\uffff"; |
2368 | static final String DFA12_acceptS = | 2511 | static final String DFA12_acceptS = |
2369 | "\24\uffff\1\51\1\52\1\53\1\54\1\55\1\uffff\1\62\1\66\1\67\1\uffff\1\71\1\72\1\73\2\uffff\1\76\1\77\1\100\1\102\1\103\3\uffff\1\77\24\uffff\1\57\3\uffff\1\35\1\50\1\36\1\56\1\40\1\61\1\41\1\63\1\42\1\43\1\64\1\44\1\65\1\51\1\52\1\53\1\54\1\55\1\76\1\101\1\60\1\62\1\66\1\67\1\70\1\71\1\72\1\73\1\74\1\75\1\100\1\102\4\uffff\1\45\24\uffff\1\31\1\37\1\uffff\1\47\1\46\14\uffff\1\34\14\uffff\1\32\1\33\14\uffff\1\26\6\uffff\1\25\2\uffff\1\27\1\30\2\uffff\1\23\2\uffff\1\20\1\uffff\1\17\10\uffff\1\21\1\22\1\uffff\1\24\1\uffff\1\16\11\uffff\1\15\1\14\4\uffff\1\10\1\uffff\1\11\3\uffff\1\12\1\13\1\uffff\1\2\1\3\1\4\1\5\1\6\1\7\1\uffff\1\1"; | 2512 | "\26\uffff\1\54\1\55\1\56\1\57\1\60\1\uffff\1\65\1\71\1\72\1\73\1\uffff\1\75\1\76\1\77\1\100\2\uffff\1\103\1\104\1\105\1\107\1\110\2\uffff\1\104\31\uffff\1\34\1\62\1\uffff\1\37\1\53\1\40\1\61\1\41\1\42\1\43\1\64\1\44\1\66\1\45\1\46\1\67\1\47\1\70\1\54\1\55\1\56\1\57\1\60\1\103\1\106\1\63\1\65\1\71\1\72\1\73\1\74\1\75\1\76\1\77\1\100\1\101\1\102\1\105\1\107\6\uffff\1\50\17\uffff\1\52\1\51\32\uffff\1\35\5\uffff\1\36\20\uffff\1\27\1\30\4\uffff\1\31\1\uffff\1\32\1\33\1\uffff\1\22\1\21\1\uffff\1\25\11\uffff\1\23\1\24\4\uffff\1\26\10\uffff\1\17\1\uffff\1\15\2\uffff\1\16\1\20\5\uffff\1\11\3\uffff\1\12\1\13\1\14\1\uffff\1\4\1\uffff\1\3\1\5\1\6\1\7\1\10\3\uffff\1\2\1\1"; |
2370 | static final String DFA12_specialS = | 2513 | static final String DFA12_specialS = |
2371 | "\1\2\40\uffff\1\0\1\1\u00c8\uffff}>"; | 2514 | "\1\1\44\uffff\1\0\1\2\u00d8\uffff}>"; |
2372 | static final String[] DFA12_transitionS = { | 2515 | static final String[] DFA12_transitionS = { |
2373 | "\11\47\2\46\2\47\1\46\22\47\1\46\1\16\1\41\2\47\1\43\1\47\1\42\1\24\1\25\1\26\1\27\1\30\1\17\1\13\1\31\12\45\1\20\1\32\1\21\1\22\1\23\2\47\32\44\1\33\1\47\1\34\1\35\1\44\1\47\1\2\1\44\1\3\1\4\1\7\1\1\2\44\1\14\2\44\1\15\1\5\1\44\1\6\3\44\1\11\1\12\1\10\5\44\1\36\1\37\1\40\uff82\47", | 2516 | "\11\53\2\52\2\53\1\52\22\53\1\52\1\20\1\45\2\53\1\47\1\53\1\46\1\26\1\27\1\30\1\31\1\32\1\21\1\16\1\33\12\51\1\22\1\34\1\23\1\24\1\25\1\35\1\53\32\50\1\36\1\53\1\37\1\40\1\50\1\53\1\3\1\50\1\1\1\4\1\7\1\2\2\50\1\12\2\50\1\17\1\5\1\50\1\6\1\10\1\50\1\13\1\14\1\15\1\11\5\50\1\41\1\42\1\43\1\44\uff81\53", |
2374 | "\1\52\15\uffff\1\51\5\uffff\1\50", | 2517 | "\1\55\2\uffff\1\54", |
2375 | "\1\54\20\uffff\1\55", | 2518 | "\1\60\23\uffff\1\57", |
2376 | "\1\60\2\uffff\1\56\5\uffff\1\57", | 2519 | "\1\61\20\uffff\1\62", |
2377 | "\1\61\3\uffff\1\62", | 2520 | "\1\63\3\uffff\1\64", |
2378 | "\1\63\7\uffff\1\64\13\uffff\1\65", | 2521 | "\1\65\7\uffff\1\66", |
2379 | "\1\66", | 2522 | "\1\70\15\uffff\1\67", |
2380 | "\1\72\1\70\4\uffff\1\71\5\uffff\1\67", | 2523 | "\1\74\1\72\1\75\3\uffff\1\73\5\uffff\1\71", |
2381 | "\1\73", | 2524 | "\1\76", |
2382 | "\1\74", | ||
2383 | "\1\75\11\uffff\1\76", | ||
2384 | "\1\77", | 2525 | "\1\77", |
2385 | "\1\102\7\uffff\1\101", | 2526 | "\1\102\6\uffff\1\100\1\101", |
2386 | "\1\103", | 2527 | "\1\103\11\uffff\1\104", |
2387 | "\1\104", | 2528 | "\1\105", |
2388 | "\1\106", | 2529 | "\1\106\11\uffff\1\107", |
2389 | "\1\110", | 2530 | "\1\110", |
2390 | "\1\112", | 2531 | "\1\112", |
2391 | "\1\114\1\115", | 2532 | "\1\113", |
2392 | "\1\117", | 2533 | "\1\115", |
2534 | "\1\117\14\uffff\1\120\2\uffff\1\121", | ||
2535 | "\1\123", | ||
2536 | "\1\125\1\126", | ||
2537 | "\1\130", | ||
2538 | "", | ||
2393 | "", | 2539 | "", |
2394 | "", | 2540 | "", |
2395 | "", | 2541 | "", |
2396 | "", | 2542 | "", |
2543 | "\1\140\4\uffff\1\137", | ||
2397 | "", | 2544 | "", |
2398 | "\1\127\4\uffff\1\126", | ||
2399 | "", | 2545 | "", |
2400 | "", | 2546 | "", |
2401 | "", | 2547 | "", |
2402 | "\32\53\4\uffff\1\53\1\uffff\32\53", | 2548 | "\32\56\4\uffff\1\56\1\uffff\32\56", |
2403 | "", | 2549 | "", |
2404 | "", | 2550 | "", |
2405 | "", | 2551 | "", |
2406 | "\0\140", | ||
2407 | "\0\141", | ||
2408 | "", | 2552 | "", |
2553 | "\0\153", | ||
2554 | "\0\154", | ||
2409 | "", | 2555 | "", |
2410 | "", | 2556 | "", |
2411 | "", | 2557 | "", |
2412 | "", | 2558 | "", |
2413 | "\1\144", | ||
2414 | "\1\145", | ||
2415 | "\1\146", | ||
2416 | "", | 2559 | "", |
2417 | "\1\147", | 2560 | "\1\157\6\uffff\1\160", |
2418 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2419 | "\1\151\6\uffff\1\152", | ||
2420 | "\1\153", | ||
2421 | "\1\154", | ||
2422 | "\1\155", | ||
2423 | "\1\156", | ||
2424 | "\1\157\1\160", | ||
2425 | "\1\161", | 2561 | "\1\161", |
2562 | "", | ||
2426 | "\1\162", | 2563 | "\1\162", |
2427 | "\1\163", | 2564 | "\1\163", |
2428 | "\1\165\12\uffff\1\164", | 2565 | "\1\164", |
2566 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2429 | "\1\166", | 2567 | "\1\166", |
2430 | "\1\167", | 2568 | "\1\167", |
2431 | "\1\170", | 2569 | "\1\170", |
@@ -2434,10 +2572,25 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2434 | "\1\173", | 2572 | "\1\173", |
2435 | "\1\174", | 2573 | "\1\174", |
2436 | "\1\175", | 2574 | "\1\175", |
2437 | "", | 2575 | "\1\176", |
2438 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\5\53\1\177\24\53", | 2576 | "\1\177", |
2439 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2577 | "\1\u0080", |
2578 | "\1\u0081", | ||
2440 | "\1\u0082", | 2579 | "\1\u0082", |
2580 | "\1\u0083", | ||
2581 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\5\56\1\u0084\24\56", | ||
2582 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2583 | "\1\u0087", | ||
2584 | "\1\u0088", | ||
2585 | "\1\u0089", | ||
2586 | "\1\u008a", | ||
2587 | "\1\u008b", | ||
2588 | "", | ||
2589 | "", | ||
2590 | "\1\u008c", | ||
2591 | "", | ||
2592 | "", | ||
2593 | "", | ||
2441 | "", | 2594 | "", |
2442 | "", | 2595 | "", |
2443 | "", | 2596 | "", |
@@ -2470,23 +2623,14 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2470 | "", | 2623 | "", |
2471 | "", | 2624 | "", |
2472 | "", | 2625 | "", |
2473 | "\1\u0083", | ||
2474 | "\1\u0084", | ||
2475 | "\1\u0085", | ||
2476 | "\1\u0086", | ||
2477 | "", | 2626 | "", |
2478 | "\1\u0087", | ||
2479 | "\1\u0088", | ||
2480 | "\1\u0089", | ||
2481 | "\1\u008a", | ||
2482 | "\1\u008b", | ||
2483 | "\1\u008c", | ||
2484 | "\1\u008d", | 2627 | "\1\u008d", |
2485 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2628 | "\1\u008e", |
2486 | "\1\u008f", | 2629 | "\1\u008f", |
2487 | "\1\u0090", | 2630 | "\1\u0090", |
2488 | "\1\u0091", | 2631 | "\1\u0091", |
2489 | "\1\u0092", | 2632 | "\1\u0092", |
2633 | "", | ||
2490 | "\1\u0093", | 2634 | "\1\u0093", |
2491 | "\1\u0094", | 2635 | "\1\u0094", |
2492 | "\1\u0095", | 2636 | "\1\u0095", |
@@ -2495,115 +2639,134 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2495 | "\1\u0098", | 2639 | "\1\u0098", |
2496 | "\1\u0099", | 2640 | "\1\u0099", |
2497 | "\1\u009a", | 2641 | "\1\u009a", |
2498 | "", | 2642 | "\1\u009b", |
2499 | "", | 2643 | "\1\u009c", |
2500 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2501 | "", | ||
2502 | "", | ||
2503 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2504 | "\1\u009d", | 2644 | "\1\u009d", |
2505 | "\1\u009e", | 2645 | "\1\u009e", |
2506 | "\1\u009f", | 2646 | "\1\u009f", |
2507 | "\1\u00a0", | 2647 | "\1\u00a0", |
2508 | "\1\u00a1", | 2648 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2649 | "", | ||
2650 | "", | ||
2509 | "\1\u00a2", | 2651 | "\1\u00a2", |
2510 | "\1\u00a3", | 2652 | "\1\u00a3", |
2511 | "\1\u00a4", | 2653 | "\1\u00a4", |
2512 | "\1\u00a5", | 2654 | "\1\u00a5", |
2513 | "\1\u00a6", | 2655 | "\1\u00a6", |
2514 | "\1\u00a7", | 2656 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2515 | "", | ||
2516 | "\1\u00a8", | 2657 | "\1\u00a8", |
2517 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2658 | "\1\u00a9", |
2518 | "\1\u00aa", | 2659 | "\1\u00aa", |
2519 | "\1\u00ab\3\uffff\1\u00ac", | 2660 | "\1\u00ab", |
2661 | "\1\u00ac", | ||
2520 | "\1\u00ad", | 2662 | "\1\u00ad", |
2521 | "\1\u00ae", | 2663 | "\1\u00ae", |
2522 | "\1\u00af", | 2664 | "\1\u00af", |
2523 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2665 | "\1\u00b0", |
2524 | "\1\u00b1", | 2666 | "\1\u00b1", |
2525 | "\1\u00b2", | 2667 | "\1\u00b2", |
2526 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2668 | "\1\u00b3", |
2527 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2669 | "\1\u00b4\3\uffff\1\u00b5", |
2528 | "", | ||
2529 | "", | ||
2530 | "\1\u00b5", | ||
2531 | "\1\u00b6", | 2670 | "\1\u00b6", |
2532 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2671 | "\1\u00b7", |
2533 | "\1\u00b8", | 2672 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2534 | "\1\u00b9", | 2673 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2535 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2674 | "\1\u00ba", |
2536 | "\1\u00bb", | 2675 | "\1\u00bb", |
2537 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2676 | "\1\u00bc", |
2677 | "", | ||
2538 | "\1\u00bd", | 2678 | "\1\u00bd", |
2539 | "\1\u00be", | 2679 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2540 | "\1\u00bf", | 2680 | "\1\u00bf", |
2541 | "\1\u00c0", | 2681 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2682 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2542 | "", | 2683 | "", |
2543 | "\1\u00c1", | ||
2544 | "\1\u00c2", | 2684 | "\1\u00c2", |
2545 | "\1\u00c3", | 2685 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2546 | "\1\u00c4", | 2686 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2547 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2687 | "\1\u00c5", |
2548 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2688 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2549 | "", | ||
2550 | "\1\u00c7", | 2689 | "\1\u00c7", |
2551 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2690 | "\1\u00c8", |
2552 | "", | ||
2553 | "", | ||
2554 | "\1\u00c9", | 2691 | "\1\u00c9", |
2555 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2692 | "\1\u00ca", |
2556 | "", | ||
2557 | "\1\u00cb", | 2693 | "\1\u00cb", |
2558 | "\1\u00cc", | 2694 | "\1\u00cc", |
2559 | "", | ||
2560 | "\1\u00cd", | 2695 | "\1\u00cd", |
2561 | "", | ||
2562 | "\1\u00ce", | 2696 | "\1\u00ce", |
2563 | "\1\u00cf", | 2697 | "\1\u00cf", |
2564 | "\1\u00d0", | 2698 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2565 | "\1\u00d1", | 2699 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2700 | "", | ||
2701 | "", | ||
2566 | "\1\u00d2", | 2702 | "\1\u00d2", |
2567 | "\1\u00d3", | 2703 | "\1\u00d3", |
2568 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2704 | "\1\u00d4", |
2569 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2705 | "\1\u00d5", |
2570 | "", | 2706 | "", |
2707 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2571 | "", | 2708 | "", |
2572 | "\1\u00d6", | ||
2573 | "", | 2709 | "", |
2574 | "\1\u00d7", | 2710 | "\1\u00d7", |
2575 | "", | 2711 | "", |
2712 | "", | ||
2576 | "\1\u00d8", | 2713 | "\1\u00d8", |
2714 | "", | ||
2577 | "\1\u00d9", | 2715 | "\1\u00d9", |
2578 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2716 | "\1\u00da", |
2579 | "\1\u00db", | 2717 | "\1\u00db", |
2580 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2718 | "\1\u00dc", |
2581 | "\1\u00dd", | 2719 | "\1\u00dd", |
2582 | "\1\u00de", | 2720 | "\1\u00de", |
2583 | "\1\u00df", | 2721 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2584 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2722 | "\1\u00e0", |
2723 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2585 | "", | 2724 | "", |
2586 | "", | 2725 | "", |
2587 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2588 | "\1\u00e2", | 2726 | "\1\u00e2", |
2589 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2727 | "\1\u00e3", |
2590 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2728 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2729 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2591 | "", | 2730 | "", |
2592 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2731 | "\1\u00e6\5\uffff\1\u00e7", |
2732 | "\1\u00e8", | ||
2733 | "\1\u00e9", | ||
2734 | "\1\u00ea", | ||
2735 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2736 | "\1\u00ec", | ||
2737 | "\1\u00ed", | ||
2738 | "\1\u00ee", | ||
2593 | "", | 2739 | "", |
2594 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2740 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", |
2595 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2596 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | ||
2597 | "", | 2741 | "", |
2742 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2743 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2744 | "", | ||
2745 | "", | ||
2746 | "\1\u00f2", | ||
2747 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2748 | "\1\u00f4", | ||
2749 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2750 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2751 | "", | ||
2752 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2753 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2754 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2598 | "", | 2755 | "", |
2599 | "\1\u00e9", | ||
2600 | "", | 2756 | "", |
2601 | "", | 2757 | "", |
2758 | "\1\u00fa", | ||
2602 | "", | 2759 | "", |
2760 | "\1\u00fb", | ||
2603 | "", | 2761 | "", |
2604 | "", | 2762 | "", |
2605 | "", | 2763 | "", |
2606 | "\12\53\7\uffff\32\53\4\uffff\1\53\1\uffff\32\53", | 2764 | "", |
2765 | "", | ||
2766 | "\1\u00fc", | ||
2767 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2768 | "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", | ||
2769 | "", | ||
2607 | "" | 2770 | "" |
2608 | }; | 2771 | }; |
2609 | 2772 | ||
@@ -2637,41 +2800,31 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2637 | this.transition = DFA12_transition; | 2800 | this.transition = DFA12_transition; |
2638 | } | 2801 | } |
2639 | public String getDescription() { | 2802 | public String getDescription() { |
2640 | return "1:1: Tokens : ( Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Current | Default | Extends | Unknown | Exists | Extern | Forall | Class | Count | Empty | Error | False | Scope | Else | Must | Then | True | FullStopFullStopFullStop | Inf | Let | May | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | FullStopFullStop | ColonHyphenMinus | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER );"; | 2803 | return "1:1: Tokens : ( Containment | Functional | Abstract | Contains | Datatype | Maximize | Minimize | Opposite | Default | Extends | Problem | Unknown | Extern | Import | Object | Refers | Class | Count | Empty | Error | False | Scope | Else | Enum | Root | Then | True | FullStopFullStopFullStop | Inf | Let | ExclamationMarkEqualsSign | HyphenMinusGreaterThanSign | ColonHyphenMinus | ColonColon | ColonEqualsSign | LessThanSignEqualsSign | EqualsSignEqualsSign | EqualsSignGreaterThanSign | GreaterThanSignEqualsSign | As | If | In | ExclamationMark | LeftParenthesis | RightParenthesis | Asterisk | PlusSign | Comma | HyphenMinus | FullStop | Solidus | Colon | Semicolon | LessThanSign | EqualsSign | GreaterThanSign | QuestionMark | LeftSquareBracket | RightSquareBracket | CircumflexAccent | LeftCurlyBracket | VerticalLine | RightCurlyBracket | Tilde | RULE_STRING | RULE_QUOTED_ID | RULE_SL_COMMENT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER );"; |
2641 | } | 2804 | } |
2642 | public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { | 2805 | public int specialStateTransition(int s, IntStream _input) throws NoViableAltException { |
2643 | IntStream input = _input; | 2806 | IntStream input = _input; |
2644 | int _s = s; | 2807 | int _s = s; |
2645 | switch ( s ) { | 2808 | switch ( s ) { |
2646 | case 0 : | 2809 | case 0 : |
2647 | int LA12_33 = input.LA(1); | 2810 | int LA12_37 = input.LA(1); |
2648 | 2811 | ||
2649 | s = -1; | 2812 | s = -1; |
2650 | if ( ((LA12_33>='\u0000' && LA12_33<='\uFFFF')) ) {s = 96;} | 2813 | if ( ((LA12_37>='\u0000' && LA12_37<='\uFFFF')) ) {s = 107;} |
2651 | 2814 | ||
2652 | else s = 39; | 2815 | else s = 43; |
2653 | 2816 | ||
2654 | if ( s>=0 ) return s; | 2817 | if ( s>=0 ) return s; |
2655 | break; | 2818 | break; |
2656 | case 1 : | 2819 | case 1 : |
2657 | int LA12_34 = input.LA(1); | ||
2658 | |||
2659 | s = -1; | ||
2660 | if ( ((LA12_34>='\u0000' && LA12_34<='\uFFFF')) ) {s = 97;} | ||
2661 | |||
2662 | else s = 39; | ||
2663 | |||
2664 | if ( s>=0 ) return s; | ||
2665 | break; | ||
2666 | case 2 : | ||
2667 | int LA12_0 = input.LA(1); | 2820 | int LA12_0 = input.LA(1); |
2668 | 2821 | ||
2669 | s = -1; | 2822 | s = -1; |
2670 | if ( (LA12_0=='f') ) {s = 1;} | 2823 | if ( (LA12_0=='c') ) {s = 1;} |
2671 | 2824 | ||
2672 | else if ( (LA12_0=='a') ) {s = 2;} | 2825 | else if ( (LA12_0=='f') ) {s = 2;} |
2673 | 2826 | ||
2674 | else if ( (LA12_0=='c') ) {s = 3;} | 2827 | else if ( (LA12_0=='a') ) {s = 3;} |
2675 | 2828 | ||
2676 | else if ( (LA12_0=='d') ) {s = 4;} | 2829 | else if ( (LA12_0=='d') ) {s = 4;} |
2677 | 2830 | ||
@@ -2681,69 +2834,87 @@ public class InternalSolverLanguageLexer extends Lexer { | |||
2681 | 2834 | ||
2682 | else if ( (LA12_0=='e') ) {s = 7;} | 2835 | else if ( (LA12_0=='e') ) {s = 7;} |
2683 | 2836 | ||
2684 | else if ( (LA12_0=='u') ) {s = 8;} | 2837 | else if ( (LA12_0=='p') ) {s = 8;} |
2838 | |||
2839 | else if ( (LA12_0=='u') ) {s = 9;} | ||
2685 | 2840 | ||
2686 | else if ( (LA12_0=='s') ) {s = 9;} | 2841 | else if ( (LA12_0=='i') ) {s = 10;} |
2687 | 2842 | ||
2688 | else if ( (LA12_0=='t') ) {s = 10;} | 2843 | else if ( (LA12_0=='r') ) {s = 11;} |
2689 | 2844 | ||
2690 | else if ( (LA12_0=='.') ) {s = 11;} | 2845 | else if ( (LA12_0=='s') ) {s = 12;} |
2691 | 2846 | ||
2692 | else if ( (LA12_0=='i') ) {s = 12;} | 2847 | else if ( (LA12_0=='t') ) {s = 13;} |
2693 | 2848 | ||
2694 | else if ( (LA12_0=='l') ) {s = 13;} | 2849 | else if ( (LA12_0=='.') ) {s = 14;} |
2695 | 2850 | ||
2696 | else if ( (LA12_0=='!') ) {s = 14;} | 2851 | else if ( (LA12_0=='l') ) {s = 15;} |
2697 | 2852 | ||
2698 | else if ( (LA12_0=='-') ) {s = 15;} | 2853 | else if ( (LA12_0=='!') ) {s = 16;} |
2699 | 2854 | ||
2700 | else if ( (LA12_0==':') ) {s = 16;} | 2855 | else if ( (LA12_0=='-') ) {s = 17;} |
2701 | 2856 | ||
2702 | else if ( (LA12_0=='<') ) {s = 17;} | 2857 | else if ( (LA12_0==':') ) {s = 18;} |
2703 | 2858 | ||
2704 | else if ( (LA12_0=='=') ) {s = 18;} | 2859 | else if ( (LA12_0=='<') ) {s = 19;} |
2705 | 2860 | ||
2706 | else if ( (LA12_0=='>') ) {s = 19;} | 2861 | else if ( (LA12_0=='=') ) {s = 20;} |
2707 | 2862 | ||
2708 | else if ( (LA12_0=='(') ) {s = 20;} | 2863 | else if ( (LA12_0=='>') ) {s = 21;} |
2709 | 2864 | ||
2710 | else if ( (LA12_0==')') ) {s = 21;} | 2865 | else if ( (LA12_0=='(') ) {s = 22;} |
2711 | 2866 | ||
2712 | else if ( (LA12_0=='*') ) {s = 22;} | 2867 | else if ( (LA12_0==')') ) {s = 23;} |
2713 | 2868 | ||
2714 | else if ( (LA12_0=='+') ) {s = 23;} | 2869 | else if ( (LA12_0=='*') ) {s = 24;} |
2715 | 2870 | ||
2716 | else if ( (LA12_0==',') ) {s = 24;} | 2871 | else if ( (LA12_0=='+') ) {s = 25;} |
2717 | 2872 | ||
2718 | else if ( (LA12_0=='/') ) {s = 25;} | 2873 | else if ( (LA12_0==',') ) {s = 26;} |
2719 | 2874 | ||
2720 | else if ( (LA12_0==';') ) {s = 26;} | 2875 | else if ( (LA12_0=='/') ) {s = 27;} |
2721 | 2876 | ||
2722 | else if ( (LA12_0=='[') ) {s = 27;} | 2877 | else if ( (LA12_0==';') ) {s = 28;} |
2723 | 2878 | ||
2724 | else if ( (LA12_0==']') ) {s = 28;} | 2879 | else if ( (LA12_0=='?') ) {s = 29;} |
2725 | 2880 | ||
2726 | else if ( (LA12_0=='^') ) {s = 29;} | 2881 | else if ( (LA12_0=='[') ) {s = 30;} |
2727 | 2882 | ||
2728 | else if ( (LA12_0=='{') ) {s = 30;} | 2883 | else if ( (LA12_0==']') ) {s = 31;} |
2729 | 2884 | ||
2730 | else if ( (LA12_0=='|') ) {s = 31;} | 2885 | else if ( (LA12_0=='^') ) {s = 32;} |
2731 | 2886 | ||
2732 | else if ( (LA12_0=='}') ) {s = 32;} | 2887 | else if ( (LA12_0=='{') ) {s = 33;} |
2733 | 2888 | ||
2734 | else if ( (LA12_0=='\"') ) {s = 33;} | 2889 | else if ( (LA12_0=='|') ) {s = 34;} |
2735 | 2890 | ||
2736 | else if ( (LA12_0=='\'') ) {s = 34;} | 2891 | else if ( (LA12_0=='}') ) {s = 35;} |
2737 | 2892 | ||
2738 | else if ( (LA12_0=='%') ) {s = 35;} | 2893 | else if ( (LA12_0=='~') ) {s = 36;} |
2739 | 2894 | ||
2740 | else if ( ((LA12_0>='A' && LA12_0<='Z')||LA12_0=='_'||LA12_0=='b'||(LA12_0>='g' && LA12_0<='h')||(LA12_0>='j' && LA12_0<='k')||LA12_0=='n'||(LA12_0>='p' && LA12_0<='r')||(LA12_0>='v' && LA12_0<='z')) ) {s = 36;} | 2895 | else if ( (LA12_0=='\"') ) {s = 37;} |
2741 | 2896 | ||
2742 | else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 37;} | 2897 | else if ( (LA12_0=='\'') ) {s = 38;} |
2743 | 2898 | ||
2744 | else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 38;} | 2899 | else if ( (LA12_0=='%') ) {s = 39;} |
2900 | |||
2901 | else if ( ((LA12_0>='A' && LA12_0<='Z')||LA12_0=='_'||LA12_0=='b'||(LA12_0>='g' && LA12_0<='h')||(LA12_0>='j' && LA12_0<='k')||LA12_0=='n'||LA12_0=='q'||(LA12_0>='v' && LA12_0<='z')) ) {s = 40;} | ||
2902 | |||
2903 | else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 41;} | ||
2904 | |||
2905 | else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 42;} | ||
2906 | |||
2907 | else if ( ((LA12_0>='\u0000' && LA12_0<='\b')||(LA12_0>='\u000B' && LA12_0<='\f')||(LA12_0>='\u000E' && LA12_0<='\u001F')||(LA12_0>='#' && LA12_0<='$')||LA12_0=='&'||LA12_0=='@'||LA12_0=='\\'||LA12_0=='`'||(LA12_0>='\u007F' && LA12_0<='\uFFFF')) ) {s = 43;} | ||
2908 | |||
2909 | if ( s>=0 ) return s; | ||
2910 | break; | ||
2911 | case 2 : | ||
2912 | int LA12_38 = input.LA(1); | ||
2913 | |||
2914 | s = -1; | ||
2915 | if ( ((LA12_38>='\u0000' && LA12_38<='\uFFFF')) ) {s = 108;} | ||
2745 | 2916 | ||
2746 | else if ( ((LA12_0>='\u0000' && LA12_0<='\b')||(LA12_0>='\u000B' && LA12_0<='\f')||(LA12_0>='\u000E' && LA12_0<='\u001F')||(LA12_0>='#' && LA12_0<='$')||LA12_0=='&'||(LA12_0>='?' && LA12_0<='@')||LA12_0=='\\'||LA12_0=='`'||(LA12_0>='~' && LA12_0<='\uFFFF')) ) {s = 39;} | 2917 | else s = 43; |
2747 | 2918 | ||
2748 | if ( s>=0 ) return s; | 2919 | if ( s>=0 ) return s; |
2749 | break; | 2920 | break; |
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens index 178103e2..f6269b97 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.tokens | |||
@@ -1,70 +1,75 @@ | |||
1 | Abstract=5 | 1 | Abstract=6 |
2 | As=40 | 2 | As=43 |
3 | Asterisk=46 | 3 | Asterisk=49 |
4 | CircumflexAccent=59 | 4 | CircumflexAccent=63 |
5 | Class=18 | 5 | Class=20 |
6 | Colon=52 | 6 | Colon=55 |
7 | ColonHyphenMinus=35 | 7 | ColonColon=37 |
8 | Comma=48 | 8 | ColonEqualsSign=38 |
9 | Contains=6 | 9 | ColonHyphenMinus=36 |
10 | Count=19 | 10 | Comma=51 |
11 | Current=11 | 11 | Containment=4 |
12 | Datatype=7 | 12 | Contains=7 |
13 | Count=21 | ||
14 | Datatype=8 | ||
13 | Default=12 | 15 | Default=12 |
14 | Else=24 | 16 | Else=26 |
15 | Empty=20 | 17 | Empty=22 |
16 | EqualsSign=55 | 18 | Enum=27 |
17 | EqualsSignEqualsSign=37 | 19 | EqualsSign=58 |
18 | EqualsSignGreaterThanSign=38 | 20 | EqualsSignEqualsSign=40 |
19 | Error=21 | 21 | EqualsSignGreaterThanSign=41 |
20 | ExclamationMark=43 | 22 | Error=23 |
21 | ExclamationMarkEqualsSign=32 | 23 | ExclamationMark=46 |
22 | Exists=15 | 24 | ExclamationMarkEqualsSign=34 |
23 | Extends=13 | 25 | Extends=13 |
24 | Extern=16 | 26 | Extern=16 |
25 | False=22 | 27 | False=24 |
26 | Forall=17 | 28 | FullStop=53 |
27 | FullStop=50 | 29 | FullStopFullStopFullStop=31 |
28 | FullStopFullStop=34 | 30 | Functional=5 |
29 | FullStopFullStopFullStop=28 | 31 | GreaterThanSign=59 |
30 | Functional=4 | 32 | GreaterThanSignEqualsSign=42 |
31 | GreaterThanSign=56 | 33 | HyphenMinus=52 |
32 | GreaterThanSignEqualsSign=39 | 34 | HyphenMinusGreaterThanSign=35 |
33 | HyphenMinus=49 | 35 | If=44 |
34 | HyphenMinusGreaterThanSign=33 | 36 | Import=17 |
35 | If=41 | 37 | In=45 |
36 | In=42 | 38 | Inf=32 |
37 | Inf=29 | 39 | LeftCurlyBracket=64 |
38 | LeftCurlyBracket=60 | 40 | LeftParenthesis=47 |
39 | LeftParenthesis=44 | 41 | LeftSquareBracket=61 |
40 | LeftSquareBracket=57 | 42 | LessThanSign=57 |
41 | LessThanSign=54 | 43 | LessThanSignEqualsSign=39 |
42 | LessThanSignEqualsSign=36 | 44 | Let=33 |
43 | Let=30 | 45 | Maximize=9 |
44 | Maximize=8 | 46 | Minimize=10 |
45 | May=31 | 47 | Object=18 |
46 | Minimize=9 | 48 | Opposite=11 |
47 | Must=25 | 49 | PlusSign=50 |
48 | Opposite=10 | 50 | Problem=14 |
49 | PlusSign=47 | 51 | QuestionMark=60 |
50 | RULE_ANY_OTHER=73 | 52 | RULE_ANY_OTHER=78 |
51 | RULE_FULL_STOP=68 | 53 | RULE_FULL_STOP=73 |
52 | RULE_ID=69 | 54 | RULE_ID=74 |
53 | RULE_INT=70 | 55 | RULE_INT=75 |
54 | RULE_ML_COMMENT=71 | 56 | RULE_ML_COMMENT=76 |
55 | RULE_QUOTED_ID=64 | 57 | RULE_QUOTED_ID=69 |
56 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67 | 58 | RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72 |
57 | RULE_SL_COMMENT=65 | 59 | RULE_SL_COMMENT=70 |
58 | RULE_STRING=63 | 60 | RULE_STRING=68 |
59 | RULE_TRANSITIVE_CLOSURE=66 | 61 | RULE_TRANSITIVE_CLOSURE=71 |
60 | RULE_WS=72 | 62 | RULE_WS=77 |
61 | RightCurlyBracket=62 | 63 | Refers=19 |
62 | RightParenthesis=45 | 64 | RightCurlyBracket=66 |
63 | RightSquareBracket=58 | 65 | RightParenthesis=48 |
64 | Scope=23 | 66 | RightSquareBracket=62 |
65 | Semicolon=53 | 67 | Root=28 |
66 | Solidus=51 | 68 | Scope=25 |
67 | Then=26 | 69 | Semicolon=56 |
68 | True=27 | 70 | Solidus=54 |
69 | Unknown=14 | 71 | Then=29 |
70 | VerticalLine=61 | 72 | Tilde=67 |
73 | True=30 | ||
74 | Unknown=15 | ||
75 | VerticalLine=65 | ||