diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 14:22:40 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 14:22:40 +0200 |
commit | 07719e927f9d398765e661c84fd8778cefb39083 (patch) | |
tree | 9652080f7e580f09a0763a3e258348dea6e02684 /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | |
parent | Add enum support (diff) | |
download | refinery-07719e927f9d398765e661c84fd8778cefb39083.tar.gz refinery-07719e927f9d398765e661c84fd8778cefb39083.tar.zst refinery-07719e927f9d398765e661c84fd8778cefb39083.zip |
Simplify project layout
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | 1706 |
1 files changed, 0 insertions, 1706 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java deleted file mode 100644 index 4368036b..00000000 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java +++ /dev/null | |||
@@ -1,1706 +0,0 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.26.0.M1 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.services; | ||
5 | |||
6 | import com.google.inject.Inject; | ||
7 | import com.google.inject.Singleton; | ||
8 | import java.util.List; | ||
9 | import org.eclipse.xtext.Action; | ||
10 | import org.eclipse.xtext.Alternatives; | ||
11 | import org.eclipse.xtext.Assignment; | ||
12 | import org.eclipse.xtext.CrossReference; | ||
13 | import org.eclipse.xtext.EnumLiteralDeclaration; | ||
14 | import org.eclipse.xtext.EnumRule; | ||
15 | import org.eclipse.xtext.Grammar; | ||
16 | import org.eclipse.xtext.GrammarUtil; | ||
17 | import org.eclipse.xtext.Group; | ||
18 | import org.eclipse.xtext.Keyword; | ||
19 | import org.eclipse.xtext.ParserRule; | ||
20 | import org.eclipse.xtext.RuleCall; | ||
21 | import org.eclipse.xtext.TerminalRule; | ||
22 | import org.eclipse.xtext.common.services.TerminalsGrammarAccess; | ||
23 | import org.eclipse.xtext.service.AbstractElementFinder; | ||
24 | import org.eclipse.xtext.service.GrammarProvider; | ||
25 | |||
26 | @Singleton | ||
27 | public 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 | } | ||