aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java')
-rw-r--r--language-web/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java1706
1 files changed, 1706 insertions, 0 deletions
diff --git a/language-web/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java b/language-web/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java
new file mode 100644
index 00000000..4368036b
--- /dev/null
+++ b/language-web/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java
@@ -0,0 +1,1706 @@
1/*
2 * generated by Xtext 2.26.0.M1
3 */
4package org.eclipse.viatra.solver.language.services;
5
6import com.google.inject.Inject;
7import com.google.inject.Singleton;
8import java.util.List;
9import org.eclipse.xtext.Action;
10import org.eclipse.xtext.Alternatives;
11import org.eclipse.xtext.Assignment;
12import org.eclipse.xtext.CrossReference;
13import org.eclipse.xtext.EnumLiteralDeclaration;
14import org.eclipse.xtext.EnumRule;
15import org.eclipse.xtext.Grammar;
16import org.eclipse.xtext.GrammarUtil;
17import org.eclipse.xtext.Group;
18import org.eclipse.xtext.Keyword;
19import org.eclipse.xtext.ParserRule;
20import org.eclipse.xtext.RuleCall;
21import org.eclipse.xtext.TerminalRule;
22import org.eclipse.xtext.common.services.TerminalsGrammarAccess;
23import org.eclipse.xtext.service.AbstractElementFinder;
24import org.eclipse.xtext.service.GrammarProvider;
25
26@Singleton
27public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarElementFinder {
28
29 public class ProblemElements extends AbstractParserRuleElementFinder {
30 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Problem");
31 private final Group cGroup = (Group)rule.eContents().get(1);
32 private final Group cGroup_0 = (Group)cGroup.eContents().get(0);
33 private final Keyword cProblemKeyword_0_0 = (Keyword)cGroup_0.eContents().get(0);
34 private final Assignment cNameAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1);
35 private final RuleCall cNameIdentifierParserRuleCall_0_1_0 = (RuleCall)cNameAssignment_0_1.eContents().get(0);
36 private final Keyword cFullStopKeyword_0_2 = (Keyword)cGroup_0.eContents().get(2);
37 private final Assignment cStatementsAssignment_1 = (Assignment)cGroup.eContents().get(1);
38 private final RuleCall cStatementsStatementParserRuleCall_1_0 = (RuleCall)cStatementsAssignment_1.eContents().get(0);
39
40 //Problem:
41 // ("problem" name=Identifier ".")?
42 // statements+=Statement*;
43 @Override public ParserRule getRule() { return rule; }
44
45 //("problem" name=Identifier ".")?
46 //statements+=Statement*
47 public Group getGroup() { return cGroup; }
48
49 //("problem" name=Identifier ".")?
50 public Group getGroup_0() { return cGroup_0; }
51
52 //"problem"
53 public Keyword getProblemKeyword_0_0() { return cProblemKeyword_0_0; }
54
55 //name=Identifier
56 public Assignment getNameAssignment_0_1() { return cNameAssignment_0_1; }
57
58 //Identifier
59 public RuleCall getNameIdentifierParserRuleCall_0_1_0() { return cNameIdentifierParserRuleCall_0_1_0; }
60
61 //"."
62 public Keyword getFullStopKeyword_0_2() { return cFullStopKeyword_0_2; }
63
64 //statements+=Statement*
65 public Assignment getStatementsAssignment_1() { return cStatementsAssignment_1; }
66
67 //Statement
68 public RuleCall getStatementsStatementParserRuleCall_1_0() { return cStatementsStatementParserRuleCall_1_0; }
69 }
70 public class StatementElements extends AbstractParserRuleElementFinder {
71 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Statement");
72 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
73 private final RuleCall cClassDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
74 private final RuleCall cEnumDeclarationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
75 private final RuleCall cPredicateDefinitionParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
76 private final RuleCall cAssertionParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3);
77 private final RuleCall cScopeDeclarationParserRuleCall_4 = (RuleCall)cAlternatives.eContents().get(4);
78
79 //Statement:
80 // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration;
81 @Override public ParserRule getRule() { return rule; }
82
83 //ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration
84 public Alternatives getAlternatives() { return cAlternatives; }
85
86 //ClassDeclaration
87 public RuleCall getClassDeclarationParserRuleCall_0() { return cClassDeclarationParserRuleCall_0; }
88
89 //EnumDeclaration
90 public RuleCall getEnumDeclarationParserRuleCall_1() { return cEnumDeclarationParserRuleCall_1; }
91
92 //PredicateDefinition
93 public RuleCall getPredicateDefinitionParserRuleCall_2() { return cPredicateDefinitionParserRuleCall_2; }
94
95 //Assertion
96 public RuleCall getAssertionParserRuleCall_3() { return cAssertionParserRuleCall_3; }
97
98 //ScopeDeclaration
99 public RuleCall getScopeDeclarationParserRuleCall_4() { return cScopeDeclarationParserRuleCall_4; }
100 }
101 public class ClassDeclarationElements extends AbstractParserRuleElementFinder {
102 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ClassDeclaration");
103 private final Group cGroup = (Group)rule.eContents().get(1);
104 private final Assignment cAbstractAssignment_0 = (Assignment)cGroup.eContents().get(0);
105 private final Keyword cAbstractAbstractKeyword_0_0 = (Keyword)cAbstractAssignment_0.eContents().get(0);
106 private final Keyword cClassKeyword_1 = (Keyword)cGroup.eContents().get(1);
107 private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2);
108 private final RuleCall cNameIdentifierParserRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0);
109 private final Group cGroup_3 = (Group)cGroup.eContents().get(3);
110 private final Keyword cExtendsKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0);
111 private final Assignment cSuperTypesAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1);
112 private final CrossReference cSuperTypesRelationCrossReference_3_1_0 = (CrossReference)cSuperTypesAssignment_3_1.eContents().get(0);
113 private final RuleCall cSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1 = (RuleCall)cSuperTypesRelationCrossReference_3_1_0.eContents().get(1);
114 private final Group cGroup_3_2 = (Group)cGroup_3.eContents().get(2);
115 private final Keyword cCommaKeyword_3_2_0 = (Keyword)cGroup_3_2.eContents().get(0);
116 private final Assignment cSuperTypesAssignment_3_2_1 = (Assignment)cGroup_3_2.eContents().get(1);
117 private final CrossReference cSuperTypesRelationCrossReference_3_2_1_0 = (CrossReference)cSuperTypesAssignment_3_2_1.eContents().get(0);
118 private final RuleCall cSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1 = (RuleCall)cSuperTypesRelationCrossReference_3_2_1_0.eContents().get(1);
119 private final Alternatives cAlternatives_4 = (Alternatives)cGroup.eContents().get(4);
120 private final Group cGroup_4_0 = (Group)cAlternatives_4.eContents().get(0);
121 private final Keyword cLeftCurlyBracketKeyword_4_0_0 = (Keyword)cGroup_4_0.eContents().get(0);
122 private final Group cGroup_4_0_1 = (Group)cGroup_4_0.eContents().get(1);
123 private final Assignment cReferenceDeclarationsAssignment_4_0_1_0 = (Assignment)cGroup_4_0_1.eContents().get(0);
124 private final RuleCall cReferenceDeclarationsReferenceDeclarationParserRuleCall_4_0_1_0_0 = (RuleCall)cReferenceDeclarationsAssignment_4_0_1_0.eContents().get(0);
125 private final Keyword cSemicolonKeyword_4_0_1_1 = (Keyword)cGroup_4_0_1.eContents().get(1);
126 private final Keyword cRightCurlyBracketKeyword_4_0_2 = (Keyword)cGroup_4_0.eContents().get(2);
127 private final Keyword cFullStopKeyword_4_1 = (Keyword)cAlternatives_4.eContents().get(1);
128
129 //ClassDeclaration:
130 // abstract?="abstract"? "class"
131 // name=Identifier
132 // ("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)?
133 // ("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".");
134 @Override public ParserRule getRule() { return rule; }
135
136 //abstract?="abstract"? "class"
137 //name=Identifier
138 //("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)?
139 //("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".")
140 public Group getGroup() { return cGroup; }
141
142 //abstract?="abstract"?
143 public Assignment getAbstractAssignment_0() { return cAbstractAssignment_0; }
144
145 //"abstract"
146 public Keyword getAbstractAbstractKeyword_0_0() { return cAbstractAbstractKeyword_0_0; }
147
148 //"class"
149 public Keyword getClassKeyword_1() { return cClassKeyword_1; }
150
151 //name=Identifier
152 public Assignment getNameAssignment_2() { return cNameAssignment_2; }
153
154 //Identifier
155 public RuleCall getNameIdentifierParserRuleCall_2_0() { return cNameIdentifierParserRuleCall_2_0; }
156
157 //("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)?
158 public Group getGroup_3() { return cGroup_3; }
159
160 //"extends"
161 public Keyword getExtendsKeyword_3_0() { return cExtendsKeyword_3_0; }
162
163 //superTypes+=[Relation|QualifiedName]
164 public Assignment getSuperTypesAssignment_3_1() { return cSuperTypesAssignment_3_1; }
165
166 //[Relation|QualifiedName]
167 public CrossReference getSuperTypesRelationCrossReference_3_1_0() { return cSuperTypesRelationCrossReference_3_1_0; }
168
169 //QualifiedName
170 public RuleCall getSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1() { return cSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1; }
171
172 //("," superTypes+=[Relation|QualifiedName])*
173 public Group getGroup_3_2() { return cGroup_3_2; }
174
175 //","
176 public Keyword getCommaKeyword_3_2_0() { return cCommaKeyword_3_2_0; }
177
178 //superTypes+=[Relation|QualifiedName]
179 public Assignment getSuperTypesAssignment_3_2_1() { return cSuperTypesAssignment_3_2_1; }
180
181 //[Relation|QualifiedName]
182 public CrossReference getSuperTypesRelationCrossReference_3_2_1_0() { return cSuperTypesRelationCrossReference_3_2_1_0; }
183
184 //QualifiedName
185 public RuleCall getSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1() { return cSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1; }
186
187 //("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".")
188 public Alternatives getAlternatives_4() { return cAlternatives_4; }
189
190 //"{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}"
191 public Group getGroup_4_0() { return cGroup_4_0; }
192
193 //"{"
194 public Keyword getLeftCurlyBracketKeyword_4_0_0() { return cLeftCurlyBracketKeyword_4_0_0; }
195
196 //(referenceDeclarations+=ReferenceDeclaration ";"?)*
197 public Group getGroup_4_0_1() { return cGroup_4_0_1; }
198
199 //referenceDeclarations+=ReferenceDeclaration
200 public Assignment getReferenceDeclarationsAssignment_4_0_1_0() { return cReferenceDeclarationsAssignment_4_0_1_0; }
201
202 //ReferenceDeclaration
203 public RuleCall getReferenceDeclarationsReferenceDeclarationParserRuleCall_4_0_1_0_0() { return cReferenceDeclarationsReferenceDeclarationParserRuleCall_4_0_1_0_0; }
204
205 //";"?
206 public Keyword getSemicolonKeyword_4_0_1_1() { return cSemicolonKeyword_4_0_1_1; }
207
208 //"}"
209 public Keyword getRightCurlyBracketKeyword_4_0_2() { return cRightCurlyBracketKeyword_4_0_2; }
210
211 //"."
212 public Keyword getFullStopKeyword_4_1() { return cFullStopKeyword_4_1; }
213 }
214 public class EnumDeclarationElements extends AbstractParserRuleElementFinder {
215 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.EnumDeclaration");
216 private final Group cGroup = (Group)rule.eContents().get(1);
217 private final Keyword cEnumKeyword_0 = (Keyword)cGroup.eContents().get(0);
218 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
219 private final RuleCall cNameIdentifierParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
220 private final Alternatives cAlternatives_2 = (Alternatives)cGroup.eContents().get(2);
221 private final Group cGroup_2_0 = (Group)cAlternatives_2.eContents().get(0);
222 private final Keyword cLeftCurlyBracketKeyword_2_0_0 = (Keyword)cGroup_2_0.eContents().get(0);
223 private final Group cGroup_2_0_1 = (Group)cGroup_2_0.eContents().get(1);
224 private final Assignment cLiteralsAssignment_2_0_1_0 = (Assignment)cGroup_2_0_1.eContents().get(0);
225 private final RuleCall cLiteralsEnumLiteralParserRuleCall_2_0_1_0_0 = (RuleCall)cLiteralsAssignment_2_0_1_0.eContents().get(0);
226 private final Group cGroup_2_0_1_1 = (Group)cGroup_2_0_1.eContents().get(1);
227 private final Keyword cCommaKeyword_2_0_1_1_0 = (Keyword)cGroup_2_0_1_1.eContents().get(0);
228 private final Assignment cLiteralsAssignment_2_0_1_1_1 = (Assignment)cGroup_2_0_1_1.eContents().get(1);
229 private final RuleCall cLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0 = (RuleCall)cLiteralsAssignment_2_0_1_1_1.eContents().get(0);
230 private final Alternatives cAlternatives_2_0_1_2 = (Alternatives)cGroup_2_0_1.eContents().get(2);
231 private final Keyword cCommaKeyword_2_0_1_2_0 = (Keyword)cAlternatives_2_0_1_2.eContents().get(0);
232 private final Keyword cSemicolonKeyword_2_0_1_2_1 = (Keyword)cAlternatives_2_0_1_2.eContents().get(1);
233 private final Keyword cRightCurlyBracketKeyword_2_0_2 = (Keyword)cGroup_2_0.eContents().get(2);
234 private final Keyword cFullStopKeyword_2_1 = (Keyword)cAlternatives_2.eContents().get(1);
235
236 //EnumDeclaration:
237 // "enum"
238 // name=Identifier
239 // ("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ".");
240 @Override public ParserRule getRule() { return rule; }
241
242 //"enum"
243 //name=Identifier
244 //("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ".")
245 public Group getGroup() { return cGroup; }
246
247 //"enum"
248 public Keyword getEnumKeyword_0() { return cEnumKeyword_0; }
249
250 //name=Identifier
251 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
252
253 //Identifier
254 public RuleCall getNameIdentifierParserRuleCall_1_0() { return cNameIdentifierParserRuleCall_1_0; }
255
256 //("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ".")
257 public Alternatives getAlternatives_2() { return cAlternatives_2; }
258
259 //"{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}"
260 public Group getGroup_2_0() { return cGroup_2_0; }
261
262 //"{"
263 public Keyword getLeftCurlyBracketKeyword_2_0_0() { return cLeftCurlyBracketKeyword_2_0_0; }
264
265 //(literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)?
266 public Group getGroup_2_0_1() { return cGroup_2_0_1; }
267
268 //literals+=EnumLiteral
269 public Assignment getLiteralsAssignment_2_0_1_0() { return cLiteralsAssignment_2_0_1_0; }
270
271 //EnumLiteral
272 public RuleCall getLiteralsEnumLiteralParserRuleCall_2_0_1_0_0() { return cLiteralsEnumLiteralParserRuleCall_2_0_1_0_0; }
273
274 //("," literals+=EnumLiteral)*
275 public Group getGroup_2_0_1_1() { return cGroup_2_0_1_1; }
276
277 //","
278 public Keyword getCommaKeyword_2_0_1_1_0() { return cCommaKeyword_2_0_1_1_0; }
279
280 //literals+=EnumLiteral
281 public Assignment getLiteralsAssignment_2_0_1_1_1() { return cLiteralsAssignment_2_0_1_1_1; }
282
283 //EnumLiteral
284 public RuleCall getLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0() { return cLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0; }
285
286 //("," | ";")?
287 public Alternatives getAlternatives_2_0_1_2() { return cAlternatives_2_0_1_2; }
288
289 //","
290 public Keyword getCommaKeyword_2_0_1_2_0() { return cCommaKeyword_2_0_1_2_0; }
291
292 //";"
293 public Keyword getSemicolonKeyword_2_0_1_2_1() { return cSemicolonKeyword_2_0_1_2_1; }
294
295 //"}"
296 public Keyword getRightCurlyBracketKeyword_2_0_2() { return cRightCurlyBracketKeyword_2_0_2; }
297
298 //"."
299 public Keyword getFullStopKeyword_2_1() { return cFullStopKeyword_2_1; }
300 }
301 public class EnumLiteralElements extends AbstractParserRuleElementFinder {
302 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.EnumLiteral");
303 private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1);
304 private final RuleCall cNameQuotedOrUnquotedIdParserRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0);
305
306 //EnumLiteral returns Node:
307 // name=QuotedOrUnquotedId;
308 @Override public ParserRule getRule() { return rule; }
309
310 //name=QuotedOrUnquotedId
311 public Assignment getNameAssignment() { return cNameAssignment; }
312
313 //QuotedOrUnquotedId
314 public RuleCall getNameQuotedOrUnquotedIdParserRuleCall_0() { return cNameQuotedOrUnquotedIdParserRuleCall_0; }
315 }
316 public class ReferenceDeclarationElements extends AbstractParserRuleElementFinder {
317 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ReferenceDeclaration");
318 private final Group cGroup = (Group)rule.eContents().get(1);
319 private final Alternatives cAlternatives_0 = (Alternatives)cGroup.eContents().get(0);
320 private final Assignment cContainmentAssignment_0_0 = (Assignment)cAlternatives_0.eContents().get(0);
321 private final Keyword cContainmentContainsKeyword_0_0_0 = (Keyword)cContainmentAssignment_0_0.eContents().get(0);
322 private final Keyword cRefersKeyword_0_1 = (Keyword)cAlternatives_0.eContents().get(1);
323 private final Assignment cReferenceTypeAssignment_1 = (Assignment)cGroup.eContents().get(1);
324 private final CrossReference cReferenceTypeRelationCrossReference_1_0 = (CrossReference)cReferenceTypeAssignment_1.eContents().get(0);
325 private final RuleCall cReferenceTypeRelationQualifiedNameParserRuleCall_1_0_1 = (RuleCall)cReferenceTypeRelationCrossReference_1_0.eContents().get(1);
326 private final Group cGroup_2 = (Group)cGroup.eContents().get(2);
327 private final Keyword cLeftSquareBracketKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0);
328 private final Assignment cMultiplicityAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1);
329 private final RuleCall cMultiplicityMultiplicityParserRuleCall_2_1_0 = (RuleCall)cMultiplicityAssignment_2_1.eContents().get(0);
330 private final Keyword cRightSquareBracketKeyword_2_2 = (Keyword)cGroup_2.eContents().get(2);
331 private final Assignment cNameAssignment_3 = (Assignment)cGroup.eContents().get(3);
332 private final RuleCall cNameIdentifierParserRuleCall_3_0 = (RuleCall)cNameAssignment_3.eContents().get(0);
333 private final Group cGroup_4 = (Group)cGroup.eContents().get(4);
334 private final Keyword cOppositeKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0);
335 private final Assignment cOppositeAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1);
336 private final CrossReference cOppositeReferenceDeclarationCrossReference_4_1_0 = (CrossReference)cOppositeAssignment_4_1.eContents().get(0);
337 private final RuleCall cOppositeReferenceDeclarationQualifiedNameParserRuleCall_4_1_0_1 = (RuleCall)cOppositeReferenceDeclarationCrossReference_4_1_0.eContents().get(1);
338
339 //ReferenceDeclaration:
340 // (containment?="contains" | "refers")?
341 // referenceType=[Relation|QualifiedName]
342 // ("[" multiplicity=Multiplicity "]")?
343 // name=Identifier
344 // ("opposite" opposite=[ReferenceDeclaration|QualifiedName])?;
345 @Override public ParserRule getRule() { return rule; }
346
347 //(containment?="contains" | "refers")?
348 //referenceType=[Relation|QualifiedName]
349 //("[" multiplicity=Multiplicity "]")?
350 //name=Identifier
351 //("opposite" opposite=[ReferenceDeclaration|QualifiedName])?
352 public Group getGroup() { return cGroup; }
353
354 //(containment?="contains" | "refers")?
355 public Alternatives getAlternatives_0() { return cAlternatives_0; }
356
357 //containment?="contains"
358 public Assignment getContainmentAssignment_0_0() { return cContainmentAssignment_0_0; }
359
360 //"contains"
361 public Keyword getContainmentContainsKeyword_0_0_0() { return cContainmentContainsKeyword_0_0_0; }
362
363 //"refers"
364 public Keyword getRefersKeyword_0_1() { return cRefersKeyword_0_1; }
365
366 //referenceType=[Relation|QualifiedName]
367 public Assignment getReferenceTypeAssignment_1() { return cReferenceTypeAssignment_1; }
368
369 //[Relation|QualifiedName]
370 public CrossReference getReferenceTypeRelationCrossReference_1_0() { return cReferenceTypeRelationCrossReference_1_0; }
371
372 //QualifiedName
373 public RuleCall getReferenceTypeRelationQualifiedNameParserRuleCall_1_0_1() { return cReferenceTypeRelationQualifiedNameParserRuleCall_1_0_1; }
374
375 //("[" multiplicity=Multiplicity "]")?
376 public Group getGroup_2() { return cGroup_2; }
377
378 //"["
379 public Keyword getLeftSquareBracketKeyword_2_0() { return cLeftSquareBracketKeyword_2_0; }
380
381 //multiplicity=Multiplicity
382 public Assignment getMultiplicityAssignment_2_1() { return cMultiplicityAssignment_2_1; }
383
384 //Multiplicity
385 public RuleCall getMultiplicityMultiplicityParserRuleCall_2_1_0() { return cMultiplicityMultiplicityParserRuleCall_2_1_0; }
386
387 //"]"
388 public Keyword getRightSquareBracketKeyword_2_2() { return cRightSquareBracketKeyword_2_2; }
389
390 //name=Identifier
391 public Assignment getNameAssignment_3() { return cNameAssignment_3; }
392
393 //Identifier
394 public RuleCall getNameIdentifierParserRuleCall_3_0() { return cNameIdentifierParserRuleCall_3_0; }
395
396 //("opposite" opposite=[ReferenceDeclaration|QualifiedName])?
397 public Group getGroup_4() { return cGroup_4; }
398
399 //"opposite"
400 public Keyword getOppositeKeyword_4_0() { return cOppositeKeyword_4_0; }
401
402 //opposite=[ReferenceDeclaration|QualifiedName]
403 public Assignment getOppositeAssignment_4_1() { return cOppositeAssignment_4_1; }
404
405 //[ReferenceDeclaration|QualifiedName]
406 public CrossReference getOppositeReferenceDeclarationCrossReference_4_1_0() { return cOppositeReferenceDeclarationCrossReference_4_1_0; }
407
408 //QualifiedName
409 public RuleCall getOppositeReferenceDeclarationQualifiedNameParserRuleCall_4_1_0_1() { return cOppositeReferenceDeclarationQualifiedNameParserRuleCall_4_1_0_1; }
410 }
411 public class PredicateDefinitionElements extends AbstractParserRuleElementFinder {
412 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.PredicateDefinition");
413 private final Group cGroup = (Group)rule.eContents().get(1);
414 private final Alternatives cAlternatives_0 = (Alternatives)cGroup.eContents().get(0);
415 private final Group cGroup_0_0 = (Group)cAlternatives_0.eContents().get(0);
416 private final Assignment cErrorAssignment_0_0_0 = (Assignment)cGroup_0_0.eContents().get(0);
417 private final Keyword cErrorErrorKeyword_0_0_0_0 = (Keyword)cErrorAssignment_0_0_0.eContents().get(0);
418 private final Keyword cPredKeyword_0_0_1 = (Keyword)cGroup_0_0.eContents().get(1);
419 private final Keyword cPredKeyword_0_1 = (Keyword)cAlternatives_0.eContents().get(1);
420 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
421 private final RuleCall cNameIdentifierParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
422 private final Keyword cLeftParenthesisKeyword_2 = (Keyword)cGroup.eContents().get(2);
423 private final Group cGroup_3 = (Group)cGroup.eContents().get(3);
424 private final Assignment cParametersAssignment_3_0 = (Assignment)cGroup_3.eContents().get(0);
425 private final RuleCall cParametersParameterParserRuleCall_3_0_0 = (RuleCall)cParametersAssignment_3_0.eContents().get(0);
426 private final Group cGroup_3_1 = (Group)cGroup_3.eContents().get(1);
427 private final Keyword cCommaKeyword_3_1_0 = (Keyword)cGroup_3_1.eContents().get(0);
428 private final Assignment cParametersAssignment_3_1_1 = (Assignment)cGroup_3_1.eContents().get(1);
429 private final RuleCall cParametersParameterParserRuleCall_3_1_1_0 = (RuleCall)cParametersAssignment_3_1_1.eContents().get(0);
430 private final Keyword cRightParenthesisKeyword_4 = (Keyword)cGroup.eContents().get(4);
431 private final Group cGroup_5 = (Group)cGroup.eContents().get(5);
432 private final Keyword cColonHyphenMinusKeyword_5_0 = (Keyword)cGroup_5.eContents().get(0);
433 private final Assignment cBodiesAssignment_5_1 = (Assignment)cGroup_5.eContents().get(1);
434 private final RuleCall cBodiesConjunctionParserRuleCall_5_1_0 = (RuleCall)cBodiesAssignment_5_1.eContents().get(0);
435 private final Group cGroup_5_2 = (Group)cGroup_5.eContents().get(2);
436 private final Keyword cSemicolonKeyword_5_2_0 = (Keyword)cGroup_5_2.eContents().get(0);
437 private final Assignment cBodiesAssignment_5_2_1 = (Assignment)cGroup_5_2.eContents().get(1);
438 private final RuleCall cBodiesConjunctionParserRuleCall_5_2_1_0 = (RuleCall)cBodiesAssignment_5_2_1.eContents().get(0);
439 private final Keyword cFullStopKeyword_6 = (Keyword)cGroup.eContents().get(6);
440
441 //PredicateDefinition:
442 // (error?="error" "pred"? | "pred")
443 // name=Identifier
444 // "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")"
445 // (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)?
446 // ".";
447 @Override public ParserRule getRule() { return rule; }
448
449 //(error?="error" "pred"? | "pred")
450 //name=Identifier
451 //"(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")"
452 //(":-" bodies+=Conjunction (";" bodies+=Conjunction)*)?
453 //"."
454 public Group getGroup() { return cGroup; }
455
456 //(error?="error" "pred"? | "pred")
457 public Alternatives getAlternatives_0() { return cAlternatives_0; }
458
459 //error?="error" "pred"?
460 public Group getGroup_0_0() { return cGroup_0_0; }
461
462 //error?="error"
463 public Assignment getErrorAssignment_0_0_0() { return cErrorAssignment_0_0_0; }
464
465 //"error"
466 public Keyword getErrorErrorKeyword_0_0_0_0() { return cErrorErrorKeyword_0_0_0_0; }
467
468 //"pred"?
469 public Keyword getPredKeyword_0_0_1() { return cPredKeyword_0_0_1; }
470
471 //"pred"
472 public Keyword getPredKeyword_0_1() { return cPredKeyword_0_1; }
473
474 //name=Identifier
475 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
476
477 //Identifier
478 public RuleCall getNameIdentifierParserRuleCall_1_0() { return cNameIdentifierParserRuleCall_1_0; }
479
480 //"("
481 public Keyword getLeftParenthesisKeyword_2() { return cLeftParenthesisKeyword_2; }
482
483 //(parameters+=Parameter ("," parameters+=Parameter)*)?
484 public Group getGroup_3() { return cGroup_3; }
485
486 //parameters+=Parameter
487 public Assignment getParametersAssignment_3_0() { return cParametersAssignment_3_0; }
488
489 //Parameter
490 public RuleCall getParametersParameterParserRuleCall_3_0_0() { return cParametersParameterParserRuleCall_3_0_0; }
491
492 //("," parameters+=Parameter)*
493 public Group getGroup_3_1() { return cGroup_3_1; }
494
495 //","
496 public Keyword getCommaKeyword_3_1_0() { return cCommaKeyword_3_1_0; }
497
498 //parameters+=Parameter
499 public Assignment getParametersAssignment_3_1_1() { return cParametersAssignment_3_1_1; }
500
501 //Parameter
502 public RuleCall getParametersParameterParserRuleCall_3_1_1_0() { return cParametersParameterParserRuleCall_3_1_1_0; }
503
504 //")"
505 public Keyword getRightParenthesisKeyword_4() { return cRightParenthesisKeyword_4; }
506
507 //(":-" bodies+=Conjunction (";" bodies+=Conjunction)*)?
508 public Group getGroup_5() { return cGroup_5; }
509
510 //":-"
511 public Keyword getColonHyphenMinusKeyword_5_0() { return cColonHyphenMinusKeyword_5_0; }
512
513 //bodies+=Conjunction
514 public Assignment getBodiesAssignment_5_1() { return cBodiesAssignment_5_1; }
515
516 //Conjunction
517 public RuleCall getBodiesConjunctionParserRuleCall_5_1_0() { return cBodiesConjunctionParserRuleCall_5_1_0; }
518
519 //(";" bodies+=Conjunction)*
520 public Group getGroup_5_2() { return cGroup_5_2; }
521
522 //";"
523 public Keyword getSemicolonKeyword_5_2_0() { return cSemicolonKeyword_5_2_0; }
524
525 //bodies+=Conjunction
526 public Assignment getBodiesAssignment_5_2_1() { return cBodiesAssignment_5_2_1; }
527
528 //Conjunction
529 public RuleCall getBodiesConjunctionParserRuleCall_5_2_1_0() { return cBodiesConjunctionParserRuleCall_5_2_1_0; }
530
531 //"."
532 public Keyword getFullStopKeyword_6() { return cFullStopKeyword_6; }
533 }
534 public class ParameterElements extends AbstractParserRuleElementFinder {
535 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Parameter");
536 private final Group cGroup = (Group)rule.eContents().get(1);
537 private final Assignment cParameterTypeAssignment_0 = (Assignment)cGroup.eContents().get(0);
538 private final CrossReference cParameterTypeRelationCrossReference_0_0 = (CrossReference)cParameterTypeAssignment_0.eContents().get(0);
539 private final RuleCall cParameterTypeRelationQualifiedNameParserRuleCall_0_0_1 = (RuleCall)cParameterTypeRelationCrossReference_0_0.eContents().get(1);
540 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
541 private final RuleCall cNameIdentifierParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
542
543 //Parameter:
544 // parameterType=[Relation|QualifiedName]? name=Identifier;
545 @Override public ParserRule getRule() { return rule; }
546
547 //parameterType=[Relation|QualifiedName]? name=Identifier
548 public Group getGroup() { return cGroup; }
549
550 //parameterType=[Relation|QualifiedName]?
551 public Assignment getParameterTypeAssignment_0() { return cParameterTypeAssignment_0; }
552
553 //[Relation|QualifiedName]
554 public CrossReference getParameterTypeRelationCrossReference_0_0() { return cParameterTypeRelationCrossReference_0_0; }
555
556 //QualifiedName
557 public RuleCall getParameterTypeRelationQualifiedNameParserRuleCall_0_0_1() { return cParameterTypeRelationQualifiedNameParserRuleCall_0_0_1; }
558
559 //name=Identifier
560 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
561
562 //Identifier
563 public RuleCall getNameIdentifierParserRuleCall_1_0() { return cNameIdentifierParserRuleCall_1_0; }
564 }
565 public class ConjunctionElements extends AbstractParserRuleElementFinder {
566 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Conjunction");
567 private final Group cGroup = (Group)rule.eContents().get(1);
568 private final Assignment cLiteralsAssignment_0 = (Assignment)cGroup.eContents().get(0);
569 private final RuleCall cLiteralsLiteralParserRuleCall_0_0 = (RuleCall)cLiteralsAssignment_0.eContents().get(0);
570 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
571 private final Keyword cCommaKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0);
572 private final Assignment cLiteralsAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1);
573 private final RuleCall cLiteralsLiteralParserRuleCall_1_1_0 = (RuleCall)cLiteralsAssignment_1_1.eContents().get(0);
574
575 //Conjunction:
576 // literals+=Literal ("," literals+=Literal)*;
577 @Override public ParserRule getRule() { return rule; }
578
579 //literals+=Literal ("," literals+=Literal)*
580 public Group getGroup() { return cGroup; }
581
582 //literals+=Literal
583 public Assignment getLiteralsAssignment_0() { return cLiteralsAssignment_0; }
584
585 //Literal
586 public RuleCall getLiteralsLiteralParserRuleCall_0_0() { return cLiteralsLiteralParserRuleCall_0_0; }
587
588 //("," literals+=Literal)*
589 public Group getGroup_1() { return cGroup_1; }
590
591 //","
592 public Keyword getCommaKeyword_1_0() { return cCommaKeyword_1_0; }
593
594 //literals+=Literal
595 public Assignment getLiteralsAssignment_1_1() { return cLiteralsAssignment_1_1; }
596
597 //Literal
598 public RuleCall getLiteralsLiteralParserRuleCall_1_1_0() { return cLiteralsLiteralParserRuleCall_1_1_0; }
599 }
600 public class LiteralElements extends AbstractParserRuleElementFinder {
601 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Literal");
602 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
603 private final RuleCall cAtomParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
604 private final RuleCall cNegativeLiteralParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
605
606 //Literal:
607 // Atom | NegativeLiteral;
608 @Override public ParserRule getRule() { return rule; }
609
610 //Atom | NegativeLiteral
611 public Alternatives getAlternatives() { return cAlternatives; }
612
613 //Atom
614 public RuleCall getAtomParserRuleCall_0() { return cAtomParserRuleCall_0; }
615
616 //NegativeLiteral
617 public RuleCall getNegativeLiteralParserRuleCall_1() { return cNegativeLiteralParserRuleCall_1; }
618 }
619 public class NegativeLiteralElements extends AbstractParserRuleElementFinder {
620 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.NegativeLiteral");
621 private final Group cGroup = (Group)rule.eContents().get(1);
622 private final Keyword cExclamationMarkKeyword_0 = (Keyword)cGroup.eContents().get(0);
623 private final Assignment cAtomAssignment_1 = (Assignment)cGroup.eContents().get(1);
624 private final RuleCall cAtomAtomParserRuleCall_1_0 = (RuleCall)cAtomAssignment_1.eContents().get(0);
625
626 //NegativeLiteral:
627 // "!" atom=Atom;
628 @Override public ParserRule getRule() { return rule; }
629
630 //"!" atom=Atom
631 public Group getGroup() { return cGroup; }
632
633 //"!"
634 public Keyword getExclamationMarkKeyword_0() { return cExclamationMarkKeyword_0; }
635
636 //atom=Atom
637 public Assignment getAtomAssignment_1() { return cAtomAssignment_1; }
638
639 //Atom
640 public RuleCall getAtomAtomParserRuleCall_1_0() { return cAtomAtomParserRuleCall_1_0; }
641 }
642 public class AtomElements extends AbstractParserRuleElementFinder {
643 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Atom");
644 private final Group cGroup = (Group)rule.eContents().get(1);
645 private final Assignment cRelationAssignment_0 = (Assignment)cGroup.eContents().get(0);
646 private final CrossReference cRelationRelationCrossReference_0_0 = (CrossReference)cRelationAssignment_0.eContents().get(0);
647 private final RuleCall cRelationRelationQualifiedNameParserRuleCall_0_0_1 = (RuleCall)cRelationRelationCrossReference_0_0.eContents().get(1);
648 private final Assignment cTransitiveClosureAssignment_1 = (Assignment)cGroup.eContents().get(1);
649 private final Keyword cTransitiveClosurePlusSignKeyword_1_0 = (Keyword)cTransitiveClosureAssignment_1.eContents().get(0);
650 private final Keyword cLeftParenthesisKeyword_2 = (Keyword)cGroup.eContents().get(2);
651 private final Group cGroup_3 = (Group)cGroup.eContents().get(3);
652 private final Assignment cArgumentsAssignment_3_0 = (Assignment)cGroup_3.eContents().get(0);
653 private final RuleCall cArgumentsArgumentParserRuleCall_3_0_0 = (RuleCall)cArgumentsAssignment_3_0.eContents().get(0);
654 private final Group cGroup_3_1 = (Group)cGroup_3.eContents().get(1);
655 private final Keyword cCommaKeyword_3_1_0 = (Keyword)cGroup_3_1.eContents().get(0);
656 private final Assignment cArgumentsAssignment_3_1_1 = (Assignment)cGroup_3_1.eContents().get(1);
657 private final RuleCall cArgumentsArgumentParserRuleCall_3_1_1_0 = (RuleCall)cArgumentsAssignment_3_1_1.eContents().get(0);
658 private final Keyword cRightParenthesisKeyword_4 = (Keyword)cGroup.eContents().get(4);
659
660 //Atom:
661 // relation=[Relation|QualifiedName]
662 // transitiveClosure?="+"?
663 // "(" (arguments+=Argument ("," arguments+=Argument)*)? ")";
664 @Override public ParserRule getRule() { return rule; }
665
666 //relation=[Relation|QualifiedName]
667 //transitiveClosure?="+"?
668 //"(" (arguments+=Argument ("," arguments+=Argument)*)? ")"
669 public Group getGroup() { return cGroup; }
670
671 //relation=[Relation|QualifiedName]
672 public Assignment getRelationAssignment_0() { return cRelationAssignment_0; }
673
674 //[Relation|QualifiedName]
675 public CrossReference getRelationRelationCrossReference_0_0() { return cRelationRelationCrossReference_0_0; }
676
677 //QualifiedName
678 public RuleCall getRelationRelationQualifiedNameParserRuleCall_0_0_1() { return cRelationRelationQualifiedNameParserRuleCall_0_0_1; }
679
680 //transitiveClosure?="+"?
681 public Assignment getTransitiveClosureAssignment_1() { return cTransitiveClosureAssignment_1; }
682
683 //"+"
684 public Keyword getTransitiveClosurePlusSignKeyword_1_0() { return cTransitiveClosurePlusSignKeyword_1_0; }
685
686 //"("
687 public Keyword getLeftParenthesisKeyword_2() { return cLeftParenthesisKeyword_2; }
688
689 //(arguments+=Argument ("," arguments+=Argument)*)?
690 public Group getGroup_3() { return cGroup_3; }
691
692 //arguments+=Argument
693 public Assignment getArgumentsAssignment_3_0() { return cArgumentsAssignment_3_0; }
694
695 //Argument
696 public RuleCall getArgumentsArgumentParserRuleCall_3_0_0() { return cArgumentsArgumentParserRuleCall_3_0_0; }
697
698 //("," arguments+=Argument)*
699 public Group getGroup_3_1() { return cGroup_3_1; }
700
701 //","
702 public Keyword getCommaKeyword_3_1_0() { return cCommaKeyword_3_1_0; }
703
704 //arguments+=Argument
705 public Assignment getArgumentsAssignment_3_1_1() { return cArgumentsAssignment_3_1_1; }
706
707 //Argument
708 public RuleCall getArgumentsArgumentParserRuleCall_3_1_1_0() { return cArgumentsArgumentParserRuleCall_3_1_1_0; }
709
710 //")"
711 public Keyword getRightParenthesisKeyword_4() { return cRightParenthesisKeyword_4; }
712 }
713 public class ArgumentElements extends AbstractParserRuleElementFinder {
714 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Argument");
715 private final Assignment cVariableOrNodeAssignment = (Assignment)rule.eContents().get(1);
716 private final CrossReference cVariableOrNodeVariableOrNodeCrossReference_0 = (CrossReference)cVariableOrNodeAssignment.eContents().get(0);
717 private final RuleCall cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1 = (RuleCall)cVariableOrNodeVariableOrNodeCrossReference_0.eContents().get(1);
718
719 //Argument:
720 // variableOrNode=[VariableOrNode|QualifiedName];
721 @Override public ParserRule getRule() { return rule; }
722
723 //variableOrNode=[VariableOrNode|QualifiedName]
724 public Assignment getVariableOrNodeAssignment() { return cVariableOrNodeAssignment; }
725
726 //[VariableOrNode|QualifiedName]
727 public CrossReference getVariableOrNodeVariableOrNodeCrossReference_0() { return cVariableOrNodeVariableOrNodeCrossReference_0; }
728
729 //QualifiedName
730 public RuleCall getVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1() { return cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1; }
731 }
732 public class AssertionElements extends AbstractParserRuleElementFinder {
733 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Assertion");
734 private final Group cGroup = (Group)rule.eContents().get(1);
735 private final Alternatives cAlternatives_0 = (Alternatives)cGroup.eContents().get(0);
736 private final Group cGroup_0_0 = (Group)cAlternatives_0.eContents().get(0);
737 private final Assignment cRelationAssignment_0_0_0 = (Assignment)cGroup_0_0.eContents().get(0);
738 private final CrossReference cRelationRelationCrossReference_0_0_0_0 = (CrossReference)cRelationAssignment_0_0_0.eContents().get(0);
739 private final RuleCall cRelationRelationQualifiedNameParserRuleCall_0_0_0_0_1 = (RuleCall)cRelationRelationCrossReference_0_0_0_0.eContents().get(1);
740 private final Keyword cLeftParenthesisKeyword_0_0_1 = (Keyword)cGroup_0_0.eContents().get(1);
741 private final Group cGroup_0_0_2 = (Group)cGroup_0_0.eContents().get(2);
742 private final Assignment cArgumentsAssignment_0_0_2_0 = (Assignment)cGroup_0_0_2.eContents().get(0);
743 private final CrossReference cArgumentsNodeCrossReference_0_0_2_0_0 = (CrossReference)cArgumentsAssignment_0_0_2_0.eContents().get(0);
744 private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_0_2_0_0.eContents().get(1);
745 private final Group cGroup_0_0_2_1 = (Group)cGroup_0_0_2.eContents().get(1);
746 private final Keyword cCommaKeyword_0_0_2_1_0 = (Keyword)cGroup_0_0_2_1.eContents().get(0);
747 private final Assignment cArgumentsAssignment_0_0_2_1_1 = (Assignment)cGroup_0_0_2_1.eContents().get(1);
748 private final CrossReference cArgumentsNodeCrossReference_0_0_2_1_1_0 = (CrossReference)cArgumentsAssignment_0_0_2_1_1.eContents().get(0);
749 private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_0_2_1_1_0.eContents().get(1);
750 private final Keyword cRightParenthesisKeyword_0_0_3 = (Keyword)cGroup_0_0.eContents().get(3);
751 private final Keyword cColonKeyword_0_0_4 = (Keyword)cGroup_0_0.eContents().get(4);
752 private final Assignment cValueAssignment_0_0_5 = (Assignment)cGroup_0_0.eContents().get(5);
753 private final RuleCall cValueLogicValueEnumRuleCall_0_0_5_0 = (RuleCall)cValueAssignment_0_0_5.eContents().get(0);
754 private final Group cGroup_0_1 = (Group)cAlternatives_0.eContents().get(1);
755 private final Assignment cValueAssignment_0_1_0 = (Assignment)cGroup_0_1.eContents().get(0);
756 private final RuleCall cValueShortLogicValueEnumRuleCall_0_1_0_0 = (RuleCall)cValueAssignment_0_1_0.eContents().get(0);
757 private final Assignment cRelationAssignment_0_1_1 = (Assignment)cGroup_0_1.eContents().get(1);
758 private final CrossReference cRelationRelationCrossReference_0_1_1_0 = (CrossReference)cRelationAssignment_0_1_1.eContents().get(0);
759 private final RuleCall cRelationRelationQualifiedNameParserRuleCall_0_1_1_0_1 = (RuleCall)cRelationRelationCrossReference_0_1_1_0.eContents().get(1);
760 private final Keyword cLeftParenthesisKeyword_0_1_2 = (Keyword)cGroup_0_1.eContents().get(2);
761 private final Group cGroup_0_1_3 = (Group)cGroup_0_1.eContents().get(3);
762 private final Assignment cArgumentsAssignment_0_1_3_0 = (Assignment)cGroup_0_1_3.eContents().get(0);
763 private final CrossReference cArgumentsNodeCrossReference_0_1_3_0_0 = (CrossReference)cArgumentsAssignment_0_1_3_0.eContents().get(0);
764 private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_1_3_0_0.eContents().get(1);
765 private final Group cGroup_0_1_3_1 = (Group)cGroup_0_1_3.eContents().get(1);
766 private final Keyword cCommaKeyword_0_1_3_1_0 = (Keyword)cGroup_0_1_3_1.eContents().get(0);
767 private final Assignment cArgumentsAssignment_0_1_3_1_1 = (Assignment)cGroup_0_1_3_1.eContents().get(1);
768 private final CrossReference cArgumentsNodeCrossReference_0_1_3_1_1_0 = (CrossReference)cArgumentsAssignment_0_1_3_1_1.eContents().get(0);
769 private final RuleCall cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1 = (RuleCall)cArgumentsNodeCrossReference_0_1_3_1_1_0.eContents().get(1);
770 private final Keyword cRightParenthesisKeyword_0_1_4 = (Keyword)cGroup_0_1.eContents().get(4);
771 private final Keyword cFullStopKeyword_1 = (Keyword)cGroup.eContents().get(1);
772
773 //Assertion:
774 // (relation=[Relation|QualifiedName]
775 // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")"
776 // ":" value=LogicValue |
777 // value=ShortLogicValue?
778 // relation=[Relation|QualifiedName]
779 // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")")
780 // ".";
781 @Override public ParserRule getRule() { return rule; }
782
783 //(relation=[Relation|QualifiedName]
784 //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")"
785 //":" value=LogicValue |
786 //value=ShortLogicValue?
787 //relation=[Relation|QualifiedName]
788 //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")")
789 //"."
790 public Group getGroup() { return cGroup; }
791
792 //(relation=[Relation|QualifiedName]
793 //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")"
794 //":" value=LogicValue |
795 //value=ShortLogicValue?
796 //relation=[Relation|QualifiedName]
797 //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")")
798 public Alternatives getAlternatives_0() { return cAlternatives_0; }
799
800 //relation=[Relation|QualifiedName]
801 // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")"
802 // ":" value=LogicValue
803 public Group getGroup_0_0() { return cGroup_0_0; }
804
805 //relation=[Relation|QualifiedName]
806 public Assignment getRelationAssignment_0_0_0() { return cRelationAssignment_0_0_0; }
807
808 //[Relation|QualifiedName]
809 public CrossReference getRelationRelationCrossReference_0_0_0_0() { return cRelationRelationCrossReference_0_0_0_0; }
810
811 //QualifiedName
812 public RuleCall getRelationRelationQualifiedNameParserRuleCall_0_0_0_0_1() { return cRelationRelationQualifiedNameParserRuleCall_0_0_0_0_1; }
813
814 //"("
815 public Keyword getLeftParenthesisKeyword_0_0_1() { return cLeftParenthesisKeyword_0_0_1; }
816
817 //(arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)?
818 public Group getGroup_0_0_2() { return cGroup_0_0_2; }
819
820 //arguments+=[Node|QualifiedName]
821 public Assignment getArgumentsAssignment_0_0_2_0() { return cArgumentsAssignment_0_0_2_0; }
822
823 //[Node|QualifiedName]
824 public CrossReference getArgumentsNodeCrossReference_0_0_2_0_0() { return cArgumentsNodeCrossReference_0_0_2_0_0; }
825
826 //QualifiedName
827 public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1; }
828
829 //("," arguments+=[Node|QualifiedName])*
830 public Group getGroup_0_0_2_1() { return cGroup_0_0_2_1; }
831
832 //","
833 public Keyword getCommaKeyword_0_0_2_1_0() { return cCommaKeyword_0_0_2_1_0; }
834
835 //arguments+=[Node|QualifiedName]
836 public Assignment getArgumentsAssignment_0_0_2_1_1() { return cArgumentsAssignment_0_0_2_1_1; }
837
838 //[Node|QualifiedName]
839 public CrossReference getArgumentsNodeCrossReference_0_0_2_1_1_0() { return cArgumentsNodeCrossReference_0_0_2_1_1_0; }
840
841 //QualifiedName
842 public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1; }
843
844 //")"
845 public Keyword getRightParenthesisKeyword_0_0_3() { return cRightParenthesisKeyword_0_0_3; }
846
847 //":"
848 public Keyword getColonKeyword_0_0_4() { return cColonKeyword_0_0_4; }
849
850 //value=LogicValue
851 public Assignment getValueAssignment_0_0_5() { return cValueAssignment_0_0_5; }
852
853 //LogicValue
854 public RuleCall getValueLogicValueEnumRuleCall_0_0_5_0() { return cValueLogicValueEnumRuleCall_0_0_5_0; }
855
856 //value=ShortLogicValue?
857 //relation=[Relation|QualifiedName]
858 //"(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")"
859 public Group getGroup_0_1() { return cGroup_0_1; }
860
861 //value=ShortLogicValue?
862 public Assignment getValueAssignment_0_1_0() { return cValueAssignment_0_1_0; }
863
864 //ShortLogicValue
865 public RuleCall getValueShortLogicValueEnumRuleCall_0_1_0_0() { return cValueShortLogicValueEnumRuleCall_0_1_0_0; }
866
867 //relation=[Relation|QualifiedName]
868 public Assignment getRelationAssignment_0_1_1() { return cRelationAssignment_0_1_1; }
869
870 //[Relation|QualifiedName]
871 public CrossReference getRelationRelationCrossReference_0_1_1_0() { return cRelationRelationCrossReference_0_1_1_0; }
872
873 //QualifiedName
874 public RuleCall getRelationRelationQualifiedNameParserRuleCall_0_1_1_0_1() { return cRelationRelationQualifiedNameParserRuleCall_0_1_1_0_1; }
875
876 //"("
877 public Keyword getLeftParenthesisKeyword_0_1_2() { return cLeftParenthesisKeyword_0_1_2; }
878
879 //(arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)?
880 public Group getGroup_0_1_3() { return cGroup_0_1_3; }
881
882 //arguments+=[Node|QualifiedName]
883 public Assignment getArgumentsAssignment_0_1_3_0() { return cArgumentsAssignment_0_1_3_0; }
884
885 //[Node|QualifiedName]
886 public CrossReference getArgumentsNodeCrossReference_0_1_3_0_0() { return cArgumentsNodeCrossReference_0_1_3_0_0; }
887
888 //QualifiedName
889 public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1; }
890
891 //("," arguments+=[Node|QualifiedName])*
892 public Group getGroup_0_1_3_1() { return cGroup_0_1_3_1; }
893
894 //","
895 public Keyword getCommaKeyword_0_1_3_1_0() { return cCommaKeyword_0_1_3_1_0; }
896
897 //arguments+=[Node|QualifiedName]
898 public Assignment getArgumentsAssignment_0_1_3_1_1() { return cArgumentsAssignment_0_1_3_1_1; }
899
900 //[Node|QualifiedName]
901 public CrossReference getArgumentsNodeCrossReference_0_1_3_1_1_0() { return cArgumentsNodeCrossReference_0_1_3_1_1_0; }
902
903 //QualifiedName
904 public RuleCall getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1() { return cArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1; }
905
906 //")"
907 public Keyword getRightParenthesisKeyword_0_1_4() { return cRightParenthesisKeyword_0_1_4; }
908
909 //"."
910 public Keyword getFullStopKeyword_1() { return cFullStopKeyword_1; }
911 }
912 public class ScopeDeclarationElements extends AbstractParserRuleElementFinder {
913 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ScopeDeclaration");
914 private final Group cGroup = (Group)rule.eContents().get(1);
915 private final Keyword cScopeKeyword_0 = (Keyword)cGroup.eContents().get(0);
916 private final Assignment cTypeScopesAssignment_1 = (Assignment)cGroup.eContents().get(1);
917 private final RuleCall cTypeScopesTypeScopeParserRuleCall_1_0 = (RuleCall)cTypeScopesAssignment_1.eContents().get(0);
918 private final Group cGroup_2 = (Group)cGroup.eContents().get(2);
919 private final Keyword cCommaKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0);
920 private final Assignment cTypeScopesAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1);
921 private final RuleCall cTypeScopesTypeScopeParserRuleCall_2_1_0 = (RuleCall)cTypeScopesAssignment_2_1.eContents().get(0);
922 private final Keyword cFullStopKeyword_3 = (Keyword)cGroup.eContents().get(3);
923
924 //ScopeDeclaration:
925 // "scope" typeScopes+=TypeScope ("," typeScopes+=TypeScope)* ".";
926 @Override public ParserRule getRule() { return rule; }
927
928 //"scope" typeScopes+=TypeScope ("," typeScopes+=TypeScope)* "."
929 public Group getGroup() { return cGroup; }
930
931 //"scope"
932 public Keyword getScopeKeyword_0() { return cScopeKeyword_0; }
933
934 //typeScopes+=TypeScope
935 public Assignment getTypeScopesAssignment_1() { return cTypeScopesAssignment_1; }
936
937 //TypeScope
938 public RuleCall getTypeScopesTypeScopeParserRuleCall_1_0() { return cTypeScopesTypeScopeParserRuleCall_1_0; }
939
940 //("," typeScopes+=TypeScope)*
941 public Group getGroup_2() { return cGroup_2; }
942
943 //","
944 public Keyword getCommaKeyword_2_0() { return cCommaKeyword_2_0; }
945
946 //typeScopes+=TypeScope
947 public Assignment getTypeScopesAssignment_2_1() { return cTypeScopesAssignment_2_1; }
948
949 //TypeScope
950 public RuleCall getTypeScopesTypeScopeParserRuleCall_2_1_0() { return cTypeScopesTypeScopeParserRuleCall_2_1_0; }
951
952 //"."
953 public Keyword getFullStopKeyword_3() { return cFullStopKeyword_3; }
954 }
955 public class TypeScopeElements extends AbstractParserRuleElementFinder {
956 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.TypeScope");
957 private final Group cGroup = (Group)rule.eContents().get(1);
958 private final Assignment cTargetTypeAssignment_0 = (Assignment)cGroup.eContents().get(0);
959 private final CrossReference cTargetTypeClassDeclarationCrossReference_0_0 = (CrossReference)cTargetTypeAssignment_0.eContents().get(0);
960 private final RuleCall cTargetTypeClassDeclarationIDTerminalRuleCall_0_0_1 = (RuleCall)cTargetTypeClassDeclarationCrossReference_0_0.eContents().get(1);
961 private final Alternatives cAlternatives_1 = (Alternatives)cGroup.eContents().get(1);
962 private final Assignment cIncrementAssignment_1_0 = (Assignment)cAlternatives_1.eContents().get(0);
963 private final Keyword cIncrementPlusSignEqualsSignKeyword_1_0_0 = (Keyword)cIncrementAssignment_1_0.eContents().get(0);
964 private final Keyword cEqualsSignKeyword_1_1 = (Keyword)cAlternatives_1.eContents().get(1);
965 private final Assignment cMultiplicityAssignment_2 = (Assignment)cGroup.eContents().get(2);
966 private final RuleCall cMultiplicityDefiniteMultiplicityParserRuleCall_2_0 = (RuleCall)cMultiplicityAssignment_2.eContents().get(0);
967
968 //TypeScope:
969 // targetType=[ClassDeclaration]
970 // (increment?="+=" | "=")
971 // multiplicity=DefiniteMultiplicity;
972 @Override public ParserRule getRule() { return rule; }
973
974 //targetType=[ClassDeclaration]
975 //(increment?="+=" | "=")
976 //multiplicity=DefiniteMultiplicity
977 public Group getGroup() { return cGroup; }
978
979 //targetType=[ClassDeclaration]
980 public Assignment getTargetTypeAssignment_0() { return cTargetTypeAssignment_0; }
981
982 //[ClassDeclaration]
983 public CrossReference getTargetTypeClassDeclarationCrossReference_0_0() { return cTargetTypeClassDeclarationCrossReference_0_0; }
984
985 //ID
986 public RuleCall getTargetTypeClassDeclarationIDTerminalRuleCall_0_0_1() { return cTargetTypeClassDeclarationIDTerminalRuleCall_0_0_1; }
987
988 //(increment?="+=" | "=")
989 public Alternatives getAlternatives_1() { return cAlternatives_1; }
990
991 //increment?="+="
992 public Assignment getIncrementAssignment_1_0() { return cIncrementAssignment_1_0; }
993
994 //"+="
995 public Keyword getIncrementPlusSignEqualsSignKeyword_1_0_0() { return cIncrementPlusSignEqualsSignKeyword_1_0_0; }
996
997 //"="
998 public Keyword getEqualsSignKeyword_1_1() { return cEqualsSignKeyword_1_1; }
999
1000 //multiplicity=DefiniteMultiplicity
1001 public Assignment getMultiplicityAssignment_2() { return cMultiplicityAssignment_2; }
1002
1003 //DefiniteMultiplicity
1004 public RuleCall getMultiplicityDefiniteMultiplicityParserRuleCall_2_0() { return cMultiplicityDefiniteMultiplicityParserRuleCall_2_0; }
1005 }
1006 public class MultiplicityElements extends AbstractParserRuleElementFinder {
1007 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Multiplicity");
1008 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1009 private final RuleCall cUnboundedMultiplicityParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1010 private final RuleCall cDefiniteMultiplicityParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
1011
1012 //Multiplicity:
1013 // UnboundedMultiplicity | DefiniteMultiplicity;
1014 @Override public ParserRule getRule() { return rule; }
1015
1016 //UnboundedMultiplicity | DefiniteMultiplicity
1017 public Alternatives getAlternatives() { return cAlternatives; }
1018
1019 //UnboundedMultiplicity
1020 public RuleCall getUnboundedMultiplicityParserRuleCall_0() { return cUnboundedMultiplicityParserRuleCall_0; }
1021
1022 //DefiniteMultiplicity
1023 public RuleCall getDefiniteMultiplicityParserRuleCall_1() { return cDefiniteMultiplicityParserRuleCall_1; }
1024 }
1025 public class DefiniteMultiplicityElements extends AbstractParserRuleElementFinder {
1026 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.DefiniteMultiplicity");
1027 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1028 private final RuleCall cRangeMultiplicityParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1029 private final RuleCall cExactMultiplicityParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
1030
1031 //DefiniteMultiplicity returns Multiplicity:
1032 // RangeMultiplicity | ExactMultiplicity;
1033 @Override public ParserRule getRule() { return rule; }
1034
1035 //RangeMultiplicity | ExactMultiplicity
1036 public Alternatives getAlternatives() { return cAlternatives; }
1037
1038 //RangeMultiplicity
1039 public RuleCall getRangeMultiplicityParserRuleCall_0() { return cRangeMultiplicityParserRuleCall_0; }
1040
1041 //ExactMultiplicity
1042 public RuleCall getExactMultiplicityParserRuleCall_1() { return cExactMultiplicityParserRuleCall_1; }
1043 }
1044 public class UnboundedMultiplicityElements extends AbstractParserRuleElementFinder {
1045 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.UnboundedMultiplicity");
1046 private final Action cUnboundedMultiplicityAction = (Action)rule.eContents().get(1);
1047
1048 //UnboundedMultiplicity:
1049 // {UnboundedMultiplicity};
1050 @Override public ParserRule getRule() { return rule; }
1051
1052 //{UnboundedMultiplicity}
1053 public Action getUnboundedMultiplicityAction() { return cUnboundedMultiplicityAction; }
1054 }
1055 public class RangeMultiplicityElements extends AbstractParserRuleElementFinder {
1056 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.RangeMultiplicity");
1057 private final Group cGroup = (Group)rule.eContents().get(1);
1058 private final Assignment cLowerBoundAssignment_0 = (Assignment)cGroup.eContents().get(0);
1059 private final RuleCall cLowerBoundINTTerminalRuleCall_0_0 = (RuleCall)cLowerBoundAssignment_0.eContents().get(0);
1060 private final Keyword cFullStopFullStopKeyword_1 = (Keyword)cGroup.eContents().get(1);
1061 private final Assignment cUpperBoundAssignment_2 = (Assignment)cGroup.eContents().get(2);
1062 private final RuleCall cUpperBoundUpperBoundParserRuleCall_2_0 = (RuleCall)cUpperBoundAssignment_2.eContents().get(0);
1063
1064 //RangeMultiplicity:
1065 // lowerBound=INT ".." upperBound=UpperBound;
1066 @Override public ParserRule getRule() { return rule; }
1067
1068 //lowerBound=INT ".." upperBound=UpperBound
1069 public Group getGroup() { return cGroup; }
1070
1071 //lowerBound=INT
1072 public Assignment getLowerBoundAssignment_0() { return cLowerBoundAssignment_0; }
1073
1074 //INT
1075 public RuleCall getLowerBoundINTTerminalRuleCall_0_0() { return cLowerBoundINTTerminalRuleCall_0_0; }
1076
1077 //".."
1078 public Keyword getFullStopFullStopKeyword_1() { return cFullStopFullStopKeyword_1; }
1079
1080 //upperBound=UpperBound
1081 public Assignment getUpperBoundAssignment_2() { return cUpperBoundAssignment_2; }
1082
1083 //UpperBound
1084 public RuleCall getUpperBoundUpperBoundParserRuleCall_2_0() { return cUpperBoundUpperBoundParserRuleCall_2_0; }
1085 }
1086 public class ExactMultiplicityElements extends AbstractParserRuleElementFinder {
1087 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ExactMultiplicity");
1088 private final Assignment cExactValueAssignment = (Assignment)rule.eContents().get(1);
1089 private final RuleCall cExactValueINTTerminalRuleCall_0 = (RuleCall)cExactValueAssignment.eContents().get(0);
1090
1091 //ExactMultiplicity:
1092 // exactValue=INT;
1093 @Override public ParserRule getRule() { return rule; }
1094
1095 //exactValue=INT
1096 public Assignment getExactValueAssignment() { return cExactValueAssignment; }
1097
1098 //INT
1099 public RuleCall getExactValueINTTerminalRuleCall_0() { return cExactValueINTTerminalRuleCall_0; }
1100 }
1101 public class UpperBoundElements extends AbstractParserRuleElementFinder {
1102 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.UpperBound");
1103 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1104 private final RuleCall cINTTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1105 private final Keyword cAsteriskKeyword_1 = (Keyword)cAlternatives.eContents().get(1);
1106
1107 //UpperBound returns ecore::EInt:
1108 // INT | "*";
1109 @Override public ParserRule getRule() { return rule; }
1110
1111 //INT | "*"
1112 public Alternatives getAlternatives() { return cAlternatives; }
1113
1114 //INT
1115 public RuleCall getINTTerminalRuleCall_0() { return cINTTerminalRuleCall_0; }
1116
1117 //"*"
1118 public Keyword getAsteriskKeyword_1() { return cAsteriskKeyword_1; }
1119 }
1120 public class QuotedOrUnquotedIdElements extends AbstractParserRuleElementFinder {
1121 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QuotedOrUnquotedId");
1122 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1123 private final RuleCall cQUOTED_IDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1124 private final RuleCall cIdentifierParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
1125
1126 //QuotedOrUnquotedId:
1127 // QUOTED_ID | Identifier;
1128 @Override public ParserRule getRule() { return rule; }
1129
1130 //QUOTED_ID | Identifier
1131 public Alternatives getAlternatives() { return cAlternatives; }
1132
1133 //QUOTED_ID
1134 public RuleCall getQUOTED_IDTerminalRuleCall_0() { return cQUOTED_IDTerminalRuleCall_0; }
1135
1136 //Identifier
1137 public RuleCall getIdentifierParserRuleCall_1() { return cIdentifierParserRuleCall_1; }
1138 }
1139 public class QualifiedNameElements extends AbstractParserRuleElementFinder {
1140 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QualifiedName");
1141 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1142 private final RuleCall cQUOTED_IDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1143 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
1144 private final RuleCall cIdentifierParserRuleCall_1_0 = (RuleCall)cGroup_1.eContents().get(0);
1145 private final Group cGroup_1_1 = (Group)cGroup_1.eContents().get(1);
1146 private final Keyword cColonKeyword_1_1_0 = (Keyword)cGroup_1_1.eContents().get(0);
1147 private final RuleCall cIdentifierParserRuleCall_1_1_1 = (RuleCall)cGroup_1_1.eContents().get(1);
1148 private final Group cGroup_1_2 = (Group)cGroup_1.eContents().get(2);
1149 private final Keyword cColonKeyword_1_2_0 = (Keyword)cGroup_1_2.eContents().get(0);
1150 private final RuleCall cQUOTED_IDTerminalRuleCall_1_2_1 = (RuleCall)cGroup_1_2.eContents().get(1);
1151
1152 //QualifiedName:
1153 // QUOTED_ID | Identifier (":" Identifier)* (":" QUOTED_ID)?;
1154 @Override public ParserRule getRule() { return rule; }
1155
1156 //QUOTED_ID | Identifier (":" Identifier)* (":" QUOTED_ID)?
1157 public Alternatives getAlternatives() { return cAlternatives; }
1158
1159 //QUOTED_ID
1160 public RuleCall getQUOTED_IDTerminalRuleCall_0() { return cQUOTED_IDTerminalRuleCall_0; }
1161
1162 //Identifier (":" Identifier)* (":" QUOTED_ID)?
1163 public Group getGroup_1() { return cGroup_1; }
1164
1165 //Identifier
1166 public RuleCall getIdentifierParserRuleCall_1_0() { return cIdentifierParserRuleCall_1_0; }
1167
1168 //(":" Identifier)*
1169 public Group getGroup_1_1() { return cGroup_1_1; }
1170
1171 //":"
1172 public Keyword getColonKeyword_1_1_0() { return cColonKeyword_1_1_0; }
1173
1174 //Identifier
1175 public RuleCall getIdentifierParserRuleCall_1_1_1() { return cIdentifierParserRuleCall_1_1_1; }
1176
1177 //(":" QUOTED_ID)?
1178 public Group getGroup_1_2() { return cGroup_1_2; }
1179
1180 //":"
1181 public Keyword getColonKeyword_1_2_0() { return cColonKeyword_1_2_0; }
1182
1183 //QUOTED_ID
1184 public RuleCall getQUOTED_IDTerminalRuleCall_1_2_1() { return cQUOTED_IDTerminalRuleCall_1_2_1; }
1185 }
1186 public class IdentifierElements extends AbstractParserRuleElementFinder {
1187 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Identifier");
1188 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1189 private final RuleCall cIDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1190 private final Keyword cTrueKeyword_1 = (Keyword)cAlternatives.eContents().get(1);
1191 private final Keyword cFalseKeyword_2 = (Keyword)cAlternatives.eContents().get(2);
1192
1193 //Identifier:
1194 // ID | "true" | "false";
1195 @Override public ParserRule getRule() { return rule; }
1196
1197 //ID | "true" | "false"
1198 public Alternatives getAlternatives() { return cAlternatives; }
1199
1200 //ID
1201 public RuleCall getIDTerminalRuleCall_0() { return cIDTerminalRuleCall_0; }
1202
1203 //"true"
1204 public Keyword getTrueKeyword_1() { return cTrueKeyword_1; }
1205
1206 //"false"
1207 public Keyword getFalseKeyword_2() { return cFalseKeyword_2; }
1208 }
1209
1210 public class LogicValueElements extends AbstractElementFinder.AbstractEnumRuleElementFinder {
1211 private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.LogicValue");
1212 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1213 private final EnumLiteralDeclaration cTRUEEnumLiteralDeclaration_0 = (EnumLiteralDeclaration)cAlternatives.eContents().get(0);
1214 private final Keyword cTRUETrueKeyword_0_0 = (Keyword)cTRUEEnumLiteralDeclaration_0.eContents().get(0);
1215 private final EnumLiteralDeclaration cFALSEEnumLiteralDeclaration_1 = (EnumLiteralDeclaration)cAlternatives.eContents().get(1);
1216 private final Keyword cFALSEFalseKeyword_1_0 = (Keyword)cFALSEEnumLiteralDeclaration_1.eContents().get(0);
1217 private final EnumLiteralDeclaration cUNKNOWNEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2);
1218 private final Keyword cUNKNOWNUnknownKeyword_2_0 = (Keyword)cUNKNOWNEnumLiteralDeclaration_2.eContents().get(0);
1219
1220 //enum LogicValue:
1221 // TRUE="true" | FALSE="false" | UNKNOWN="unknown";
1222 public EnumRule getRule() { return rule; }
1223
1224 //TRUE="true" | FALSE="false" | UNKNOWN="unknown"
1225 public Alternatives getAlternatives() { return cAlternatives; }
1226
1227 //TRUE="true"
1228 public EnumLiteralDeclaration getTRUEEnumLiteralDeclaration_0() { return cTRUEEnumLiteralDeclaration_0; }
1229
1230 //"true"
1231 public Keyword getTRUETrueKeyword_0_0() { return cTRUETrueKeyword_0_0; }
1232
1233 //FALSE="false"
1234 public EnumLiteralDeclaration getFALSEEnumLiteralDeclaration_1() { return cFALSEEnumLiteralDeclaration_1; }
1235
1236 //"false"
1237 public Keyword getFALSEFalseKeyword_1_0() { return cFALSEFalseKeyword_1_0; }
1238
1239 //UNKNOWN="unknown"
1240 public EnumLiteralDeclaration getUNKNOWNEnumLiteralDeclaration_2() { return cUNKNOWNEnumLiteralDeclaration_2; }
1241
1242 //"unknown"
1243 public Keyword getUNKNOWNUnknownKeyword_2_0() { return cUNKNOWNUnknownKeyword_2_0; }
1244 }
1245 public class ShortLogicValueElements extends AbstractElementFinder.AbstractEnumRuleElementFinder {
1246 private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ShortLogicValue");
1247 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1248 private final EnumLiteralDeclaration cFALSEEnumLiteralDeclaration_0 = (EnumLiteralDeclaration)cAlternatives.eContents().get(0);
1249 private final Keyword cFALSEExclamationMarkKeyword_0_0 = (Keyword)cFALSEEnumLiteralDeclaration_0.eContents().get(0);
1250 private final EnumLiteralDeclaration cUNKNOWNEnumLiteralDeclaration_1 = (EnumLiteralDeclaration)cAlternatives.eContents().get(1);
1251 private final Keyword cUNKNOWNQuestionMarkKeyword_1_0 = (Keyword)cUNKNOWNEnumLiteralDeclaration_1.eContents().get(0);
1252
1253 //enum ShortLogicValue returns LogicValue:
1254 // FALSE="!" | UNKNOWN="?";
1255 public EnumRule getRule() { return rule; }
1256
1257 //FALSE="!" | UNKNOWN="?"
1258 public Alternatives getAlternatives() { return cAlternatives; }
1259
1260 //FALSE="!"
1261 public EnumLiteralDeclaration getFALSEEnumLiteralDeclaration_0() { return cFALSEEnumLiteralDeclaration_0; }
1262
1263 //"!"
1264 public Keyword getFALSEExclamationMarkKeyword_0_0() { return cFALSEExclamationMarkKeyword_0_0; }
1265
1266 //UNKNOWN="?"
1267 public EnumLiteralDeclaration getUNKNOWNEnumLiteralDeclaration_1() { return cUNKNOWNEnumLiteralDeclaration_1; }
1268
1269 //"?"
1270 public Keyword getUNKNOWNQuestionMarkKeyword_1_0() { return cUNKNOWNQuestionMarkKeyword_1_0; }
1271 }
1272
1273 private final ProblemElements pProblem;
1274 private final StatementElements pStatement;
1275 private final ClassDeclarationElements pClassDeclaration;
1276 private final EnumDeclarationElements pEnumDeclaration;
1277 private final EnumLiteralElements pEnumLiteral;
1278 private final ReferenceDeclarationElements pReferenceDeclaration;
1279 private final PredicateDefinitionElements pPredicateDefinition;
1280 private final ParameterElements pParameter;
1281 private final ConjunctionElements pConjunction;
1282 private final LiteralElements pLiteral;
1283 private final NegativeLiteralElements pNegativeLiteral;
1284 private final AtomElements pAtom;
1285 private final ArgumentElements pArgument;
1286 private final AssertionElements pAssertion;
1287 private final LogicValueElements eLogicValue;
1288 private final ShortLogicValueElements eShortLogicValue;
1289 private final ScopeDeclarationElements pScopeDeclaration;
1290 private final TypeScopeElements pTypeScope;
1291 private final MultiplicityElements pMultiplicity;
1292 private final DefiniteMultiplicityElements pDefiniteMultiplicity;
1293 private final UnboundedMultiplicityElements pUnboundedMultiplicity;
1294 private final RangeMultiplicityElements pRangeMultiplicity;
1295 private final ExactMultiplicityElements pExactMultiplicity;
1296 private final UpperBoundElements pUpperBound;
1297 private final QuotedOrUnquotedIdElements pQuotedOrUnquotedId;
1298 private final QualifiedNameElements pQualifiedName;
1299 private final IdentifierElements pIdentifier;
1300 private final TerminalRule tSTRING;
1301 private final TerminalRule tQUOTED_ID;
1302
1303 private final Grammar grammar;
1304
1305 private final TerminalsGrammarAccess gaTerminals;
1306
1307 @Inject
1308 public ProblemGrammarAccess(GrammarProvider grammarProvider,
1309 TerminalsGrammarAccess gaTerminals) {
1310 this.grammar = internalFindGrammar(grammarProvider);
1311 this.gaTerminals = gaTerminals;
1312 this.pProblem = new ProblemElements();
1313 this.pStatement = new StatementElements();
1314 this.pClassDeclaration = new ClassDeclarationElements();
1315 this.pEnumDeclaration = new EnumDeclarationElements();
1316 this.pEnumLiteral = new EnumLiteralElements();
1317 this.pReferenceDeclaration = new ReferenceDeclarationElements();
1318 this.pPredicateDefinition = new PredicateDefinitionElements();
1319 this.pParameter = new ParameterElements();
1320 this.pConjunction = new ConjunctionElements();
1321 this.pLiteral = new LiteralElements();
1322 this.pNegativeLiteral = new NegativeLiteralElements();
1323 this.pAtom = new AtomElements();
1324 this.pArgument = new ArgumentElements();
1325 this.pAssertion = new AssertionElements();
1326 this.eLogicValue = new LogicValueElements();
1327 this.eShortLogicValue = new ShortLogicValueElements();
1328 this.pScopeDeclaration = new ScopeDeclarationElements();
1329 this.pTypeScope = new TypeScopeElements();
1330 this.pMultiplicity = new MultiplicityElements();
1331 this.pDefiniteMultiplicity = new DefiniteMultiplicityElements();
1332 this.pUnboundedMultiplicity = new UnboundedMultiplicityElements();
1333 this.pRangeMultiplicity = new RangeMultiplicityElements();
1334 this.pExactMultiplicity = new ExactMultiplicityElements();
1335 this.pUpperBound = new UpperBoundElements();
1336 this.pQuotedOrUnquotedId = new QuotedOrUnquotedIdElements();
1337 this.pQualifiedName = new QualifiedNameElements();
1338 this.pIdentifier = new IdentifierElements();
1339 this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.STRING");
1340 this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QUOTED_ID");
1341 }
1342
1343 protected Grammar internalFindGrammar(GrammarProvider grammarProvider) {
1344 Grammar grammar = grammarProvider.getGrammar(this);
1345 while (grammar != null) {
1346 if ("org.eclipse.viatra.solver.language.Problem".equals(grammar.getName())) {
1347 return grammar;
1348 }
1349 List<Grammar> grammars = grammar.getUsedGrammars();
1350 if (!grammars.isEmpty()) {
1351 grammar = grammars.iterator().next();
1352 } else {
1353 return null;
1354 }
1355 }
1356 return grammar;
1357 }
1358
1359 @Override
1360 public Grammar getGrammar() {
1361 return grammar;
1362 }
1363
1364
1365 public TerminalsGrammarAccess getTerminalsGrammarAccess() {
1366 return gaTerminals;
1367 }
1368
1369
1370 //Problem:
1371 // ("problem" name=Identifier ".")?
1372 // statements+=Statement*;
1373 public ProblemElements getProblemAccess() {
1374 return pProblem;
1375 }
1376
1377 public ParserRule getProblemRule() {
1378 return getProblemAccess().getRule();
1379 }
1380
1381 //Statement:
1382 // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration;
1383 public StatementElements getStatementAccess() {
1384 return pStatement;
1385 }
1386
1387 public ParserRule getStatementRule() {
1388 return getStatementAccess().getRule();
1389 }
1390
1391 //ClassDeclaration:
1392 // abstract?="abstract"? "class"
1393 // name=Identifier
1394 // ("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)?
1395 // ("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".");
1396 public ClassDeclarationElements getClassDeclarationAccess() {
1397 return pClassDeclaration;
1398 }
1399
1400 public ParserRule getClassDeclarationRule() {
1401 return getClassDeclarationAccess().getRule();
1402 }
1403
1404 //EnumDeclaration:
1405 // "enum"
1406 // name=Identifier
1407 // ("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ".");
1408 public EnumDeclarationElements getEnumDeclarationAccess() {
1409 return pEnumDeclaration;
1410 }
1411
1412 public ParserRule getEnumDeclarationRule() {
1413 return getEnumDeclarationAccess().getRule();
1414 }
1415
1416 //EnumLiteral returns Node:
1417 // name=QuotedOrUnquotedId;
1418 public EnumLiteralElements getEnumLiteralAccess() {
1419 return pEnumLiteral;
1420 }
1421
1422 public ParserRule getEnumLiteralRule() {
1423 return getEnumLiteralAccess().getRule();
1424 }
1425
1426 //ReferenceDeclaration:
1427 // (containment?="contains" | "refers")?
1428 // referenceType=[Relation|QualifiedName]
1429 // ("[" multiplicity=Multiplicity "]")?
1430 // name=Identifier
1431 // ("opposite" opposite=[ReferenceDeclaration|QualifiedName])?;
1432 public ReferenceDeclarationElements getReferenceDeclarationAccess() {
1433 return pReferenceDeclaration;
1434 }
1435
1436 public ParserRule getReferenceDeclarationRule() {
1437 return getReferenceDeclarationAccess().getRule();
1438 }
1439
1440 //PredicateDefinition:
1441 // (error?="error" "pred"? | "pred")
1442 // name=Identifier
1443 // "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")"
1444 // (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)?
1445 // ".";
1446 public PredicateDefinitionElements getPredicateDefinitionAccess() {
1447 return pPredicateDefinition;
1448 }
1449
1450 public ParserRule getPredicateDefinitionRule() {
1451 return getPredicateDefinitionAccess().getRule();
1452 }
1453
1454 //Parameter:
1455 // parameterType=[Relation|QualifiedName]? name=Identifier;
1456 public ParameterElements getParameterAccess() {
1457 return pParameter;
1458 }
1459
1460 public ParserRule getParameterRule() {
1461 return getParameterAccess().getRule();
1462 }
1463
1464 //Conjunction:
1465 // literals+=Literal ("," literals+=Literal)*;
1466 public ConjunctionElements getConjunctionAccess() {
1467 return pConjunction;
1468 }
1469
1470 public ParserRule getConjunctionRule() {
1471 return getConjunctionAccess().getRule();
1472 }
1473
1474 //Literal:
1475 // Atom | NegativeLiteral;
1476 public LiteralElements getLiteralAccess() {
1477 return pLiteral;
1478 }
1479
1480 public ParserRule getLiteralRule() {
1481 return getLiteralAccess().getRule();
1482 }
1483
1484 //NegativeLiteral:
1485 // "!" atom=Atom;
1486 public NegativeLiteralElements getNegativeLiteralAccess() {
1487 return pNegativeLiteral;
1488 }
1489
1490 public ParserRule getNegativeLiteralRule() {
1491 return getNegativeLiteralAccess().getRule();
1492 }
1493
1494 //Atom:
1495 // relation=[Relation|QualifiedName]
1496 // transitiveClosure?="+"?
1497 // "(" (arguments+=Argument ("," arguments+=Argument)*)? ")";
1498 public AtomElements getAtomAccess() {
1499 return pAtom;
1500 }
1501
1502 public ParserRule getAtomRule() {
1503 return getAtomAccess().getRule();
1504 }
1505
1506 //Argument:
1507 // variableOrNode=[VariableOrNode|QualifiedName];
1508 public ArgumentElements getArgumentAccess() {
1509 return pArgument;
1510 }
1511
1512 public ParserRule getArgumentRule() {
1513 return getArgumentAccess().getRule();
1514 }
1515
1516 //Assertion:
1517 // (relation=[Relation|QualifiedName]
1518 // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")"
1519 // ":" value=LogicValue |
1520 // value=ShortLogicValue?
1521 // relation=[Relation|QualifiedName]
1522 // "(" (arguments+=[Node|QualifiedName] ("," arguments+=[Node|QualifiedName])*)? ")")
1523 // ".";
1524 public AssertionElements getAssertionAccess() {
1525 return pAssertion;
1526 }
1527
1528 public ParserRule getAssertionRule() {
1529 return getAssertionAccess().getRule();
1530 }
1531
1532 //enum LogicValue:
1533 // TRUE="true" | FALSE="false" | UNKNOWN="unknown";
1534 public LogicValueElements getLogicValueAccess() {
1535 return eLogicValue;
1536 }
1537
1538 public EnumRule getLogicValueRule() {
1539 return getLogicValueAccess().getRule();
1540 }
1541
1542 //enum ShortLogicValue returns LogicValue:
1543 // FALSE="!" | UNKNOWN="?";
1544 public ShortLogicValueElements getShortLogicValueAccess() {
1545 return eShortLogicValue;
1546 }
1547
1548 public EnumRule getShortLogicValueRule() {
1549 return getShortLogicValueAccess().getRule();
1550 }
1551
1552 //ScopeDeclaration:
1553 // "scope" typeScopes+=TypeScope ("," typeScopes+=TypeScope)* ".";
1554 public ScopeDeclarationElements getScopeDeclarationAccess() {
1555 return pScopeDeclaration;
1556 }
1557
1558 public ParserRule getScopeDeclarationRule() {
1559 return getScopeDeclarationAccess().getRule();
1560 }
1561
1562 //TypeScope:
1563 // targetType=[ClassDeclaration]
1564 // (increment?="+=" | "=")
1565 // multiplicity=DefiniteMultiplicity;
1566 public TypeScopeElements getTypeScopeAccess() {
1567 return pTypeScope;
1568 }
1569
1570 public ParserRule getTypeScopeRule() {
1571 return getTypeScopeAccess().getRule();
1572 }
1573
1574 //Multiplicity:
1575 // UnboundedMultiplicity | DefiniteMultiplicity;
1576 public MultiplicityElements getMultiplicityAccess() {
1577 return pMultiplicity;
1578 }
1579
1580 public ParserRule getMultiplicityRule() {
1581 return getMultiplicityAccess().getRule();
1582 }
1583
1584 //DefiniteMultiplicity returns Multiplicity:
1585 // RangeMultiplicity | ExactMultiplicity;
1586 public DefiniteMultiplicityElements getDefiniteMultiplicityAccess() {
1587 return pDefiniteMultiplicity;
1588 }
1589
1590 public ParserRule getDefiniteMultiplicityRule() {
1591 return getDefiniteMultiplicityAccess().getRule();
1592 }
1593
1594 //UnboundedMultiplicity:
1595 // {UnboundedMultiplicity};
1596 public UnboundedMultiplicityElements getUnboundedMultiplicityAccess() {
1597 return pUnboundedMultiplicity;
1598 }
1599
1600 public ParserRule getUnboundedMultiplicityRule() {
1601 return getUnboundedMultiplicityAccess().getRule();
1602 }
1603
1604 //RangeMultiplicity:
1605 // lowerBound=INT ".." upperBound=UpperBound;
1606 public RangeMultiplicityElements getRangeMultiplicityAccess() {
1607 return pRangeMultiplicity;
1608 }
1609
1610 public ParserRule getRangeMultiplicityRule() {
1611 return getRangeMultiplicityAccess().getRule();
1612 }
1613
1614 //ExactMultiplicity:
1615 // exactValue=INT;
1616 public ExactMultiplicityElements getExactMultiplicityAccess() {
1617 return pExactMultiplicity;
1618 }
1619
1620 public ParserRule getExactMultiplicityRule() {
1621 return getExactMultiplicityAccess().getRule();
1622 }
1623
1624 //UpperBound returns ecore::EInt:
1625 // INT | "*";
1626 public UpperBoundElements getUpperBoundAccess() {
1627 return pUpperBound;
1628 }
1629
1630 public ParserRule getUpperBoundRule() {
1631 return getUpperBoundAccess().getRule();
1632 }
1633
1634 //QuotedOrUnquotedId:
1635 // QUOTED_ID | Identifier;
1636 public QuotedOrUnquotedIdElements getQuotedOrUnquotedIdAccess() {
1637 return pQuotedOrUnquotedId;
1638 }
1639
1640 public ParserRule getQuotedOrUnquotedIdRule() {
1641 return getQuotedOrUnquotedIdAccess().getRule();
1642 }
1643
1644 //QualifiedName:
1645 // QUOTED_ID | Identifier (":" Identifier)* (":" QUOTED_ID)?;
1646 public QualifiedNameElements getQualifiedNameAccess() {
1647 return pQualifiedName;
1648 }
1649
1650 public ParserRule getQualifiedNameRule() {
1651 return getQualifiedNameAccess().getRule();
1652 }
1653
1654 //Identifier:
1655 // ID | "true" | "false";
1656 public IdentifierElements getIdentifierAccess() {
1657 return pIdentifier;
1658 }
1659
1660 public ParserRule getIdentifierRule() {
1661 return getIdentifierAccess().getRule();
1662 }
1663
1664 //@Override
1665 //terminal STRING:
1666 // '"' ('\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\' | '"'))* '"';
1667 public TerminalRule getSTRINGRule() {
1668 return tSTRING;
1669 }
1670
1671 //terminal QUOTED_ID:
1672 // "'" ('\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\' | "'"))* "'";
1673 public TerminalRule getQUOTED_IDRule() {
1674 return tQUOTED_ID;
1675 }
1676
1677 //terminal ID: '^'?('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
1678 public TerminalRule getIDRule() {
1679 return gaTerminals.getIDRule();
1680 }
1681
1682 //terminal INT returns ecore::EInt: ('0'..'9')+;
1683 public TerminalRule getINTRule() {
1684 return gaTerminals.getINTRule();
1685 }
1686
1687 //terminal ML_COMMENT : '/*' -> '*/';
1688 public TerminalRule getML_COMMENTRule() {
1689 return gaTerminals.getML_COMMENTRule();
1690 }
1691
1692 //terminal SL_COMMENT : '//' !('\n'|'\r')* ('\r'? '\n')?;
1693 public TerminalRule getSL_COMMENTRule() {
1694 return gaTerminals.getSL_COMMENTRule();
1695 }
1696
1697 //terminal WS : (' '|'\t'|'\r'|'\n')+;
1698 public TerminalRule getWSRule() {
1699 return gaTerminals.getWSRule();
1700 }
1701
1702 //terminal ANY_OTHER: .;
1703 public TerminalRule getANY_OTHERRule() {
1704 return gaTerminals.getANY_OTHERRule();
1705 }
1706}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-19 18:41:20 +0000