diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-25 04:15:39 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:49 -0400 |
commit | 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f (patch) | |
tree | 0e67f50df5b4d9a42f0075e1e19be988eae59bf9 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g | |
parent | mid-measurement push (diff) | |
download | VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.tar.gz VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.tar.zst VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.zip |
VAMPIRE: post-submission push
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g | 3139 |
1 files changed, 3139 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g new file mode 100644 index 00000000..83f2ee24 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.g | |||
@@ -0,0 +1,3139 @@ | |||
1 | /* | ||
2 | * generated by Xtext | ||
3 | */ | ||
4 | grammar InternalAlloyLanguage; | ||
5 | |||
6 | options { | ||
7 | superClass=AbstractInternalAntlrParser; | ||
8 | |||
9 | } | ||
10 | |||
11 | @lexer::header { | ||
12 | package hu.bme.mit.inf.dslreasoner.parser.antlr.internal; | ||
13 | |||
14 | // Hack: Use our own Lexer superclass by means of import. | ||
15 | // Currently there is no other way to specify the superclass for the lexer. | ||
16 | import org.eclipse.xtext.parser.antlr.Lexer; | ||
17 | } | ||
18 | |||
19 | @parser::header { | ||
20 | package hu.bme.mit.inf.dslreasoner.parser.antlr.internal; | ||
21 | |||
22 | import org.eclipse.xtext.*; | ||
23 | import org.eclipse.xtext.parser.*; | ||
24 | import org.eclipse.xtext.parser.impl.*; | ||
25 | import org.eclipse.emf.ecore.util.EcoreUtil; | ||
26 | import org.eclipse.emf.ecore.EObject; | ||
27 | import org.eclipse.emf.common.util.Enumerator; | ||
28 | import org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser; | ||
29 | import org.eclipse.xtext.parser.antlr.XtextTokenStream; | ||
30 | import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens; | ||
31 | import org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken; | ||
32 | import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess; | ||
33 | |||
34 | } | ||
35 | |||
36 | @parser::members { | ||
37 | |||
38 | private AlloyLanguageGrammarAccess grammarAccess; | ||
39 | |||
40 | public InternalAlloyLanguageParser(TokenStream input, AlloyLanguageGrammarAccess grammarAccess) { | ||
41 | this(input); | ||
42 | this.grammarAccess = grammarAccess; | ||
43 | registerRules(grammarAccess.getGrammar()); | ||
44 | } | ||
45 | |||
46 | @Override | ||
47 | protected String getFirstRuleName() { | ||
48 | return "ALSDocument"; | ||
49 | } | ||
50 | |||
51 | @Override | ||
52 | protected AlloyLanguageGrammarAccess getGrammarAccess() { | ||
53 | return grammarAccess; | ||
54 | } | ||
55 | } | ||
56 | |||
57 | @rulecatch { | ||
58 | catch (RecognitionException re) { | ||
59 | recover(input,re); | ||
60 | appendSkippedTokens(); | ||
61 | } | ||
62 | } | ||
63 | |||
64 | |||
65 | |||
66 | |||
67 | // Entry rule entryRuleALSDocument | ||
68 | entryRuleALSDocument returns [EObject current=null] | ||
69 | : | ||
70 | { newCompositeNode(grammarAccess.getALSDocumentRule()); } | ||
71 | iv_ruleALSDocument=ruleALSDocument | ||
72 | { $current=$iv_ruleALSDocument.current; } | ||
73 | EOF | ||
74 | ; | ||
75 | |||
76 | // Rule ALSDocument | ||
77 | ruleALSDocument returns [EObject current=null] | ||
78 | @init { enterRule(); | ||
79 | } | ||
80 | @after { leaveRule(); }: | ||
81 | ((( | ||
82 | ( | ||
83 | { | ||
84 | newCompositeNode(grammarAccess.getALSDocumentAccess().getEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0()); | ||
85 | } | ||
86 | lv_enumDeclarations_0_0=ruleALSEnumDeclaration { | ||
87 | if ($current==null) { | ||
88 | $current = createModelElementForParent(grammarAccess.getALSDocumentRule()); | ||
89 | } | ||
90 | add( | ||
91 | $current, | ||
92 | "enumDeclarations", | ||
93 | lv_enumDeclarations_0_0, | ||
94 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumDeclaration"); | ||
95 | afterParserOrEnumRuleCall(); | ||
96 | } | ||
97 | |||
98 | ) | ||
99 | ) | ||
100 | |( | ||
101 | ( | ||
102 | { | ||
103 | newCompositeNode(grammarAccess.getALSDocumentAccess().getSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0()); | ||
104 | } | ||
105 | lv_signatureBodies_1_0=ruleALSSignatureBody { | ||
106 | if ($current==null) { | ||
107 | $current = createModelElementForParent(grammarAccess.getALSDocumentRule()); | ||
108 | } | ||
109 | add( | ||
110 | $current, | ||
111 | "signatureBodies", | ||
112 | lv_signatureBodies_1_0, | ||
113 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureBody"); | ||
114 | afterParserOrEnumRuleCall(); | ||
115 | } | ||
116 | |||
117 | ) | ||
118 | ) | ||
119 | |( | ||
120 | ( | ||
121 | { | ||
122 | newCompositeNode(grammarAccess.getALSDocumentAccess().getFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0()); | ||
123 | } | ||
124 | lv_functionDefinitions_2_0=ruleALSFunctionDefinition { | ||
125 | if ($current==null) { | ||
126 | $current = createModelElementForParent(grammarAccess.getALSDocumentRule()); | ||
127 | } | ||
128 | add( | ||
129 | $current, | ||
130 | "functionDefinitions", | ||
131 | lv_functionDefinitions_2_0, | ||
132 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFunctionDefinition"); | ||
133 | afterParserOrEnumRuleCall(); | ||
134 | } | ||
135 | |||
136 | ) | ||
137 | ) | ||
138 | |( | ||
139 | ( | ||
140 | { | ||
141 | newCompositeNode(grammarAccess.getALSDocumentAccess().getRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0()); | ||
142 | } | ||
143 | lv_relationDefinitions_3_0=ruleALSRelationDefinition { | ||
144 | if ($current==null) { | ||
145 | $current = createModelElementForParent(grammarAccess.getALSDocumentRule()); | ||
146 | } | ||
147 | add( | ||
148 | $current, | ||
149 | "relationDefinitions", | ||
150 | lv_relationDefinitions_3_0, | ||
151 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRelationDefinition"); | ||
152 | afterParserOrEnumRuleCall(); | ||
153 | } | ||
154 | |||
155 | ) | ||
156 | ) | ||
157 | |( | ||
158 | ( | ||
159 | { | ||
160 | newCompositeNode(grammarAccess.getALSDocumentAccess().getFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0()); | ||
161 | } | ||
162 | lv_factDeclarations_4_0=ruleALSFactDeclaration { | ||
163 | if ($current==null) { | ||
164 | $current = createModelElementForParent(grammarAccess.getALSDocumentRule()); | ||
165 | } | ||
166 | add( | ||
167 | $current, | ||
168 | "factDeclarations", | ||
169 | lv_factDeclarations_4_0, | ||
170 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFactDeclaration"); | ||
171 | afterParserOrEnumRuleCall(); | ||
172 | } | ||
173 | |||
174 | ) | ||
175 | ))+( | ||
176 | ( | ||
177 | { | ||
178 | newCompositeNode(grammarAccess.getALSDocumentAccess().getRunCommandALSRunCommandParserRuleCall_1_0()); | ||
179 | } | ||
180 | lv_runCommand_5_0=ruleALSRunCommand { | ||
181 | if ($current==null) { | ||
182 | $current = createModelElementForParent(grammarAccess.getALSDocumentRule()); | ||
183 | } | ||
184 | set( | ||
185 | $current, | ||
186 | "runCommand", | ||
187 | lv_runCommand_5_0, | ||
188 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRunCommand"); | ||
189 | afterParserOrEnumRuleCall(); | ||
190 | } | ||
191 | |||
192 | ) | ||
193 | )) | ||
194 | ; | ||
195 | |||
196 | |||
197 | |||
198 | |||
199 | |||
200 | // Entry rule entryRuleALSID | ||
201 | entryRuleALSID returns [String current=null] | ||
202 | : | ||
203 | { newCompositeNode(grammarAccess.getALSIDRule()); } | ||
204 | iv_ruleALSID=ruleALSID | ||
205 | { $current=$iv_ruleALSID.current.getText(); } | ||
206 | EOF | ||
207 | ; | ||
208 | |||
209 | // Rule ALSID | ||
210 | ruleALSID returns [AntlrDatatypeRuleToken current=new AntlrDatatypeRuleToken()] | ||
211 | @init { enterRule(); | ||
212 | } | ||
213 | @after { leaveRule(); }: | ||
214 | this_ID_0=RULE_ID { | ||
215 | $current.merge(this_ID_0); | ||
216 | } | ||
217 | |||
218 | { | ||
219 | newLeafNode(this_ID_0, grammarAccess.getALSIDAccess().getIDTerminalRuleCall()); | ||
220 | } | ||
221 | |||
222 | ; | ||
223 | |||
224 | |||
225 | |||
226 | |||
227 | |||
228 | |||
229 | |||
230 | // Entry rule entryRuleALSTypeDeclaration | ||
231 | entryRuleALSTypeDeclaration returns [EObject current=null] | ||
232 | : | ||
233 | { newCompositeNode(grammarAccess.getALSTypeDeclarationRule()); } | ||
234 | iv_ruleALSTypeDeclaration=ruleALSTypeDeclaration | ||
235 | { $current=$iv_ruleALSTypeDeclaration.current; } | ||
236 | EOF | ||
237 | ; | ||
238 | |||
239 | // Rule ALSTypeDeclaration | ||
240 | ruleALSTypeDeclaration returns [EObject current=null] | ||
241 | @init { enterRule(); | ||
242 | } | ||
243 | @after { leaveRule(); }: | ||
244 | ( | ||
245 | { | ||
246 | newCompositeNode(grammarAccess.getALSTypeDeclarationAccess().getALSEnumDeclarationParserRuleCall_0()); | ||
247 | } | ||
248 | this_ALSEnumDeclaration_0=ruleALSEnumDeclaration | ||
249 | { | ||
250 | $current = $this_ALSEnumDeclaration_0.current; | ||
251 | afterParserOrEnumRuleCall(); | ||
252 | } | ||
253 | |||
254 | | | ||
255 | { | ||
256 | newCompositeNode(grammarAccess.getALSTypeDeclarationAccess().getALSSignatureDeclarationParserRuleCall_1()); | ||
257 | } | ||
258 | this_ALSSignatureDeclaration_1=ruleALSSignatureDeclaration | ||
259 | { | ||
260 | $current = $this_ALSSignatureDeclaration_1.current; | ||
261 | afterParserOrEnumRuleCall(); | ||
262 | } | ||
263 | ) | ||
264 | ; | ||
265 | |||
266 | |||
267 | |||
268 | |||
269 | |||
270 | // Entry rule entryRuleALSEnumDeclaration | ||
271 | entryRuleALSEnumDeclaration returns [EObject current=null] | ||
272 | : | ||
273 | { newCompositeNode(grammarAccess.getALSEnumDeclarationRule()); } | ||
274 | iv_ruleALSEnumDeclaration=ruleALSEnumDeclaration | ||
275 | { $current=$iv_ruleALSEnumDeclaration.current; } | ||
276 | EOF | ||
277 | ; | ||
278 | |||
279 | // Rule ALSEnumDeclaration | ||
280 | ruleALSEnumDeclaration returns [EObject current=null] | ||
281 | @init { enterRule(); | ||
282 | } | ||
283 | @after { leaveRule(); }: | ||
284 | ( otherlv_0='enum' | ||
285 | { | ||
286 | newLeafNode(otherlv_0, grammarAccess.getALSEnumDeclarationAccess().getEnumKeyword_0()); | ||
287 | } | ||
288 | ( | ||
289 | ( | ||
290 | { | ||
291 | newCompositeNode(grammarAccess.getALSEnumDeclarationAccess().getNameALSIDParserRuleCall_1_0()); | ||
292 | } | ||
293 | lv_name_1_0=ruleALSID { | ||
294 | if ($current==null) { | ||
295 | $current = createModelElementForParent(grammarAccess.getALSEnumDeclarationRule()); | ||
296 | } | ||
297 | set( | ||
298 | $current, | ||
299 | "name", | ||
300 | lv_name_1_0, | ||
301 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
302 | afterParserOrEnumRuleCall(); | ||
303 | } | ||
304 | |||
305 | ) | ||
306 | ) otherlv_2='{' | ||
307 | { | ||
308 | newLeafNode(otherlv_2, grammarAccess.getALSEnumDeclarationAccess().getLeftCurlyBracketKeyword_2()); | ||
309 | } | ||
310 | ( | ||
311 | ( | ||
312 | { | ||
313 | newCompositeNode(grammarAccess.getALSEnumDeclarationAccess().getLiteralALSEnumLiteralParserRuleCall_3_0()); | ||
314 | } | ||
315 | lv_literal_3_0=ruleALSEnumLiteral { | ||
316 | if ($current==null) { | ||
317 | $current = createModelElementForParent(grammarAccess.getALSEnumDeclarationRule()); | ||
318 | } | ||
319 | add( | ||
320 | $current, | ||
321 | "literal", | ||
322 | lv_literal_3_0, | ||
323 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumLiteral"); | ||
324 | afterParserOrEnumRuleCall(); | ||
325 | } | ||
326 | |||
327 | ) | ||
328 | )( otherlv_4=',' | ||
329 | { | ||
330 | newLeafNode(otherlv_4, grammarAccess.getALSEnumDeclarationAccess().getCommaKeyword_4_0()); | ||
331 | } | ||
332 | ( | ||
333 | ( | ||
334 | { | ||
335 | newCompositeNode(grammarAccess.getALSEnumDeclarationAccess().getLiteralALSEnumLiteralParserRuleCall_4_1_0()); | ||
336 | } | ||
337 | lv_literal_5_0=ruleALSEnumLiteral { | ||
338 | if ($current==null) { | ||
339 | $current = createModelElementForParent(grammarAccess.getALSEnumDeclarationRule()); | ||
340 | } | ||
341 | add( | ||
342 | $current, | ||
343 | "literal", | ||
344 | lv_literal_5_0, | ||
345 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumLiteral"); | ||
346 | afterParserOrEnumRuleCall(); | ||
347 | } | ||
348 | |||
349 | ) | ||
350 | ))* otherlv_6='}' | ||
351 | { | ||
352 | newLeafNode(otherlv_6, grammarAccess.getALSEnumDeclarationAccess().getRightCurlyBracketKeyword_5()); | ||
353 | } | ||
354 | ) | ||
355 | ; | ||
356 | |||
357 | |||
358 | |||
359 | |||
360 | |||
361 | // Entry rule entryRuleALSEnumLiteral | ||
362 | entryRuleALSEnumLiteral returns [EObject current=null] | ||
363 | : | ||
364 | { newCompositeNode(grammarAccess.getALSEnumLiteralRule()); } | ||
365 | iv_ruleALSEnumLiteral=ruleALSEnumLiteral | ||
366 | { $current=$iv_ruleALSEnumLiteral.current; } | ||
367 | EOF | ||
368 | ; | ||
369 | |||
370 | // Rule ALSEnumLiteral | ||
371 | ruleALSEnumLiteral returns [EObject current=null] | ||
372 | @init { enterRule(); | ||
373 | } | ||
374 | @after { leaveRule(); }: | ||
375 | ( | ||
376 | ( | ||
377 | { | ||
378 | newCompositeNode(grammarAccess.getALSEnumLiteralAccess().getNameALSIDParserRuleCall_0()); | ||
379 | } | ||
380 | lv_name_0_0=ruleALSID { | ||
381 | if ($current==null) { | ||
382 | $current = createModelElementForParent(grammarAccess.getALSEnumLiteralRule()); | ||
383 | } | ||
384 | set( | ||
385 | $current, | ||
386 | "name", | ||
387 | lv_name_0_0, | ||
388 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
389 | afterParserOrEnumRuleCall(); | ||
390 | } | ||
391 | |||
392 | ) | ||
393 | ) | ||
394 | ; | ||
395 | |||
396 | |||
397 | |||
398 | |||
399 | |||
400 | // Entry rule entryRuleALSSignatureDeclaration | ||
401 | entryRuleALSSignatureDeclaration returns [EObject current=null] | ||
402 | : | ||
403 | { newCompositeNode(grammarAccess.getALSSignatureDeclarationRule()); } | ||
404 | iv_ruleALSSignatureDeclaration=ruleALSSignatureDeclaration | ||
405 | { $current=$iv_ruleALSSignatureDeclaration.current; } | ||
406 | EOF | ||
407 | ; | ||
408 | |||
409 | // Rule ALSSignatureDeclaration | ||
410 | ruleALSSignatureDeclaration returns [EObject current=null] | ||
411 | @init { enterRule(); | ||
412 | } | ||
413 | @after { leaveRule(); }: | ||
414 | ( | ||
415 | ( | ||
416 | { | ||
417 | newCompositeNode(grammarAccess.getALSSignatureDeclarationAccess().getNameALSIDParserRuleCall_0()); | ||
418 | } | ||
419 | lv_name_0_0=ruleALSID { | ||
420 | if ($current==null) { | ||
421 | $current = createModelElementForParent(grammarAccess.getALSSignatureDeclarationRule()); | ||
422 | } | ||
423 | set( | ||
424 | $current, | ||
425 | "name", | ||
426 | lv_name_0_0, | ||
427 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
428 | afterParserOrEnumRuleCall(); | ||
429 | } | ||
430 | |||
431 | ) | ||
432 | ) | ||
433 | ; | ||
434 | |||
435 | |||
436 | |||
437 | |||
438 | |||
439 | // Entry rule entryRuleALSSignatureBody | ||
440 | entryRuleALSSignatureBody returns [EObject current=null] | ||
441 | : | ||
442 | { newCompositeNode(grammarAccess.getALSSignatureBodyRule()); } | ||
443 | iv_ruleALSSignatureBody=ruleALSSignatureBody | ||
444 | { $current=$iv_ruleALSSignatureBody.current; } | ||
445 | EOF | ||
446 | ; | ||
447 | |||
448 | // Rule ALSSignatureBody | ||
449 | ruleALSSignatureBody returns [EObject current=null] | ||
450 | @init { enterRule(); | ||
451 | } | ||
452 | @after { leaveRule(); }: | ||
453 | (( | ||
454 | |||
455 | ( | ||
456 | { | ||
457 | getUnorderedGroupHelper().enter(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0()); | ||
458 | } | ||
459 | ( | ||
460 | ( | ||
461 | |||
462 | ( | ||
463 | {getUnorderedGroupHelper().canSelect(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0(), 0)}?=>( | ||
464 | { | ||
465 | getUnorderedGroupHelper().select(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0(), 0); | ||
466 | } | ||
467 | ({true}?=>( | ||
468 | ( | ||
469 | { | ||
470 | newCompositeNode(grammarAccess.getALSSignatureBodyAccess().getMultiplicityALSMultiplicityEnumRuleCall_0_0_0()); | ||
471 | } | ||
472 | lv_multiplicity_1_0=ruleALSMultiplicity { | ||
473 | if ($current==null) { | ||
474 | $current = createModelElementForParent(grammarAccess.getALSSignatureBodyRule()); | ||
475 | } | ||
476 | set( | ||
477 | $current, | ||
478 | "multiplicity", | ||
479 | lv_multiplicity_1_0, | ||
480 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity"); | ||
481 | afterParserOrEnumRuleCall(); | ||
482 | } | ||
483 | |||
484 | ) | ||
485 | )) | ||
486 | { | ||
487 | getUnorderedGroupHelper().returnFromSelection(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0()); | ||
488 | } | ||
489 | ) | ||
490 | ) | | ||
491 | |||
492 | ( | ||
493 | {getUnorderedGroupHelper().canSelect(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0(), 1)}?=>( | ||
494 | { | ||
495 | getUnorderedGroupHelper().select(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0(), 1); | ||
496 | } | ||
497 | ({true}?=>( | ||
498 | ( | ||
499 | lv_abstract_2_0= 'abstract' | ||
500 | { | ||
501 | newLeafNode(lv_abstract_2_0, grammarAccess.getALSSignatureBodyAccess().getAbstractAbstractKeyword_0_1_0()); | ||
502 | } | ||
503 | |||
504 | { | ||
505 | if ($current==null) { | ||
506 | $current = createModelElement(grammarAccess.getALSSignatureBodyRule()); | ||
507 | } | ||
508 | setWithLastConsumed($current, "abstract", true, "abstract"); | ||
509 | } | ||
510 | |||
511 | ) | ||
512 | )) | ||
513 | { | ||
514 | getUnorderedGroupHelper().returnFromSelection(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0()); | ||
515 | } | ||
516 | ) | ||
517 | ) | ||
518 | |||
519 | )* | ||
520 | ) | ||
521 | ) | ||
522 | { | ||
523 | getUnorderedGroupHelper().leave(grammarAccess.getALSSignatureBodyAccess().getUnorderedGroup_0()); | ||
524 | } | ||
525 | |||
526 | ) otherlv_3='sig' | ||
527 | { | ||
528 | newLeafNode(otherlv_3, grammarAccess.getALSSignatureBodyAccess().getSigKeyword_1()); | ||
529 | } | ||
530 | ( | ||
531 | ( | ||
532 | { | ||
533 | newCompositeNode(grammarAccess.getALSSignatureBodyAccess().getDeclarationsALSSignatureDeclarationParserRuleCall_2_0()); | ||
534 | } | ||
535 | lv_declarations_4_0=ruleALSSignatureDeclaration { | ||
536 | if ($current==null) { | ||
537 | $current = createModelElementForParent(grammarAccess.getALSSignatureBodyRule()); | ||
538 | } | ||
539 | add( | ||
540 | $current, | ||
541 | "declarations", | ||
542 | lv_declarations_4_0, | ||
543 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureDeclaration"); | ||
544 | afterParserOrEnumRuleCall(); | ||
545 | } | ||
546 | |||
547 | ) | ||
548 | )( otherlv_5=',' | ||
549 | { | ||
550 | newLeafNode(otherlv_5, grammarAccess.getALSSignatureBodyAccess().getCommaKeyword_3_0()); | ||
551 | } | ||
552 | ( | ||
553 | ( | ||
554 | { | ||
555 | newCompositeNode(grammarAccess.getALSSignatureBodyAccess().getDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0()); | ||
556 | } | ||
557 | lv_declarations_6_0=ruleALSSignatureDeclaration { | ||
558 | if ($current==null) { | ||
559 | $current = createModelElementForParent(grammarAccess.getALSSignatureBodyRule()); | ||
560 | } | ||
561 | add( | ||
562 | $current, | ||
563 | "declarations", | ||
564 | lv_declarations_6_0, | ||
565 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureDeclaration"); | ||
566 | afterParserOrEnumRuleCall(); | ||
567 | } | ||
568 | |||
569 | ) | ||
570 | ))*(( otherlv_7='extends' | ||
571 | { | ||
572 | newLeafNode(otherlv_7, grammarAccess.getALSSignatureBodyAccess().getExtendsKeyword_4_0_0()); | ||
573 | } | ||
574 | ( | ||
575 | ( | ||
576 | { | ||
577 | if ($current==null) { | ||
578 | $current = createModelElement(grammarAccess.getALSSignatureBodyRule()); | ||
579 | } | ||
580 | } | ||
581 | otherlv_8=RULE_ID | ||
582 | { | ||
583 | newLeafNode(otherlv_8, grammarAccess.getALSSignatureBodyAccess().getSupertypeALSSignatureDeclarationCrossReference_4_0_1_0()); | ||
584 | } | ||
585 | |||
586 | ) | ||
587 | )) | ||
588 | |( otherlv_9='in' | ||
589 | { | ||
590 | newLeafNode(otherlv_9, grammarAccess.getALSSignatureBodyAccess().getInKeyword_4_1_0()); | ||
591 | } | ||
592 | ( | ||
593 | ( | ||
594 | { | ||
595 | if ($current==null) { | ||
596 | $current = createModelElement(grammarAccess.getALSSignatureBodyRule()); | ||
597 | } | ||
598 | } | ||
599 | otherlv_10=RULE_ID | ||
600 | { | ||
601 | newLeafNode(otherlv_10, grammarAccess.getALSSignatureBodyAccess().getSupersetALSSignatureDeclarationCrossReference_4_1_1_0()); | ||
602 | } | ||
603 | |||
604 | ) | ||
605 | )( otherlv_11='+' | ||
606 | { | ||
607 | newLeafNode(otherlv_11, grammarAccess.getALSSignatureBodyAccess().getPlusSignKeyword_4_1_2_0()); | ||
608 | } | ||
609 | ( | ||
610 | ( | ||
611 | { | ||
612 | if ($current==null) { | ||
613 | $current = createModelElement(grammarAccess.getALSSignatureBodyRule()); | ||
614 | } | ||
615 | } | ||
616 | otherlv_12=RULE_ID | ||
617 | { | ||
618 | newLeafNode(otherlv_12, grammarAccess.getALSSignatureBodyAccess().getSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0()); | ||
619 | } | ||
620 | |||
621 | ) | ||
622 | ))*))? otherlv_13='{' | ||
623 | { | ||
624 | newLeafNode(otherlv_13, grammarAccess.getALSSignatureBodyAccess().getLeftCurlyBracketKeyword_5()); | ||
625 | } | ||
626 | (( | ||
627 | ( | ||
628 | { | ||
629 | newCompositeNode(grammarAccess.getALSSignatureBodyAccess().getFieldsALSFieldDeclarationParserRuleCall_6_0_0()); | ||
630 | } | ||
631 | lv_fields_14_0=ruleALSFieldDeclaration { | ||
632 | if ($current==null) { | ||
633 | $current = createModelElementForParent(grammarAccess.getALSSignatureBodyRule()); | ||
634 | } | ||
635 | add( | ||
636 | $current, | ||
637 | "fields", | ||
638 | lv_fields_14_0, | ||
639 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFieldDeclaration"); | ||
640 | afterParserOrEnumRuleCall(); | ||
641 | } | ||
642 | |||
643 | ) | ||
644 | )( otherlv_15=',' | ||
645 | { | ||
646 | newLeafNode(otherlv_15, grammarAccess.getALSSignatureBodyAccess().getCommaKeyword_6_1_0()); | ||
647 | } | ||
648 | ( | ||
649 | ( | ||
650 | { | ||
651 | newCompositeNode(grammarAccess.getALSSignatureBodyAccess().getFieldsALSFieldDeclarationParserRuleCall_6_1_1_0()); | ||
652 | } | ||
653 | lv_fields_16_0=ruleALSFieldDeclaration { | ||
654 | if ($current==null) { | ||
655 | $current = createModelElementForParent(grammarAccess.getALSSignatureBodyRule()); | ||
656 | } | ||
657 | add( | ||
658 | $current, | ||
659 | "fields", | ||
660 | lv_fields_16_0, | ||
661 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFieldDeclaration"); | ||
662 | afterParserOrEnumRuleCall(); | ||
663 | } | ||
664 | |||
665 | ) | ||
666 | ))*)? otherlv_17='}' | ||
667 | { | ||
668 | newLeafNode(otherlv_17, grammarAccess.getALSSignatureBodyAccess().getRightCurlyBracketKeyword_7()); | ||
669 | } | ||
670 | ) | ||
671 | ; | ||
672 | |||
673 | |||
674 | |||
675 | |||
676 | |||
677 | // Entry rule entryRuleALSFieldDeclaration | ||
678 | entryRuleALSFieldDeclaration returns [EObject current=null] | ||
679 | : | ||
680 | { newCompositeNode(grammarAccess.getALSFieldDeclarationRule()); } | ||
681 | iv_ruleALSFieldDeclaration=ruleALSFieldDeclaration | ||
682 | { $current=$iv_ruleALSFieldDeclaration.current; } | ||
683 | EOF | ||
684 | ; | ||
685 | |||
686 | // Rule ALSFieldDeclaration | ||
687 | ruleALSFieldDeclaration returns [EObject current=null] | ||
688 | @init { enterRule(); | ||
689 | } | ||
690 | @after { leaveRule(); }: | ||
691 | (( | ||
692 | ( | ||
693 | { | ||
694 | newCompositeNode(grammarAccess.getALSFieldDeclarationAccess().getNameALSIDParserRuleCall_0_0()); | ||
695 | } | ||
696 | lv_name_0_0=ruleALSID { | ||
697 | if ($current==null) { | ||
698 | $current = createModelElementForParent(grammarAccess.getALSFieldDeclarationRule()); | ||
699 | } | ||
700 | set( | ||
701 | $current, | ||
702 | "name", | ||
703 | lv_name_0_0, | ||
704 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
705 | afterParserOrEnumRuleCall(); | ||
706 | } | ||
707 | |||
708 | ) | ||
709 | ) otherlv_1=':' | ||
710 | { | ||
711 | newLeafNode(otherlv_1, grammarAccess.getALSFieldDeclarationAccess().getColonKeyword_1()); | ||
712 | } | ||
713 | ( | ||
714 | ( | ||
715 | { | ||
716 | newCompositeNode(grammarAccess.getALSFieldDeclarationAccess().getMultiplicityALSMultiplicityEnumRuleCall_2_0()); | ||
717 | } | ||
718 | lv_multiplicity_2_0=ruleALSMultiplicity { | ||
719 | if ($current==null) { | ||
720 | $current = createModelElementForParent(grammarAccess.getALSFieldDeclarationRule()); | ||
721 | } | ||
722 | set( | ||
723 | $current, | ||
724 | "multiplicity", | ||
725 | lv_multiplicity_2_0, | ||
726 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity"); | ||
727 | afterParserOrEnumRuleCall(); | ||
728 | } | ||
729 | |||
730 | ) | ||
731 | )?( | ||
732 | ( | ||
733 | { | ||
734 | newCompositeNode(grammarAccess.getALSFieldDeclarationAccess().getTypeALSTermParserRuleCall_3_0()); | ||
735 | } | ||
736 | lv_type_3_0=ruleALSTerm { | ||
737 | if ($current==null) { | ||
738 | $current = createModelElementForParent(grammarAccess.getALSFieldDeclarationRule()); | ||
739 | } | ||
740 | set( | ||
741 | $current, | ||
742 | "type", | ||
743 | lv_type_3_0, | ||
744 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
745 | afterParserOrEnumRuleCall(); | ||
746 | } | ||
747 | |||
748 | ) | ||
749 | )) | ||
750 | ; | ||
751 | |||
752 | |||
753 | |||
754 | |||
755 | |||
756 | |||
757 | |||
758 | // Entry rule entryRuleALSFunctionDefinition | ||
759 | entryRuleALSFunctionDefinition returns [EObject current=null] | ||
760 | : | ||
761 | { newCompositeNode(grammarAccess.getALSFunctionDefinitionRule()); } | ||
762 | iv_ruleALSFunctionDefinition=ruleALSFunctionDefinition | ||
763 | { $current=$iv_ruleALSFunctionDefinition.current; } | ||
764 | EOF | ||
765 | ; | ||
766 | |||
767 | // Rule ALSFunctionDefinition | ||
768 | ruleALSFunctionDefinition returns [EObject current=null] | ||
769 | @init { enterRule(); | ||
770 | } | ||
771 | @after { leaveRule(); }: | ||
772 | ( otherlv_0='fun' | ||
773 | { | ||
774 | newLeafNode(otherlv_0, grammarAccess.getALSFunctionDefinitionAccess().getFunKeyword_0()); | ||
775 | } | ||
776 | ( | ||
777 | ( | ||
778 | { | ||
779 | newCompositeNode(grammarAccess.getALSFunctionDefinitionAccess().getNameALSIDParserRuleCall_1_0()); | ||
780 | } | ||
781 | lv_name_1_0=ruleALSID { | ||
782 | if ($current==null) { | ||
783 | $current = createModelElementForParent(grammarAccess.getALSFunctionDefinitionRule()); | ||
784 | } | ||
785 | set( | ||
786 | $current, | ||
787 | "name", | ||
788 | lv_name_1_0, | ||
789 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
790 | afterParserOrEnumRuleCall(); | ||
791 | } | ||
792 | |||
793 | ) | ||
794 | ) otherlv_2='[' | ||
795 | { | ||
796 | newLeafNode(otherlv_2, grammarAccess.getALSFunctionDefinitionAccess().getLeftSquareBracketKeyword_2()); | ||
797 | } | ||
798 | ( | ||
799 | ( | ||
800 | { | ||
801 | newCompositeNode(grammarAccess.getALSFunctionDefinitionAccess().getVariablesALSVariableDeclarationParserRuleCall_3_0()); | ||
802 | } | ||
803 | lv_variables_3_0=ruleALSVariableDeclaration { | ||
804 | if ($current==null) { | ||
805 | $current = createModelElementForParent(grammarAccess.getALSFunctionDefinitionRule()); | ||
806 | } | ||
807 | add( | ||
808 | $current, | ||
809 | "variables", | ||
810 | lv_variables_3_0, | ||
811 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
812 | afterParserOrEnumRuleCall(); | ||
813 | } | ||
814 | |||
815 | ) | ||
816 | )( otherlv_4=',' | ||
817 | { | ||
818 | newLeafNode(otherlv_4, grammarAccess.getALSFunctionDefinitionAccess().getCommaKeyword_4_0()); | ||
819 | } | ||
820 | ( | ||
821 | ( | ||
822 | { | ||
823 | newCompositeNode(grammarAccess.getALSFunctionDefinitionAccess().getVariablesALSVariableDeclarationParserRuleCall_4_1_0()); | ||
824 | } | ||
825 | lv_variables_5_0=ruleALSVariableDeclaration { | ||
826 | if ($current==null) { | ||
827 | $current = createModelElementForParent(grammarAccess.getALSFunctionDefinitionRule()); | ||
828 | } | ||
829 | add( | ||
830 | $current, | ||
831 | "variables", | ||
832 | lv_variables_5_0, | ||
833 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
834 | afterParserOrEnumRuleCall(); | ||
835 | } | ||
836 | |||
837 | ) | ||
838 | ))* otherlv_6=']' | ||
839 | { | ||
840 | newLeafNode(otherlv_6, grammarAccess.getALSFunctionDefinitionAccess().getRightSquareBracketKeyword_5()); | ||
841 | } | ||
842 | otherlv_7=':' | ||
843 | { | ||
844 | newLeafNode(otherlv_7, grammarAccess.getALSFunctionDefinitionAccess().getColonKeyword_6()); | ||
845 | } | ||
846 | ( | ||
847 | ( | ||
848 | { | ||
849 | newCompositeNode(grammarAccess.getALSFunctionDefinitionAccess().getTypeALSTermParserRuleCall_7_0()); | ||
850 | } | ||
851 | lv_type_8_0=ruleALSTerm { | ||
852 | if ($current==null) { | ||
853 | $current = createModelElementForParent(grammarAccess.getALSFunctionDefinitionRule()); | ||
854 | } | ||
855 | set( | ||
856 | $current, | ||
857 | "type", | ||
858 | lv_type_8_0, | ||
859 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
860 | afterParserOrEnumRuleCall(); | ||
861 | } | ||
862 | |||
863 | ) | ||
864 | ) otherlv_9='{' | ||
865 | { | ||
866 | newLeafNode(otherlv_9, grammarAccess.getALSFunctionDefinitionAccess().getLeftCurlyBracketKeyword_8()); | ||
867 | } | ||
868 | ( | ||
869 | ( | ||
870 | { | ||
871 | newCompositeNode(grammarAccess.getALSFunctionDefinitionAccess().getValueALSTermParserRuleCall_9_0()); | ||
872 | } | ||
873 | lv_value_10_0=ruleALSTerm { | ||
874 | if ($current==null) { | ||
875 | $current = createModelElementForParent(grammarAccess.getALSFunctionDefinitionRule()); | ||
876 | } | ||
877 | set( | ||
878 | $current, | ||
879 | "value", | ||
880 | lv_value_10_0, | ||
881 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
882 | afterParserOrEnumRuleCall(); | ||
883 | } | ||
884 | |||
885 | ) | ||
886 | ) otherlv_11='}' | ||
887 | { | ||
888 | newLeafNode(otherlv_11, grammarAccess.getALSFunctionDefinitionAccess().getRightCurlyBracketKeyword_10()); | ||
889 | } | ||
890 | ) | ||
891 | ; | ||
892 | |||
893 | |||
894 | |||
895 | |||
896 | |||
897 | // Entry rule entryRuleALSRelationDefinition | ||
898 | entryRuleALSRelationDefinition returns [EObject current=null] | ||
899 | : | ||
900 | { newCompositeNode(grammarAccess.getALSRelationDefinitionRule()); } | ||
901 | iv_ruleALSRelationDefinition=ruleALSRelationDefinition | ||
902 | { $current=$iv_ruleALSRelationDefinition.current; } | ||
903 | EOF | ||
904 | ; | ||
905 | |||
906 | // Rule ALSRelationDefinition | ||
907 | ruleALSRelationDefinition returns [EObject current=null] | ||
908 | @init { enterRule(); | ||
909 | } | ||
910 | @after { leaveRule(); }: | ||
911 | ( otherlv_0='pred' | ||
912 | { | ||
913 | newLeafNode(otherlv_0, grammarAccess.getALSRelationDefinitionAccess().getPredKeyword_0()); | ||
914 | } | ||
915 | ( | ||
916 | ( | ||
917 | { | ||
918 | newCompositeNode(grammarAccess.getALSRelationDefinitionAccess().getNameALSIDParserRuleCall_1_0()); | ||
919 | } | ||
920 | lv_name_1_0=ruleALSID { | ||
921 | if ($current==null) { | ||
922 | $current = createModelElementForParent(grammarAccess.getALSRelationDefinitionRule()); | ||
923 | } | ||
924 | set( | ||
925 | $current, | ||
926 | "name", | ||
927 | lv_name_1_0, | ||
928 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
929 | afterParserOrEnumRuleCall(); | ||
930 | } | ||
931 | |||
932 | ) | ||
933 | ) otherlv_2='[' | ||
934 | { | ||
935 | newLeafNode(otherlv_2, grammarAccess.getALSRelationDefinitionAccess().getLeftSquareBracketKeyword_2()); | ||
936 | } | ||
937 | ( | ||
938 | ( | ||
939 | { | ||
940 | newCompositeNode(grammarAccess.getALSRelationDefinitionAccess().getVariablesALSVariableDeclarationParserRuleCall_3_0()); | ||
941 | } | ||
942 | lv_variables_3_0=ruleALSVariableDeclaration { | ||
943 | if ($current==null) { | ||
944 | $current = createModelElementForParent(grammarAccess.getALSRelationDefinitionRule()); | ||
945 | } | ||
946 | add( | ||
947 | $current, | ||
948 | "variables", | ||
949 | lv_variables_3_0, | ||
950 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
951 | afterParserOrEnumRuleCall(); | ||
952 | } | ||
953 | |||
954 | ) | ||
955 | )( otherlv_4=',' | ||
956 | { | ||
957 | newLeafNode(otherlv_4, grammarAccess.getALSRelationDefinitionAccess().getCommaKeyword_4_0()); | ||
958 | } | ||
959 | ( | ||
960 | ( | ||
961 | { | ||
962 | newCompositeNode(grammarAccess.getALSRelationDefinitionAccess().getVariablesALSVariableDeclarationParserRuleCall_4_1_0()); | ||
963 | } | ||
964 | lv_variables_5_0=ruleALSVariableDeclaration { | ||
965 | if ($current==null) { | ||
966 | $current = createModelElementForParent(grammarAccess.getALSRelationDefinitionRule()); | ||
967 | } | ||
968 | add( | ||
969 | $current, | ||
970 | "variables", | ||
971 | lv_variables_5_0, | ||
972 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
973 | afterParserOrEnumRuleCall(); | ||
974 | } | ||
975 | |||
976 | ) | ||
977 | ))* otherlv_6=']' | ||
978 | { | ||
979 | newLeafNode(otherlv_6, grammarAccess.getALSRelationDefinitionAccess().getRightSquareBracketKeyword_5()); | ||
980 | } | ||
981 | otherlv_7='{' | ||
982 | { | ||
983 | newLeafNode(otherlv_7, grammarAccess.getALSRelationDefinitionAccess().getLeftCurlyBracketKeyword_6()); | ||
984 | } | ||
985 | ( | ||
986 | ( | ||
987 | { | ||
988 | newCompositeNode(grammarAccess.getALSRelationDefinitionAccess().getValueALSTermParserRuleCall_7_0()); | ||
989 | } | ||
990 | lv_value_8_0=ruleALSTerm { | ||
991 | if ($current==null) { | ||
992 | $current = createModelElementForParent(grammarAccess.getALSRelationDefinitionRule()); | ||
993 | } | ||
994 | set( | ||
995 | $current, | ||
996 | "value", | ||
997 | lv_value_8_0, | ||
998 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
999 | afterParserOrEnumRuleCall(); | ||
1000 | } | ||
1001 | |||
1002 | ) | ||
1003 | ) otherlv_9='}' | ||
1004 | { | ||
1005 | newLeafNode(otherlv_9, grammarAccess.getALSRelationDefinitionAccess().getRightCurlyBracketKeyword_8()); | ||
1006 | } | ||
1007 | ) | ||
1008 | ; | ||
1009 | |||
1010 | |||
1011 | |||
1012 | |||
1013 | |||
1014 | // Entry rule entryRuleALSFactDeclaration | ||
1015 | entryRuleALSFactDeclaration returns [EObject current=null] | ||
1016 | : | ||
1017 | { newCompositeNode(grammarAccess.getALSFactDeclarationRule()); } | ||
1018 | iv_ruleALSFactDeclaration=ruleALSFactDeclaration | ||
1019 | { $current=$iv_ruleALSFactDeclaration.current; } | ||
1020 | EOF | ||
1021 | ; | ||
1022 | |||
1023 | // Rule ALSFactDeclaration | ||
1024 | ruleALSFactDeclaration returns [EObject current=null] | ||
1025 | @init { enterRule(); | ||
1026 | } | ||
1027 | @after { leaveRule(); }: | ||
1028 | (( | ||
1029 | { | ||
1030 | $current = forceCreateModelElement( | ||
1031 | grammarAccess.getALSFactDeclarationAccess().getALSFactDeclarationAction_0(), | ||
1032 | $current); | ||
1033 | } | ||
1034 | ) otherlv_1='fact' | ||
1035 | { | ||
1036 | newLeafNode(otherlv_1, grammarAccess.getALSFactDeclarationAccess().getFactKeyword_1()); | ||
1037 | } | ||
1038 | ( | ||
1039 | ( | ||
1040 | { | ||
1041 | newCompositeNode(grammarAccess.getALSFactDeclarationAccess().getNameALSIDParserRuleCall_2_0()); | ||
1042 | } | ||
1043 | lv_name_2_0=ruleALSID { | ||
1044 | if ($current==null) { | ||
1045 | $current = createModelElementForParent(grammarAccess.getALSFactDeclarationRule()); | ||
1046 | } | ||
1047 | set( | ||
1048 | $current, | ||
1049 | "name", | ||
1050 | lv_name_2_0, | ||
1051 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
1052 | afterParserOrEnumRuleCall(); | ||
1053 | } | ||
1054 | |||
1055 | ) | ||
1056 | )? otherlv_3='{' | ||
1057 | { | ||
1058 | newLeafNode(otherlv_3, grammarAccess.getALSFactDeclarationAccess().getLeftCurlyBracketKeyword_3()); | ||
1059 | } | ||
1060 | ( | ||
1061 | ( | ||
1062 | { | ||
1063 | newCompositeNode(grammarAccess.getALSFactDeclarationAccess().getTermALSTermParserRuleCall_4_0()); | ||
1064 | } | ||
1065 | lv_term_4_0=ruleALSTerm { | ||
1066 | if ($current==null) { | ||
1067 | $current = createModelElementForParent(grammarAccess.getALSFactDeclarationRule()); | ||
1068 | } | ||
1069 | set( | ||
1070 | $current, | ||
1071 | "term", | ||
1072 | lv_term_4_0, | ||
1073 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
1074 | afterParserOrEnumRuleCall(); | ||
1075 | } | ||
1076 | |||
1077 | ) | ||
1078 | ) otherlv_5='}' | ||
1079 | { | ||
1080 | newLeafNode(otherlv_5, grammarAccess.getALSFactDeclarationAccess().getRightCurlyBracketKeyword_5()); | ||
1081 | } | ||
1082 | ) | ||
1083 | ; | ||
1084 | |||
1085 | |||
1086 | |||
1087 | |||
1088 | |||
1089 | // Entry rule entryRuleALSTerm | ||
1090 | entryRuleALSTerm returns [EObject current=null] | ||
1091 | : | ||
1092 | { newCompositeNode(grammarAccess.getALSTermRule()); } | ||
1093 | iv_ruleALSTerm=ruleALSTerm | ||
1094 | { $current=$iv_ruleALSTerm.current; } | ||
1095 | EOF | ||
1096 | ; | ||
1097 | |||
1098 | // Rule ALSTerm | ||
1099 | ruleALSTerm returns [EObject current=null] | ||
1100 | @init { enterRule(); | ||
1101 | } | ||
1102 | @after { leaveRule(); }: | ||
1103 | |||
1104 | { | ||
1105 | newCompositeNode(grammarAccess.getALSTermAccess().getALSQuantifiedParserRuleCall()); | ||
1106 | } | ||
1107 | this_ALSQuantified_0=ruleALSQuantified | ||
1108 | { | ||
1109 | $current = $this_ALSQuantified_0.current; | ||
1110 | afterParserOrEnumRuleCall(); | ||
1111 | } | ||
1112 | |||
1113 | ; | ||
1114 | |||
1115 | |||
1116 | |||
1117 | |||
1118 | |||
1119 | // Entry rule entryRuleALSQuantified | ||
1120 | entryRuleALSQuantified returns [EObject current=null] | ||
1121 | : | ||
1122 | { newCompositeNode(grammarAccess.getALSQuantifiedRule()); } | ||
1123 | iv_ruleALSQuantified=ruleALSQuantified | ||
1124 | { $current=$iv_ruleALSQuantified.current; } | ||
1125 | EOF | ||
1126 | ; | ||
1127 | |||
1128 | // Rule ALSQuantified | ||
1129 | ruleALSQuantified returns [EObject current=null] | ||
1130 | @init { enterRule(); | ||
1131 | } | ||
1132 | @after { leaveRule(); }: | ||
1133 | ((( | ||
1134 | { | ||
1135 | $current = forceCreateModelElement( | ||
1136 | grammarAccess.getALSQuantifiedAccess().getALSQuantifiedExAction_0_0(), | ||
1137 | $current); | ||
1138 | } | ||
1139 | )( | ||
1140 | ( | ||
1141 | { | ||
1142 | newCompositeNode(grammarAccess.getALSQuantifiedAccess().getTypeALSMultiplicityEnumRuleCall_0_1_0()); | ||
1143 | } | ||
1144 | lv_type_1_0=ruleALSMultiplicity { | ||
1145 | if ($current==null) { | ||
1146 | $current = createModelElementForParent(grammarAccess.getALSQuantifiedRule()); | ||
1147 | } | ||
1148 | set( | ||
1149 | $current, | ||
1150 | "type", | ||
1151 | lv_type_1_0, | ||
1152 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity"); | ||
1153 | afterParserOrEnumRuleCall(); | ||
1154 | } | ||
1155 | |||
1156 | ) | ||
1157 | )( | ||
1158 | ( | ||
1159 | lv_disj_2_0= 'disj' | ||
1160 | { | ||
1161 | newLeafNode(lv_disj_2_0, grammarAccess.getALSQuantifiedAccess().getDisjDisjKeyword_0_2_0()); | ||
1162 | } | ||
1163 | |||
1164 | { | ||
1165 | if ($current==null) { | ||
1166 | $current = createModelElement(grammarAccess.getALSQuantifiedRule()); | ||
1167 | } | ||
1168 | setWithLastConsumed($current, "disj", true, "disj"); | ||
1169 | } | ||
1170 | |||
1171 | ) | ||
1172 | )?( | ||
1173 | ( | ||
1174 | { | ||
1175 | newCompositeNode(grammarAccess.getALSQuantifiedAccess().getVariablesALSVariableDeclarationParserRuleCall_0_3_0()); | ||
1176 | } | ||
1177 | lv_variables_3_0=ruleALSVariableDeclaration { | ||
1178 | if ($current==null) { | ||
1179 | $current = createModelElementForParent(grammarAccess.getALSQuantifiedRule()); | ||
1180 | } | ||
1181 | add( | ||
1182 | $current, | ||
1183 | "variables", | ||
1184 | lv_variables_3_0, | ||
1185 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
1186 | afterParserOrEnumRuleCall(); | ||
1187 | } | ||
1188 | |||
1189 | ) | ||
1190 | )( otherlv_4=',' | ||
1191 | { | ||
1192 | newLeafNode(otherlv_4, grammarAccess.getALSQuantifiedAccess().getCommaKeyword_0_4_0()); | ||
1193 | } | ||
1194 | ( | ||
1195 | ( | ||
1196 | { | ||
1197 | newCompositeNode(grammarAccess.getALSQuantifiedAccess().getVariablesALSVariableDeclarationParserRuleCall_0_4_1_0()); | ||
1198 | } | ||
1199 | lv_variables_5_0=ruleALSVariableDeclaration { | ||
1200 | if ($current==null) { | ||
1201 | $current = createModelElementForParent(grammarAccess.getALSQuantifiedRule()); | ||
1202 | } | ||
1203 | add( | ||
1204 | $current, | ||
1205 | "variables", | ||
1206 | lv_variables_5_0, | ||
1207 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
1208 | afterParserOrEnumRuleCall(); | ||
1209 | } | ||
1210 | |||
1211 | ) | ||
1212 | ))* otherlv_6='{' | ||
1213 | { | ||
1214 | newLeafNode(otherlv_6, grammarAccess.getALSQuantifiedAccess().getLeftCurlyBracketKeyword_0_5()); | ||
1215 | } | ||
1216 | ( | ||
1217 | ( | ||
1218 | { | ||
1219 | newCompositeNode(grammarAccess.getALSQuantifiedAccess().getExpressionALSTermParserRuleCall_0_6_0()); | ||
1220 | } | ||
1221 | lv_expression_7_0=ruleALSTerm { | ||
1222 | if ($current==null) { | ||
1223 | $current = createModelElementForParent(grammarAccess.getALSQuantifiedRule()); | ||
1224 | } | ||
1225 | set( | ||
1226 | $current, | ||
1227 | "expression", | ||
1228 | lv_expression_7_0, | ||
1229 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
1230 | afterParserOrEnumRuleCall(); | ||
1231 | } | ||
1232 | |||
1233 | ) | ||
1234 | ) otherlv_8='}' | ||
1235 | { | ||
1236 | newLeafNode(otherlv_8, grammarAccess.getALSQuantifiedAccess().getRightCurlyBracketKeyword_0_7()); | ||
1237 | } | ||
1238 | ) | ||
1239 | | | ||
1240 | { | ||
1241 | newCompositeNode(grammarAccess.getALSQuantifiedAccess().getALSOrParserRuleCall_1()); | ||
1242 | } | ||
1243 | this_ALSOr_9=ruleALSOr | ||
1244 | { | ||
1245 | $current = $this_ALSOr_9.current; | ||
1246 | afterParserOrEnumRuleCall(); | ||
1247 | } | ||
1248 | ) | ||
1249 | ; | ||
1250 | |||
1251 | |||
1252 | |||
1253 | |||
1254 | |||
1255 | // Entry rule entryRuleALSOr | ||
1256 | entryRuleALSOr returns [EObject current=null] | ||
1257 | : | ||
1258 | { newCompositeNode(grammarAccess.getALSOrRule()); } | ||
1259 | iv_ruleALSOr=ruleALSOr | ||
1260 | { $current=$iv_ruleALSOr.current; } | ||
1261 | EOF | ||
1262 | ; | ||
1263 | |||
1264 | // Rule ALSOr | ||
1265 | ruleALSOr returns [EObject current=null] | ||
1266 | @init { enterRule(); | ||
1267 | } | ||
1268 | @after { leaveRule(); }: | ||
1269 | ( | ||
1270 | { | ||
1271 | newCompositeNode(grammarAccess.getALSOrAccess().getALSIffParserRuleCall_0()); | ||
1272 | } | ||
1273 | this_ALSIff_0=ruleALSIff | ||
1274 | { | ||
1275 | $current = $this_ALSIff_0.current; | ||
1276 | afterParserOrEnumRuleCall(); | ||
1277 | } | ||
1278 | (( | ||
1279 | { | ||
1280 | $current = forceCreateModelElementAndSet( | ||
1281 | grammarAccess.getALSOrAccess().getALSOrLeftOperandAction_1_0(), | ||
1282 | $current); | ||
1283 | } | ||
1284 | )( otherlv_2='||' | ||
1285 | { | ||
1286 | newLeafNode(otherlv_2, grammarAccess.getALSOrAccess().getVerticalLineVerticalLineKeyword_1_1_0()); | ||
1287 | } | ||
1288 | |||
1289 | | otherlv_3='or' | ||
1290 | { | ||
1291 | newLeafNode(otherlv_3, grammarAccess.getALSOrAccess().getOrKeyword_1_1_1()); | ||
1292 | } | ||
1293 | )( | ||
1294 | ( | ||
1295 | { | ||
1296 | newCompositeNode(grammarAccess.getALSOrAccess().getRightOperandALSIffParserRuleCall_1_2_0()); | ||
1297 | } | ||
1298 | lv_rightOperand_4_0=ruleALSIff { | ||
1299 | if ($current==null) { | ||
1300 | $current = createModelElementForParent(grammarAccess.getALSOrRule()); | ||
1301 | } | ||
1302 | set( | ||
1303 | $current, | ||
1304 | "rightOperand", | ||
1305 | lv_rightOperand_4_0, | ||
1306 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIff"); | ||
1307 | afterParserOrEnumRuleCall(); | ||
1308 | } | ||
1309 | |||
1310 | ) | ||
1311 | ))?) | ||
1312 | ; | ||
1313 | |||
1314 | |||
1315 | |||
1316 | |||
1317 | |||
1318 | // Entry rule entryRuleALSIff | ||
1319 | entryRuleALSIff returns [EObject current=null] | ||
1320 | : | ||
1321 | { newCompositeNode(grammarAccess.getALSIffRule()); } | ||
1322 | iv_ruleALSIff=ruleALSIff | ||
1323 | { $current=$iv_ruleALSIff.current; } | ||
1324 | EOF | ||
1325 | ; | ||
1326 | |||
1327 | // Rule ALSIff | ||
1328 | ruleALSIff returns [EObject current=null] | ||
1329 | @init { enterRule(); | ||
1330 | } | ||
1331 | @after { leaveRule(); }: | ||
1332 | ( | ||
1333 | { | ||
1334 | newCompositeNode(grammarAccess.getALSIffAccess().getALSImplParserRuleCall_0()); | ||
1335 | } | ||
1336 | this_ALSImpl_0=ruleALSImpl | ||
1337 | { | ||
1338 | $current = $this_ALSImpl_0.current; | ||
1339 | afterParserOrEnumRuleCall(); | ||
1340 | } | ||
1341 | (( | ||
1342 | { | ||
1343 | $current = forceCreateModelElementAndSet( | ||
1344 | grammarAccess.getALSIffAccess().getALSIffLeftOperandAction_1_0(), | ||
1345 | $current); | ||
1346 | } | ||
1347 | )( otherlv_2='<=>' | ||
1348 | { | ||
1349 | newLeafNode(otherlv_2, grammarAccess.getALSIffAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0()); | ||
1350 | } | ||
1351 | |||
1352 | | otherlv_3='iff' | ||
1353 | { | ||
1354 | newLeafNode(otherlv_3, grammarAccess.getALSIffAccess().getIffKeyword_1_1_1()); | ||
1355 | } | ||
1356 | )( | ||
1357 | ( | ||
1358 | { | ||
1359 | newCompositeNode(grammarAccess.getALSIffAccess().getRightOperandALSImplParserRuleCall_1_2_0()); | ||
1360 | } | ||
1361 | lv_rightOperand_4_0=ruleALSImpl { | ||
1362 | if ($current==null) { | ||
1363 | $current = createModelElementForParent(grammarAccess.getALSIffRule()); | ||
1364 | } | ||
1365 | set( | ||
1366 | $current, | ||
1367 | "rightOperand", | ||
1368 | lv_rightOperand_4_0, | ||
1369 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSImpl"); | ||
1370 | afterParserOrEnumRuleCall(); | ||
1371 | } | ||
1372 | |||
1373 | ) | ||
1374 | ))?) | ||
1375 | ; | ||
1376 | |||
1377 | |||
1378 | |||
1379 | |||
1380 | |||
1381 | // Entry rule entryRuleALSImpl | ||
1382 | entryRuleALSImpl returns [EObject current=null] | ||
1383 | : | ||
1384 | { newCompositeNode(grammarAccess.getALSImplRule()); } | ||
1385 | iv_ruleALSImpl=ruleALSImpl | ||
1386 | { $current=$iv_ruleALSImpl.current; } | ||
1387 | EOF | ||
1388 | ; | ||
1389 | |||
1390 | // Rule ALSImpl | ||
1391 | ruleALSImpl returns [EObject current=null] | ||
1392 | @init { enterRule(); | ||
1393 | } | ||
1394 | @after { leaveRule(); }: | ||
1395 | ( | ||
1396 | { | ||
1397 | newCompositeNode(grammarAccess.getALSImplAccess().getALSAndParserRuleCall_0()); | ||
1398 | } | ||
1399 | this_ALSAnd_0=ruleALSAnd | ||
1400 | { | ||
1401 | $current = $this_ALSAnd_0.current; | ||
1402 | afterParserOrEnumRuleCall(); | ||
1403 | } | ||
1404 | (( | ||
1405 | { | ||
1406 | $current = forceCreateModelElementAndSet( | ||
1407 | grammarAccess.getALSImplAccess().getALSImplLeftOperandAction_1_0(), | ||
1408 | $current); | ||
1409 | } | ||
1410 | )( otherlv_2='=>' | ||
1411 | { | ||
1412 | newLeafNode(otherlv_2, grammarAccess.getALSImplAccess().getEqualsSignGreaterThanSignKeyword_1_1_0()); | ||
1413 | } | ||
1414 | |||
1415 | | otherlv_3='implies' | ||
1416 | { | ||
1417 | newLeafNode(otherlv_3, grammarAccess.getALSImplAccess().getImpliesKeyword_1_1_1()); | ||
1418 | } | ||
1419 | )( | ||
1420 | ( | ||
1421 | { | ||
1422 | newCompositeNode(grammarAccess.getALSImplAccess().getRightOperandALSAndParserRuleCall_1_2_0()); | ||
1423 | } | ||
1424 | lv_rightOperand_4_0=ruleALSAnd { | ||
1425 | if ($current==null) { | ||
1426 | $current = createModelElementForParent(grammarAccess.getALSImplRule()); | ||
1427 | } | ||
1428 | set( | ||
1429 | $current, | ||
1430 | "rightOperand", | ||
1431 | lv_rightOperand_4_0, | ||
1432 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSAnd"); | ||
1433 | afterParserOrEnumRuleCall(); | ||
1434 | } | ||
1435 | |||
1436 | ) | ||
1437 | )( otherlv_5='else' | ||
1438 | { | ||
1439 | newLeafNode(otherlv_5, grammarAccess.getALSImplAccess().getElseKeyword_1_3_0()); | ||
1440 | } | ||
1441 | ( | ||
1442 | ( | ||
1443 | { | ||
1444 | newCompositeNode(grammarAccess.getALSImplAccess().getElseOperandALSAndParserRuleCall_1_3_1_0()); | ||
1445 | } | ||
1446 | lv_elseOperand_6_0=ruleALSAnd { | ||
1447 | if ($current==null) { | ||
1448 | $current = createModelElementForParent(grammarAccess.getALSImplRule()); | ||
1449 | } | ||
1450 | set( | ||
1451 | $current, | ||
1452 | "elseOperand", | ||
1453 | lv_elseOperand_6_0, | ||
1454 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSAnd"); | ||
1455 | afterParserOrEnumRuleCall(); | ||
1456 | } | ||
1457 | |||
1458 | ) | ||
1459 | ))?)?) | ||
1460 | ; | ||
1461 | |||
1462 | |||
1463 | |||
1464 | |||
1465 | |||
1466 | // Entry rule entryRuleALSAnd | ||
1467 | entryRuleALSAnd returns [EObject current=null] | ||
1468 | : | ||
1469 | { newCompositeNode(grammarAccess.getALSAndRule()); } | ||
1470 | iv_ruleALSAnd=ruleALSAnd | ||
1471 | { $current=$iv_ruleALSAnd.current; } | ||
1472 | EOF | ||
1473 | ; | ||
1474 | |||
1475 | // Rule ALSAnd | ||
1476 | ruleALSAnd returns [EObject current=null] | ||
1477 | @init { enterRule(); | ||
1478 | } | ||
1479 | @after { leaveRule(); }: | ||
1480 | ( | ||
1481 | { | ||
1482 | newCompositeNode(grammarAccess.getALSAndAccess().getALSComparisonParserRuleCall_0()); | ||
1483 | } | ||
1484 | this_ALSComparison_0=ruleALSComparison | ||
1485 | { | ||
1486 | $current = $this_ALSComparison_0.current; | ||
1487 | afterParserOrEnumRuleCall(); | ||
1488 | } | ||
1489 | (( | ||
1490 | { | ||
1491 | $current = forceCreateModelElementAndSet( | ||
1492 | grammarAccess.getALSAndAccess().getALSAndLeftOperandAction_1_0(), | ||
1493 | $current); | ||
1494 | } | ||
1495 | )( otherlv_2='&&' | ||
1496 | { | ||
1497 | newLeafNode(otherlv_2, grammarAccess.getALSAndAccess().getAmpersandAmpersandKeyword_1_1_0()); | ||
1498 | } | ||
1499 | |||
1500 | | otherlv_3='and' | ||
1501 | { | ||
1502 | newLeafNode(otherlv_3, grammarAccess.getALSAndAccess().getAndKeyword_1_1_1()); | ||
1503 | } | ||
1504 | )( | ||
1505 | ( | ||
1506 | { | ||
1507 | newCompositeNode(grammarAccess.getALSAndAccess().getRightOperandALSComparisonParserRuleCall_1_2_0()); | ||
1508 | } | ||
1509 | lv_rightOperand_4_0=ruleALSComparison { | ||
1510 | if ($current==null) { | ||
1511 | $current = createModelElementForParent(grammarAccess.getALSAndRule()); | ||
1512 | } | ||
1513 | set( | ||
1514 | $current, | ||
1515 | "rightOperand", | ||
1516 | lv_rightOperand_4_0, | ||
1517 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSComparison"); | ||
1518 | afterParserOrEnumRuleCall(); | ||
1519 | } | ||
1520 | |||
1521 | ) | ||
1522 | ))?) | ||
1523 | ; | ||
1524 | |||
1525 | |||
1526 | |||
1527 | |||
1528 | |||
1529 | // Entry rule entryRuleALSComparison | ||
1530 | entryRuleALSComparison returns [EObject current=null] | ||
1531 | : | ||
1532 | { newCompositeNode(grammarAccess.getALSComparisonRule()); } | ||
1533 | iv_ruleALSComparison=ruleALSComparison | ||
1534 | { $current=$iv_ruleALSComparison.current; } | ||
1535 | EOF | ||
1536 | ; | ||
1537 | |||
1538 | // Rule ALSComparison | ||
1539 | ruleALSComparison returns [EObject current=null] | ||
1540 | @init { enterRule(); | ||
1541 | } | ||
1542 | @after { leaveRule(); }: | ||
1543 | ( | ||
1544 | { | ||
1545 | newCompositeNode(grammarAccess.getALSComparisonAccess().getALSOverrideParserRuleCall_0()); | ||
1546 | } | ||
1547 | this_ALSOverride_0=ruleALSOverride | ||
1548 | { | ||
1549 | $current = $this_ALSOverride_0.current; | ||
1550 | afterParserOrEnumRuleCall(); | ||
1551 | } | ||
1552 | (((( | ||
1553 | { | ||
1554 | $current = forceCreateModelElementAndSet( | ||
1555 | grammarAccess.getALSComparisonAccess().getALSEqualsLeftOperandAction_1_0_0_0(), | ||
1556 | $current); | ||
1557 | } | ||
1558 | ) otherlv_2='=' | ||
1559 | { | ||
1560 | newLeafNode(otherlv_2, grammarAccess.getALSComparisonAccess().getEqualsSignKeyword_1_0_0_1()); | ||
1561 | } | ||
1562 | ) | ||
1563 | |(( | ||
1564 | { | ||
1565 | $current = forceCreateModelElementAndSet( | ||
1566 | grammarAccess.getALSComparisonAccess().getALSNotEqualsLeftOperandAction_1_0_1_0(), | ||
1567 | $current); | ||
1568 | } | ||
1569 | ) otherlv_4='!=' | ||
1570 | { | ||
1571 | newLeafNode(otherlv_4, grammarAccess.getALSComparisonAccess().getExclamationMarkEqualsSignKeyword_1_0_1_1()); | ||
1572 | } | ||
1573 | ) | ||
1574 | |(( | ||
1575 | { | ||
1576 | $current = forceCreateModelElementAndSet( | ||
1577 | grammarAccess.getALSComparisonAccess().getALSSubsetLeftOperandAction_1_0_2_0(), | ||
1578 | $current); | ||
1579 | } | ||
1580 | ) otherlv_6='in' | ||
1581 | { | ||
1582 | newLeafNode(otherlv_6, grammarAccess.getALSComparisonAccess().getInKeyword_1_0_2_1()); | ||
1583 | } | ||
1584 | ) | ||
1585 | |(( | ||
1586 | { | ||
1587 | $current = forceCreateModelElementAndSet( | ||
1588 | grammarAccess.getALSComparisonAccess().getALSLessLeftOperandAction_1_0_3_0(), | ||
1589 | $current); | ||
1590 | } | ||
1591 | ) otherlv_8='>' | ||
1592 | { | ||
1593 | newLeafNode(otherlv_8, grammarAccess.getALSComparisonAccess().getGreaterThanSignKeyword_1_0_3_1()); | ||
1594 | } | ||
1595 | ) | ||
1596 | |(( | ||
1597 | { | ||
1598 | $current = forceCreateModelElementAndSet( | ||
1599 | grammarAccess.getALSComparisonAccess().getALSLeqLeftOperandAction_1_0_4_0(), | ||
1600 | $current); | ||
1601 | } | ||
1602 | ) otherlv_10='>=' | ||
1603 | { | ||
1604 | newLeafNode(otherlv_10, grammarAccess.getALSComparisonAccess().getGreaterThanSignEqualsSignKeyword_1_0_4_1()); | ||
1605 | } | ||
1606 | ) | ||
1607 | |(( | ||
1608 | { | ||
1609 | $current = forceCreateModelElementAndSet( | ||
1610 | grammarAccess.getALSComparisonAccess().getALSMoreLeftOperandAction_1_0_5_0(), | ||
1611 | $current); | ||
1612 | } | ||
1613 | ) otherlv_12='<' | ||
1614 | { | ||
1615 | newLeafNode(otherlv_12, grammarAccess.getALSComparisonAccess().getLessThanSignKeyword_1_0_5_1()); | ||
1616 | } | ||
1617 | ) | ||
1618 | |(( | ||
1619 | { | ||
1620 | $current = forceCreateModelElementAndSet( | ||
1621 | grammarAccess.getALSComparisonAccess().getALSMeqLeftOperandAction_1_0_6_0(), | ||
1622 | $current); | ||
1623 | } | ||
1624 | ) otherlv_14='<=' | ||
1625 | { | ||
1626 | newLeafNode(otherlv_14, grammarAccess.getALSComparisonAccess().getLessThanSignEqualsSignKeyword_1_0_6_1()); | ||
1627 | } | ||
1628 | ))( | ||
1629 | ( | ||
1630 | { | ||
1631 | newCompositeNode(grammarAccess.getALSComparisonAccess().getRightOperandALSOverrideParserRuleCall_1_1_0()); | ||
1632 | } | ||
1633 | lv_rightOperand_15_0=ruleALSOverride { | ||
1634 | if ($current==null) { | ||
1635 | $current = createModelElementForParent(grammarAccess.getALSComparisonRule()); | ||
1636 | } | ||
1637 | set( | ||
1638 | $current, | ||
1639 | "rightOperand", | ||
1640 | lv_rightOperand_15_0, | ||
1641 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSOverride"); | ||
1642 | afterParserOrEnumRuleCall(); | ||
1643 | } | ||
1644 | |||
1645 | ) | ||
1646 | ))?) | ||
1647 | ; | ||
1648 | |||
1649 | |||
1650 | |||
1651 | |||
1652 | |||
1653 | // Entry rule entryRuleALSOverride | ||
1654 | entryRuleALSOverride returns [EObject current=null] | ||
1655 | : | ||
1656 | { newCompositeNode(grammarAccess.getALSOverrideRule()); } | ||
1657 | iv_ruleALSOverride=ruleALSOverride | ||
1658 | { $current=$iv_ruleALSOverride.current; } | ||
1659 | EOF | ||
1660 | ; | ||
1661 | |||
1662 | // Rule ALSOverride | ||
1663 | ruleALSOverride returns [EObject current=null] | ||
1664 | @init { enterRule(); | ||
1665 | } | ||
1666 | @after { leaveRule(); }: | ||
1667 | ( | ||
1668 | { | ||
1669 | newCompositeNode(grammarAccess.getALSOverrideAccess().getALSRangeRestrictionRightParserRuleCall_0()); | ||
1670 | } | ||
1671 | this_ALSRangeRestrictionRight_0=ruleALSRangeRestrictionRight | ||
1672 | { | ||
1673 | $current = $this_ALSRangeRestrictionRight_0.current; | ||
1674 | afterParserOrEnumRuleCall(); | ||
1675 | } | ||
1676 | (( | ||
1677 | { | ||
1678 | $current = forceCreateModelElementAndSet( | ||
1679 | grammarAccess.getALSOverrideAccess().getALSOverrideLeftOperandAction_1_0(), | ||
1680 | $current); | ||
1681 | } | ||
1682 | ) otherlv_2='++' | ||
1683 | { | ||
1684 | newLeafNode(otherlv_2, grammarAccess.getALSOverrideAccess().getPlusSignPlusSignKeyword_1_1()); | ||
1685 | } | ||
1686 | ( | ||
1687 | ( | ||
1688 | { | ||
1689 | newCompositeNode(grammarAccess.getALSOverrideAccess().getRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0()); | ||
1690 | } | ||
1691 | lv_rightOperand_3_0=ruleALSRangeRestrictionRight { | ||
1692 | if ($current==null) { | ||
1693 | $current = createModelElementForParent(grammarAccess.getALSOverrideRule()); | ||
1694 | } | ||
1695 | set( | ||
1696 | $current, | ||
1697 | "rightOperand", | ||
1698 | lv_rightOperand_3_0, | ||
1699 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRangeRestrictionRight"); | ||
1700 | afterParserOrEnumRuleCall(); | ||
1701 | } | ||
1702 | |||
1703 | ) | ||
1704 | ))?) | ||
1705 | ; | ||
1706 | |||
1707 | |||
1708 | |||
1709 | |||
1710 | |||
1711 | // Entry rule entryRuleALSRangeRestrictionRight | ||
1712 | entryRuleALSRangeRestrictionRight returns [EObject current=null] | ||
1713 | : | ||
1714 | { newCompositeNode(grammarAccess.getALSRangeRestrictionRightRule()); } | ||
1715 | iv_ruleALSRangeRestrictionRight=ruleALSRangeRestrictionRight | ||
1716 | { $current=$iv_ruleALSRangeRestrictionRight.current; } | ||
1717 | EOF | ||
1718 | ; | ||
1719 | |||
1720 | // Rule ALSRangeRestrictionRight | ||
1721 | ruleALSRangeRestrictionRight returns [EObject current=null] | ||
1722 | @init { enterRule(); | ||
1723 | } | ||
1724 | @after { leaveRule(); }: | ||
1725 | ( | ||
1726 | { | ||
1727 | newCompositeNode(grammarAccess.getALSRangeRestrictionRightAccess().getALSRangeRestrictionLeftParserRuleCall_0()); | ||
1728 | } | ||
1729 | this_ALSRangeRestrictionLeft_0=ruleALSRangeRestrictionLeft | ||
1730 | { | ||
1731 | $current = $this_ALSRangeRestrictionLeft_0.current; | ||
1732 | afterParserOrEnumRuleCall(); | ||
1733 | } | ||
1734 | (( | ||
1735 | { | ||
1736 | $current = forceCreateModelElementAndSet( | ||
1737 | grammarAccess.getALSRangeRestrictionRightAccess().getALSRangeRestrictionRightRelationAction_1_0(), | ||
1738 | $current); | ||
1739 | } | ||
1740 | ) otherlv_2=':>' | ||
1741 | { | ||
1742 | newLeafNode(otherlv_2, grammarAccess.getALSRangeRestrictionRightAccess().getColonGreaterThanSignKeyword_1_1()); | ||
1743 | } | ||
1744 | ( | ||
1745 | ( | ||
1746 | { | ||
1747 | newCompositeNode(grammarAccess.getALSRangeRestrictionRightAccess().getFilterALSRangeRestrictionLeftParserRuleCall_1_2_0()); | ||
1748 | } | ||
1749 | lv_filter_3_0=ruleALSRangeRestrictionLeft { | ||
1750 | if ($current==null) { | ||
1751 | $current = createModelElementForParent(grammarAccess.getALSRangeRestrictionRightRule()); | ||
1752 | } | ||
1753 | set( | ||
1754 | $current, | ||
1755 | "filter", | ||
1756 | lv_filter_3_0, | ||
1757 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRangeRestrictionLeft"); | ||
1758 | afterParserOrEnumRuleCall(); | ||
1759 | } | ||
1760 | |||
1761 | ) | ||
1762 | ))?) | ||
1763 | ; | ||
1764 | |||
1765 | |||
1766 | |||
1767 | |||
1768 | |||
1769 | // Entry rule entryRuleALSRangeRestrictionLeft | ||
1770 | entryRuleALSRangeRestrictionLeft returns [EObject current=null] | ||
1771 | : | ||
1772 | { newCompositeNode(grammarAccess.getALSRangeRestrictionLeftRule()); } | ||
1773 | iv_ruleALSRangeRestrictionLeft=ruleALSRangeRestrictionLeft | ||
1774 | { $current=$iv_ruleALSRangeRestrictionLeft.current; } | ||
1775 | EOF | ||
1776 | ; | ||
1777 | |||
1778 | // Rule ALSRangeRestrictionLeft | ||
1779 | ruleALSRangeRestrictionLeft returns [EObject current=null] | ||
1780 | @init { enterRule(); | ||
1781 | } | ||
1782 | @after { leaveRule(); }: | ||
1783 | ( | ||
1784 | { | ||
1785 | newCompositeNode(grammarAccess.getALSRangeRestrictionLeftAccess().getALSJoinParserRuleCall_0()); | ||
1786 | } | ||
1787 | this_ALSJoin_0=ruleALSJoin | ||
1788 | { | ||
1789 | $current = $this_ALSJoin_0.current; | ||
1790 | afterParserOrEnumRuleCall(); | ||
1791 | } | ||
1792 | (( | ||
1793 | { | ||
1794 | $current = forceCreateModelElementAndSet( | ||
1795 | grammarAccess.getALSRangeRestrictionLeftAccess().getALSRangeRestrictionLeftFilterAction_1_0(), | ||
1796 | $current); | ||
1797 | } | ||
1798 | ) otherlv_2='<:' | ||
1799 | { | ||
1800 | newLeafNode(otherlv_2, grammarAccess.getALSRangeRestrictionLeftAccess().getLessThanSignColonKeyword_1_1()); | ||
1801 | } | ||
1802 | ( | ||
1803 | ( | ||
1804 | { | ||
1805 | newCompositeNode(grammarAccess.getALSRangeRestrictionLeftAccess().getRelationALSJoinParserRuleCall_1_2_0()); | ||
1806 | } | ||
1807 | lv_relation_3_0=ruleALSJoin { | ||
1808 | if ($current==null) { | ||
1809 | $current = createModelElementForParent(grammarAccess.getALSRangeRestrictionLeftRule()); | ||
1810 | } | ||
1811 | set( | ||
1812 | $current, | ||
1813 | "relation", | ||
1814 | lv_relation_3_0, | ||
1815 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSJoin"); | ||
1816 | afterParserOrEnumRuleCall(); | ||
1817 | } | ||
1818 | |||
1819 | ) | ||
1820 | ))?) | ||
1821 | ; | ||
1822 | |||
1823 | |||
1824 | |||
1825 | |||
1826 | |||
1827 | // Entry rule entryRuleALSJoin | ||
1828 | entryRuleALSJoin returns [EObject current=null] | ||
1829 | : | ||
1830 | { newCompositeNode(grammarAccess.getALSJoinRule()); } | ||
1831 | iv_ruleALSJoin=ruleALSJoin | ||
1832 | { $current=$iv_ruleALSJoin.current; } | ||
1833 | EOF | ||
1834 | ; | ||
1835 | |||
1836 | // Rule ALSJoin | ||
1837 | ruleALSJoin returns [EObject current=null] | ||
1838 | @init { enterRule(); | ||
1839 | } | ||
1840 | @after { leaveRule(); }: | ||
1841 | ( | ||
1842 | { | ||
1843 | newCompositeNode(grammarAccess.getALSJoinAccess().getALSMinusParserRuleCall_0()); | ||
1844 | } | ||
1845 | this_ALSMinus_0=ruleALSMinus | ||
1846 | { | ||
1847 | $current = $this_ALSMinus_0.current; | ||
1848 | afterParserOrEnumRuleCall(); | ||
1849 | } | ||
1850 | (( | ||
1851 | { | ||
1852 | $current = forceCreateModelElementAndSet( | ||
1853 | grammarAccess.getALSJoinAccess().getALSJoinLeftOperandAction_1_0(), | ||
1854 | $current); | ||
1855 | } | ||
1856 | ) otherlv_2='.' | ||
1857 | { | ||
1858 | newLeafNode(otherlv_2, grammarAccess.getALSJoinAccess().getFullStopKeyword_1_1()); | ||
1859 | } | ||
1860 | ( | ||
1861 | ( | ||
1862 | { | ||
1863 | newCompositeNode(grammarAccess.getALSJoinAccess().getRightOperandALSMinusParserRuleCall_1_2_0()); | ||
1864 | } | ||
1865 | lv_rightOperand_3_0=ruleALSMinus { | ||
1866 | if ($current==null) { | ||
1867 | $current = createModelElementForParent(grammarAccess.getALSJoinRule()); | ||
1868 | } | ||
1869 | set( | ||
1870 | $current, | ||
1871 | "rightOperand", | ||
1872 | lv_rightOperand_3_0, | ||
1873 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMinus"); | ||
1874 | afterParserOrEnumRuleCall(); | ||
1875 | } | ||
1876 | |||
1877 | ) | ||
1878 | ))*) | ||
1879 | ; | ||
1880 | |||
1881 | |||
1882 | |||
1883 | |||
1884 | |||
1885 | // Entry rule entryRuleALSMinus | ||
1886 | entryRuleALSMinus returns [EObject current=null] | ||
1887 | : | ||
1888 | { newCompositeNode(grammarAccess.getALSMinusRule()); } | ||
1889 | iv_ruleALSMinus=ruleALSMinus | ||
1890 | { $current=$iv_ruleALSMinus.current; } | ||
1891 | EOF | ||
1892 | ; | ||
1893 | |||
1894 | // Rule ALSMinus | ||
1895 | ruleALSMinus returns [EObject current=null] | ||
1896 | @init { enterRule(); | ||
1897 | } | ||
1898 | @after { leaveRule(); }: | ||
1899 | ( | ||
1900 | { | ||
1901 | newCompositeNode(grammarAccess.getALSMinusAccess().getALSPlusParserRuleCall_0()); | ||
1902 | } | ||
1903 | this_ALSPlus_0=ruleALSPlus | ||
1904 | { | ||
1905 | $current = $this_ALSPlus_0.current; | ||
1906 | afterParserOrEnumRuleCall(); | ||
1907 | } | ||
1908 | (( | ||
1909 | { | ||
1910 | $current = forceCreateModelElementAndSet( | ||
1911 | grammarAccess.getALSMinusAccess().getALSMinusLeftOperandAction_1_0(), | ||
1912 | $current); | ||
1913 | } | ||
1914 | ) otherlv_2='-' | ||
1915 | { | ||
1916 | newLeafNode(otherlv_2, grammarAccess.getALSMinusAccess().getHyphenMinusKeyword_1_1()); | ||
1917 | } | ||
1918 | ( | ||
1919 | ( | ||
1920 | { | ||
1921 | newCompositeNode(grammarAccess.getALSMinusAccess().getRightOperandALSPlusParserRuleCall_1_2_0()); | ||
1922 | } | ||
1923 | lv_rightOperand_3_0=ruleALSPlus { | ||
1924 | if ($current==null) { | ||
1925 | $current = createModelElementForParent(grammarAccess.getALSMinusRule()); | ||
1926 | } | ||
1927 | set( | ||
1928 | $current, | ||
1929 | "rightOperand", | ||
1930 | lv_rightOperand_3_0, | ||
1931 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSPlus"); | ||
1932 | afterParserOrEnumRuleCall(); | ||
1933 | } | ||
1934 | |||
1935 | ) | ||
1936 | ))*) | ||
1937 | ; | ||
1938 | |||
1939 | |||
1940 | |||
1941 | |||
1942 | |||
1943 | // Entry rule entryRuleALSPlus | ||
1944 | entryRuleALSPlus returns [EObject current=null] | ||
1945 | : | ||
1946 | { newCompositeNode(grammarAccess.getALSPlusRule()); } | ||
1947 | iv_ruleALSPlus=ruleALSPlus | ||
1948 | { $current=$iv_ruleALSPlus.current; } | ||
1949 | EOF | ||
1950 | ; | ||
1951 | |||
1952 | // Rule ALSPlus | ||
1953 | ruleALSPlus returns [EObject current=null] | ||
1954 | @init { enterRule(); | ||
1955 | } | ||
1956 | @after { leaveRule(); }: | ||
1957 | ( | ||
1958 | { | ||
1959 | newCompositeNode(grammarAccess.getALSPlusAccess().getALSIntersectionParserRuleCall_0()); | ||
1960 | } | ||
1961 | this_ALSIntersection_0=ruleALSIntersection | ||
1962 | { | ||
1963 | $current = $this_ALSIntersection_0.current; | ||
1964 | afterParserOrEnumRuleCall(); | ||
1965 | } | ||
1966 | (( | ||
1967 | { | ||
1968 | $current = forceCreateModelElementAndSet( | ||
1969 | grammarAccess.getALSPlusAccess().getALSPlusLeftOperandAction_1_0(), | ||
1970 | $current); | ||
1971 | } | ||
1972 | ) otherlv_2='+' | ||
1973 | { | ||
1974 | newLeafNode(otherlv_2, grammarAccess.getALSPlusAccess().getPlusSignKeyword_1_1()); | ||
1975 | } | ||
1976 | ( | ||
1977 | ( | ||
1978 | { | ||
1979 | newCompositeNode(grammarAccess.getALSPlusAccess().getRightOperandALSIntersectionParserRuleCall_1_2_0()); | ||
1980 | } | ||
1981 | lv_rightOperand_3_0=ruleALSIntersection { | ||
1982 | if ($current==null) { | ||
1983 | $current = createModelElementForParent(grammarAccess.getALSPlusRule()); | ||
1984 | } | ||
1985 | set( | ||
1986 | $current, | ||
1987 | "rightOperand", | ||
1988 | lv_rightOperand_3_0, | ||
1989 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIntersection"); | ||
1990 | afterParserOrEnumRuleCall(); | ||
1991 | } | ||
1992 | |||
1993 | ) | ||
1994 | ))*) | ||
1995 | ; | ||
1996 | |||
1997 | |||
1998 | |||
1999 | |||
2000 | |||
2001 | // Entry rule entryRuleALSIntersection | ||
2002 | entryRuleALSIntersection returns [EObject current=null] | ||
2003 | : | ||
2004 | { newCompositeNode(grammarAccess.getALSIntersectionRule()); } | ||
2005 | iv_ruleALSIntersection=ruleALSIntersection | ||
2006 | { $current=$iv_ruleALSIntersection.current; } | ||
2007 | EOF | ||
2008 | ; | ||
2009 | |||
2010 | // Rule ALSIntersection | ||
2011 | ruleALSIntersection returns [EObject current=null] | ||
2012 | @init { enterRule(); | ||
2013 | } | ||
2014 | @after { leaveRule(); }: | ||
2015 | ( | ||
2016 | { | ||
2017 | newCompositeNode(grammarAccess.getALSIntersectionAccess().getALSDirectProductParserRuleCall_0()); | ||
2018 | } | ||
2019 | this_ALSDirectProduct_0=ruleALSDirectProduct | ||
2020 | { | ||
2021 | $current = $this_ALSDirectProduct_0.current; | ||
2022 | afterParserOrEnumRuleCall(); | ||
2023 | } | ||
2024 | (( | ||
2025 | { | ||
2026 | $current = forceCreateModelElementAndSet( | ||
2027 | grammarAccess.getALSIntersectionAccess().getALSIntersectionLeftOperandAction_1_0(), | ||
2028 | $current); | ||
2029 | } | ||
2030 | ) otherlv_2='&' | ||
2031 | { | ||
2032 | newLeafNode(otherlv_2, grammarAccess.getALSIntersectionAccess().getAmpersandKeyword_1_1()); | ||
2033 | } | ||
2034 | ( | ||
2035 | ( | ||
2036 | { | ||
2037 | newCompositeNode(grammarAccess.getALSIntersectionAccess().getRightOperandALSDirectProductParserRuleCall_1_2_0()); | ||
2038 | } | ||
2039 | lv_rightOperand_3_0=ruleALSDirectProduct { | ||
2040 | if ($current==null) { | ||
2041 | $current = createModelElementForParent(grammarAccess.getALSIntersectionRule()); | ||
2042 | } | ||
2043 | set( | ||
2044 | $current, | ||
2045 | "rightOperand", | ||
2046 | lv_rightOperand_3_0, | ||
2047 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDirectProduct"); | ||
2048 | afterParserOrEnumRuleCall(); | ||
2049 | } | ||
2050 | |||
2051 | ) | ||
2052 | ))*) | ||
2053 | ; | ||
2054 | |||
2055 | |||
2056 | |||
2057 | |||
2058 | |||
2059 | // Entry rule entryRuleALSDirectProduct | ||
2060 | entryRuleALSDirectProduct returns [EObject current=null] | ||
2061 | : | ||
2062 | { newCompositeNode(grammarAccess.getALSDirectProductRule()); } | ||
2063 | iv_ruleALSDirectProduct=ruleALSDirectProduct | ||
2064 | { $current=$iv_ruleALSDirectProduct.current; } | ||
2065 | EOF | ||
2066 | ; | ||
2067 | |||
2068 | // Rule ALSDirectProduct | ||
2069 | ruleALSDirectProduct returns [EObject current=null] | ||
2070 | @init { enterRule(); | ||
2071 | } | ||
2072 | @after { leaveRule(); }: | ||
2073 | ( | ||
2074 | { | ||
2075 | newCompositeNode(grammarAccess.getALSDirectProductAccess().getALSPreficedParserRuleCall_0()); | ||
2076 | } | ||
2077 | this_ALSPreficed_0=ruleALSPreficed | ||
2078 | { | ||
2079 | $current = $this_ALSPreficed_0.current; | ||
2080 | afterParserOrEnumRuleCall(); | ||
2081 | } | ||
2082 | (( | ||
2083 | { | ||
2084 | $current = forceCreateModelElementAndSet( | ||
2085 | grammarAccess.getALSDirectProductAccess().getALSDirectProductLeftOperandAction_1_0(), | ||
2086 | $current); | ||
2087 | } | ||
2088 | )( | ||
2089 | ( | ||
2090 | { | ||
2091 | newCompositeNode(grammarAccess.getALSDirectProductAccess().getLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0()); | ||
2092 | } | ||
2093 | lv_leftMultiplicit_2_0=ruleALSMultiplicity { | ||
2094 | if ($current==null) { | ||
2095 | $current = createModelElementForParent(grammarAccess.getALSDirectProductRule()); | ||
2096 | } | ||
2097 | set( | ||
2098 | $current, | ||
2099 | "leftMultiplicit", | ||
2100 | lv_leftMultiplicit_2_0, | ||
2101 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity"); | ||
2102 | afterParserOrEnumRuleCall(); | ||
2103 | } | ||
2104 | |||
2105 | ) | ||
2106 | )? otherlv_3='->' | ||
2107 | { | ||
2108 | newLeafNode(otherlv_3, grammarAccess.getALSDirectProductAccess().getHyphenMinusGreaterThanSignKeyword_1_2()); | ||
2109 | } | ||
2110 | ( | ||
2111 | ( | ||
2112 | { | ||
2113 | newCompositeNode(grammarAccess.getALSDirectProductAccess().getRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0()); | ||
2114 | } | ||
2115 | lv_rightMultiplicit_4_0=ruleALSMultiplicity { | ||
2116 | if ($current==null) { | ||
2117 | $current = createModelElementForParent(grammarAccess.getALSDirectProductRule()); | ||
2118 | } | ||
2119 | set( | ||
2120 | $current, | ||
2121 | "rightMultiplicit", | ||
2122 | lv_rightMultiplicit_4_0, | ||
2123 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity"); | ||
2124 | afterParserOrEnumRuleCall(); | ||
2125 | } | ||
2126 | |||
2127 | ) | ||
2128 | )?( | ||
2129 | ( | ||
2130 | { | ||
2131 | newCompositeNode(grammarAccess.getALSDirectProductAccess().getRightOperandALSPreficedParserRuleCall_1_4_0()); | ||
2132 | } | ||
2133 | lv_rightOperand_5_0=ruleALSPreficed { | ||
2134 | if ($current==null) { | ||
2135 | $current = createModelElementForParent(grammarAccess.getALSDirectProductRule()); | ||
2136 | } | ||
2137 | set( | ||
2138 | $current, | ||
2139 | "rightOperand", | ||
2140 | lv_rightOperand_5_0, | ||
2141 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSPreficed"); | ||
2142 | afterParserOrEnumRuleCall(); | ||
2143 | } | ||
2144 | |||
2145 | ) | ||
2146 | ))?) | ||
2147 | ; | ||
2148 | |||
2149 | |||
2150 | |||
2151 | |||
2152 | |||
2153 | // Entry rule entryRuleALSPreficed | ||
2154 | entryRuleALSPreficed returns [EObject current=null] | ||
2155 | : | ||
2156 | { newCompositeNode(grammarAccess.getALSPreficedRule()); } | ||
2157 | iv_ruleALSPreficed=ruleALSPreficed | ||
2158 | { $current=$iv_ruleALSPreficed.current; } | ||
2159 | EOF | ||
2160 | ; | ||
2161 | |||
2162 | // Rule ALSPreficed | ||
2163 | ruleALSPreficed returns [EObject current=null] | ||
2164 | @init { enterRule(); | ||
2165 | } | ||
2166 | @after { leaveRule(); }: | ||
2167 | ((( | ||
2168 | { | ||
2169 | $current = forceCreateModelElement( | ||
2170 | grammarAccess.getALSPreficedAccess().getALSNotAction_0_0(), | ||
2171 | $current); | ||
2172 | } | ||
2173 | )((( '!' | ||
2174 | |||
2175 | | 'not' | ||
2176 | ))=>( otherlv_1='!' | ||
2177 | { | ||
2178 | newLeafNode(otherlv_1, grammarAccess.getALSPreficedAccess().getExclamationMarkKeyword_0_1_0_0()); | ||
2179 | } | ||
2180 | |||
2181 | | otherlv_2='not' | ||
2182 | { | ||
2183 | newLeafNode(otherlv_2, grammarAccess.getALSPreficedAccess().getNotKeyword_0_1_0_1()); | ||
2184 | } | ||
2185 | ))( | ||
2186 | ( | ||
2187 | { | ||
2188 | newCompositeNode(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_0_2_0()); | ||
2189 | } | ||
2190 | lv_operand_3_0=ruleALSBasicRelationTerm { | ||
2191 | if ($current==null) { | ||
2192 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2193 | } | ||
2194 | set( | ||
2195 | $current, | ||
2196 | "operand", | ||
2197 | lv_operand_3_0, | ||
2198 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
2199 | afterParserOrEnumRuleCall(); | ||
2200 | } | ||
2201 | |||
2202 | ) | ||
2203 | )) | ||
2204 | |(( | ||
2205 | { | ||
2206 | $current = forceCreateModelElement( | ||
2207 | grammarAccess.getALSPreficedAccess().getALSInverseRelationAction_1_0(), | ||
2208 | $current); | ||
2209 | } | ||
2210 | )(( '~' | ||
2211 | )=> otherlv_5='~' | ||
2212 | { | ||
2213 | newLeafNode(otherlv_5, grammarAccess.getALSPreficedAccess().getTildeKeyword_1_1()); | ||
2214 | } | ||
2215 | )( | ||
2216 | ( | ||
2217 | { | ||
2218 | newCompositeNode(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_1_2_0()); | ||
2219 | } | ||
2220 | lv_operand_6_0=ruleALSBasicRelationTerm { | ||
2221 | if ($current==null) { | ||
2222 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2223 | } | ||
2224 | set( | ||
2225 | $current, | ||
2226 | "operand", | ||
2227 | lv_operand_6_0, | ||
2228 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
2229 | afterParserOrEnumRuleCall(); | ||
2230 | } | ||
2231 | |||
2232 | ) | ||
2233 | )) | ||
2234 | |(( | ||
2235 | { | ||
2236 | $current = forceCreateModelElement( | ||
2237 | grammarAccess.getALSPreficedAccess().getAlSTransitiveClosureAction_2_0(), | ||
2238 | $current); | ||
2239 | } | ||
2240 | ) otherlv_8='^' | ||
2241 | { | ||
2242 | newLeafNode(otherlv_8, grammarAccess.getALSPreficedAccess().getCircumflexAccentKeyword_2_1()); | ||
2243 | } | ||
2244 | ( | ||
2245 | ( | ||
2246 | { | ||
2247 | newCompositeNode(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_2_2_0()); | ||
2248 | } | ||
2249 | lv_operand_9_0=ruleALSBasicRelationTerm { | ||
2250 | if ($current==null) { | ||
2251 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2252 | } | ||
2253 | set( | ||
2254 | $current, | ||
2255 | "operand", | ||
2256 | lv_operand_9_0, | ||
2257 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
2258 | afterParserOrEnumRuleCall(); | ||
2259 | } | ||
2260 | |||
2261 | ) | ||
2262 | )) | ||
2263 | |(( | ||
2264 | { | ||
2265 | $current = forceCreateModelElement( | ||
2266 | grammarAccess.getALSPreficedAccess().getALSReflectiveTransitiveClosureAction_3_0(), | ||
2267 | $current); | ||
2268 | } | ||
2269 | ) otherlv_11='*' | ||
2270 | { | ||
2271 | newLeafNode(otherlv_11, grammarAccess.getALSPreficedAccess().getAsteriskKeyword_3_1()); | ||
2272 | } | ||
2273 | ( | ||
2274 | ( | ||
2275 | { | ||
2276 | newCompositeNode(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_3_2_0()); | ||
2277 | } | ||
2278 | lv_operand_12_0=ruleALSBasicRelationTerm { | ||
2279 | if ($current==null) { | ||
2280 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2281 | } | ||
2282 | set( | ||
2283 | $current, | ||
2284 | "operand", | ||
2285 | lv_operand_12_0, | ||
2286 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
2287 | afterParserOrEnumRuleCall(); | ||
2288 | } | ||
2289 | |||
2290 | ) | ||
2291 | )) | ||
2292 | |(( | ||
2293 | { | ||
2294 | $current = forceCreateModelElement( | ||
2295 | grammarAccess.getALSPreficedAccess().getALSCardinalityAction_4_0(), | ||
2296 | $current); | ||
2297 | } | ||
2298 | ) otherlv_14='#' | ||
2299 | { | ||
2300 | newLeafNode(otherlv_14, grammarAccess.getALSPreficedAccess().getNumberSignKeyword_4_1()); | ||
2301 | } | ||
2302 | ( | ||
2303 | ( | ||
2304 | { | ||
2305 | newCompositeNode(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_4_2_0()); | ||
2306 | } | ||
2307 | lv_operand_15_0=ruleALSBasicRelationTerm { | ||
2308 | if ($current==null) { | ||
2309 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2310 | } | ||
2311 | set( | ||
2312 | $current, | ||
2313 | "operand", | ||
2314 | lv_operand_15_0, | ||
2315 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
2316 | afterParserOrEnumRuleCall(); | ||
2317 | } | ||
2318 | |||
2319 | ) | ||
2320 | )) | ||
2321 | |(( | ||
2322 | { | ||
2323 | $current = forceCreateModelElement( | ||
2324 | grammarAccess.getALSPreficedAccess().getALSUnaryMinusAction_5_0(), | ||
2325 | $current); | ||
2326 | } | ||
2327 | )(( '-' | ||
2328 | )=> otherlv_17='-' | ||
2329 | { | ||
2330 | newLeafNode(otherlv_17, grammarAccess.getALSPreficedAccess().getHyphenMinusKeyword_5_1()); | ||
2331 | } | ||
2332 | )( | ||
2333 | ( | ||
2334 | { | ||
2335 | newCompositeNode(grammarAccess.getALSPreficedAccess().getOperandALSBasicRelationTermParserRuleCall_5_2_0()); | ||
2336 | } | ||
2337 | lv_operand_18_0=ruleALSBasicRelationTerm { | ||
2338 | if ($current==null) { | ||
2339 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2340 | } | ||
2341 | set( | ||
2342 | $current, | ||
2343 | "operand", | ||
2344 | lv_operand_18_0, | ||
2345 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
2346 | afterParserOrEnumRuleCall(); | ||
2347 | } | ||
2348 | |||
2349 | ) | ||
2350 | )) | ||
2351 | |(( | ||
2352 | { | ||
2353 | $current = forceCreateModelElement( | ||
2354 | grammarAccess.getALSPreficedAccess().getALSSumAction_6_0(), | ||
2355 | $current); | ||
2356 | } | ||
2357 | ) otherlv_20='sum' | ||
2358 | { | ||
2359 | newLeafNode(otherlv_20, grammarAccess.getALSPreficedAccess().getSumKeyword_6_1()); | ||
2360 | } | ||
2361 | ( | ||
2362 | ( | ||
2363 | { | ||
2364 | newCompositeNode(grammarAccess.getALSPreficedAccess().getVariablesALSVariableDeclarationParserRuleCall_6_2_0()); | ||
2365 | } | ||
2366 | lv_variables_21_0=ruleALSVariableDeclaration { | ||
2367 | if ($current==null) { | ||
2368 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2369 | } | ||
2370 | add( | ||
2371 | $current, | ||
2372 | "variables", | ||
2373 | lv_variables_21_0, | ||
2374 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
2375 | afterParserOrEnumRuleCall(); | ||
2376 | } | ||
2377 | |||
2378 | ) | ||
2379 | )( otherlv_22=',' | ||
2380 | { | ||
2381 | newLeafNode(otherlv_22, grammarAccess.getALSPreficedAccess().getCommaKeyword_6_3_0()); | ||
2382 | } | ||
2383 | ( | ||
2384 | ( | ||
2385 | { | ||
2386 | newCompositeNode(grammarAccess.getALSPreficedAccess().getVariablesALSVariableDeclarationParserRuleCall_6_3_1_0()); | ||
2387 | } | ||
2388 | lv_variables_23_0=ruleALSVariableDeclaration { | ||
2389 | if ($current==null) { | ||
2390 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2391 | } | ||
2392 | add( | ||
2393 | $current, | ||
2394 | "variables", | ||
2395 | lv_variables_23_0, | ||
2396 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
2397 | afterParserOrEnumRuleCall(); | ||
2398 | } | ||
2399 | |||
2400 | ) | ||
2401 | ))* otherlv_24='{' | ||
2402 | { | ||
2403 | newLeafNode(otherlv_24, grammarAccess.getALSPreficedAccess().getLeftCurlyBracketKeyword_6_4()); | ||
2404 | } | ||
2405 | ( | ||
2406 | ( | ||
2407 | { | ||
2408 | newCompositeNode(grammarAccess.getALSPreficedAccess().getExpressionALSTermParserRuleCall_6_5_0()); | ||
2409 | } | ||
2410 | lv_expression_25_0=ruleALSTerm { | ||
2411 | if ($current==null) { | ||
2412 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2413 | } | ||
2414 | set( | ||
2415 | $current, | ||
2416 | "expression", | ||
2417 | lv_expression_25_0, | ||
2418 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
2419 | afterParserOrEnumRuleCall(); | ||
2420 | } | ||
2421 | |||
2422 | ) | ||
2423 | ) otherlv_26='}' | ||
2424 | { | ||
2425 | newLeafNode(otherlv_26, grammarAccess.getALSPreficedAccess().getRightCurlyBracketKeyword_6_6()); | ||
2426 | } | ||
2427 | ) | ||
2428 | |(( | ||
2429 | { | ||
2430 | $current = forceCreateModelElement( | ||
2431 | grammarAccess.getALSPreficedAccess().getALSFunctionCallAction_7_0(), | ||
2432 | $current); | ||
2433 | } | ||
2434 | )(( | ||
2435 | ( | ||
2436 | { | ||
2437 | if ($current==null) { | ||
2438 | $current = createModelElement(grammarAccess.getALSPreficedRule()); | ||
2439 | } | ||
2440 | } | ||
2441 | otherlv_28=RULE_ID | ||
2442 | { | ||
2443 | newLeafNode(otherlv_28, grammarAccess.getALSPreficedAccess().getReferredDefinitionALSDefinitionCrossReference_7_1_0_0()); | ||
2444 | } | ||
2445 | |||
2446 | ) | ||
2447 | ) | ||
2448 | |( | ||
2449 | ( | ||
2450 | { | ||
2451 | newCompositeNode(grammarAccess.getALSPreficedAccess().getReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0()); | ||
2452 | } | ||
2453 | lv_referredNumericOperator_29_0=ruleALSNumericOperator { | ||
2454 | if ($current==null) { | ||
2455 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2456 | } | ||
2457 | set( | ||
2458 | $current, | ||
2459 | "referredNumericOperator", | ||
2460 | lv_referredNumericOperator_29_0, | ||
2461 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSNumericOperator"); | ||
2462 | afterParserOrEnumRuleCall(); | ||
2463 | } | ||
2464 | |||
2465 | ) | ||
2466 | )) otherlv_30='[' | ||
2467 | { | ||
2468 | newLeafNode(otherlv_30, grammarAccess.getALSPreficedAccess().getLeftSquareBracketKeyword_7_2()); | ||
2469 | } | ||
2470 | ( | ||
2471 | ( | ||
2472 | { | ||
2473 | newCompositeNode(grammarAccess.getALSPreficedAccess().getParamsALSTermParserRuleCall_7_3_0()); | ||
2474 | } | ||
2475 | lv_params_31_0=ruleALSTerm { | ||
2476 | if ($current==null) { | ||
2477 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2478 | } | ||
2479 | add( | ||
2480 | $current, | ||
2481 | "params", | ||
2482 | lv_params_31_0, | ||
2483 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
2484 | afterParserOrEnumRuleCall(); | ||
2485 | } | ||
2486 | |||
2487 | ) | ||
2488 | )( otherlv_32=',' | ||
2489 | { | ||
2490 | newLeafNode(otherlv_32, grammarAccess.getALSPreficedAccess().getCommaKeyword_7_4_0()); | ||
2491 | } | ||
2492 | ( | ||
2493 | ( | ||
2494 | { | ||
2495 | newCompositeNode(grammarAccess.getALSPreficedAccess().getParamsALSTermParserRuleCall_7_4_1_0()); | ||
2496 | } | ||
2497 | lv_params_33_0=ruleALSTerm { | ||
2498 | if ($current==null) { | ||
2499 | $current = createModelElementForParent(grammarAccess.getALSPreficedRule()); | ||
2500 | } | ||
2501 | add( | ||
2502 | $current, | ||
2503 | "params", | ||
2504 | lv_params_33_0, | ||
2505 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
2506 | afterParserOrEnumRuleCall(); | ||
2507 | } | ||
2508 | |||
2509 | ) | ||
2510 | ))* otherlv_34=']' | ||
2511 | { | ||
2512 | newLeafNode(otherlv_34, grammarAccess.getALSPreficedAccess().getRightSquareBracketKeyword_7_5()); | ||
2513 | } | ||
2514 | ) | ||
2515 | | | ||
2516 | { | ||
2517 | newCompositeNode(grammarAccess.getALSPreficedAccess().getALSBasicRelationTermParserRuleCall_8()); | ||
2518 | } | ||
2519 | this_ALSBasicRelationTerm_35=ruleALSBasicRelationTerm | ||
2520 | { | ||
2521 | $current = $this_ALSBasicRelationTerm_35.current; | ||
2522 | afterParserOrEnumRuleCall(); | ||
2523 | } | ||
2524 | ) | ||
2525 | ; | ||
2526 | |||
2527 | |||
2528 | |||
2529 | |||
2530 | |||
2531 | // Entry rule entryRuleALSVariableDeclaration | ||
2532 | entryRuleALSVariableDeclaration returns [EObject current=null] | ||
2533 | : | ||
2534 | { newCompositeNode(grammarAccess.getALSVariableDeclarationRule()); } | ||
2535 | iv_ruleALSVariableDeclaration=ruleALSVariableDeclaration | ||
2536 | { $current=$iv_ruleALSVariableDeclaration.current; } | ||
2537 | EOF | ||
2538 | ; | ||
2539 | |||
2540 | // Rule ALSVariableDeclaration | ||
2541 | ruleALSVariableDeclaration returns [EObject current=null] | ||
2542 | @init { enterRule(); | ||
2543 | } | ||
2544 | @after { leaveRule(); }: | ||
2545 | (( | ||
2546 | ( | ||
2547 | { | ||
2548 | newCompositeNode(grammarAccess.getALSVariableDeclarationAccess().getNameALSIDParserRuleCall_0_0()); | ||
2549 | } | ||
2550 | lv_name_0_0=ruleALSID { | ||
2551 | if ($current==null) { | ||
2552 | $current = createModelElementForParent(grammarAccess.getALSVariableDeclarationRule()); | ||
2553 | } | ||
2554 | set( | ||
2555 | $current, | ||
2556 | "name", | ||
2557 | lv_name_0_0, | ||
2558 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
2559 | afterParserOrEnumRuleCall(); | ||
2560 | } | ||
2561 | |||
2562 | ) | ||
2563 | ) otherlv_1=':' | ||
2564 | { | ||
2565 | newLeafNode(otherlv_1, grammarAccess.getALSVariableDeclarationAccess().getColonKeyword_1()); | ||
2566 | } | ||
2567 | ( | ||
2568 | ( | ||
2569 | { | ||
2570 | newCompositeNode(grammarAccess.getALSVariableDeclarationAccess().getRangeALSTermParserRuleCall_2_0()); | ||
2571 | } | ||
2572 | lv_range_2_0=ruleALSTerm { | ||
2573 | if ($current==null) { | ||
2574 | $current = createModelElementForParent(grammarAccess.getALSVariableDeclarationRule()); | ||
2575 | } | ||
2576 | set( | ||
2577 | $current, | ||
2578 | "range", | ||
2579 | lv_range_2_0, | ||
2580 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
2581 | afterParserOrEnumRuleCall(); | ||
2582 | } | ||
2583 | |||
2584 | ) | ||
2585 | )) | ||
2586 | ; | ||
2587 | |||
2588 | |||
2589 | |||
2590 | |||
2591 | |||
2592 | // Entry rule entryRuleALSBasicRelationTerm | ||
2593 | entryRuleALSBasicRelationTerm returns [EObject current=null] | ||
2594 | : | ||
2595 | { newCompositeNode(grammarAccess.getALSBasicRelationTermRule()); } | ||
2596 | iv_ruleALSBasicRelationTerm=ruleALSBasicRelationTerm | ||
2597 | { $current=$iv_ruleALSBasicRelationTerm.current; } | ||
2598 | EOF | ||
2599 | ; | ||
2600 | |||
2601 | // Rule ALSBasicRelationTerm | ||
2602 | ruleALSBasicRelationTerm returns [EObject current=null] | ||
2603 | @init { enterRule(); | ||
2604 | } | ||
2605 | @after { leaveRule(); }: | ||
2606 | ((( | ||
2607 | { | ||
2608 | $current = forceCreateModelElement( | ||
2609 | grammarAccess.getALSBasicRelationTermAccess().getALSNoneAction_0_0(), | ||
2610 | $current); | ||
2611 | } | ||
2612 | ) otherlv_1='none' | ||
2613 | { | ||
2614 | newLeafNode(otherlv_1, grammarAccess.getALSBasicRelationTermAccess().getNoneKeyword_0_1()); | ||
2615 | } | ||
2616 | ) | ||
2617 | |(( | ||
2618 | { | ||
2619 | $current = forceCreateModelElement( | ||
2620 | grammarAccess.getALSBasicRelationTermAccess().getALSIdenAction_1_0(), | ||
2621 | $current); | ||
2622 | } | ||
2623 | ) otherlv_3='iden' | ||
2624 | { | ||
2625 | newLeafNode(otherlv_3, grammarAccess.getALSBasicRelationTermAccess().getIdenKeyword_1_1()); | ||
2626 | } | ||
2627 | ) | ||
2628 | |(( | ||
2629 | { | ||
2630 | $current = forceCreateModelElement( | ||
2631 | grammarAccess.getALSBasicRelationTermAccess().getALSUnivAction_2_0(), | ||
2632 | $current); | ||
2633 | } | ||
2634 | ) otherlv_5='univ' | ||
2635 | { | ||
2636 | newLeafNode(otherlv_5, grammarAccess.getALSBasicRelationTermAccess().getUnivKeyword_2_1()); | ||
2637 | } | ||
2638 | ) | ||
2639 | |(( | ||
2640 | { | ||
2641 | $current = forceCreateModelElement( | ||
2642 | grammarAccess.getALSBasicRelationTermAccess().getALSIntAction_3_0(), | ||
2643 | $current); | ||
2644 | } | ||
2645 | ) otherlv_7='Int' | ||
2646 | { | ||
2647 | newLeafNode(otherlv_7, grammarAccess.getALSBasicRelationTermAccess().getIntKeyword_3_1()); | ||
2648 | } | ||
2649 | ) | ||
2650 | |(( | ||
2651 | { | ||
2652 | $current = forceCreateModelElement( | ||
2653 | grammarAccess.getALSBasicRelationTermAccess().getALSStringAction_4_0(), | ||
2654 | $current); | ||
2655 | } | ||
2656 | ) otherlv_9='String' | ||
2657 | { | ||
2658 | newLeafNode(otherlv_9, grammarAccess.getALSBasicRelationTermAccess().getStringKeyword_4_1()); | ||
2659 | } | ||
2660 | ) | ||
2661 | |(( | ||
2662 | { | ||
2663 | $current = forceCreateModelElement( | ||
2664 | grammarAccess.getALSBasicRelationTermAccess().getALSReferenceAction_5_0(), | ||
2665 | $current); | ||
2666 | } | ||
2667 | )( | ||
2668 | ( | ||
2669 | { | ||
2670 | if ($current==null) { | ||
2671 | $current = createModelElement(grammarAccess.getALSBasicRelationTermRule()); | ||
2672 | } | ||
2673 | } | ||
2674 | otherlv_11=RULE_ID | ||
2675 | { | ||
2676 | newLeafNode(otherlv_11, grammarAccess.getALSBasicRelationTermAccess().getReferredALSRelationDeclarationCrossReference_5_1_0()); | ||
2677 | } | ||
2678 | |||
2679 | ) | ||
2680 | )) | ||
2681 | |(( | ||
2682 | { | ||
2683 | $current = forceCreateModelElement( | ||
2684 | grammarAccess.getALSBasicRelationTermAccess().getALSNumberLiteralAction_6_0(), | ||
2685 | $current); | ||
2686 | } | ||
2687 | )( | ||
2688 | ( | ||
2689 | lv_value_13_0=RULE_INT | ||
2690 | { | ||
2691 | newLeafNode(lv_value_13_0, grammarAccess.getALSBasicRelationTermAccess().getValueINTTerminalRuleCall_6_1_0()); | ||
2692 | } | ||
2693 | { | ||
2694 | if ($current==null) { | ||
2695 | $current = createModelElement(grammarAccess.getALSBasicRelationTermRule()); | ||
2696 | } | ||
2697 | setWithLastConsumed( | ||
2698 | $current, | ||
2699 | "value", | ||
2700 | lv_value_13_0, | ||
2701 | "org.eclipse.xtext.common.Terminals.INT"); | ||
2702 | } | ||
2703 | |||
2704 | ) | ||
2705 | )) | ||
2706 | |(( | ||
2707 | { | ||
2708 | $current = forceCreateModelElement( | ||
2709 | grammarAccess.getALSBasicRelationTermAccess().getALSStringLiteralAction_7_0(), | ||
2710 | $current); | ||
2711 | } | ||
2712 | )( | ||
2713 | ( | ||
2714 | lv_value_15_0=RULE_STRING | ||
2715 | { | ||
2716 | newLeafNode(lv_value_15_0, grammarAccess.getALSBasicRelationTermAccess().getValueSTRINGTerminalRuleCall_7_1_0()); | ||
2717 | } | ||
2718 | { | ||
2719 | if ($current==null) { | ||
2720 | $current = createModelElement(grammarAccess.getALSBasicRelationTermRule()); | ||
2721 | } | ||
2722 | setWithLastConsumed( | ||
2723 | $current, | ||
2724 | "value", | ||
2725 | lv_value_15_0, | ||
2726 | "org.eclipse.xtext.common.Terminals.STRING"); | ||
2727 | } | ||
2728 | |||
2729 | ) | ||
2730 | )) | ||
2731 | |( otherlv_16='(' | ||
2732 | { | ||
2733 | newLeafNode(otherlv_16, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_0()); | ||
2734 | } | ||
2735 | |||
2736 | { | ||
2737 | newCompositeNode(grammarAccess.getALSBasicRelationTermAccess().getALSTermParserRuleCall_8_1()); | ||
2738 | } | ||
2739 | this_ALSTerm_17=ruleALSTerm | ||
2740 | { | ||
2741 | $current = $this_ALSTerm_17.current; | ||
2742 | afterParserOrEnumRuleCall(); | ||
2743 | } | ||
2744 | otherlv_18=')' | ||
2745 | { | ||
2746 | newLeafNode(otherlv_18, grammarAccess.getALSBasicRelationTermAccess().getRightParenthesisKeyword_8_2()); | ||
2747 | } | ||
2748 | )) | ||
2749 | ; | ||
2750 | |||
2751 | |||
2752 | |||
2753 | |||
2754 | |||
2755 | // Entry rule entryRuleALSRunCommand | ||
2756 | entryRuleALSRunCommand returns [EObject current=null] | ||
2757 | : | ||
2758 | { newCompositeNode(grammarAccess.getALSRunCommandRule()); } | ||
2759 | iv_ruleALSRunCommand=ruleALSRunCommand | ||
2760 | { $current=$iv_ruleALSRunCommand.current; } | ||
2761 | EOF | ||
2762 | ; | ||
2763 | |||
2764 | // Rule ALSRunCommand | ||
2765 | ruleALSRunCommand returns [EObject current=null] | ||
2766 | @init { enterRule(); | ||
2767 | } | ||
2768 | @after { leaveRule(); }: | ||
2769 | (( | ||
2770 | { | ||
2771 | $current = forceCreateModelElement( | ||
2772 | grammarAccess.getALSRunCommandAccess().getALSRunCommandAction_0(), | ||
2773 | $current); | ||
2774 | } | ||
2775 | ) otherlv_1='run' | ||
2776 | { | ||
2777 | newLeafNode(otherlv_1, grammarAccess.getALSRunCommandAccess().getRunKeyword_1()); | ||
2778 | } | ||
2779 | otherlv_2='{' | ||
2780 | { | ||
2781 | newLeafNode(otherlv_2, grammarAccess.getALSRunCommandAccess().getLeftCurlyBracketKeyword_2()); | ||
2782 | } | ||
2783 | otherlv_3='}' | ||
2784 | { | ||
2785 | newLeafNode(otherlv_3, grammarAccess.getALSRunCommandAccess().getRightCurlyBracketKeyword_3()); | ||
2786 | } | ||
2787 | ( otherlv_4='for' | ||
2788 | { | ||
2789 | newLeafNode(otherlv_4, grammarAccess.getALSRunCommandAccess().getForKeyword_4_0()); | ||
2790 | } | ||
2791 | ( | ||
2792 | ( | ||
2793 | { | ||
2794 | newCompositeNode(grammarAccess.getALSRunCommandAccess().getTypeScopesALSTypeScopeParserRuleCall_4_1_0()); | ||
2795 | } | ||
2796 | lv_typeScopes_5_0=ruleALSTypeScope { | ||
2797 | if ($current==null) { | ||
2798 | $current = createModelElementForParent(grammarAccess.getALSRunCommandRule()); | ||
2799 | } | ||
2800 | add( | ||
2801 | $current, | ||
2802 | "typeScopes", | ||
2803 | lv_typeScopes_5_0, | ||
2804 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTypeScope"); | ||
2805 | afterParserOrEnumRuleCall(); | ||
2806 | } | ||
2807 | |||
2808 | ) | ||
2809 | )( otherlv_6=',' | ||
2810 | { | ||
2811 | newLeafNode(otherlv_6, grammarAccess.getALSRunCommandAccess().getCommaKeyword_4_2_0()); | ||
2812 | } | ||
2813 | ( | ||
2814 | ( | ||
2815 | { | ||
2816 | newCompositeNode(grammarAccess.getALSRunCommandAccess().getTypeScopesALSTypeScopeParserRuleCall_4_2_1_0()); | ||
2817 | } | ||
2818 | lv_typeScopes_7_0=ruleALSTypeScope { | ||
2819 | if ($current==null) { | ||
2820 | $current = createModelElementForParent(grammarAccess.getALSRunCommandRule()); | ||
2821 | } | ||
2822 | add( | ||
2823 | $current, | ||
2824 | "typeScopes", | ||
2825 | lv_typeScopes_7_0, | ||
2826 | "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTypeScope"); | ||
2827 | afterParserOrEnumRuleCall(); | ||
2828 | } | ||
2829 | |||
2830 | ) | ||
2831 | ))*)?) | ||
2832 | ; | ||
2833 | |||
2834 | |||
2835 | |||
2836 | |||
2837 | |||
2838 | // Entry rule entryRuleALSTypeScope | ||
2839 | entryRuleALSTypeScope returns [EObject current=null] | ||
2840 | : | ||
2841 | { newCompositeNode(grammarAccess.getALSTypeScopeRule()); } | ||
2842 | iv_ruleALSTypeScope=ruleALSTypeScope | ||
2843 | { $current=$iv_ruleALSTypeScope.current; } | ||
2844 | EOF | ||
2845 | ; | ||
2846 | |||
2847 | // Rule ALSTypeScope | ||
2848 | ruleALSTypeScope returns [EObject current=null] | ||
2849 | @init { enterRule(); | ||
2850 | } | ||
2851 | @after { leaveRule(); }: | ||
2852 | ( | ||
2853 | { | ||
2854 | newCompositeNode(grammarAccess.getALSTypeScopeAccess().getALSSigScopeParserRuleCall_0()); | ||
2855 | } | ||
2856 | this_ALSSigScope_0=ruleALSSigScope | ||
2857 | { | ||
2858 | $current = $this_ALSSigScope_0.current; | ||
2859 | afterParserOrEnumRuleCall(); | ||
2860 | } | ||
2861 | |||
2862 | | | ||
2863 | { | ||
2864 | newCompositeNode(grammarAccess.getALSTypeScopeAccess().getALSIntScopeParserRuleCall_1()); | ||
2865 | } | ||
2866 | this_ALSIntScope_1=ruleALSIntScope | ||
2867 | { | ||
2868 | $current = $this_ALSIntScope_1.current; | ||
2869 | afterParserOrEnumRuleCall(); | ||
2870 | } | ||
2871 | |||
2872 | | | ||
2873 | { | ||
2874 | newCompositeNode(grammarAccess.getALSTypeScopeAccess().getALSStringScopeParserRuleCall_2()); | ||
2875 | } | ||
2876 | this_ALSStringScope_2=ruleALSStringScope | ||
2877 | { | ||
2878 | $current = $this_ALSStringScope_2.current; | ||
2879 | afterParserOrEnumRuleCall(); | ||
2880 | } | ||
2881 | ) | ||
2882 | ; | ||
2883 | |||
2884 | |||
2885 | |||
2886 | |||
2887 | |||
2888 | // Entry rule entryRuleALSSigScope | ||
2889 | entryRuleALSSigScope returns [EObject current=null] | ||
2890 | : | ||
2891 | { newCompositeNode(grammarAccess.getALSSigScopeRule()); } | ||
2892 | iv_ruleALSSigScope=ruleALSSigScope | ||
2893 | { $current=$iv_ruleALSSigScope.current; } | ||
2894 | EOF | ||
2895 | ; | ||
2896 | |||
2897 | // Rule ALSSigScope | ||
2898 | ruleALSSigScope returns [EObject current=null] | ||
2899 | @init { enterRule(); | ||
2900 | } | ||
2901 | @after { leaveRule(); }: | ||
2902 | (( | ||
2903 | ( | ||
2904 | lv_exactly_0_0= 'exactly' | ||
2905 | { | ||
2906 | newLeafNode(lv_exactly_0_0, grammarAccess.getALSSigScopeAccess().getExactlyExactlyKeyword_0_0()); | ||
2907 | } | ||
2908 | |||
2909 | { | ||
2910 | if ($current==null) { | ||
2911 | $current = createModelElement(grammarAccess.getALSSigScopeRule()); | ||
2912 | } | ||
2913 | setWithLastConsumed($current, "exactly", true, "exactly"); | ||
2914 | } | ||
2915 | |||
2916 | ) | ||
2917 | )?( | ||
2918 | ( | ||
2919 | lv_number_1_0=RULE_INT | ||
2920 | { | ||
2921 | newLeafNode(lv_number_1_0, grammarAccess.getALSSigScopeAccess().getNumberINTTerminalRuleCall_1_0()); | ||
2922 | } | ||
2923 | { | ||
2924 | if ($current==null) { | ||
2925 | $current = createModelElement(grammarAccess.getALSSigScopeRule()); | ||
2926 | } | ||
2927 | setWithLastConsumed( | ||
2928 | $current, | ||
2929 | "number", | ||
2930 | lv_number_1_0, | ||
2931 | "org.eclipse.xtext.common.Terminals.INT"); | ||
2932 | } | ||
2933 | |||
2934 | ) | ||
2935 | )( | ||
2936 | ( | ||
2937 | { | ||
2938 | if ($current==null) { | ||
2939 | $current = createModelElement(grammarAccess.getALSSigScopeRule()); | ||
2940 | } | ||
2941 | } | ||
2942 | otherlv_2=RULE_ID | ||
2943 | { | ||
2944 | newLeafNode(otherlv_2, grammarAccess.getALSSigScopeAccess().getTypeALSSignatureDeclarationCrossReference_2_0()); | ||
2945 | } | ||
2946 | |||
2947 | ) | ||
2948 | )) | ||
2949 | ; | ||
2950 | |||
2951 | |||
2952 | |||
2953 | |||
2954 | |||
2955 | // Entry rule entryRuleALSIntScope | ||
2956 | entryRuleALSIntScope returns [EObject current=null] | ||
2957 | : | ||
2958 | { newCompositeNode(grammarAccess.getALSIntScopeRule()); } | ||
2959 | iv_ruleALSIntScope=ruleALSIntScope | ||
2960 | { $current=$iv_ruleALSIntScope.current; } | ||
2961 | EOF | ||
2962 | ; | ||
2963 | |||
2964 | // Rule ALSIntScope | ||
2965 | ruleALSIntScope returns [EObject current=null] | ||
2966 | @init { enterRule(); | ||
2967 | } | ||
2968 | @after { leaveRule(); }: | ||
2969 | (( | ||
2970 | ( | ||
2971 | lv_number_0_0=RULE_INT | ||
2972 | { | ||
2973 | newLeafNode(lv_number_0_0, grammarAccess.getALSIntScopeAccess().getNumberINTTerminalRuleCall_0_0()); | ||
2974 | } | ||
2975 | { | ||
2976 | if ($current==null) { | ||
2977 | $current = createModelElement(grammarAccess.getALSIntScopeRule()); | ||
2978 | } | ||
2979 | setWithLastConsumed( | ||
2980 | $current, | ||
2981 | "number", | ||
2982 | lv_number_0_0, | ||
2983 | "org.eclipse.xtext.common.Terminals.INT"); | ||
2984 | } | ||
2985 | |||
2986 | ) | ||
2987 | ) otherlv_1='Int' | ||
2988 | { | ||
2989 | newLeafNode(otherlv_1, grammarAccess.getALSIntScopeAccess().getIntKeyword_1()); | ||
2990 | } | ||
2991 | ) | ||
2992 | ; | ||
2993 | |||
2994 | |||
2995 | |||
2996 | |||
2997 | |||
2998 | // Entry rule entryRuleALSStringScope | ||
2999 | entryRuleALSStringScope returns [EObject current=null] | ||
3000 | : | ||
3001 | { newCompositeNode(grammarAccess.getALSStringScopeRule()); } | ||
3002 | iv_ruleALSStringScope=ruleALSStringScope | ||
3003 | { $current=$iv_ruleALSStringScope.current; } | ||
3004 | EOF | ||
3005 | ; | ||
3006 | |||
3007 | // Rule ALSStringScope | ||
3008 | ruleALSStringScope returns [EObject current=null] | ||
3009 | @init { enterRule(); | ||
3010 | } | ||
3011 | @after { leaveRule(); }: | ||
3012 | ( otherlv_0='exactly' | ||
3013 | { | ||
3014 | newLeafNode(otherlv_0, grammarAccess.getALSStringScopeAccess().getExactlyKeyword_0()); | ||
3015 | } | ||
3016 | ( | ||
3017 | ( | ||
3018 | lv_number_1_0=RULE_INT | ||
3019 | { | ||
3020 | newLeafNode(lv_number_1_0, grammarAccess.getALSStringScopeAccess().getNumberINTTerminalRuleCall_1_0()); | ||
3021 | } | ||
3022 | { | ||
3023 | if ($current==null) { | ||
3024 | $current = createModelElement(grammarAccess.getALSStringScopeRule()); | ||
3025 | } | ||
3026 | setWithLastConsumed( | ||
3027 | $current, | ||
3028 | "number", | ||
3029 | lv_number_1_0, | ||
3030 | "org.eclipse.xtext.common.Terminals.INT"); | ||
3031 | } | ||
3032 | |||
3033 | ) | ||
3034 | ) otherlv_2='String' | ||
3035 | { | ||
3036 | newLeafNode(otherlv_2, grammarAccess.getALSStringScopeAccess().getStringKeyword_2()); | ||
3037 | } | ||
3038 | ) | ||
3039 | ; | ||
3040 | |||
3041 | |||
3042 | |||
3043 | |||
3044 | |||
3045 | // Rule ALSMultiplicity | ||
3046 | ruleALSMultiplicity returns [Enumerator current=null] | ||
3047 | @init { enterRule(); } | ||
3048 | @after { leaveRule(); }: | ||
3049 | (( enumLiteral_0='all' | ||
3050 | { | ||
3051 | $current = grammarAccess.getALSMultiplicityAccess().getAllEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3052 | newLeafNode(enumLiteral_0, grammarAccess.getALSMultiplicityAccess().getAllEnumLiteralDeclaration_0()); | ||
3053 | } | ||
3054 | ) | ||
3055 | |( enumLiteral_1='no' | ||
3056 | { | ||
3057 | $current = grammarAccess.getALSMultiplicityAccess().getNoEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3058 | newLeafNode(enumLiteral_1, grammarAccess.getALSMultiplicityAccess().getNoEnumLiteralDeclaration_1()); | ||
3059 | } | ||
3060 | ) | ||
3061 | |( enumLiteral_2='some' | ||
3062 | { | ||
3063 | $current = grammarAccess.getALSMultiplicityAccess().getSomeEnumLiteralDeclaration_2().getEnumLiteral().getInstance(); | ||
3064 | newLeafNode(enumLiteral_2, grammarAccess.getALSMultiplicityAccess().getSomeEnumLiteralDeclaration_2()); | ||
3065 | } | ||
3066 | ) | ||
3067 | |( enumLiteral_3='lone' | ||
3068 | { | ||
3069 | $current = grammarAccess.getALSMultiplicityAccess().getLoneEnumLiteralDeclaration_3().getEnumLiteral().getInstance(); | ||
3070 | newLeafNode(enumLiteral_3, grammarAccess.getALSMultiplicityAccess().getLoneEnumLiteralDeclaration_3()); | ||
3071 | } | ||
3072 | ) | ||
3073 | |( enumLiteral_4='one' | ||
3074 | { | ||
3075 | $current = grammarAccess.getALSMultiplicityAccess().getOneEnumLiteralDeclaration_4().getEnumLiteral().getInstance(); | ||
3076 | newLeafNode(enumLiteral_4, grammarAccess.getALSMultiplicityAccess().getOneEnumLiteralDeclaration_4()); | ||
3077 | } | ||
3078 | ) | ||
3079 | |( enumLiteral_5='set' | ||
3080 | { | ||
3081 | $current = grammarAccess.getALSMultiplicityAccess().getSetEnumLiteralDeclaration_5().getEnumLiteral().getInstance(); | ||
3082 | newLeafNode(enumLiteral_5, grammarAccess.getALSMultiplicityAccess().getSetEnumLiteralDeclaration_5()); | ||
3083 | } | ||
3084 | )); | ||
3085 | |||
3086 | |||
3087 | |||
3088 | // Rule ALSNumericOperator | ||
3089 | ruleALSNumericOperator returns [Enumerator current=null] | ||
3090 | @init { enterRule(); } | ||
3091 | @after { leaveRule(); }: | ||
3092 | (( enumLiteral_0='plus' | ||
3093 | { | ||
3094 | $current = grammarAccess.getALSNumericOperatorAccess().getPlusEnumLiteralDeclaration_0().getEnumLiteral().getInstance(); | ||
3095 | newLeafNode(enumLiteral_0, grammarAccess.getALSNumericOperatorAccess().getPlusEnumLiteralDeclaration_0()); | ||
3096 | } | ||
3097 | ) | ||
3098 | |( enumLiteral_1='sub' | ||
3099 | { | ||
3100 | $current = grammarAccess.getALSNumericOperatorAccess().getSubEnumLiteralDeclaration_1().getEnumLiteral().getInstance(); | ||
3101 | newLeafNode(enumLiteral_1, grammarAccess.getALSNumericOperatorAccess().getSubEnumLiteralDeclaration_1()); | ||
3102 | } | ||
3103 | ) | ||
3104 | |( enumLiteral_2='mul' | ||
3105 | { | ||
3106 | $current = grammarAccess.getALSNumericOperatorAccess().getMulEnumLiteralDeclaration_2().getEnumLiteral().getInstance(); | ||
3107 | newLeafNode(enumLiteral_2, grammarAccess.getALSNumericOperatorAccess().getMulEnumLiteralDeclaration_2()); | ||
3108 | } | ||
3109 | ) | ||
3110 | |( enumLiteral_3='rem' | ||
3111 | { | ||
3112 | $current = grammarAccess.getALSNumericOperatorAccess().getRemEnumLiteralDeclaration_3().getEnumLiteral().getInstance(); | ||
3113 | newLeafNode(enumLiteral_3, grammarAccess.getALSNumericOperatorAccess().getRemEnumLiteralDeclaration_3()); | ||
3114 | } | ||
3115 | ) | ||
3116 | |( enumLiteral_4='div' | ||
3117 | { | ||
3118 | $current = grammarAccess.getALSNumericOperatorAccess().getDivEnumLiteralDeclaration_4().getEnumLiteral().getInstance(); | ||
3119 | newLeafNode(enumLiteral_4, grammarAccess.getALSNumericOperatorAccess().getDivEnumLiteralDeclaration_4()); | ||
3120 | } | ||
3121 | )); | ||
3122 | |||
3123 | |||
3124 | |||
3125 | RULE_ID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'\''|'"'|'0'..'9')*; | ||
3126 | |||
3127 | RULE_INT : ('0'..'9')+; | ||
3128 | |||
3129 | RULE_STRING : ('"' ('\\' .|~(('\\'|'"')))* '"'|'\'' ('\\' .|~(('\\'|'\'')))* '\''); | ||
3130 | |||
3131 | RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/'; | ||
3132 | |||
3133 | RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?; | ||
3134 | |||
3135 | RULE_WS : (' '|'\t'|'\r'|'\n')+; | ||
3136 | |||
3137 | RULE_ANY_OTHER : .; | ||
3138 | |||
3139 | |||