aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java')
-rw-r--r--Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java2721
1 files changed, 0 insertions, 2721 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java
deleted file mode 100644
index 82f107a6..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java
+++ /dev/null
@@ -1,2721 +0,0 @@
1/*
2 * generated by Xtext
3 */
4package hu.bme.mit.inf.dslreasoner.services;
5
6import com.google.inject.Singleton;
7import com.google.inject.Inject;
8
9import java.util.List;
10
11import org.eclipse.xtext.*;
12import org.eclipse.xtext.service.GrammarProvider;
13import org.eclipse.xtext.service.AbstractElementFinder.*;
14
15import org.eclipse.xtext.common.services.TerminalsGrammarAccess;
16
17@Singleton
18public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder {
19
20
21 public class ALSDocumentElements extends AbstractParserRuleElementFinder {
22 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDocument");
23 private final Group cGroup = (Group)rule.eContents().get(1);
24 private final Alternatives cAlternatives_0 = (Alternatives)cGroup.eContents().get(0);
25 private final Assignment cEnumDeclarationsAssignment_0_0 = (Assignment)cAlternatives_0.eContents().get(0);
26 private final RuleCall cEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0 = (RuleCall)cEnumDeclarationsAssignment_0_0.eContents().get(0);
27 private final Assignment cSignatureBodiesAssignment_0_1 = (Assignment)cAlternatives_0.eContents().get(1);
28 private final RuleCall cSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0 = (RuleCall)cSignatureBodiesAssignment_0_1.eContents().get(0);
29 private final Assignment cFunctionDefinitionsAssignment_0_2 = (Assignment)cAlternatives_0.eContents().get(2);
30 private final RuleCall cFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0 = (RuleCall)cFunctionDefinitionsAssignment_0_2.eContents().get(0);
31 private final Assignment cRelationDefinitionsAssignment_0_3 = (Assignment)cAlternatives_0.eContents().get(3);
32 private final RuleCall cRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0 = (RuleCall)cRelationDefinitionsAssignment_0_3.eContents().get(0);
33 private final Assignment cFactDeclarationsAssignment_0_4 = (Assignment)cAlternatives_0.eContents().get(4);
34 private final RuleCall cFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0 = (RuleCall)cFactDeclarationsAssignment_0_4.eContents().get(0);
35 private final Assignment cRunCommandAssignment_1 = (Assignment)cGroup.eContents().get(1);
36 private final RuleCall cRunCommandALSRunCommandParserRuleCall_1_0 = (RuleCall)cRunCommandAssignment_1.eContents().get(0);
37
38 //ALSDocument:
39 // (enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody |
40 // functionDefinitions+=ALSFunctionDefinition | relationDefinitions+=ALSRelationDefinition |
41 // factDeclarations+=ALSFactDeclaration)+
42 // runCommand=ALSRunCommand;
43 @Override public ParserRule getRule() { return rule; }
44
45 //(enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody | functionDefinitions+=ALSFunctionDefinition |
46 //relationDefinitions+=ALSRelationDefinition | factDeclarations+=ALSFactDeclaration)+ runCommand=ALSRunCommand
47 public Group getGroup() { return cGroup; }
48
49 //(enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody | functionDefinitions+=ALSFunctionDefinition |
50 //relationDefinitions+=ALSRelationDefinition | factDeclarations+=ALSFactDeclaration)+
51 public Alternatives getAlternatives_0() { return cAlternatives_0; }
52
53 //enumDeclarations+=ALSEnumDeclaration
54 public Assignment getEnumDeclarationsAssignment_0_0() { return cEnumDeclarationsAssignment_0_0; }
55
56 //ALSEnumDeclaration
57 public RuleCall getEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0() { return cEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0; }
58
59 //signatureBodies+=ALSSignatureBody
60 public Assignment getSignatureBodiesAssignment_0_1() { return cSignatureBodiesAssignment_0_1; }
61
62 //ALSSignatureBody
63 public RuleCall getSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0() { return cSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0; }
64
65 //functionDefinitions+=ALSFunctionDefinition
66 public Assignment getFunctionDefinitionsAssignment_0_2() { return cFunctionDefinitionsAssignment_0_2; }
67
68 //ALSFunctionDefinition
69 public RuleCall getFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0() { return cFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0; }
70
71 //relationDefinitions+=ALSRelationDefinition
72 public Assignment getRelationDefinitionsAssignment_0_3() { return cRelationDefinitionsAssignment_0_3; }
73
74 //ALSRelationDefinition
75 public RuleCall getRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0() { return cRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0; }
76
77 //factDeclarations+=ALSFactDeclaration
78 public Assignment getFactDeclarationsAssignment_0_4() { return cFactDeclarationsAssignment_0_4; }
79
80 //ALSFactDeclaration
81 public RuleCall getFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0() { return cFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0; }
82
83 //runCommand=ALSRunCommand
84 public Assignment getRunCommandAssignment_1() { return cRunCommandAssignment_1; }
85
86 //ALSRunCommand
87 public RuleCall getRunCommandALSRunCommandParserRuleCall_1_0() { return cRunCommandALSRunCommandParserRuleCall_1_0; }
88 }
89
90 public class ALSIDElements extends AbstractParserRuleElementFinder {
91 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID");
92 private final RuleCall cIDTerminalRuleCall = (RuleCall)rule.eContents().get(1);
93
94 //ALSID:
95 // ID;
96 @Override public ParserRule getRule() { return rule; }
97
98 //ID
99 public RuleCall getIDTerminalRuleCall() { return cIDTerminalRuleCall; }
100 }
101
102 public class ALSRelationDeclarationElements extends AbstractParserRuleElementFinder {
103 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRelationDeclaration");
104 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
105 private final RuleCall cALSTypeDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
106 private final RuleCall cALSEnumLiteralParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
107 private final RuleCall cALSFieldDeclarationParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
108 private final RuleCall cALSVariableDeclarationParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3);
109
110 ////////////////////////////////////
111 //// ALS types
112 ////////////////////////////////////
113 //ALSRelationDeclaration:
114 // ALSTypeDeclaration | ALSEnumLiteral | ALSFieldDeclaration | ALSVariableDeclaration;
115 @Override public ParserRule getRule() { return rule; }
116
117 //ALSTypeDeclaration | ALSEnumLiteral | ALSFieldDeclaration | ALSVariableDeclaration
118 public Alternatives getAlternatives() { return cAlternatives; }
119
120 //ALSTypeDeclaration
121 public RuleCall getALSTypeDeclarationParserRuleCall_0() { return cALSTypeDeclarationParserRuleCall_0; }
122
123 //ALSEnumLiteral
124 public RuleCall getALSEnumLiteralParserRuleCall_1() { return cALSEnumLiteralParserRuleCall_1; }
125
126 //ALSFieldDeclaration
127 public RuleCall getALSFieldDeclarationParserRuleCall_2() { return cALSFieldDeclarationParserRuleCall_2; }
128
129 //ALSVariableDeclaration
130 public RuleCall getALSVariableDeclarationParserRuleCall_3() { return cALSVariableDeclarationParserRuleCall_3; }
131 }
132
133 public class ALSTypeDeclarationElements extends AbstractParserRuleElementFinder {
134 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTypeDeclaration");
135 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
136 private final RuleCall cALSEnumDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
137 private final RuleCall cALSSignatureDeclarationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
138
139 //ALSTypeDeclaration:
140 // ALSEnumDeclaration | ALSSignatureDeclaration;
141 @Override public ParserRule getRule() { return rule; }
142
143 //ALSEnumDeclaration | ALSSignatureDeclaration
144 public Alternatives getAlternatives() { return cAlternatives; }
145
146 //ALSEnumDeclaration
147 public RuleCall getALSEnumDeclarationParserRuleCall_0() { return cALSEnumDeclarationParserRuleCall_0; }
148
149 //ALSSignatureDeclaration
150 public RuleCall getALSSignatureDeclarationParserRuleCall_1() { return cALSSignatureDeclarationParserRuleCall_1; }
151 }
152
153 public class ALSEnumDeclarationElements extends AbstractParserRuleElementFinder {
154 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumDeclaration");
155 private final Group cGroup = (Group)rule.eContents().get(1);
156 private final Keyword cEnumKeyword_0 = (Keyword)cGroup.eContents().get(0);
157 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
158 private final RuleCall cNameALSIDParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
159 private final Keyword cLeftCurlyBracketKeyword_2 = (Keyword)cGroup.eContents().get(2);
160 private final Assignment cLiteralAssignment_3 = (Assignment)cGroup.eContents().get(3);
161 private final RuleCall cLiteralALSEnumLiteralParserRuleCall_3_0 = (RuleCall)cLiteralAssignment_3.eContents().get(0);
162 private final Group cGroup_4 = (Group)cGroup.eContents().get(4);
163 private final Keyword cCommaKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0);
164 private final Assignment cLiteralAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1);
165 private final RuleCall cLiteralALSEnumLiteralParserRuleCall_4_1_0 = (RuleCall)cLiteralAssignment_4_1.eContents().get(0);
166 private final Keyword cRightCurlyBracketKeyword_5 = (Keyword)cGroup.eContents().get(5);
167
168 //ALSEnumDeclaration:
169 // 'enum' name=ALSID '{'
170 // literal+=ALSEnumLiteral ("," literal+=ALSEnumLiteral)*
171 // '}';
172 @Override public ParserRule getRule() { return rule; }
173
174 //'enum' name=ALSID '{' literal+=ALSEnumLiteral ("," literal+=ALSEnumLiteral)* '}'
175 public Group getGroup() { return cGroup; }
176
177 //'enum'
178 public Keyword getEnumKeyword_0() { return cEnumKeyword_0; }
179
180 //name=ALSID
181 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
182
183 //ALSID
184 public RuleCall getNameALSIDParserRuleCall_1_0() { return cNameALSIDParserRuleCall_1_0; }
185
186 //'{'
187 public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; }
188
189 //literal+=ALSEnumLiteral
190 public Assignment getLiteralAssignment_3() { return cLiteralAssignment_3; }
191
192 //ALSEnumLiteral
193 public RuleCall getLiteralALSEnumLiteralParserRuleCall_3_0() { return cLiteralALSEnumLiteralParserRuleCall_3_0; }
194
195 //("," literal+=ALSEnumLiteral)*
196 public Group getGroup_4() { return cGroup_4; }
197
198 //","
199 public Keyword getCommaKeyword_4_0() { return cCommaKeyword_4_0; }
200
201 //literal+=ALSEnumLiteral
202 public Assignment getLiteralAssignment_4_1() { return cLiteralAssignment_4_1; }
203
204 //ALSEnumLiteral
205 public RuleCall getLiteralALSEnumLiteralParserRuleCall_4_1_0() { return cLiteralALSEnumLiteralParserRuleCall_4_1_0; }
206
207 //'}'
208 public Keyword getRightCurlyBracketKeyword_5() { return cRightCurlyBracketKeyword_5; }
209 }
210
211 public class ALSEnumLiteralElements extends AbstractParserRuleElementFinder {
212 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumLiteral");
213 private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1);
214 private final RuleCall cNameALSIDParserRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0);
215
216 //ALSEnumLiteral:
217 // name=ALSID;
218 @Override public ParserRule getRule() { return rule; }
219
220 //name=ALSID
221 public Assignment getNameAssignment() { return cNameAssignment; }
222
223 //ALSID
224 public RuleCall getNameALSIDParserRuleCall_0() { return cNameALSIDParserRuleCall_0; }
225 }
226
227 public class ALSSignatureDeclarationElements extends AbstractParserRuleElementFinder {
228 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureDeclaration");
229 private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1);
230 private final RuleCall cNameALSIDParserRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0);
231
232 //ALSSignatureDeclaration:
233 // name=ALSID;
234 @Override public ParserRule getRule() { return rule; }
235
236 //name=ALSID
237 public Assignment getNameAssignment() { return cNameAssignment; }
238
239 //ALSID
240 public RuleCall getNameALSIDParserRuleCall_0() { return cNameALSIDParserRuleCall_0; }
241 }
242
243 public class ALSSignatureBodyElements extends AbstractParserRuleElementFinder {
244 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureBody");
245 private final Group cGroup = (Group)rule.eContents().get(1);
246 private final UnorderedGroup cUnorderedGroup_0 = (UnorderedGroup)cGroup.eContents().get(0);
247 private final Assignment cMultiplicityAssignment_0_0 = (Assignment)cUnorderedGroup_0.eContents().get(0);
248 private final RuleCall cMultiplicityALSMultiplicityEnumRuleCall_0_0_0 = (RuleCall)cMultiplicityAssignment_0_0.eContents().get(0);
249 private final Assignment cAbstractAssignment_0_1 = (Assignment)cUnorderedGroup_0.eContents().get(1);
250 private final Keyword cAbstractAbstractKeyword_0_1_0 = (Keyword)cAbstractAssignment_0_1.eContents().get(0);
251 private final Keyword cSigKeyword_1 = (Keyword)cGroup.eContents().get(1);
252 private final Assignment cDeclarationsAssignment_2 = (Assignment)cGroup.eContents().get(2);
253 private final RuleCall cDeclarationsALSSignatureDeclarationParserRuleCall_2_0 = (RuleCall)cDeclarationsAssignment_2.eContents().get(0);
254 private final Group cGroup_3 = (Group)cGroup.eContents().get(3);
255 private final Keyword cCommaKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0);
256 private final Assignment cDeclarationsAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1);
257 private final RuleCall cDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0 = (RuleCall)cDeclarationsAssignment_3_1.eContents().get(0);
258 private final Alternatives cAlternatives_4 = (Alternatives)cGroup.eContents().get(4);
259 private final Group cGroup_4_0 = (Group)cAlternatives_4.eContents().get(0);
260 private final Keyword cExtendsKeyword_4_0_0 = (Keyword)cGroup_4_0.eContents().get(0);
261 private final Assignment cSupertypeAssignment_4_0_1 = (Assignment)cGroup_4_0.eContents().get(1);
262 private final CrossReference cSupertypeALSSignatureDeclarationCrossReference_4_0_1_0 = (CrossReference)cSupertypeAssignment_4_0_1.eContents().get(0);
263 private final RuleCall cSupertypeALSSignatureDeclarationIDTerminalRuleCall_4_0_1_0_1 = (RuleCall)cSupertypeALSSignatureDeclarationCrossReference_4_0_1_0.eContents().get(1);
264 private final Group cGroup_4_1 = (Group)cAlternatives_4.eContents().get(1);
265 private final Keyword cInKeyword_4_1_0 = (Keyword)cGroup_4_1.eContents().get(0);
266 private final Assignment cSupersetAssignment_4_1_1 = (Assignment)cGroup_4_1.eContents().get(1);
267 private final CrossReference cSupersetALSSignatureDeclarationCrossReference_4_1_1_0 = (CrossReference)cSupersetAssignment_4_1_1.eContents().get(0);
268 private final RuleCall cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_1_0_1 = (RuleCall)cSupersetALSSignatureDeclarationCrossReference_4_1_1_0.eContents().get(1);
269 private final Group cGroup_4_1_2 = (Group)cGroup_4_1.eContents().get(2);
270 private final Keyword cPlusSignKeyword_4_1_2_0 = (Keyword)cGroup_4_1_2.eContents().get(0);
271 private final Assignment cSupersetAssignment_4_1_2_1 = (Assignment)cGroup_4_1_2.eContents().get(1);
272 private final CrossReference cSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0 = (CrossReference)cSupersetAssignment_4_1_2_1.eContents().get(0);
273 private final RuleCall cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_2_1_0_1 = (RuleCall)cSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0.eContents().get(1);
274 private final Keyword cLeftCurlyBracketKeyword_5 = (Keyword)cGroup.eContents().get(5);
275 private final Group cGroup_6 = (Group)cGroup.eContents().get(6);
276 private final Assignment cFieldsAssignment_6_0 = (Assignment)cGroup_6.eContents().get(0);
277 private final RuleCall cFieldsALSFieldDeclarationParserRuleCall_6_0_0 = (RuleCall)cFieldsAssignment_6_0.eContents().get(0);
278 private final Group cGroup_6_1 = (Group)cGroup_6.eContents().get(1);
279 private final Keyword cCommaKeyword_6_1_0 = (Keyword)cGroup_6_1.eContents().get(0);
280 private final Assignment cFieldsAssignment_6_1_1 = (Assignment)cGroup_6_1.eContents().get(1);
281 private final RuleCall cFieldsALSFieldDeclarationParserRuleCall_6_1_1_0 = (RuleCall)cFieldsAssignment_6_1_1.eContents().get(0);
282 private final Keyword cRightCurlyBracketKeyword_7 = (Keyword)cGroup.eContents().get(7);
283
284 //ALSSignatureBody:
285 // (multiplicity=ALSMultiplicity? & abstract?='abstract'?)
286 // 'sig'
287 // declarations+=ALSSignatureDeclaration (',' declarations+=ALSSignatureDeclaration)* ('extends'
288 // supertype=[ALSSignatureDeclaration] | 'in' superset+=[ALSSignatureDeclaration] ('+'
289 // superset+=[ALSSignatureDeclaration])*)?
290 // '{' (fields+=ALSFieldDeclaration ("," fields+=ALSFieldDeclaration)*)? '}';
291 @Override public ParserRule getRule() { return rule; }
292
293 //(multiplicity=ALSMultiplicity? & abstract?='abstract'?) 'sig' declarations+=ALSSignatureDeclaration (','
294 //declarations+=ALSSignatureDeclaration)* ('extends' supertype=[ALSSignatureDeclaration] | 'in'
295 //superset+=[ALSSignatureDeclaration] ('+' superset+=[ALSSignatureDeclaration])*)? '{' (fields+=ALSFieldDeclaration (","
296 //fields+=ALSFieldDeclaration)*)? '}'
297 public Group getGroup() { return cGroup; }
298
299 //multiplicity=ALSMultiplicity? & abstract?='abstract'?
300 public UnorderedGroup getUnorderedGroup_0() { return cUnorderedGroup_0; }
301
302 //multiplicity=ALSMultiplicity?
303 public Assignment getMultiplicityAssignment_0_0() { return cMultiplicityAssignment_0_0; }
304
305 //ALSMultiplicity
306 public RuleCall getMultiplicityALSMultiplicityEnumRuleCall_0_0_0() { return cMultiplicityALSMultiplicityEnumRuleCall_0_0_0; }
307
308 //abstract?='abstract'?
309 public Assignment getAbstractAssignment_0_1() { return cAbstractAssignment_0_1; }
310
311 //'abstract'
312 public Keyword getAbstractAbstractKeyword_0_1_0() { return cAbstractAbstractKeyword_0_1_0; }
313
314 //'sig'
315 public Keyword getSigKeyword_1() { return cSigKeyword_1; }
316
317 //declarations+=ALSSignatureDeclaration
318 public Assignment getDeclarationsAssignment_2() { return cDeclarationsAssignment_2; }
319
320 //ALSSignatureDeclaration
321 public RuleCall getDeclarationsALSSignatureDeclarationParserRuleCall_2_0() { return cDeclarationsALSSignatureDeclarationParserRuleCall_2_0; }
322
323 //(',' declarations+=ALSSignatureDeclaration)*
324 public Group getGroup_3() { return cGroup_3; }
325
326 //','
327 public Keyword getCommaKeyword_3_0() { return cCommaKeyword_3_0; }
328
329 //declarations+=ALSSignatureDeclaration
330 public Assignment getDeclarationsAssignment_3_1() { return cDeclarationsAssignment_3_1; }
331
332 //ALSSignatureDeclaration
333 public RuleCall getDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0() { return cDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0; }
334
335 //('extends' supertype=[ALSSignatureDeclaration] | 'in' superset+=[ALSSignatureDeclaration] ('+'
336 //superset+=[ALSSignatureDeclaration])*)?
337 public Alternatives getAlternatives_4() { return cAlternatives_4; }
338
339 //'extends' supertype=[ALSSignatureDeclaration]
340 public Group getGroup_4_0() { return cGroup_4_0; }
341
342 //'extends'
343 public Keyword getExtendsKeyword_4_0_0() { return cExtendsKeyword_4_0_0; }
344
345 //supertype=[ALSSignatureDeclaration]
346 public Assignment getSupertypeAssignment_4_0_1() { return cSupertypeAssignment_4_0_1; }
347
348 //[ALSSignatureDeclaration]
349 public CrossReference getSupertypeALSSignatureDeclarationCrossReference_4_0_1_0() { return cSupertypeALSSignatureDeclarationCrossReference_4_0_1_0; }
350
351 //ID
352 public RuleCall getSupertypeALSSignatureDeclarationIDTerminalRuleCall_4_0_1_0_1() { return cSupertypeALSSignatureDeclarationIDTerminalRuleCall_4_0_1_0_1; }
353
354 //'in' superset+=[ALSSignatureDeclaration] ('+' superset+=[ALSSignatureDeclaration])*
355 public Group getGroup_4_1() { return cGroup_4_1; }
356
357 //'in'
358 public Keyword getInKeyword_4_1_0() { return cInKeyword_4_1_0; }
359
360 //superset+=[ALSSignatureDeclaration]
361 public Assignment getSupersetAssignment_4_1_1() { return cSupersetAssignment_4_1_1; }
362
363 //[ALSSignatureDeclaration]
364 public CrossReference getSupersetALSSignatureDeclarationCrossReference_4_1_1_0() { return cSupersetALSSignatureDeclarationCrossReference_4_1_1_0; }
365
366 //ID
367 public RuleCall getSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_1_0_1() { return cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_1_0_1; }
368
369 //('+' superset+=[ALSSignatureDeclaration])*
370 public Group getGroup_4_1_2() { return cGroup_4_1_2; }
371
372 //'+'
373 public Keyword getPlusSignKeyword_4_1_2_0() { return cPlusSignKeyword_4_1_2_0; }
374
375 //superset+=[ALSSignatureDeclaration]
376 public Assignment getSupersetAssignment_4_1_2_1() { return cSupersetAssignment_4_1_2_1; }
377
378 //[ALSSignatureDeclaration]
379 public CrossReference getSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0() { return cSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0; }
380
381 //ID
382 public RuleCall getSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_2_1_0_1() { return cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_2_1_0_1; }
383
384 //'{'
385 public Keyword getLeftCurlyBracketKeyword_5() { return cLeftCurlyBracketKeyword_5; }
386
387 //(fields+=ALSFieldDeclaration ("," fields+=ALSFieldDeclaration)*)?
388 public Group getGroup_6() { return cGroup_6; }
389
390 //fields+=ALSFieldDeclaration
391 public Assignment getFieldsAssignment_6_0() { return cFieldsAssignment_6_0; }
392
393 //ALSFieldDeclaration
394 public RuleCall getFieldsALSFieldDeclarationParserRuleCall_6_0_0() { return cFieldsALSFieldDeclarationParserRuleCall_6_0_0; }
395
396 //("," fields+=ALSFieldDeclaration)*
397 public Group getGroup_6_1() { return cGroup_6_1; }
398
399 //","
400 public Keyword getCommaKeyword_6_1_0() { return cCommaKeyword_6_1_0; }
401
402 //fields+=ALSFieldDeclaration
403 public Assignment getFieldsAssignment_6_1_1() { return cFieldsAssignment_6_1_1; }
404
405 //ALSFieldDeclaration
406 public RuleCall getFieldsALSFieldDeclarationParserRuleCall_6_1_1_0() { return cFieldsALSFieldDeclarationParserRuleCall_6_1_1_0; }
407
408 //'}'
409 public Keyword getRightCurlyBracketKeyword_7() { return cRightCurlyBracketKeyword_7; }
410 }
411
412 public class ALSFieldDeclarationElements extends AbstractParserRuleElementFinder {
413 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFieldDeclaration");
414 private final Group cGroup = (Group)rule.eContents().get(1);
415 private final Assignment cNameAssignment_0 = (Assignment)cGroup.eContents().get(0);
416 private final RuleCall cNameALSIDParserRuleCall_0_0 = (RuleCall)cNameAssignment_0.eContents().get(0);
417 private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1);
418 private final Assignment cMultiplicityAssignment_2 = (Assignment)cGroup.eContents().get(2);
419 private final RuleCall cMultiplicityALSMultiplicityEnumRuleCall_2_0 = (RuleCall)cMultiplicityAssignment_2.eContents().get(0);
420 private final Assignment cTypeAssignment_3 = (Assignment)cGroup.eContents().get(3);
421 private final RuleCall cTypeALSTermParserRuleCall_3_0 = (RuleCall)cTypeAssignment_3.eContents().get(0);
422
423 //ALSFieldDeclaration:
424 // name=ALSID ':' multiplicity=ALSMultiplicity? type=ALSTerm;
425 @Override public ParserRule getRule() { return rule; }
426
427 //name=ALSID ':' multiplicity=ALSMultiplicity? type=ALSTerm
428 public Group getGroup() { return cGroup; }
429
430 //name=ALSID
431 public Assignment getNameAssignment_0() { return cNameAssignment_0; }
432
433 //ALSID
434 public RuleCall getNameALSIDParserRuleCall_0_0() { return cNameALSIDParserRuleCall_0_0; }
435
436 //':'
437 public Keyword getColonKeyword_1() { return cColonKeyword_1; }
438
439 //multiplicity=ALSMultiplicity?
440 public Assignment getMultiplicityAssignment_2() { return cMultiplicityAssignment_2; }
441
442 //ALSMultiplicity
443 public RuleCall getMultiplicityALSMultiplicityEnumRuleCall_2_0() { return cMultiplicityALSMultiplicityEnumRuleCall_2_0; }
444
445 //type=ALSTerm
446 public Assignment getTypeAssignment_3() { return cTypeAssignment_3; }
447
448 //ALSTerm
449 public RuleCall getTypeALSTermParserRuleCall_3_0() { return cTypeALSTermParserRuleCall_3_0; }
450 }
451
452 public class ALSDefinitionElements extends AbstractParserRuleElementFinder {
453 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDefinition");
454 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
455 private final RuleCall cALSFunctionDefinitionParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
456 private final RuleCall cALSRelationDefinitionParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
457
458 //ALSDefinition:
459 // ALSFunctionDefinition | ALSRelationDefinition;
460 @Override public ParserRule getRule() { return rule; }
461
462 //ALSFunctionDefinition | ALSRelationDefinition
463 public Alternatives getAlternatives() { return cAlternatives; }
464
465 //ALSFunctionDefinition
466 public RuleCall getALSFunctionDefinitionParserRuleCall_0() { return cALSFunctionDefinitionParserRuleCall_0; }
467
468 //ALSRelationDefinition
469 public RuleCall getALSRelationDefinitionParserRuleCall_1() { return cALSRelationDefinitionParserRuleCall_1; }
470 }
471
472 public class ALSFunctionDefinitionElements extends AbstractParserRuleElementFinder {
473 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFunctionDefinition");
474 private final Group cGroup = (Group)rule.eContents().get(1);
475 private final Keyword cFunKeyword_0 = (Keyword)cGroup.eContents().get(0);
476 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
477 private final RuleCall cNameALSIDParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
478 private final Keyword cLeftSquareBracketKeyword_2 = (Keyword)cGroup.eContents().get(2);
479 private final Assignment cVariablesAssignment_3 = (Assignment)cGroup.eContents().get(3);
480 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_3_0 = (RuleCall)cVariablesAssignment_3.eContents().get(0);
481 private final Group cGroup_4 = (Group)cGroup.eContents().get(4);
482 private final Keyword cCommaKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0);
483 private final Assignment cVariablesAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1);
484 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_4_1_0 = (RuleCall)cVariablesAssignment_4_1.eContents().get(0);
485 private final Keyword cRightSquareBracketKeyword_5 = (Keyword)cGroup.eContents().get(5);
486 private final Keyword cColonKeyword_6 = (Keyword)cGroup.eContents().get(6);
487 private final Assignment cTypeAssignment_7 = (Assignment)cGroup.eContents().get(7);
488 private final RuleCall cTypeALSTermParserRuleCall_7_0 = (RuleCall)cTypeAssignment_7.eContents().get(0);
489 private final Keyword cLeftCurlyBracketKeyword_8 = (Keyword)cGroup.eContents().get(8);
490 private final Assignment cValueAssignment_9 = (Assignment)cGroup.eContents().get(9);
491 private final RuleCall cValueALSTermParserRuleCall_9_0 = (RuleCall)cValueAssignment_9.eContents().get(0);
492 private final Keyword cRightCurlyBracketKeyword_10 = (Keyword)cGroup.eContents().get(10);
493
494 //ALSFunctionDefinition:
495 // "fun" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" ":" type=ALSTerm
496 // "{" value=ALSTerm "}";
497 @Override public ParserRule getRule() { return rule; }
498
499 //"fun" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" ":" type=ALSTerm "{"
500 //value=ALSTerm "}"
501 public Group getGroup() { return cGroup; }
502
503 //"fun"
504 public Keyword getFunKeyword_0() { return cFunKeyword_0; }
505
506 //name=ALSID
507 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
508
509 //ALSID
510 public RuleCall getNameALSIDParserRuleCall_1_0() { return cNameALSIDParserRuleCall_1_0; }
511
512 //"["
513 public Keyword getLeftSquareBracketKeyword_2() { return cLeftSquareBracketKeyword_2; }
514
515 //variables+=ALSVariableDeclaration
516 public Assignment getVariablesAssignment_3() { return cVariablesAssignment_3; }
517
518 //ALSVariableDeclaration
519 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_3_0() { return cVariablesALSVariableDeclarationParserRuleCall_3_0; }
520
521 //(',' variables+=ALSVariableDeclaration)*
522 public Group getGroup_4() { return cGroup_4; }
523
524 //','
525 public Keyword getCommaKeyword_4_0() { return cCommaKeyword_4_0; }
526
527 //variables+=ALSVariableDeclaration
528 public Assignment getVariablesAssignment_4_1() { return cVariablesAssignment_4_1; }
529
530 //ALSVariableDeclaration
531 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_4_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_4_1_0; }
532
533 //"]"
534 public Keyword getRightSquareBracketKeyword_5() { return cRightSquareBracketKeyword_5; }
535
536 //":"
537 public Keyword getColonKeyword_6() { return cColonKeyword_6; }
538
539 //type=ALSTerm
540 public Assignment getTypeAssignment_7() { return cTypeAssignment_7; }
541
542 //ALSTerm
543 public RuleCall getTypeALSTermParserRuleCall_7_0() { return cTypeALSTermParserRuleCall_7_0; }
544
545 //"{"
546 public Keyword getLeftCurlyBracketKeyword_8() { return cLeftCurlyBracketKeyword_8; }
547
548 //value=ALSTerm
549 public Assignment getValueAssignment_9() { return cValueAssignment_9; }
550
551 //ALSTerm
552 public RuleCall getValueALSTermParserRuleCall_9_0() { return cValueALSTermParserRuleCall_9_0; }
553
554 //"}"
555 public Keyword getRightCurlyBracketKeyword_10() { return cRightCurlyBracketKeyword_10; }
556 }
557
558 public class ALSRelationDefinitionElements extends AbstractParserRuleElementFinder {
559 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRelationDefinition");
560 private final Group cGroup = (Group)rule.eContents().get(1);
561 private final Keyword cPredKeyword_0 = (Keyword)cGroup.eContents().get(0);
562 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
563 private final RuleCall cNameALSIDParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
564 private final Keyword cLeftSquareBracketKeyword_2 = (Keyword)cGroup.eContents().get(2);
565 private final Assignment cVariablesAssignment_3 = (Assignment)cGroup.eContents().get(3);
566 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_3_0 = (RuleCall)cVariablesAssignment_3.eContents().get(0);
567 private final Group cGroup_4 = (Group)cGroup.eContents().get(4);
568 private final Keyword cCommaKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0);
569 private final Assignment cVariablesAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1);
570 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_4_1_0 = (RuleCall)cVariablesAssignment_4_1.eContents().get(0);
571 private final Keyword cRightSquareBracketKeyword_5 = (Keyword)cGroup.eContents().get(5);
572 private final Keyword cLeftCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6);
573 private final Assignment cValueAssignment_7 = (Assignment)cGroup.eContents().get(7);
574 private final RuleCall cValueALSTermParserRuleCall_7_0 = (RuleCall)cValueAssignment_7.eContents().get(0);
575 private final Keyword cRightCurlyBracketKeyword_8 = (Keyword)cGroup.eContents().get(8);
576
577 //ALSRelationDefinition:
578 // "pred" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]"
579 // "{" value=ALSTerm "}";
580 @Override public ParserRule getRule() { return rule; }
581
582 //"pred" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" "{" value=ALSTerm
583 //"}"
584 public Group getGroup() { return cGroup; }
585
586 //"pred"
587 public Keyword getPredKeyword_0() { return cPredKeyword_0; }
588
589 //name=ALSID
590 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
591
592 //ALSID
593 public RuleCall getNameALSIDParserRuleCall_1_0() { return cNameALSIDParserRuleCall_1_0; }
594
595 //"["
596 public Keyword getLeftSquareBracketKeyword_2() { return cLeftSquareBracketKeyword_2; }
597
598 //variables+=ALSVariableDeclaration
599 public Assignment getVariablesAssignment_3() { return cVariablesAssignment_3; }
600
601 //ALSVariableDeclaration
602 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_3_0() { return cVariablesALSVariableDeclarationParserRuleCall_3_0; }
603
604 //(',' variables+=ALSVariableDeclaration)*
605 public Group getGroup_4() { return cGroup_4; }
606
607 //','
608 public Keyword getCommaKeyword_4_0() { return cCommaKeyword_4_0; }
609
610 //variables+=ALSVariableDeclaration
611 public Assignment getVariablesAssignment_4_1() { return cVariablesAssignment_4_1; }
612
613 //ALSVariableDeclaration
614 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_4_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_4_1_0; }
615
616 //"]"
617 public Keyword getRightSquareBracketKeyword_5() { return cRightSquareBracketKeyword_5; }
618
619 //"{"
620 public Keyword getLeftCurlyBracketKeyword_6() { return cLeftCurlyBracketKeyword_6; }
621
622 //value=ALSTerm
623 public Assignment getValueAssignment_7() { return cValueAssignment_7; }
624
625 //ALSTerm
626 public RuleCall getValueALSTermParserRuleCall_7_0() { return cValueALSTermParserRuleCall_7_0; }
627
628 //"}"
629 public Keyword getRightCurlyBracketKeyword_8() { return cRightCurlyBracketKeyword_8; }
630 }
631
632 public class ALSFactDeclarationElements extends AbstractParserRuleElementFinder {
633 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFactDeclaration");
634 private final Group cGroup = (Group)rule.eContents().get(1);
635 private final Action cALSFactDeclarationAction_0 = (Action)cGroup.eContents().get(0);
636 private final Keyword cFactKeyword_1 = (Keyword)cGroup.eContents().get(1);
637 private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2);
638 private final RuleCall cNameALSIDParserRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0);
639 private final Keyword cLeftCurlyBracketKeyword_3 = (Keyword)cGroup.eContents().get(3);
640 private final Assignment cTermAssignment_4 = (Assignment)cGroup.eContents().get(4);
641 private final RuleCall cTermALSTermParserRuleCall_4_0 = (RuleCall)cTermAssignment_4.eContents().get(0);
642 private final Keyword cRightCurlyBracketKeyword_5 = (Keyword)cGroup.eContents().get(5);
643
644 //ALSFactDeclaration:
645 // {ALSFactDeclaration} 'fact' name=ALSID? '{' term=ALSTerm '}';
646 @Override public ParserRule getRule() { return rule; }
647
648 //{ALSFactDeclaration} 'fact' name=ALSID? '{' term=ALSTerm '}'
649 public Group getGroup() { return cGroup; }
650
651 //{ALSFactDeclaration}
652 public Action getALSFactDeclarationAction_0() { return cALSFactDeclarationAction_0; }
653
654 //'fact'
655 public Keyword getFactKeyword_1() { return cFactKeyword_1; }
656
657 //name=ALSID?
658 public Assignment getNameAssignment_2() { return cNameAssignment_2; }
659
660 //ALSID
661 public RuleCall getNameALSIDParserRuleCall_2_0() { return cNameALSIDParserRuleCall_2_0; }
662
663 //'{'
664 public Keyword getLeftCurlyBracketKeyword_3() { return cLeftCurlyBracketKeyword_3; }
665
666 //term=ALSTerm
667 public Assignment getTermAssignment_4() { return cTermAssignment_4; }
668
669 //ALSTerm
670 public RuleCall getTermALSTermParserRuleCall_4_0() { return cTermALSTermParserRuleCall_4_0; }
671
672 //'}'
673 public Keyword getRightCurlyBracketKeyword_5() { return cRightCurlyBracketKeyword_5; }
674 }
675
676 public class ALSTermElements extends AbstractParserRuleElementFinder {
677 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm");
678 private final RuleCall cALSQuantifiedParserRuleCall = (RuleCall)rule.eContents().get(1);
679
680 ////////////////////////////////////
681 //// ALS terms
682 ////////////////////////////////////
683 //ALSTerm:
684 // ALSQuantified;
685 @Override public ParserRule getRule() { return rule; }
686
687 //ALSQuantified
688 public RuleCall getALSQuantifiedParserRuleCall() { return cALSQuantifiedParserRuleCall; }
689 }
690
691 public class ALSQuantifiedElements extends AbstractParserRuleElementFinder {
692 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSQuantified");
693 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
694 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
695 private final Action cALSQuantifiedExAction_0_0 = (Action)cGroup_0.eContents().get(0);
696 private final Assignment cTypeAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1);
697 private final RuleCall cTypeALSMultiplicityEnumRuleCall_0_1_0 = (RuleCall)cTypeAssignment_0_1.eContents().get(0);
698 private final Assignment cDisjAssignment_0_2 = (Assignment)cGroup_0.eContents().get(2);
699 private final Keyword cDisjDisjKeyword_0_2_0 = (Keyword)cDisjAssignment_0_2.eContents().get(0);
700 private final Assignment cVariablesAssignment_0_3 = (Assignment)cGroup_0.eContents().get(3);
701 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_0_3_0 = (RuleCall)cVariablesAssignment_0_3.eContents().get(0);
702 private final Group cGroup_0_4 = (Group)cGroup_0.eContents().get(4);
703 private final Keyword cCommaKeyword_0_4_0 = (Keyword)cGroup_0_4.eContents().get(0);
704 private final Assignment cVariablesAssignment_0_4_1 = (Assignment)cGroup_0_4.eContents().get(1);
705 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_0_4_1_0 = (RuleCall)cVariablesAssignment_0_4_1.eContents().get(0);
706 private final Keyword cLeftCurlyBracketKeyword_0_5 = (Keyword)cGroup_0.eContents().get(5);
707 private final Assignment cExpressionAssignment_0_6 = (Assignment)cGroup_0.eContents().get(6);
708 private final RuleCall cExpressionALSTermParserRuleCall_0_6_0 = (RuleCall)cExpressionAssignment_0_6.eContents().get(0);
709 private final Keyword cRightCurlyBracketKeyword_0_7 = (Keyword)cGroup_0.eContents().get(7);
710 private final RuleCall cALSOrParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
711
712 //ALSQuantified ALSTerm:
713 // {ALSQuantifiedEx} type=ALSMultiplicity
714 // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' |
715 // ALSOr;
716 @Override public ParserRule getRule() { return rule; }
717
718 //{ALSQuantifiedEx} type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration (','
719 //variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | ALSOr
720 public Alternatives getAlternatives() { return cAlternatives; }
721
722 //{ALSQuantifiedEx} type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration (','
723 //variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}'
724 public Group getGroup_0() { return cGroup_0; }
725
726 //{ALSQuantifiedEx}
727 public Action getALSQuantifiedExAction_0_0() { return cALSQuantifiedExAction_0_0; }
728
729 //type=ALSMultiplicity
730 public Assignment getTypeAssignment_0_1() { return cTypeAssignment_0_1; }
731
732 //ALSMultiplicity
733 public RuleCall getTypeALSMultiplicityEnumRuleCall_0_1_0() { return cTypeALSMultiplicityEnumRuleCall_0_1_0; }
734
735 //disj?='disj'?
736 public Assignment getDisjAssignment_0_2() { return cDisjAssignment_0_2; }
737
738 //'disj'
739 public Keyword getDisjDisjKeyword_0_2_0() { return cDisjDisjKeyword_0_2_0; }
740
741 //variables+=ALSVariableDeclaration
742 public Assignment getVariablesAssignment_0_3() { return cVariablesAssignment_0_3; }
743
744 //ALSVariableDeclaration
745 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_0_3_0() { return cVariablesALSVariableDeclarationParserRuleCall_0_3_0; }
746
747 //(',' variables+=ALSVariableDeclaration)*
748 public Group getGroup_0_4() { return cGroup_0_4; }
749
750 //','
751 public Keyword getCommaKeyword_0_4_0() { return cCommaKeyword_0_4_0; }
752
753 //variables+=ALSVariableDeclaration
754 public Assignment getVariablesAssignment_0_4_1() { return cVariablesAssignment_0_4_1; }
755
756 //ALSVariableDeclaration
757 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_0_4_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_0_4_1_0; }
758
759 //'{'
760 public Keyword getLeftCurlyBracketKeyword_0_5() { return cLeftCurlyBracketKeyword_0_5; }
761
762 //expression=ALSTerm
763 public Assignment getExpressionAssignment_0_6() { return cExpressionAssignment_0_6; }
764
765 //ALSTerm
766 public RuleCall getExpressionALSTermParserRuleCall_0_6_0() { return cExpressionALSTermParserRuleCall_0_6_0; }
767
768 //'}'
769 public Keyword getRightCurlyBracketKeyword_0_7() { return cRightCurlyBracketKeyword_0_7; }
770
771 //ALSOr
772 public RuleCall getALSOrParserRuleCall_1() { return cALSOrParserRuleCall_1; }
773 }
774
775 public class ALSOrElements extends AbstractParserRuleElementFinder {
776 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSOr");
777 private final Group cGroup = (Group)rule.eContents().get(1);
778 private final RuleCall cALSIffParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
779 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
780 private final Action cALSOrLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
781 private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1);
782 private final Keyword cVerticalLineVerticalLineKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0);
783 private final Keyword cOrKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1);
784 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
785 private final RuleCall cRightOperandALSIffParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
786
787 //ALSOr ALSTerm:
788 // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?;
789 @Override public ParserRule getRule() { return rule; }
790
791 //ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?
792 public Group getGroup() { return cGroup; }
793
794 //ALSIff
795 public RuleCall getALSIffParserRuleCall_0() { return cALSIffParserRuleCall_0; }
796
797 //({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?
798 public Group getGroup_1() { return cGroup_1; }
799
800 //{ALSOr.leftOperand=current}
801 public Action getALSOrLeftOperandAction_1_0() { return cALSOrLeftOperandAction_1_0; }
802
803 //"||" | "or"
804 public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; }
805
806 //"||"
807 public Keyword getVerticalLineVerticalLineKeyword_1_1_0() { return cVerticalLineVerticalLineKeyword_1_1_0; }
808
809 //"or"
810 public Keyword getOrKeyword_1_1_1() { return cOrKeyword_1_1_1; }
811
812 //rightOperand=ALSIff
813 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
814
815 //ALSIff
816 public RuleCall getRightOperandALSIffParserRuleCall_1_2_0() { return cRightOperandALSIffParserRuleCall_1_2_0; }
817 }
818
819 public class ALSIffElements extends AbstractParserRuleElementFinder {
820 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIff");
821 private final Group cGroup = (Group)rule.eContents().get(1);
822 private final RuleCall cALSImplParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
823 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
824 private final Action cALSIffLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
825 private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1);
826 private final Keyword cLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0);
827 private final Keyword cIffKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1);
828 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
829 private final RuleCall cRightOperandALSImplParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
830
831 //ALSIff ALSTerm:
832 // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?;
833 @Override public ParserRule getRule() { return rule; }
834
835 //ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?
836 public Group getGroup() { return cGroup; }
837
838 //ALSImpl
839 public RuleCall getALSImplParserRuleCall_0() { return cALSImplParserRuleCall_0; }
840
841 //({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?
842 public Group getGroup_1() { return cGroup_1; }
843
844 //{ALSIff.leftOperand=current}
845 public Action getALSIffLeftOperandAction_1_0() { return cALSIffLeftOperandAction_1_0; }
846
847 //"<=>" | "iff"
848 public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; }
849
850 //"<=>"
851 public Keyword getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0() { return cLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; }
852
853 //"iff"
854 public Keyword getIffKeyword_1_1_1() { return cIffKeyword_1_1_1; }
855
856 //rightOperand=ALSImpl
857 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
858
859 //ALSImpl
860 public RuleCall getRightOperandALSImplParserRuleCall_1_2_0() { return cRightOperandALSImplParserRuleCall_1_2_0; }
861 }
862
863 public class ALSImplElements extends AbstractParserRuleElementFinder {
864 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSImpl");
865 private final Group cGroup = (Group)rule.eContents().get(1);
866 private final RuleCall cALSAndParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
867 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
868 private final Action cALSImplLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
869 private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1);
870 private final Keyword cEqualsSignGreaterThanSignKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0);
871 private final Keyword cImpliesKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1);
872 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
873 private final RuleCall cRightOperandALSAndParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
874 private final Group cGroup_1_3 = (Group)cGroup_1.eContents().get(3);
875 private final Keyword cElseKeyword_1_3_0 = (Keyword)cGroup_1_3.eContents().get(0);
876 private final Assignment cElseOperandAssignment_1_3_1 = (Assignment)cGroup_1_3.eContents().get(1);
877 private final RuleCall cElseOperandALSAndParserRuleCall_1_3_1_0 = (RuleCall)cElseOperandAssignment_1_3_1.eContents().get(0);
878
879 //ALSImpl ALSTerm:
880 // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?;
881 @Override public ParserRule getRule() { return rule; }
882
883 //ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?
884 public Group getGroup() { return cGroup; }
885
886 //ALSAnd
887 public RuleCall getALSAndParserRuleCall_0() { return cALSAndParserRuleCall_0; }
888
889 //({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?
890 public Group getGroup_1() { return cGroup_1; }
891
892 //{ALSImpl.leftOperand=current}
893 public Action getALSImplLeftOperandAction_1_0() { return cALSImplLeftOperandAction_1_0; }
894
895 //"=>" | "implies"
896 public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; }
897
898 //"=>"
899 public Keyword getEqualsSignGreaterThanSignKeyword_1_1_0() { return cEqualsSignGreaterThanSignKeyword_1_1_0; }
900
901 //"implies"
902 public Keyword getImpliesKeyword_1_1_1() { return cImpliesKeyword_1_1_1; }
903
904 //rightOperand=ALSAnd
905 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
906
907 //ALSAnd
908 public RuleCall getRightOperandALSAndParserRuleCall_1_2_0() { return cRightOperandALSAndParserRuleCall_1_2_0; }
909
910 //('else' elseOperand=ALSAnd)?
911 public Group getGroup_1_3() { return cGroup_1_3; }
912
913 //'else'
914 public Keyword getElseKeyword_1_3_0() { return cElseKeyword_1_3_0; }
915
916 //elseOperand=ALSAnd
917 public Assignment getElseOperandAssignment_1_3_1() { return cElseOperandAssignment_1_3_1; }
918
919 //ALSAnd
920 public RuleCall getElseOperandALSAndParserRuleCall_1_3_1_0() { return cElseOperandALSAndParserRuleCall_1_3_1_0; }
921 }
922
923 public class ALSAndElements extends AbstractParserRuleElementFinder {
924 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSAnd");
925 private final Group cGroup = (Group)rule.eContents().get(1);
926 private final RuleCall cALSComparisonParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
927 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
928 private final Action cALSAndLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
929 private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1);
930 private final Keyword cAmpersandAmpersandKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0);
931 private final Keyword cAndKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1);
932 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
933 private final RuleCall cRightOperandALSComparisonParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
934
935 //ALSAnd ALSTerm:
936 // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?;
937 @Override public ParserRule getRule() { return rule; }
938
939 //ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?
940 public Group getGroup() { return cGroup; }
941
942 //ALSComparison
943 public RuleCall getALSComparisonParserRuleCall_0() { return cALSComparisonParserRuleCall_0; }
944
945 //({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?
946 public Group getGroup_1() { return cGroup_1; }
947
948 //{ALSAnd.leftOperand=current}
949 public Action getALSAndLeftOperandAction_1_0() { return cALSAndLeftOperandAction_1_0; }
950
951 //"&&" | "and"
952 public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; }
953
954 //"&&"
955 public Keyword getAmpersandAmpersandKeyword_1_1_0() { return cAmpersandAmpersandKeyword_1_1_0; }
956
957 //"and"
958 public Keyword getAndKeyword_1_1_1() { return cAndKeyword_1_1_1; }
959
960 //rightOperand=ALSComparison
961 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
962
963 //ALSComparison
964 public RuleCall getRightOperandALSComparisonParserRuleCall_1_2_0() { return cRightOperandALSComparisonParserRuleCall_1_2_0; }
965 }
966
967 public class ALSComparisonElements extends AbstractParserRuleElementFinder {
968 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSComparison");
969 private final Group cGroup = (Group)rule.eContents().get(1);
970 private final RuleCall cALSOverrideParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
971 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
972 private final Alternatives cAlternatives_1_0 = (Alternatives)cGroup_1.eContents().get(0);
973 private final Group cGroup_1_0_0 = (Group)cAlternatives_1_0.eContents().get(0);
974 private final Action cALSEqualsLeftOperandAction_1_0_0_0 = (Action)cGroup_1_0_0.eContents().get(0);
975 private final Keyword cEqualsSignKeyword_1_0_0_1 = (Keyword)cGroup_1_0_0.eContents().get(1);
976 private final Group cGroup_1_0_1 = (Group)cAlternatives_1_0.eContents().get(1);
977 private final Action cALSNotEqualsLeftOperandAction_1_0_1_0 = (Action)cGroup_1_0_1.eContents().get(0);
978 private final Keyword cExclamationMarkEqualsSignKeyword_1_0_1_1 = (Keyword)cGroup_1_0_1.eContents().get(1);
979 private final Group cGroup_1_0_2 = (Group)cAlternatives_1_0.eContents().get(2);
980 private final Action cALSSubsetLeftOperandAction_1_0_2_0 = (Action)cGroup_1_0_2.eContents().get(0);
981 private final Keyword cInKeyword_1_0_2_1 = (Keyword)cGroup_1_0_2.eContents().get(1);
982 private final Group cGroup_1_0_3 = (Group)cAlternatives_1_0.eContents().get(3);
983 private final Action cALSLessLeftOperandAction_1_0_3_0 = (Action)cGroup_1_0_3.eContents().get(0);
984 private final Keyword cGreaterThanSignKeyword_1_0_3_1 = (Keyword)cGroup_1_0_3.eContents().get(1);
985 private final Group cGroup_1_0_4 = (Group)cAlternatives_1_0.eContents().get(4);
986 private final Action cALSLeqLeftOperandAction_1_0_4_0 = (Action)cGroup_1_0_4.eContents().get(0);
987 private final Keyword cGreaterThanSignEqualsSignKeyword_1_0_4_1 = (Keyword)cGroup_1_0_4.eContents().get(1);
988 private final Group cGroup_1_0_5 = (Group)cAlternatives_1_0.eContents().get(5);
989 private final Action cALSMoreLeftOperandAction_1_0_5_0 = (Action)cGroup_1_0_5.eContents().get(0);
990 private final Keyword cLessThanSignKeyword_1_0_5_1 = (Keyword)cGroup_1_0_5.eContents().get(1);
991 private final Group cGroup_1_0_6 = (Group)cAlternatives_1_0.eContents().get(6);
992 private final Action cALSMeqLeftOperandAction_1_0_6_0 = (Action)cGroup_1_0_6.eContents().get(0);
993 private final Keyword cLessThanSignEqualsSignKeyword_1_0_6_1 = (Keyword)cGroup_1_0_6.eContents().get(1);
994 private final Assignment cRightOperandAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1);
995 private final RuleCall cRightOperandALSOverrideParserRuleCall_1_1_0 = (RuleCall)cRightOperandAssignment_1_1.eContents().get(0);
996
997 //ALSComparison ALSTerm:
998 // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" |
999 // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" |
1000 // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?;
1001 @Override public ParserRule getRule() { return rule; }
1002
1003 //ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" |
1004 //{ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" |
1005 //{ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?
1006 public Group getGroup() { return cGroup; }
1007
1008 //ALSOverride
1009 public RuleCall getALSOverrideParserRuleCall_0() { return cALSOverrideParserRuleCall_0; }
1010
1011 //(({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | {ALSSubset.leftOperand=current} "in" |
1012 //{ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | {ALSMore.leftOperand=current} "<" |
1013 //{ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?
1014 public Group getGroup_1() { return cGroup_1; }
1015
1016 //{ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | {ALSSubset.leftOperand=current} "in" |
1017 //{ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | {ALSMore.leftOperand=current} "<" |
1018 //{ALSMeq.leftOperand=current} "<="
1019 public Alternatives getAlternatives_1_0() { return cAlternatives_1_0; }
1020
1021 //{ALSEquals.leftOperand=current} "="
1022 public Group getGroup_1_0_0() { return cGroup_1_0_0; }
1023
1024 //{ALSEquals.leftOperand=current}
1025 public Action getALSEqualsLeftOperandAction_1_0_0_0() { return cALSEqualsLeftOperandAction_1_0_0_0; }
1026
1027 //"="
1028 public Keyword getEqualsSignKeyword_1_0_0_1() { return cEqualsSignKeyword_1_0_0_1; }
1029
1030 //{ALSNotEquals.leftOperand=current} "!="
1031 public Group getGroup_1_0_1() { return cGroup_1_0_1; }
1032
1033 //{ALSNotEquals.leftOperand=current}
1034 public Action getALSNotEqualsLeftOperandAction_1_0_1_0() { return cALSNotEqualsLeftOperandAction_1_0_1_0; }
1035
1036 //"!="
1037 public Keyword getExclamationMarkEqualsSignKeyword_1_0_1_1() { return cExclamationMarkEqualsSignKeyword_1_0_1_1; }
1038
1039 //{ALSSubset.leftOperand=current} "in"
1040 public Group getGroup_1_0_2() { return cGroup_1_0_2; }
1041
1042 //{ALSSubset.leftOperand=current}
1043 public Action getALSSubsetLeftOperandAction_1_0_2_0() { return cALSSubsetLeftOperandAction_1_0_2_0; }
1044
1045 //"in"
1046 public Keyword getInKeyword_1_0_2_1() { return cInKeyword_1_0_2_1; }
1047
1048 //{ALSLess.leftOperand=current} ">"
1049 public Group getGroup_1_0_3() { return cGroup_1_0_3; }
1050
1051 //{ALSLess.leftOperand=current}
1052 public Action getALSLessLeftOperandAction_1_0_3_0() { return cALSLessLeftOperandAction_1_0_3_0; }
1053
1054 //">"
1055 public Keyword getGreaterThanSignKeyword_1_0_3_1() { return cGreaterThanSignKeyword_1_0_3_1; }
1056
1057 //{ALSLeq.leftOperand=current} ">="
1058 public Group getGroup_1_0_4() { return cGroup_1_0_4; }
1059
1060 //{ALSLeq.leftOperand=current}
1061 public Action getALSLeqLeftOperandAction_1_0_4_0() { return cALSLeqLeftOperandAction_1_0_4_0; }
1062
1063 //">="
1064 public Keyword getGreaterThanSignEqualsSignKeyword_1_0_4_1() { return cGreaterThanSignEqualsSignKeyword_1_0_4_1; }
1065
1066 //{ALSMore.leftOperand=current} "<"
1067 public Group getGroup_1_0_5() { return cGroup_1_0_5; }
1068
1069 //{ALSMore.leftOperand=current}
1070 public Action getALSMoreLeftOperandAction_1_0_5_0() { return cALSMoreLeftOperandAction_1_0_5_0; }
1071
1072 //"<"
1073 public Keyword getLessThanSignKeyword_1_0_5_1() { return cLessThanSignKeyword_1_0_5_1; }
1074
1075 //{ALSMeq.leftOperand=current} "<="
1076 public Group getGroup_1_0_6() { return cGroup_1_0_6; }
1077
1078 //{ALSMeq.leftOperand=current}
1079 public Action getALSMeqLeftOperandAction_1_0_6_0() { return cALSMeqLeftOperandAction_1_0_6_0; }
1080
1081 //"<="
1082 public Keyword getLessThanSignEqualsSignKeyword_1_0_6_1() { return cLessThanSignEqualsSignKeyword_1_0_6_1; }
1083
1084 //rightOperand=ALSOverride
1085 public Assignment getRightOperandAssignment_1_1() { return cRightOperandAssignment_1_1; }
1086
1087 //ALSOverride
1088 public RuleCall getRightOperandALSOverrideParserRuleCall_1_1_0() { return cRightOperandALSOverrideParserRuleCall_1_1_0; }
1089 }
1090
1091 public class ALSOverrideElements extends AbstractParserRuleElementFinder {
1092 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSOverride");
1093 private final Group cGroup = (Group)rule.eContents().get(1);
1094 private final RuleCall cALSRangeRestrictionRightParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1095 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1096 private final Action cALSOverrideLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
1097 private final Keyword cPlusSignPlusSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1098 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1099 private final RuleCall cRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
1100
1101 //ALSOverride ALSTerm:
1102 // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?;
1103 @Override public ParserRule getRule() { return rule; }
1104
1105 //ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?
1106 public Group getGroup() { return cGroup; }
1107
1108 //ALSRangeRestrictionRight
1109 public RuleCall getALSRangeRestrictionRightParserRuleCall_0() { return cALSRangeRestrictionRightParserRuleCall_0; }
1110
1111 //({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?
1112 public Group getGroup_1() { return cGroup_1; }
1113
1114 //{ALSOverride.leftOperand=current}
1115 public Action getALSOverrideLeftOperandAction_1_0() { return cALSOverrideLeftOperandAction_1_0; }
1116
1117 //'++'
1118 public Keyword getPlusSignPlusSignKeyword_1_1() { return cPlusSignPlusSignKeyword_1_1; }
1119
1120 //rightOperand=ALSRangeRestrictionRight
1121 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
1122
1123 //ALSRangeRestrictionRight
1124 public RuleCall getRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0() { return cRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0; }
1125 }
1126
1127 public class ALSRangeRestrictionRightElements extends AbstractParserRuleElementFinder {
1128 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRangeRestrictionRight");
1129 private final Group cGroup = (Group)rule.eContents().get(1);
1130 private final RuleCall cALSRangeRestrictionLeftParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1131 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1132 private final Action cALSRangeRestrictionRightRelationAction_1_0 = (Action)cGroup_1.eContents().get(0);
1133 private final Keyword cColonGreaterThanSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1134 private final Assignment cFilterAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1135 private final RuleCall cFilterALSRangeRestrictionLeftParserRuleCall_1_2_0 = (RuleCall)cFilterAssignment_1_2.eContents().get(0);
1136
1137 //ALSRangeRestrictionRight ALSTerm:
1138 // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?;
1139 @Override public ParserRule getRule() { return rule; }
1140
1141 //ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?
1142 public Group getGroup() { return cGroup; }
1143
1144 //ALSRangeRestrictionLeft
1145 public RuleCall getALSRangeRestrictionLeftParserRuleCall_0() { return cALSRangeRestrictionLeftParserRuleCall_0; }
1146
1147 //({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?
1148 public Group getGroup_1() { return cGroup_1; }
1149
1150 //{ALSRangeRestrictionRight.relation=current}
1151 public Action getALSRangeRestrictionRightRelationAction_1_0() { return cALSRangeRestrictionRightRelationAction_1_0; }
1152
1153 //':>'
1154 public Keyword getColonGreaterThanSignKeyword_1_1() { return cColonGreaterThanSignKeyword_1_1; }
1155
1156 //filter=ALSRangeRestrictionLeft
1157 public Assignment getFilterAssignment_1_2() { return cFilterAssignment_1_2; }
1158
1159 //ALSRangeRestrictionLeft
1160 public RuleCall getFilterALSRangeRestrictionLeftParserRuleCall_1_2_0() { return cFilterALSRangeRestrictionLeftParserRuleCall_1_2_0; }
1161 }
1162
1163 public class ALSRangeRestrictionLeftElements extends AbstractParserRuleElementFinder {
1164 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRangeRestrictionLeft");
1165 private final Group cGroup = (Group)rule.eContents().get(1);
1166 private final RuleCall cALSJoinParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1167 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1168 private final Action cALSRangeRestrictionLeftFilterAction_1_0 = (Action)cGroup_1.eContents().get(0);
1169 private final Keyword cLessThanSignColonKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1170 private final Assignment cRelationAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1171 private final RuleCall cRelationALSJoinParserRuleCall_1_2_0 = (RuleCall)cRelationAssignment_1_2.eContents().get(0);
1172
1173 //ALSRangeRestrictionLeft ALSTerm:
1174 // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?;
1175 @Override public ParserRule getRule() { return rule; }
1176
1177 //ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?
1178 public Group getGroup() { return cGroup; }
1179
1180 //ALSJoin
1181 public RuleCall getALSJoinParserRuleCall_0() { return cALSJoinParserRuleCall_0; }
1182
1183 //({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?
1184 public Group getGroup_1() { return cGroup_1; }
1185
1186 //{ALSRangeRestrictionLeft.filter=current}
1187 public Action getALSRangeRestrictionLeftFilterAction_1_0() { return cALSRangeRestrictionLeftFilterAction_1_0; }
1188
1189 //'<:'
1190 public Keyword getLessThanSignColonKeyword_1_1() { return cLessThanSignColonKeyword_1_1; }
1191
1192 //relation=ALSJoin
1193 public Assignment getRelationAssignment_1_2() { return cRelationAssignment_1_2; }
1194
1195 //ALSJoin
1196 public RuleCall getRelationALSJoinParserRuleCall_1_2_0() { return cRelationALSJoinParserRuleCall_1_2_0; }
1197 }
1198
1199 public class ALSJoinElements extends AbstractParserRuleElementFinder {
1200 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSJoin");
1201 private final Group cGroup = (Group)rule.eContents().get(1);
1202 private final RuleCall cALSMinusParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1203 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1204 private final Action cALSJoinLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
1205 private final Keyword cFullStopKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1206 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1207 private final RuleCall cRightOperandALSMinusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
1208
1209 //ALSJoin ALSTerm:
1210 // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*;
1211 @Override public ParserRule getRule() { return rule; }
1212
1213 //ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*
1214 public Group getGroup() { return cGroup; }
1215
1216 //ALSMinus
1217 public RuleCall getALSMinusParserRuleCall_0() { return cALSMinusParserRuleCall_0; }
1218
1219 //({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*
1220 public Group getGroup_1() { return cGroup_1; }
1221
1222 //{ALSJoin.leftOperand=current}
1223 public Action getALSJoinLeftOperandAction_1_0() { return cALSJoinLeftOperandAction_1_0; }
1224
1225 //'.'
1226 public Keyword getFullStopKeyword_1_1() { return cFullStopKeyword_1_1; }
1227
1228 //rightOperand=ALSMinus
1229 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
1230
1231 //ALSMinus
1232 public RuleCall getRightOperandALSMinusParserRuleCall_1_2_0() { return cRightOperandALSMinusParserRuleCall_1_2_0; }
1233 }
1234
1235 public class ALSMinusElements extends AbstractParserRuleElementFinder {
1236 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMinus");
1237 private final Group cGroup = (Group)rule.eContents().get(1);
1238 private final RuleCall cALSPlusParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1239 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1240 private final Action cALSMinusLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
1241 private final Keyword cHyphenMinusKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1242 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1243 private final RuleCall cRightOperandALSPlusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
1244
1245 //ALSMinus ALSTerm:
1246 // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*;
1247 @Override public ParserRule getRule() { return rule; }
1248
1249 //ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*
1250 public Group getGroup() { return cGroup; }
1251
1252 //ALSPlus
1253 public RuleCall getALSPlusParserRuleCall_0() { return cALSPlusParserRuleCall_0; }
1254
1255 //({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*
1256 public Group getGroup_1() { return cGroup_1; }
1257
1258 //{ALSMinus.leftOperand=current}
1259 public Action getALSMinusLeftOperandAction_1_0() { return cALSMinusLeftOperandAction_1_0; }
1260
1261 //'-'
1262 public Keyword getHyphenMinusKeyword_1_1() { return cHyphenMinusKeyword_1_1; }
1263
1264 //rightOperand=ALSPlus
1265 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
1266
1267 //ALSPlus
1268 public RuleCall getRightOperandALSPlusParserRuleCall_1_2_0() { return cRightOperandALSPlusParserRuleCall_1_2_0; }
1269 }
1270
1271 public class ALSPlusElements extends AbstractParserRuleElementFinder {
1272 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSPlus");
1273 private final Group cGroup = (Group)rule.eContents().get(1);
1274 private final RuleCall cALSIntersectionParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1275 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1276 private final Action cALSPlusLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
1277 private final Keyword cPlusSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1278 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1279 private final RuleCall cRightOperandALSIntersectionParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
1280
1281 //ALSPlus ALSTerm:
1282 // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*;
1283 @Override public ParserRule getRule() { return rule; }
1284
1285 //ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*
1286 public Group getGroup() { return cGroup; }
1287
1288 //ALSIntersection
1289 public RuleCall getALSIntersectionParserRuleCall_0() { return cALSIntersectionParserRuleCall_0; }
1290
1291 //({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*
1292 public Group getGroup_1() { return cGroup_1; }
1293
1294 //{ALSPlus.leftOperand=current}
1295 public Action getALSPlusLeftOperandAction_1_0() { return cALSPlusLeftOperandAction_1_0; }
1296
1297 //'+'
1298 public Keyword getPlusSignKeyword_1_1() { return cPlusSignKeyword_1_1; }
1299
1300 //rightOperand=ALSIntersection
1301 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
1302
1303 //ALSIntersection
1304 public RuleCall getRightOperandALSIntersectionParserRuleCall_1_2_0() { return cRightOperandALSIntersectionParserRuleCall_1_2_0; }
1305 }
1306
1307 public class ALSIntersectionElements extends AbstractParserRuleElementFinder {
1308 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIntersection");
1309 private final Group cGroup = (Group)rule.eContents().get(1);
1310 private final RuleCall cALSDirectProductParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1311 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1312 private final Action cALSIntersectionLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
1313 private final Keyword cAmpersandKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1314 private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1315 private final RuleCall cRightOperandALSDirectProductParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0);
1316
1317 //ALSIntersection ALSTerm:
1318 // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*;
1319 @Override public ParserRule getRule() { return rule; }
1320
1321 //ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*
1322 public Group getGroup() { return cGroup; }
1323
1324 //ALSDirectProduct
1325 public RuleCall getALSDirectProductParserRuleCall_0() { return cALSDirectProductParserRuleCall_0; }
1326
1327 //({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*
1328 public Group getGroup_1() { return cGroup_1; }
1329
1330 //{ALSIntersection.leftOperand=current}
1331 public Action getALSIntersectionLeftOperandAction_1_0() { return cALSIntersectionLeftOperandAction_1_0; }
1332
1333 //'&'
1334 public Keyword getAmpersandKeyword_1_1() { return cAmpersandKeyword_1_1; }
1335
1336 //rightOperand=ALSDirectProduct
1337 public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; }
1338
1339 //ALSDirectProduct
1340 public RuleCall getRightOperandALSDirectProductParserRuleCall_1_2_0() { return cRightOperandALSDirectProductParserRuleCall_1_2_0; }
1341 }
1342
1343 public class ALSDirectProductElements extends AbstractParserRuleElementFinder {
1344 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDirectProduct");
1345 private final Group cGroup = (Group)rule.eContents().get(1);
1346 private final RuleCall cALSPreficedParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0);
1347 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
1348 private final Action cALSDirectProductLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0);
1349 private final Assignment cLeftMultiplicitAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1);
1350 private final RuleCall cLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0 = (RuleCall)cLeftMultiplicitAssignment_1_1.eContents().get(0);
1351 private final Keyword cHyphenMinusGreaterThanSignKeyword_1_2 = (Keyword)cGroup_1.eContents().get(2);
1352 private final Assignment cRightMultiplicitAssignment_1_3 = (Assignment)cGroup_1.eContents().get(3);
1353 private final RuleCall cRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0 = (RuleCall)cRightMultiplicitAssignment_1_3.eContents().get(0);
1354 private final Assignment cRightOperandAssignment_1_4 = (Assignment)cGroup_1.eContents().get(4);
1355 private final RuleCall cRightOperandALSPreficedParserRuleCall_1_4_0 = (RuleCall)cRightOperandAssignment_1_4.eContents().get(0);
1356
1357 ////ALSMultiply returns ALSTerm: ALSDirectProduct ({ALSMultiply.leftOperand = current} '*' rightOperand = ALSDirectProduct)*;
1358 //ALSDirectProduct ALSTerm:
1359 // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity?
1360 // '->'
1361 // rightMultiplicit=ALSMultiplicity?
1362 // rightOperand=ALSPreficed)?;
1363 @Override public ParserRule getRule() { return rule; }
1364
1365 //ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? '->'
1366 //rightMultiplicit=ALSMultiplicity? rightOperand=ALSPreficed)?
1367 public Group getGroup() { return cGroup; }
1368
1369 //ALSPreficed
1370 public RuleCall getALSPreficedParserRuleCall_0() { return cALSPreficedParserRuleCall_0; }
1371
1372 //({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? '->' rightMultiplicit=ALSMultiplicity?
1373 //rightOperand=ALSPreficed)?
1374 public Group getGroup_1() { return cGroup_1; }
1375
1376 //{ALSDirectProduct.leftOperand=current}
1377 public Action getALSDirectProductLeftOperandAction_1_0() { return cALSDirectProductLeftOperandAction_1_0; }
1378
1379 //leftMultiplicit=ALSMultiplicity?
1380 public Assignment getLeftMultiplicitAssignment_1_1() { return cLeftMultiplicitAssignment_1_1; }
1381
1382 //ALSMultiplicity
1383 public RuleCall getLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0() { return cLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0; }
1384
1385 //'->'
1386 public Keyword getHyphenMinusGreaterThanSignKeyword_1_2() { return cHyphenMinusGreaterThanSignKeyword_1_2; }
1387
1388 //rightMultiplicit=ALSMultiplicity?
1389 public Assignment getRightMultiplicitAssignment_1_3() { return cRightMultiplicitAssignment_1_3; }
1390
1391 //ALSMultiplicity
1392 public RuleCall getRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0() { return cRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0; }
1393
1394 //rightOperand=ALSPreficed
1395 public Assignment getRightOperandAssignment_1_4() { return cRightOperandAssignment_1_4; }
1396
1397 //ALSPreficed
1398 public RuleCall getRightOperandALSPreficedParserRuleCall_1_4_0() { return cRightOperandALSPreficedParserRuleCall_1_4_0; }
1399 }
1400
1401 public class ALSPreficedElements extends AbstractParserRuleElementFinder {
1402 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSPreficed");
1403 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1404 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
1405 private final Action cALSNotAction_0_0 = (Action)cGroup_0.eContents().get(0);
1406 private final Group cGroup_0_1 = (Group)cGroup_0.eContents().get(1);
1407 private final Alternatives cAlternatives_0_1_0 = (Alternatives)cGroup_0_1.eContents().get(0);
1408 private final Keyword cExclamationMarkKeyword_0_1_0_0 = (Keyword)cAlternatives_0_1_0.eContents().get(0);
1409 private final Keyword cNotKeyword_0_1_0_1 = (Keyword)cAlternatives_0_1_0.eContents().get(1);
1410 private final Assignment cOperandAssignment_0_2 = (Assignment)cGroup_0.eContents().get(2);
1411 private final RuleCall cOperandALSBasicRelationTermParserRuleCall_0_2_0 = (RuleCall)cOperandAssignment_0_2.eContents().get(0);
1412 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
1413 private final Action cALSInverseRelationAction_1_0 = (Action)cGroup_1.eContents().get(0);
1414 private final Keyword cTildeKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1415 private final Assignment cOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2);
1416 private final RuleCall cOperandALSBasicRelationTermParserRuleCall_1_2_0 = (RuleCall)cOperandAssignment_1_2.eContents().get(0);
1417 private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2);
1418 private final Action cAlSTransitiveClosureAction_2_0 = (Action)cGroup_2.eContents().get(0);
1419 private final Keyword cCircumflexAccentKeyword_2_1 = (Keyword)cGroup_2.eContents().get(1);
1420 private final Assignment cOperandAssignment_2_2 = (Assignment)cGroup_2.eContents().get(2);
1421 private final RuleCall cOperandALSBasicRelationTermParserRuleCall_2_2_0 = (RuleCall)cOperandAssignment_2_2.eContents().get(0);
1422 private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3);
1423 private final Action cALSReflectiveTransitiveClosureAction_3_0 = (Action)cGroup_3.eContents().get(0);
1424 private final Keyword cAsteriskKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1);
1425 private final Assignment cOperandAssignment_3_2 = (Assignment)cGroup_3.eContents().get(2);
1426 private final RuleCall cOperandALSBasicRelationTermParserRuleCall_3_2_0 = (RuleCall)cOperandAssignment_3_2.eContents().get(0);
1427 private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4);
1428 private final Action cALSCardinalityAction_4_0 = (Action)cGroup_4.eContents().get(0);
1429 private final Keyword cNumberSignKeyword_4_1 = (Keyword)cGroup_4.eContents().get(1);
1430 private final Assignment cOperandAssignment_4_2 = (Assignment)cGroup_4.eContents().get(2);
1431 private final RuleCall cOperandALSBasicRelationTermParserRuleCall_4_2_0 = (RuleCall)cOperandAssignment_4_2.eContents().get(0);
1432 private final Group cGroup_5 = (Group)cAlternatives.eContents().get(5);
1433 private final Action cALSUnaryMinusAction_5_0 = (Action)cGroup_5.eContents().get(0);
1434 private final Keyword cHyphenMinusKeyword_5_1 = (Keyword)cGroup_5.eContents().get(1);
1435 private final Assignment cOperandAssignment_5_2 = (Assignment)cGroup_5.eContents().get(2);
1436 private final RuleCall cOperandALSBasicRelationTermParserRuleCall_5_2_0 = (RuleCall)cOperandAssignment_5_2.eContents().get(0);
1437 private final Group cGroup_6 = (Group)cAlternatives.eContents().get(6);
1438 private final Action cALSSumAction_6_0 = (Action)cGroup_6.eContents().get(0);
1439 private final Keyword cSumKeyword_6_1 = (Keyword)cGroup_6.eContents().get(1);
1440 private final Assignment cVariablesAssignment_6_2 = (Assignment)cGroup_6.eContents().get(2);
1441 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_6_2_0 = (RuleCall)cVariablesAssignment_6_2.eContents().get(0);
1442 private final Group cGroup_6_3 = (Group)cGroup_6.eContents().get(3);
1443 private final Keyword cCommaKeyword_6_3_0 = (Keyword)cGroup_6_3.eContents().get(0);
1444 private final Assignment cVariablesAssignment_6_3_1 = (Assignment)cGroup_6_3.eContents().get(1);
1445 private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_6_3_1_0 = (RuleCall)cVariablesAssignment_6_3_1.eContents().get(0);
1446 private final Keyword cLeftCurlyBracketKeyword_6_4 = (Keyword)cGroup_6.eContents().get(4);
1447 private final Assignment cExpressionAssignment_6_5 = (Assignment)cGroup_6.eContents().get(5);
1448 private final RuleCall cExpressionALSTermParserRuleCall_6_5_0 = (RuleCall)cExpressionAssignment_6_5.eContents().get(0);
1449 private final Keyword cRightCurlyBracketKeyword_6_6 = (Keyword)cGroup_6.eContents().get(6);
1450 private final Group cGroup_7 = (Group)cAlternatives.eContents().get(7);
1451 private final Action cALSFunctionCallAction_7_0 = (Action)cGroup_7.eContents().get(0);
1452 private final Alternatives cAlternatives_7_1 = (Alternatives)cGroup_7.eContents().get(1);
1453 private final Assignment cReferredDefinitionAssignment_7_1_0 = (Assignment)cAlternatives_7_1.eContents().get(0);
1454 private final CrossReference cReferredDefinitionALSDefinitionCrossReference_7_1_0_0 = (CrossReference)cReferredDefinitionAssignment_7_1_0.eContents().get(0);
1455 private final RuleCall cReferredDefinitionALSDefinitionIDTerminalRuleCall_7_1_0_0_1 = (RuleCall)cReferredDefinitionALSDefinitionCrossReference_7_1_0_0.eContents().get(1);
1456 private final Assignment cReferredNumericOperatorAssignment_7_1_1 = (Assignment)cAlternatives_7_1.eContents().get(1);
1457 private final RuleCall cReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0 = (RuleCall)cReferredNumericOperatorAssignment_7_1_1.eContents().get(0);
1458 private final Keyword cLeftSquareBracketKeyword_7_2 = (Keyword)cGroup_7.eContents().get(2);
1459 private final Assignment cParamsAssignment_7_3 = (Assignment)cGroup_7.eContents().get(3);
1460 private final RuleCall cParamsALSTermParserRuleCall_7_3_0 = (RuleCall)cParamsAssignment_7_3.eContents().get(0);
1461 private final Group cGroup_7_4 = (Group)cGroup_7.eContents().get(4);
1462 private final Keyword cCommaKeyword_7_4_0 = (Keyword)cGroup_7_4.eContents().get(0);
1463 private final Assignment cParamsAssignment_7_4_1 = (Assignment)cGroup_7_4.eContents().get(1);
1464 private final RuleCall cParamsALSTermParserRuleCall_7_4_1_0 = (RuleCall)cParamsAssignment_7_4_1.eContents().get(0);
1465 private final Keyword cRightSquareBracketKeyword_7_5 = (Keyword)cGroup_7.eContents().get(5);
1466 private final RuleCall cALSBasicRelationTermParserRuleCall_8 = (RuleCall)cAlternatives.eContents().get(8);
1467
1468 //ALSPreficed ALSTerm:
1469 // {ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm |
1470 // {AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | {ALSReflectiveTransitiveClosure} "*"
1471 // operand=ALSBasicRelationTerm | {ALSCardinality} '#' operand=ALSBasicRelationTerm | {ALSUnaryMinus} => '-'
1472 // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (','
1473 // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall}
1474 // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (','
1475 // params+=ALSTerm)* ']' | ALSBasicRelationTerm;
1476 @Override public ParserRule getRule() { return rule; }
1477
1478 //{ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm |
1479 //{AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | {ALSReflectiveTransitiveClosure} "*"
1480 //operand=ALSBasicRelationTerm | {ALSCardinality} '#' operand=ALSBasicRelationTerm | {ALSUnaryMinus} => '-'
1481 //operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (','
1482 //variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} (referredDefinition=[ALSDefinition]
1483 //| referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' params+=ALSTerm)* ']' | ALSBasicRelationTerm
1484 public Alternatives getAlternatives() { return cAlternatives; }
1485
1486 //{ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm
1487 public Group getGroup_0() { return cGroup_0; }
1488
1489 //{ALSNot}
1490 public Action getALSNotAction_0_0() { return cALSNotAction_0_0; }
1491
1492 //=> ("!" | 'not')
1493 public Group getGroup_0_1() { return cGroup_0_1; }
1494
1495 //"!" | 'not'
1496 public Alternatives getAlternatives_0_1_0() { return cAlternatives_0_1_0; }
1497
1498 //"!"
1499 public Keyword getExclamationMarkKeyword_0_1_0_0() { return cExclamationMarkKeyword_0_1_0_0; }
1500
1501 //'not'
1502 public Keyword getNotKeyword_0_1_0_1() { return cNotKeyword_0_1_0_1; }
1503
1504 //operand=ALSBasicRelationTerm
1505 public Assignment getOperandAssignment_0_2() { return cOperandAssignment_0_2; }
1506
1507 //ALSBasicRelationTerm
1508 public RuleCall getOperandALSBasicRelationTermParserRuleCall_0_2_0() { return cOperandALSBasicRelationTermParserRuleCall_0_2_0; }
1509
1510 //{ALSInverseRelation} => "~" operand=ALSBasicRelationTerm
1511 public Group getGroup_1() { return cGroup_1; }
1512
1513 //{ALSInverseRelation}
1514 public Action getALSInverseRelationAction_1_0() { return cALSInverseRelationAction_1_0; }
1515
1516 //=> "~"
1517 public Keyword getTildeKeyword_1_1() { return cTildeKeyword_1_1; }
1518
1519 //operand=ALSBasicRelationTerm
1520 public Assignment getOperandAssignment_1_2() { return cOperandAssignment_1_2; }
1521
1522 //ALSBasicRelationTerm
1523 public RuleCall getOperandALSBasicRelationTermParserRuleCall_1_2_0() { return cOperandALSBasicRelationTermParserRuleCall_1_2_0; }
1524
1525 //{AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm
1526 public Group getGroup_2() { return cGroup_2; }
1527
1528 //{AlSTransitiveClosure}
1529 public Action getAlSTransitiveClosureAction_2_0() { return cAlSTransitiveClosureAction_2_0; }
1530
1531 //"^"
1532 public Keyword getCircumflexAccentKeyword_2_1() { return cCircumflexAccentKeyword_2_1; }
1533
1534 //operand=ALSBasicRelationTerm
1535 public Assignment getOperandAssignment_2_2() { return cOperandAssignment_2_2; }
1536
1537 //ALSBasicRelationTerm
1538 public RuleCall getOperandALSBasicRelationTermParserRuleCall_2_2_0() { return cOperandALSBasicRelationTermParserRuleCall_2_2_0; }
1539
1540 //{ALSReflectiveTransitiveClosure} "*" operand=ALSBasicRelationTerm
1541 public Group getGroup_3() { return cGroup_3; }
1542
1543 //{ALSReflectiveTransitiveClosure}
1544 public Action getALSReflectiveTransitiveClosureAction_3_0() { return cALSReflectiveTransitiveClosureAction_3_0; }
1545
1546 //"*"
1547 public Keyword getAsteriskKeyword_3_1() { return cAsteriskKeyword_3_1; }
1548
1549 //operand=ALSBasicRelationTerm
1550 public Assignment getOperandAssignment_3_2() { return cOperandAssignment_3_2; }
1551
1552 //ALSBasicRelationTerm
1553 public RuleCall getOperandALSBasicRelationTermParserRuleCall_3_2_0() { return cOperandALSBasicRelationTermParserRuleCall_3_2_0; }
1554
1555 //{ALSCardinality} '#' operand=ALSBasicRelationTerm
1556 public Group getGroup_4() { return cGroup_4; }
1557
1558 //{ALSCardinality}
1559 public Action getALSCardinalityAction_4_0() { return cALSCardinalityAction_4_0; }
1560
1561 //'#'
1562 public Keyword getNumberSignKeyword_4_1() { return cNumberSignKeyword_4_1; }
1563
1564 //operand=ALSBasicRelationTerm
1565 public Assignment getOperandAssignment_4_2() { return cOperandAssignment_4_2; }
1566
1567 //ALSBasicRelationTerm
1568 public RuleCall getOperandALSBasicRelationTermParserRuleCall_4_2_0() { return cOperandALSBasicRelationTermParserRuleCall_4_2_0; }
1569
1570 //{ALSUnaryMinus} => '-' operand=ALSBasicRelationTerm
1571 public Group getGroup_5() { return cGroup_5; }
1572
1573 //{ALSUnaryMinus}
1574 public Action getALSUnaryMinusAction_5_0() { return cALSUnaryMinusAction_5_0; }
1575
1576 //=> '-'
1577 public Keyword getHyphenMinusKeyword_5_1() { return cHyphenMinusKeyword_5_1; }
1578
1579 //operand=ALSBasicRelationTerm
1580 public Assignment getOperandAssignment_5_2() { return cOperandAssignment_5_2; }
1581
1582 //ALSBasicRelationTerm
1583 public RuleCall getOperandALSBasicRelationTermParserRuleCall_5_2_0() { return cOperandALSBasicRelationTermParserRuleCall_5_2_0; }
1584
1585 //{ALSSum} 'sum' variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}'
1586 public Group getGroup_6() { return cGroup_6; }
1587
1588 //{ALSSum}
1589 public Action getALSSumAction_6_0() { return cALSSumAction_6_0; }
1590
1591 //'sum'
1592 public Keyword getSumKeyword_6_1() { return cSumKeyword_6_1; }
1593
1594 //variables+=ALSVariableDeclaration
1595 public Assignment getVariablesAssignment_6_2() { return cVariablesAssignment_6_2; }
1596
1597 //ALSVariableDeclaration
1598 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_6_2_0() { return cVariablesALSVariableDeclarationParserRuleCall_6_2_0; }
1599
1600 //(',' variables+=ALSVariableDeclaration)*
1601 public Group getGroup_6_3() { return cGroup_6_3; }
1602
1603 //','
1604 public Keyword getCommaKeyword_6_3_0() { return cCommaKeyword_6_3_0; }
1605
1606 //variables+=ALSVariableDeclaration
1607 public Assignment getVariablesAssignment_6_3_1() { return cVariablesAssignment_6_3_1; }
1608
1609 //ALSVariableDeclaration
1610 public RuleCall getVariablesALSVariableDeclarationParserRuleCall_6_3_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_6_3_1_0; }
1611
1612 //'{'
1613 public Keyword getLeftCurlyBracketKeyword_6_4() { return cLeftCurlyBracketKeyword_6_4; }
1614
1615 //expression=ALSTerm
1616 public Assignment getExpressionAssignment_6_5() { return cExpressionAssignment_6_5; }
1617
1618 //ALSTerm
1619 public RuleCall getExpressionALSTermParserRuleCall_6_5_0() { return cExpressionALSTermParserRuleCall_6_5_0; }
1620
1621 //'}'
1622 public Keyword getRightCurlyBracketKeyword_6_6() { return cRightCurlyBracketKeyword_6_6; }
1623
1624 //{ALSFunctionCall} (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm
1625 //(',' params+=ALSTerm)* ']'
1626 public Group getGroup_7() { return cGroup_7; }
1627
1628 //{ALSFunctionCall}
1629 public Action getALSFunctionCallAction_7_0() { return cALSFunctionCallAction_7_0; }
1630
1631 //referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator
1632 public Alternatives getAlternatives_7_1() { return cAlternatives_7_1; }
1633
1634 //referredDefinition=[ALSDefinition]
1635 public Assignment getReferredDefinitionAssignment_7_1_0() { return cReferredDefinitionAssignment_7_1_0; }
1636
1637 //[ALSDefinition]
1638 public CrossReference getReferredDefinitionALSDefinitionCrossReference_7_1_0_0() { return cReferredDefinitionALSDefinitionCrossReference_7_1_0_0; }
1639
1640 //ID
1641 public RuleCall getReferredDefinitionALSDefinitionIDTerminalRuleCall_7_1_0_0_1() { return cReferredDefinitionALSDefinitionIDTerminalRuleCall_7_1_0_0_1; }
1642
1643 //referredNumericOperator=ALSNumericOperator
1644 public Assignment getReferredNumericOperatorAssignment_7_1_1() { return cReferredNumericOperatorAssignment_7_1_1; }
1645
1646 //ALSNumericOperator
1647 public RuleCall getReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0() { return cReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0; }
1648
1649 //'['
1650 public Keyword getLeftSquareBracketKeyword_7_2() { return cLeftSquareBracketKeyword_7_2; }
1651
1652 //params+=ALSTerm
1653 public Assignment getParamsAssignment_7_3() { return cParamsAssignment_7_3; }
1654
1655 //ALSTerm
1656 public RuleCall getParamsALSTermParserRuleCall_7_3_0() { return cParamsALSTermParserRuleCall_7_3_0; }
1657
1658 //(',' params+=ALSTerm)*
1659 public Group getGroup_7_4() { return cGroup_7_4; }
1660
1661 //','
1662 public Keyword getCommaKeyword_7_4_0() { return cCommaKeyword_7_4_0; }
1663
1664 //params+=ALSTerm
1665 public Assignment getParamsAssignment_7_4_1() { return cParamsAssignment_7_4_1; }
1666
1667 //ALSTerm
1668 public RuleCall getParamsALSTermParserRuleCall_7_4_1_0() { return cParamsALSTermParserRuleCall_7_4_1_0; }
1669
1670 //']'
1671 public Keyword getRightSquareBracketKeyword_7_5() { return cRightSquareBracketKeyword_7_5; }
1672
1673 //ALSBasicRelationTerm
1674 public RuleCall getALSBasicRelationTermParserRuleCall_8() { return cALSBasicRelationTermParserRuleCall_8; }
1675 }
1676
1677 public class ALSVariableDeclarationElements extends AbstractParserRuleElementFinder {
1678 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration");
1679 private final Group cGroup = (Group)rule.eContents().get(1);
1680 private final Assignment cNameAssignment_0 = (Assignment)cGroup.eContents().get(0);
1681 private final RuleCall cNameALSIDParserRuleCall_0_0 = (RuleCall)cNameAssignment_0.eContents().get(0);
1682 private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1);
1683 private final Assignment cRangeAssignment_2 = (Assignment)cGroup.eContents().get(2);
1684 private final RuleCall cRangeALSTermParserRuleCall_2_0 = (RuleCall)cRangeAssignment_2.eContents().get(0);
1685
1686 ////ALSVariable: name = ALSID;
1687 //ALSVariableDeclaration:
1688 // name=ALSID ':' range=ALSTerm;
1689 @Override public ParserRule getRule() { return rule; }
1690
1691 //name=ALSID ':' range=ALSTerm
1692 public Group getGroup() { return cGroup; }
1693
1694 //name=ALSID
1695 public Assignment getNameAssignment_0() { return cNameAssignment_0; }
1696
1697 //ALSID
1698 public RuleCall getNameALSIDParserRuleCall_0_0() { return cNameALSIDParserRuleCall_0_0; }
1699
1700 //':'
1701 public Keyword getColonKeyword_1() { return cColonKeyword_1; }
1702
1703 //range=ALSTerm
1704 public Assignment getRangeAssignment_2() { return cRangeAssignment_2; }
1705
1706 //ALSTerm
1707 public RuleCall getRangeALSTermParserRuleCall_2_0() { return cRangeALSTermParserRuleCall_2_0; }
1708 }
1709
1710 public class ALSBasicRelationTermElements extends AbstractParserRuleElementFinder {
1711 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm");
1712 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1713 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
1714 private final Action cALSNoneAction_0_0 = (Action)cGroup_0.eContents().get(0);
1715 private final Keyword cNoneKeyword_0_1 = (Keyword)cGroup_0.eContents().get(1);
1716 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
1717 private final Action cALSIdenAction_1_0 = (Action)cGroup_1.eContents().get(0);
1718 private final Keyword cIdenKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1719 private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2);
1720 private final Action cALSUnivAction_2_0 = (Action)cGroup_2.eContents().get(0);
1721 private final Keyword cUnivKeyword_2_1 = (Keyword)cGroup_2.eContents().get(1);
1722 private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3);
1723 private final Action cALSIntAction_3_0 = (Action)cGroup_3.eContents().get(0);
1724 private final Keyword cIntKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1);
1725 private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4);
1726 private final Action cALSStringAction_4_0 = (Action)cGroup_4.eContents().get(0);
1727 private final Keyword cStringKeyword_4_1 = (Keyword)cGroup_4.eContents().get(1);
1728 private final Group cGroup_5 = (Group)cAlternatives.eContents().get(5);
1729 private final Action cALSReferenceAction_5_0 = (Action)cGroup_5.eContents().get(0);
1730 private final Assignment cReferredAssignment_5_1 = (Assignment)cGroup_5.eContents().get(1);
1731 private final CrossReference cReferredALSRelationDeclarationCrossReference_5_1_0 = (CrossReference)cReferredAssignment_5_1.eContents().get(0);
1732 private final RuleCall cReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1 = (RuleCall)cReferredALSRelationDeclarationCrossReference_5_1_0.eContents().get(1);
1733 private final Group cGroup_6 = (Group)cAlternatives.eContents().get(6);
1734 private final Action cALSNumberLiteralAction_6_0 = (Action)cGroup_6.eContents().get(0);
1735 private final Assignment cValueAssignment_6_1 = (Assignment)cGroup_6.eContents().get(1);
1736 private final RuleCall cValueINTTerminalRuleCall_6_1_0 = (RuleCall)cValueAssignment_6_1.eContents().get(0);
1737 private final Group cGroup_7 = (Group)cAlternatives.eContents().get(7);
1738 private final Action cALSStringLiteralAction_7_0 = (Action)cGroup_7.eContents().get(0);
1739 private final Assignment cValueAssignment_7_1 = (Assignment)cGroup_7.eContents().get(1);
1740 private final RuleCall cValueSTRINGTerminalRuleCall_7_1_0 = (RuleCall)cValueAssignment_7_1.eContents().get(0);
1741 private final Group cGroup_8 = (Group)cAlternatives.eContents().get(8);
1742 private final Keyword cLeftParenthesisKeyword_8_0 = (Keyword)cGroup_8.eContents().get(0);
1743 private final RuleCall cALSTermParserRuleCall_8_1 = (RuleCall)cGroup_8.eContents().get(1);
1744 private final Keyword cRightParenthesisKeyword_8_2 = (Keyword)cGroup_8.eContents().get(2);
1745
1746 //ALSBasicRelationTerm ALSTerm:
1747 // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference}
1748 // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING |
1749 // '(' ALSTerm ')';
1750 @Override public ParserRule getRule() { return rule; }
1751
1752 //{ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference}
1753 //referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | '(' ALSTerm ')'
1754 public Alternatives getAlternatives() { return cAlternatives; }
1755
1756 //{ALSNone} 'none'
1757 public Group getGroup_0() { return cGroup_0; }
1758
1759 //{ALSNone}
1760 public Action getALSNoneAction_0_0() { return cALSNoneAction_0_0; }
1761
1762 //'none'
1763 public Keyword getNoneKeyword_0_1() { return cNoneKeyword_0_1; }
1764
1765 //{ALSIden} 'iden'
1766 public Group getGroup_1() { return cGroup_1; }
1767
1768 //{ALSIden}
1769 public Action getALSIdenAction_1_0() { return cALSIdenAction_1_0; }
1770
1771 //'iden'
1772 public Keyword getIdenKeyword_1_1() { return cIdenKeyword_1_1; }
1773
1774 //{ALSUniv} 'univ'
1775 public Group getGroup_2() { return cGroup_2; }
1776
1777 //{ALSUniv}
1778 public Action getALSUnivAction_2_0() { return cALSUnivAction_2_0; }
1779
1780 //'univ'
1781 public Keyword getUnivKeyword_2_1() { return cUnivKeyword_2_1; }
1782
1783 //{ALSInt} 'Int'
1784 public Group getGroup_3() { return cGroup_3; }
1785
1786 //{ALSInt}
1787 public Action getALSIntAction_3_0() { return cALSIntAction_3_0; }
1788
1789 //'Int'
1790 public Keyword getIntKeyword_3_1() { return cIntKeyword_3_1; }
1791
1792 //{ALSString} 'String'
1793 public Group getGroup_4() { return cGroup_4; }
1794
1795 //{ALSString}
1796 public Action getALSStringAction_4_0() { return cALSStringAction_4_0; }
1797
1798 //'String'
1799 public Keyword getStringKeyword_4_1() { return cStringKeyword_4_1; }
1800
1801 //{ALSReference} referred=[ALSRelationDeclaration]
1802 public Group getGroup_5() { return cGroup_5; }
1803
1804 //{ALSReference}
1805 public Action getALSReferenceAction_5_0() { return cALSReferenceAction_5_0; }
1806
1807 //referred=[ALSRelationDeclaration]
1808 public Assignment getReferredAssignment_5_1() { return cReferredAssignment_5_1; }
1809
1810 //[ALSRelationDeclaration]
1811 public CrossReference getReferredALSRelationDeclarationCrossReference_5_1_0() { return cReferredALSRelationDeclarationCrossReference_5_1_0; }
1812
1813 //ID
1814 public RuleCall getReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1() { return cReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1; }
1815
1816 //{ALSNumberLiteral} value=INT
1817 public Group getGroup_6() { return cGroup_6; }
1818
1819 //{ALSNumberLiteral}
1820 public Action getALSNumberLiteralAction_6_0() { return cALSNumberLiteralAction_6_0; }
1821
1822 //value=INT
1823 public Assignment getValueAssignment_6_1() { return cValueAssignment_6_1; }
1824
1825 //INT
1826 public RuleCall getValueINTTerminalRuleCall_6_1_0() { return cValueINTTerminalRuleCall_6_1_0; }
1827
1828 //{ALSStringLiteral} value=STRING
1829 public Group getGroup_7() { return cGroup_7; }
1830
1831 //{ALSStringLiteral}
1832 public Action getALSStringLiteralAction_7_0() { return cALSStringLiteralAction_7_0; }
1833
1834 //value=STRING
1835 public Assignment getValueAssignment_7_1() { return cValueAssignment_7_1; }
1836
1837 //STRING
1838 public RuleCall getValueSTRINGTerminalRuleCall_7_1_0() { return cValueSTRINGTerminalRuleCall_7_1_0; }
1839
1840 //'(' ALSTerm ')'
1841 public Group getGroup_8() { return cGroup_8; }
1842
1843 //'('
1844 public Keyword getLeftParenthesisKeyword_8_0() { return cLeftParenthesisKeyword_8_0; }
1845
1846 //ALSTerm
1847 public RuleCall getALSTermParserRuleCall_8_1() { return cALSTermParserRuleCall_8_1; }
1848
1849 //')'
1850 public Keyword getRightParenthesisKeyword_8_2() { return cRightParenthesisKeyword_8_2; }
1851 }
1852
1853 public class ALSRunCommandElements extends AbstractParserRuleElementFinder {
1854 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRunCommand");
1855 private final Group cGroup = (Group)rule.eContents().get(1);
1856 private final Action cALSRunCommandAction_0 = (Action)cGroup.eContents().get(0);
1857 private final Keyword cRunKeyword_1 = (Keyword)cGroup.eContents().get(1);
1858 private final Keyword cLeftCurlyBracketKeyword_2 = (Keyword)cGroup.eContents().get(2);
1859 private final Keyword cRightCurlyBracketKeyword_3 = (Keyword)cGroup.eContents().get(3);
1860 private final Group cGroup_4 = (Group)cGroup.eContents().get(4);
1861 private final Keyword cForKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0);
1862 private final Assignment cTypeScopesAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1);
1863 private final RuleCall cTypeScopesALSTypeScopeParserRuleCall_4_1_0 = (RuleCall)cTypeScopesAssignment_4_1.eContents().get(0);
1864 private final Group cGroup_4_2 = (Group)cGroup_4.eContents().get(2);
1865 private final Keyword cCommaKeyword_4_2_0 = (Keyword)cGroup_4_2.eContents().get(0);
1866 private final Assignment cTypeScopesAssignment_4_2_1 = (Assignment)cGroup_4_2.eContents().get(1);
1867 private final RuleCall cTypeScopesALSTypeScopeParserRuleCall_4_2_1_0 = (RuleCall)cTypeScopesAssignment_4_2_1.eContents().get(0);
1868
1869 ////////////////////////////////////
1870 //// ALS Commands and scopes
1871 ////////////////////////////////////
1872 //ALSRunCommand:
1873 // {ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?;
1874 @Override public ParserRule getRule() { return rule; }
1875
1876 //{ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?
1877 public Group getGroup() { return cGroup; }
1878
1879 //{ALSRunCommand}
1880 public Action getALSRunCommandAction_0() { return cALSRunCommandAction_0; }
1881
1882 //'run'
1883 public Keyword getRunKeyword_1() { return cRunKeyword_1; }
1884
1885 //'{'
1886 public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; }
1887
1888 //'}'
1889 public Keyword getRightCurlyBracketKeyword_3() { return cRightCurlyBracketKeyword_3; }
1890
1891 //('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?
1892 public Group getGroup_4() { return cGroup_4; }
1893
1894 //'for'
1895 public Keyword getForKeyword_4_0() { return cForKeyword_4_0; }
1896
1897 //typeScopes+=ALSTypeScope
1898 public Assignment getTypeScopesAssignment_4_1() { return cTypeScopesAssignment_4_1; }
1899
1900 //ALSTypeScope
1901 public RuleCall getTypeScopesALSTypeScopeParserRuleCall_4_1_0() { return cTypeScopesALSTypeScopeParserRuleCall_4_1_0; }
1902
1903 //(',' typeScopes+=ALSTypeScope)*
1904 public Group getGroup_4_2() { return cGroup_4_2; }
1905
1906 //','
1907 public Keyword getCommaKeyword_4_2_0() { return cCommaKeyword_4_2_0; }
1908
1909 //typeScopes+=ALSTypeScope
1910 public Assignment getTypeScopesAssignment_4_2_1() { return cTypeScopesAssignment_4_2_1; }
1911
1912 //ALSTypeScope
1913 public RuleCall getTypeScopesALSTypeScopeParserRuleCall_4_2_1_0() { return cTypeScopesALSTypeScopeParserRuleCall_4_2_1_0; }
1914 }
1915
1916 public class ALSTypeScopeElements extends AbstractParserRuleElementFinder {
1917 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTypeScope");
1918 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1919 private final RuleCall cALSSigScopeParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1920 private final RuleCall cALSIntScopeParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
1921 private final RuleCall cALSStringScopeParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
1922
1923 //ALSTypeScope:
1924 // ALSSigScope | ALSIntScope | ALSStringScope;
1925 @Override public ParserRule getRule() { return rule; }
1926
1927 //ALSSigScope | ALSIntScope | ALSStringScope
1928 public Alternatives getAlternatives() { return cAlternatives; }
1929
1930 //ALSSigScope
1931 public RuleCall getALSSigScopeParserRuleCall_0() { return cALSSigScopeParserRuleCall_0; }
1932
1933 //ALSIntScope
1934 public RuleCall getALSIntScopeParserRuleCall_1() { return cALSIntScopeParserRuleCall_1; }
1935
1936 //ALSStringScope
1937 public RuleCall getALSStringScopeParserRuleCall_2() { return cALSStringScopeParserRuleCall_2; }
1938 }
1939
1940 public class ALSSigScopeElements extends AbstractParserRuleElementFinder {
1941 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSigScope");
1942 private final Group cGroup = (Group)rule.eContents().get(1);
1943 private final Assignment cExactlyAssignment_0 = (Assignment)cGroup.eContents().get(0);
1944 private final Keyword cExactlyExactlyKeyword_0_0 = (Keyword)cExactlyAssignment_0.eContents().get(0);
1945 private final Assignment cNumberAssignment_1 = (Assignment)cGroup.eContents().get(1);
1946 private final RuleCall cNumberINTTerminalRuleCall_1_0 = (RuleCall)cNumberAssignment_1.eContents().get(0);
1947 private final Assignment cTypeAssignment_2 = (Assignment)cGroup.eContents().get(2);
1948 private final CrossReference cTypeALSSignatureDeclarationCrossReference_2_0 = (CrossReference)cTypeAssignment_2.eContents().get(0);
1949 private final RuleCall cTypeALSSignatureDeclarationIDTerminalRuleCall_2_0_1 = (RuleCall)cTypeALSSignatureDeclarationCrossReference_2_0.eContents().get(1);
1950
1951 //ALSSigScope:
1952 // exactly?='exactly'? number=INT type=[ALSSignatureDeclaration];
1953 @Override public ParserRule getRule() { return rule; }
1954
1955 //exactly?='exactly'? number=INT type=[ALSSignatureDeclaration]
1956 public Group getGroup() { return cGroup; }
1957
1958 //exactly?='exactly'?
1959 public Assignment getExactlyAssignment_0() { return cExactlyAssignment_0; }
1960
1961 //'exactly'
1962 public Keyword getExactlyExactlyKeyword_0_0() { return cExactlyExactlyKeyword_0_0; }
1963
1964 //number=INT
1965 public Assignment getNumberAssignment_1() { return cNumberAssignment_1; }
1966
1967 //INT
1968 public RuleCall getNumberINTTerminalRuleCall_1_0() { return cNumberINTTerminalRuleCall_1_0; }
1969
1970 //type=[ALSSignatureDeclaration]
1971 public Assignment getTypeAssignment_2() { return cTypeAssignment_2; }
1972
1973 //[ALSSignatureDeclaration]
1974 public CrossReference getTypeALSSignatureDeclarationCrossReference_2_0() { return cTypeALSSignatureDeclarationCrossReference_2_0; }
1975
1976 //ID
1977 public RuleCall getTypeALSSignatureDeclarationIDTerminalRuleCall_2_0_1() { return cTypeALSSignatureDeclarationIDTerminalRuleCall_2_0_1; }
1978 }
1979
1980 public class ALSIntScopeElements extends AbstractParserRuleElementFinder {
1981 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIntScope");
1982 private final Group cGroup = (Group)rule.eContents().get(1);
1983 private final Assignment cNumberAssignment_0 = (Assignment)cGroup.eContents().get(0);
1984 private final RuleCall cNumberINTTerminalRuleCall_0_0 = (RuleCall)cNumberAssignment_0.eContents().get(0);
1985 private final Keyword cIntKeyword_1 = (Keyword)cGroup.eContents().get(1);
1986
1987 //ALSIntScope:
1988 // number=INT 'Int';
1989 @Override public ParserRule getRule() { return rule; }
1990
1991 //number=INT 'Int'
1992 public Group getGroup() { return cGroup; }
1993
1994 //number=INT
1995 public Assignment getNumberAssignment_0() { return cNumberAssignment_0; }
1996
1997 //INT
1998 public RuleCall getNumberINTTerminalRuleCall_0_0() { return cNumberINTTerminalRuleCall_0_0; }
1999
2000 //'Int'
2001 public Keyword getIntKeyword_1() { return cIntKeyword_1; }
2002 }
2003
2004 public class ALSStringScopeElements extends AbstractParserRuleElementFinder {
2005 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSStringScope");
2006 private final Group cGroup = (Group)rule.eContents().get(1);
2007 private final Keyword cExactlyKeyword_0 = (Keyword)cGroup.eContents().get(0);
2008 private final Assignment cNumberAssignment_1 = (Assignment)cGroup.eContents().get(1);
2009 private final RuleCall cNumberINTTerminalRuleCall_1_0 = (RuleCall)cNumberAssignment_1.eContents().get(0);
2010 private final Keyword cStringKeyword_2 = (Keyword)cGroup.eContents().get(2);
2011
2012 //ALSStringScope:
2013 // 'exactly' number=INT 'String';
2014 @Override public ParserRule getRule() { return rule; }
2015
2016 //'exactly' number=INT 'String'
2017 public Group getGroup() { return cGroup; }
2018
2019 //'exactly'
2020 public Keyword getExactlyKeyword_0() { return cExactlyKeyword_0; }
2021
2022 //number=INT
2023 public Assignment getNumberAssignment_1() { return cNumberAssignment_1; }
2024
2025 //INT
2026 public RuleCall getNumberINTTerminalRuleCall_1_0() { return cNumberINTTerminalRuleCall_1_0; }
2027
2028 //'String'
2029 public Keyword getStringKeyword_2() { return cStringKeyword_2; }
2030 }
2031
2032
2033 public class ALSMultiplicityElements extends AbstractEnumRuleElementFinder {
2034 private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity");
2035 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
2036 private final EnumLiteralDeclaration cAllEnumLiteralDeclaration_0 = (EnumLiteralDeclaration)cAlternatives.eContents().get(0);
2037 private final Keyword cAllAllKeyword_0_0 = (Keyword)cAllEnumLiteralDeclaration_0.eContents().get(0);
2038 private final EnumLiteralDeclaration cNoEnumLiteralDeclaration_1 = (EnumLiteralDeclaration)cAlternatives.eContents().get(1);
2039 private final Keyword cNoNoKeyword_1_0 = (Keyword)cNoEnumLiteralDeclaration_1.eContents().get(0);
2040 private final EnumLiteralDeclaration cSomeEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2);
2041 private final Keyword cSomeSomeKeyword_2_0 = (Keyword)cSomeEnumLiteralDeclaration_2.eContents().get(0);
2042 private final EnumLiteralDeclaration cLoneEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3);
2043 private final Keyword cLoneLoneKeyword_3_0 = (Keyword)cLoneEnumLiteralDeclaration_3.eContents().get(0);
2044 private final EnumLiteralDeclaration cOneEnumLiteralDeclaration_4 = (EnumLiteralDeclaration)cAlternatives.eContents().get(4);
2045 private final Keyword cOneOneKeyword_4_0 = (Keyword)cOneEnumLiteralDeclaration_4.eContents().get(0);
2046 private final EnumLiteralDeclaration cSetEnumLiteralDeclaration_5 = (EnumLiteralDeclaration)cAlternatives.eContents().get(5);
2047 private final Keyword cSetSetKeyword_5_0 = (Keyword)cSetEnumLiteralDeclaration_5.eContents().get(0);
2048
2049 //enum ALSMultiplicity:
2050 // all | no | some | lone | one | set;
2051 public EnumRule getRule() { return rule; }
2052
2053 //all | no | some | lone | one | set
2054 public Alternatives getAlternatives() { return cAlternatives; }
2055
2056 //all
2057 public EnumLiteralDeclaration getAllEnumLiteralDeclaration_0() { return cAllEnumLiteralDeclaration_0; }
2058
2059 //"all"
2060 public Keyword getAllAllKeyword_0_0() { return cAllAllKeyword_0_0; }
2061
2062 //no
2063 public EnumLiteralDeclaration getNoEnumLiteralDeclaration_1() { return cNoEnumLiteralDeclaration_1; }
2064
2065 //"no"
2066 public Keyword getNoNoKeyword_1_0() { return cNoNoKeyword_1_0; }
2067
2068 //some
2069 public EnumLiteralDeclaration getSomeEnumLiteralDeclaration_2() { return cSomeEnumLiteralDeclaration_2; }
2070
2071 //"some"
2072 public Keyword getSomeSomeKeyword_2_0() { return cSomeSomeKeyword_2_0; }
2073
2074 //lone
2075 public EnumLiteralDeclaration getLoneEnumLiteralDeclaration_3() { return cLoneEnumLiteralDeclaration_3; }
2076
2077 //"lone"
2078 public Keyword getLoneLoneKeyword_3_0() { return cLoneLoneKeyword_3_0; }
2079
2080 //one
2081 public EnumLiteralDeclaration getOneEnumLiteralDeclaration_4() { return cOneEnumLiteralDeclaration_4; }
2082
2083 //"one"
2084 public Keyword getOneOneKeyword_4_0() { return cOneOneKeyword_4_0; }
2085
2086 //set
2087 public EnumLiteralDeclaration getSetEnumLiteralDeclaration_5() { return cSetEnumLiteralDeclaration_5; }
2088
2089 //"set"
2090 public Keyword getSetSetKeyword_5_0() { return cSetSetKeyword_5_0; }
2091 }
2092
2093 public class ALSNumericOperatorElements extends AbstractEnumRuleElementFinder {
2094 private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSNumericOperator");
2095 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
2096 private final EnumLiteralDeclaration cPlusEnumLiteralDeclaration_0 = (EnumLiteralDeclaration)cAlternatives.eContents().get(0);
2097 private final Keyword cPlusPlusKeyword_0_0 = (Keyword)cPlusEnumLiteralDeclaration_0.eContents().get(0);
2098 private final EnumLiteralDeclaration cSubEnumLiteralDeclaration_1 = (EnumLiteralDeclaration)cAlternatives.eContents().get(1);
2099 private final Keyword cSubSubKeyword_1_0 = (Keyword)cSubEnumLiteralDeclaration_1.eContents().get(0);
2100 private final EnumLiteralDeclaration cMulEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2);
2101 private final Keyword cMulMulKeyword_2_0 = (Keyword)cMulEnumLiteralDeclaration_2.eContents().get(0);
2102 private final EnumLiteralDeclaration cRemEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3);
2103 private final Keyword cRemRemKeyword_3_0 = (Keyword)cRemEnumLiteralDeclaration_3.eContents().get(0);
2104 private final EnumLiteralDeclaration cDivEnumLiteralDeclaration_4 = (EnumLiteralDeclaration)cAlternatives.eContents().get(4);
2105 private final Keyword cDivDivKeyword_4_0 = (Keyword)cDivEnumLiteralDeclaration_4.eContents().get(0);
2106
2107 //enum ALSNumericOperator:
2108 // plus | sub | mul | rem | div;
2109 public EnumRule getRule() { return rule; }
2110
2111 //plus | sub | mul | rem | div
2112 public Alternatives getAlternatives() { return cAlternatives; }
2113
2114 //plus
2115 public EnumLiteralDeclaration getPlusEnumLiteralDeclaration_0() { return cPlusEnumLiteralDeclaration_0; }
2116
2117 //"plus"
2118 public Keyword getPlusPlusKeyword_0_0() { return cPlusPlusKeyword_0_0; }
2119
2120 //sub
2121 public EnumLiteralDeclaration getSubEnumLiteralDeclaration_1() { return cSubEnumLiteralDeclaration_1; }
2122
2123 //"sub"
2124 public Keyword getSubSubKeyword_1_0() { return cSubSubKeyword_1_0; }
2125
2126 //mul
2127 public EnumLiteralDeclaration getMulEnumLiteralDeclaration_2() { return cMulEnumLiteralDeclaration_2; }
2128
2129 //"mul"
2130 public Keyword getMulMulKeyword_2_0() { return cMulMulKeyword_2_0; }
2131
2132 //rem
2133 public EnumLiteralDeclaration getRemEnumLiteralDeclaration_3() { return cRemEnumLiteralDeclaration_3; }
2134
2135 //"rem"
2136 public Keyword getRemRemKeyword_3_0() { return cRemRemKeyword_3_0; }
2137
2138 //div
2139 public EnumLiteralDeclaration getDivEnumLiteralDeclaration_4() { return cDivEnumLiteralDeclaration_4; }
2140
2141 //"div"
2142 public Keyword getDivDivKeyword_4_0() { return cDivDivKeyword_4_0; }
2143 }
2144
2145 private final ALSDocumentElements pALSDocument;
2146 private final TerminalRule tID;
2147 private final ALSIDElements pALSID;
2148 private final ALSMultiplicityElements eALSMultiplicity;
2149 private final ALSRelationDeclarationElements pALSRelationDeclaration;
2150 private final ALSTypeDeclarationElements pALSTypeDeclaration;
2151 private final ALSEnumDeclarationElements pALSEnumDeclaration;
2152 private final ALSEnumLiteralElements pALSEnumLiteral;
2153 private final ALSSignatureDeclarationElements pALSSignatureDeclaration;
2154 private final ALSSignatureBodyElements pALSSignatureBody;
2155 private final ALSFieldDeclarationElements pALSFieldDeclaration;
2156 private final ALSDefinitionElements pALSDefinition;
2157 private final ALSFunctionDefinitionElements pALSFunctionDefinition;
2158 private final ALSRelationDefinitionElements pALSRelationDefinition;
2159 private final ALSFactDeclarationElements pALSFactDeclaration;
2160 private final ALSTermElements pALSTerm;
2161 private final ALSQuantifiedElements pALSQuantified;
2162 private final ALSOrElements pALSOr;
2163 private final ALSIffElements pALSIff;
2164 private final ALSImplElements pALSImpl;
2165 private final ALSAndElements pALSAnd;
2166 private final ALSComparisonElements pALSComparison;
2167 private final ALSOverrideElements pALSOverride;
2168 private final ALSRangeRestrictionRightElements pALSRangeRestrictionRight;
2169 private final ALSRangeRestrictionLeftElements pALSRangeRestrictionLeft;
2170 private final ALSJoinElements pALSJoin;
2171 private final ALSMinusElements pALSMinus;
2172 private final ALSPlusElements pALSPlus;
2173 private final ALSIntersectionElements pALSIntersection;
2174 private final ALSDirectProductElements pALSDirectProduct;
2175 private final ALSPreficedElements pALSPreficed;
2176 private final ALSNumericOperatorElements eALSNumericOperator;
2177 private final ALSVariableDeclarationElements pALSVariableDeclaration;
2178 private final ALSBasicRelationTermElements pALSBasicRelationTerm;
2179 private final ALSRunCommandElements pALSRunCommand;
2180 private final ALSTypeScopeElements pALSTypeScope;
2181 private final ALSSigScopeElements pALSSigScope;
2182 private final ALSIntScopeElements pALSIntScope;
2183 private final ALSStringScopeElements pALSStringScope;
2184
2185 private final Grammar grammar;
2186
2187 private final TerminalsGrammarAccess gaTerminals;
2188
2189 @Inject
2190 public AlloyLanguageGrammarAccess(GrammarProvider grammarProvider,
2191 TerminalsGrammarAccess gaTerminals) {
2192 this.grammar = internalFindGrammar(grammarProvider);
2193 this.gaTerminals = gaTerminals;
2194 this.pALSDocument = new ALSDocumentElements();
2195 this.tID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ID");
2196 this.pALSID = new ALSIDElements();
2197 this.eALSMultiplicity = new ALSMultiplicityElements();
2198 this.pALSRelationDeclaration = new ALSRelationDeclarationElements();
2199 this.pALSTypeDeclaration = new ALSTypeDeclarationElements();
2200 this.pALSEnumDeclaration = new ALSEnumDeclarationElements();
2201 this.pALSEnumLiteral = new ALSEnumLiteralElements();
2202 this.pALSSignatureDeclaration = new ALSSignatureDeclarationElements();
2203 this.pALSSignatureBody = new ALSSignatureBodyElements();
2204 this.pALSFieldDeclaration = new ALSFieldDeclarationElements();
2205 this.pALSDefinition = new ALSDefinitionElements();
2206 this.pALSFunctionDefinition = new ALSFunctionDefinitionElements();
2207 this.pALSRelationDefinition = new ALSRelationDefinitionElements();
2208 this.pALSFactDeclaration = new ALSFactDeclarationElements();
2209 this.pALSTerm = new ALSTermElements();
2210 this.pALSQuantified = new ALSQuantifiedElements();
2211 this.pALSOr = new ALSOrElements();
2212 this.pALSIff = new ALSIffElements();
2213 this.pALSImpl = new ALSImplElements();
2214 this.pALSAnd = new ALSAndElements();
2215 this.pALSComparison = new ALSComparisonElements();
2216 this.pALSOverride = new ALSOverrideElements();
2217 this.pALSRangeRestrictionRight = new ALSRangeRestrictionRightElements();
2218 this.pALSRangeRestrictionLeft = new ALSRangeRestrictionLeftElements();
2219 this.pALSJoin = new ALSJoinElements();
2220 this.pALSMinus = new ALSMinusElements();
2221 this.pALSPlus = new ALSPlusElements();
2222 this.pALSIntersection = new ALSIntersectionElements();
2223 this.pALSDirectProduct = new ALSDirectProductElements();
2224 this.pALSPreficed = new ALSPreficedElements();
2225 this.eALSNumericOperator = new ALSNumericOperatorElements();
2226 this.pALSVariableDeclaration = new ALSVariableDeclarationElements();
2227 this.pALSBasicRelationTerm = new ALSBasicRelationTermElements();
2228 this.pALSRunCommand = new ALSRunCommandElements();
2229 this.pALSTypeScope = new ALSTypeScopeElements();
2230 this.pALSSigScope = new ALSSigScopeElements();
2231 this.pALSIntScope = new ALSIntScopeElements();
2232 this.pALSStringScope = new ALSStringScopeElements();
2233 }
2234
2235 protected Grammar internalFindGrammar(GrammarProvider grammarProvider) {
2236 Grammar grammar = grammarProvider.getGrammar(this);
2237 while (grammar != null) {
2238 if ("hu.bme.mit.inf.dslreasoner.AlloyLanguage".equals(grammar.getName())) {
2239 return grammar;
2240 }
2241 List<Grammar> grammars = grammar.getUsedGrammars();
2242 if (!grammars.isEmpty()) {
2243 grammar = grammars.iterator().next();
2244 } else {
2245 return null;
2246 }
2247 }
2248 return grammar;
2249 }
2250
2251 @Override
2252 public Grammar getGrammar() {
2253 return grammar;
2254 }
2255
2256
2257 public TerminalsGrammarAccess getTerminalsGrammarAccess() {
2258 return gaTerminals;
2259 }
2260
2261
2262 //ALSDocument:
2263 // (enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody |
2264 // functionDefinitions+=ALSFunctionDefinition | relationDefinitions+=ALSRelationDefinition |
2265 // factDeclarations+=ALSFactDeclaration)+
2266 // runCommand=ALSRunCommand;
2267 public ALSDocumentElements getALSDocumentAccess() {
2268 return pALSDocument;
2269 }
2270
2271 public ParserRule getALSDocumentRule() {
2272 return getALSDocumentAccess().getRule();
2273 }
2274
2275 //terminal ID:
2276 // ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | "'" | '"' | '0'..'9')*;
2277 public TerminalRule getIDRule() {
2278 return tID;
2279 }
2280
2281 //ALSID:
2282 // ID;
2283 public ALSIDElements getALSIDAccess() {
2284 return pALSID;
2285 }
2286
2287 public ParserRule getALSIDRule() {
2288 return getALSIDAccess().getRule();
2289 }
2290
2291 //enum ALSMultiplicity:
2292 // all | no | some | lone | one | set;
2293 public ALSMultiplicityElements getALSMultiplicityAccess() {
2294 return eALSMultiplicity;
2295 }
2296
2297 public EnumRule getALSMultiplicityRule() {
2298 return getALSMultiplicityAccess().getRule();
2299 }
2300
2301 ////////////////////////////////////
2302 //// ALS types
2303 ////////////////////////////////////
2304 //ALSRelationDeclaration:
2305 // ALSTypeDeclaration | ALSEnumLiteral | ALSFieldDeclaration | ALSVariableDeclaration;
2306 public ALSRelationDeclarationElements getALSRelationDeclarationAccess() {
2307 return pALSRelationDeclaration;
2308 }
2309
2310 public ParserRule getALSRelationDeclarationRule() {
2311 return getALSRelationDeclarationAccess().getRule();
2312 }
2313
2314 //ALSTypeDeclaration:
2315 // ALSEnumDeclaration | ALSSignatureDeclaration;
2316 public ALSTypeDeclarationElements getALSTypeDeclarationAccess() {
2317 return pALSTypeDeclaration;
2318 }
2319
2320 public ParserRule getALSTypeDeclarationRule() {
2321 return getALSTypeDeclarationAccess().getRule();
2322 }
2323
2324 //ALSEnumDeclaration:
2325 // 'enum' name=ALSID '{'
2326 // literal+=ALSEnumLiteral ("," literal+=ALSEnumLiteral)*
2327 // '}';
2328 public ALSEnumDeclarationElements getALSEnumDeclarationAccess() {
2329 return pALSEnumDeclaration;
2330 }
2331
2332 public ParserRule getALSEnumDeclarationRule() {
2333 return getALSEnumDeclarationAccess().getRule();
2334 }
2335
2336 //ALSEnumLiteral:
2337 // name=ALSID;
2338 public ALSEnumLiteralElements getALSEnumLiteralAccess() {
2339 return pALSEnumLiteral;
2340 }
2341
2342 public ParserRule getALSEnumLiteralRule() {
2343 return getALSEnumLiteralAccess().getRule();
2344 }
2345
2346 //ALSSignatureDeclaration:
2347 // name=ALSID;
2348 public ALSSignatureDeclarationElements getALSSignatureDeclarationAccess() {
2349 return pALSSignatureDeclaration;
2350 }
2351
2352 public ParserRule getALSSignatureDeclarationRule() {
2353 return getALSSignatureDeclarationAccess().getRule();
2354 }
2355
2356 //ALSSignatureBody:
2357 // (multiplicity=ALSMultiplicity? & abstract?='abstract'?)
2358 // 'sig'
2359 // declarations+=ALSSignatureDeclaration (',' declarations+=ALSSignatureDeclaration)* ('extends'
2360 // supertype=[ALSSignatureDeclaration] | 'in' superset+=[ALSSignatureDeclaration] ('+'
2361 // superset+=[ALSSignatureDeclaration])*)?
2362 // '{' (fields+=ALSFieldDeclaration ("," fields+=ALSFieldDeclaration)*)? '}';
2363 public ALSSignatureBodyElements getALSSignatureBodyAccess() {
2364 return pALSSignatureBody;
2365 }
2366
2367 public ParserRule getALSSignatureBodyRule() {
2368 return getALSSignatureBodyAccess().getRule();
2369 }
2370
2371 //ALSFieldDeclaration:
2372 // name=ALSID ':' multiplicity=ALSMultiplicity? type=ALSTerm;
2373 public ALSFieldDeclarationElements getALSFieldDeclarationAccess() {
2374 return pALSFieldDeclaration;
2375 }
2376
2377 public ParserRule getALSFieldDeclarationRule() {
2378 return getALSFieldDeclarationAccess().getRule();
2379 }
2380
2381 //ALSDefinition:
2382 // ALSFunctionDefinition | ALSRelationDefinition;
2383 public ALSDefinitionElements getALSDefinitionAccess() {
2384 return pALSDefinition;
2385 }
2386
2387 public ParserRule getALSDefinitionRule() {
2388 return getALSDefinitionAccess().getRule();
2389 }
2390
2391 //ALSFunctionDefinition:
2392 // "fun" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" ":" type=ALSTerm
2393 // "{" value=ALSTerm "}";
2394 public ALSFunctionDefinitionElements getALSFunctionDefinitionAccess() {
2395 return pALSFunctionDefinition;
2396 }
2397
2398 public ParserRule getALSFunctionDefinitionRule() {
2399 return getALSFunctionDefinitionAccess().getRule();
2400 }
2401
2402 //ALSRelationDefinition:
2403 // "pred" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]"
2404 // "{" value=ALSTerm "}";
2405 public ALSRelationDefinitionElements getALSRelationDefinitionAccess() {
2406 return pALSRelationDefinition;
2407 }
2408
2409 public ParserRule getALSRelationDefinitionRule() {
2410 return getALSRelationDefinitionAccess().getRule();
2411 }
2412
2413 //ALSFactDeclaration:
2414 // {ALSFactDeclaration} 'fact' name=ALSID? '{' term=ALSTerm '}';
2415 public ALSFactDeclarationElements getALSFactDeclarationAccess() {
2416 return pALSFactDeclaration;
2417 }
2418
2419 public ParserRule getALSFactDeclarationRule() {
2420 return getALSFactDeclarationAccess().getRule();
2421 }
2422
2423 ////////////////////////////////////
2424 //// ALS terms
2425 ////////////////////////////////////
2426 //ALSTerm:
2427 // ALSQuantified;
2428 public ALSTermElements getALSTermAccess() {
2429 return pALSTerm;
2430 }
2431
2432 public ParserRule getALSTermRule() {
2433 return getALSTermAccess().getRule();
2434 }
2435
2436 //ALSQuantified ALSTerm:
2437 // {ALSQuantifiedEx} type=ALSMultiplicity
2438 // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' |
2439 // ALSOr;
2440 public ALSQuantifiedElements getALSQuantifiedAccess() {
2441 return pALSQuantified;
2442 }
2443
2444 public ParserRule getALSQuantifiedRule() {
2445 return getALSQuantifiedAccess().getRule();
2446 }
2447
2448 //ALSOr ALSTerm:
2449 // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?;
2450 public ALSOrElements getALSOrAccess() {
2451 return pALSOr;
2452 }
2453
2454 public ParserRule getALSOrRule() {
2455 return getALSOrAccess().getRule();
2456 }
2457
2458 //ALSIff ALSTerm:
2459 // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?;
2460 public ALSIffElements getALSIffAccess() {
2461 return pALSIff;
2462 }
2463
2464 public ParserRule getALSIffRule() {
2465 return getALSIffAccess().getRule();
2466 }
2467
2468 //ALSImpl ALSTerm:
2469 // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?;
2470 public ALSImplElements getALSImplAccess() {
2471 return pALSImpl;
2472 }
2473
2474 public ParserRule getALSImplRule() {
2475 return getALSImplAccess().getRule();
2476 }
2477
2478 //ALSAnd ALSTerm:
2479 // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?;
2480 public ALSAndElements getALSAndAccess() {
2481 return pALSAnd;
2482 }
2483
2484 public ParserRule getALSAndRule() {
2485 return getALSAndAccess().getRule();
2486 }
2487
2488 //ALSComparison ALSTerm:
2489 // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" |
2490 // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" |
2491 // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?;
2492 public ALSComparisonElements getALSComparisonAccess() {
2493 return pALSComparison;
2494 }
2495
2496 public ParserRule getALSComparisonRule() {
2497 return getALSComparisonAccess().getRule();
2498 }
2499
2500 //ALSOverride ALSTerm:
2501 // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?;
2502 public ALSOverrideElements getALSOverrideAccess() {
2503 return pALSOverride;
2504 }
2505
2506 public ParserRule getALSOverrideRule() {
2507 return getALSOverrideAccess().getRule();
2508 }
2509
2510 //ALSRangeRestrictionRight ALSTerm:
2511 // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?;
2512 public ALSRangeRestrictionRightElements getALSRangeRestrictionRightAccess() {
2513 return pALSRangeRestrictionRight;
2514 }
2515
2516 public ParserRule getALSRangeRestrictionRightRule() {
2517 return getALSRangeRestrictionRightAccess().getRule();
2518 }
2519
2520 //ALSRangeRestrictionLeft ALSTerm:
2521 // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?;
2522 public ALSRangeRestrictionLeftElements getALSRangeRestrictionLeftAccess() {
2523 return pALSRangeRestrictionLeft;
2524 }
2525
2526 public ParserRule getALSRangeRestrictionLeftRule() {
2527 return getALSRangeRestrictionLeftAccess().getRule();
2528 }
2529
2530 //ALSJoin ALSTerm:
2531 // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*;
2532 public ALSJoinElements getALSJoinAccess() {
2533 return pALSJoin;
2534 }
2535
2536 public ParserRule getALSJoinRule() {
2537 return getALSJoinAccess().getRule();
2538 }
2539
2540 //ALSMinus ALSTerm:
2541 // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*;
2542 public ALSMinusElements getALSMinusAccess() {
2543 return pALSMinus;
2544 }
2545
2546 public ParserRule getALSMinusRule() {
2547 return getALSMinusAccess().getRule();
2548 }
2549
2550 //ALSPlus ALSTerm:
2551 // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*;
2552 public ALSPlusElements getALSPlusAccess() {
2553 return pALSPlus;
2554 }
2555
2556 public ParserRule getALSPlusRule() {
2557 return getALSPlusAccess().getRule();
2558 }
2559
2560 //ALSIntersection ALSTerm:
2561 // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*;
2562 public ALSIntersectionElements getALSIntersectionAccess() {
2563 return pALSIntersection;
2564 }
2565
2566 public ParserRule getALSIntersectionRule() {
2567 return getALSIntersectionAccess().getRule();
2568 }
2569
2570 ////ALSMultiply returns ALSTerm: ALSDirectProduct ({ALSMultiply.leftOperand = current} '*' rightOperand = ALSDirectProduct)*;
2571 //ALSDirectProduct ALSTerm:
2572 // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity?
2573 // '->'
2574 // rightMultiplicit=ALSMultiplicity?
2575 // rightOperand=ALSPreficed)?;
2576 public ALSDirectProductElements getALSDirectProductAccess() {
2577 return pALSDirectProduct;
2578 }
2579
2580 public ParserRule getALSDirectProductRule() {
2581 return getALSDirectProductAccess().getRule();
2582 }
2583
2584 //ALSPreficed ALSTerm:
2585 // {ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm |
2586 // {AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | {ALSReflectiveTransitiveClosure} "*"
2587 // operand=ALSBasicRelationTerm | {ALSCardinality} '#' operand=ALSBasicRelationTerm | {ALSUnaryMinus} => '-'
2588 // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (','
2589 // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall}
2590 // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (','
2591 // params+=ALSTerm)* ']' | ALSBasicRelationTerm;
2592 public ALSPreficedElements getALSPreficedAccess() {
2593 return pALSPreficed;
2594 }
2595
2596 public ParserRule getALSPreficedRule() {
2597 return getALSPreficedAccess().getRule();
2598 }
2599
2600 //enum ALSNumericOperator:
2601 // plus | sub | mul | rem | div;
2602 public ALSNumericOperatorElements getALSNumericOperatorAccess() {
2603 return eALSNumericOperator;
2604 }
2605
2606 public EnumRule getALSNumericOperatorRule() {
2607 return getALSNumericOperatorAccess().getRule();
2608 }
2609
2610 ////ALSVariable: name = ALSID;
2611 //ALSVariableDeclaration:
2612 // name=ALSID ':' range=ALSTerm;
2613 public ALSVariableDeclarationElements getALSVariableDeclarationAccess() {
2614 return pALSVariableDeclaration;
2615 }
2616
2617 public ParserRule getALSVariableDeclarationRule() {
2618 return getALSVariableDeclarationAccess().getRule();
2619 }
2620
2621 //ALSBasicRelationTerm ALSTerm:
2622 // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference}
2623 // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING |
2624 // '(' ALSTerm ')';
2625 public ALSBasicRelationTermElements getALSBasicRelationTermAccess() {
2626 return pALSBasicRelationTerm;
2627 }
2628
2629 public ParserRule getALSBasicRelationTermRule() {
2630 return getALSBasicRelationTermAccess().getRule();
2631 }
2632
2633 ////////////////////////////////////
2634 //// ALS Commands and scopes
2635 ////////////////////////////////////
2636 //ALSRunCommand:
2637 // {ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?;
2638 public ALSRunCommandElements getALSRunCommandAccess() {
2639 return pALSRunCommand;
2640 }
2641
2642 public ParserRule getALSRunCommandRule() {
2643 return getALSRunCommandAccess().getRule();
2644 }
2645
2646 //ALSTypeScope:
2647 // ALSSigScope | ALSIntScope | ALSStringScope;
2648 public ALSTypeScopeElements getALSTypeScopeAccess() {
2649 return pALSTypeScope;
2650 }
2651
2652 public ParserRule getALSTypeScopeRule() {
2653 return getALSTypeScopeAccess().getRule();
2654 }
2655
2656 //ALSSigScope:
2657 // exactly?='exactly'? number=INT type=[ALSSignatureDeclaration];
2658 public ALSSigScopeElements getALSSigScopeAccess() {
2659 return pALSSigScope;
2660 }
2661
2662 public ParserRule getALSSigScopeRule() {
2663 return getALSSigScopeAccess().getRule();
2664 }
2665
2666 //ALSIntScope:
2667 // number=INT 'Int';
2668 public ALSIntScopeElements getALSIntScopeAccess() {
2669 return pALSIntScope;
2670 }
2671
2672 public ParserRule getALSIntScopeRule() {
2673 return getALSIntScopeAccess().getRule();
2674 }
2675
2676 //ALSStringScope:
2677 // 'exactly' number=INT 'String';
2678 public ALSStringScopeElements getALSStringScopeAccess() {
2679 return pALSStringScope;
2680 }
2681
2682 public ParserRule getALSStringScopeRule() {
2683 return getALSStringScopeAccess().getRule();
2684 }
2685
2686 //terminal INT returns ecore::EInt:
2687 // '0'..'9'+;
2688 public TerminalRule getINTRule() {
2689 return gaTerminals.getINTRule();
2690 }
2691
2692 //terminal STRING:
2693 // '"' ('\\' . | !('\\' | '"'))* '"' | "'" ('\\' . | !('\\' | "'"))* "'";
2694 public TerminalRule getSTRINGRule() {
2695 return gaTerminals.getSTRINGRule();
2696 }
2697
2698 //terminal ML_COMMENT:
2699 // '/*'->'*/';
2700 public TerminalRule getML_COMMENTRule() {
2701 return gaTerminals.getML_COMMENTRule();
2702 }
2703
2704 //terminal SL_COMMENT:
2705 // '//' !('\n' | '\r')* ('\r'? '\n')?;
2706 public TerminalRule getSL_COMMENTRule() {
2707 return gaTerminals.getSL_COMMENTRule();
2708 }
2709
2710 //terminal WS:
2711 // ' ' | '\t' | '\r' | '\n'+;
2712 public TerminalRule getWSRule() {
2713 return gaTerminals.getWSRule();
2714 }
2715
2716 //terminal ANY_OTHER:
2717 // .;
2718 public TerminalRule getANY_OTHERRule() {
2719 return gaTerminals.getANY_OTHERRule();
2720 }
2721}
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-26 03:16:44 +0000