aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java2124
1 files changed, 2124 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java
new file mode 100644
index 00000000..fb5ea124
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java
@@ -0,0 +1,2124 @@
1/*
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.services;
5
6import com.google.inject.Inject;
7import com.google.inject.Singleton;
8import java.util.List;
9import org.eclipse.xtext.Action;
10import org.eclipse.xtext.Alternatives;
11import org.eclipse.xtext.Assignment;
12import org.eclipse.xtext.Grammar;
13import org.eclipse.xtext.GrammarUtil;
14import org.eclipse.xtext.Group;
15import org.eclipse.xtext.Keyword;
16import org.eclipse.xtext.ParserRule;
17import org.eclipse.xtext.RuleCall;
18import org.eclipse.xtext.TerminalRule;
19import org.eclipse.xtext.common.services.TerminalsGrammarAccess;
20import org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder;
21import org.eclipse.xtext.service.GrammarProvider;
22
23@Singleton
24public class SolverLanguageGrammarAccess extends AbstractGrammarElementFinder {
25
26 public class ProblemElements extends AbstractParserRuleElementFinder {
27 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Problem");
28 private final Assignment cStatementsAssignment = (Assignment)rule.eContents().get(1);
29 private final RuleCall cStatementsStatementParserRuleCall_0 = (RuleCall)cStatementsAssignment.eContents().get(0);
30
31 //Problem:
32 // statements+=Statement*;
33 @Override public ParserRule getRule() { return rule; }
34
35 //statements+=Statement*
36 public Assignment getStatementsAssignment() { return cStatementsAssignment; }
37
38 //Statement
39 public RuleCall getStatementsStatementParserRuleCall_0() { return cStatementsStatementParserRuleCall_0; }
40 }
41 public class StatementElements extends AbstractParserRuleElementFinder {
42 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Statement");
43 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
44 private final RuleCall cInterpretationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
45 private final RuleCall cPredicateParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
46
47 //Statement:
48 // Interpretation | Predicate;
49 @Override public ParserRule getRule() { return rule; }
50
51 //Interpretation | Predicate
52 public Alternatives getAlternatives() { return cAlternatives; }
53
54 //Interpretation
55 public RuleCall getInterpretationParserRuleCall_0() { return cInterpretationParserRuleCall_0; }
56
57 //Predicate
58 public RuleCall getPredicateParserRuleCall_1() { return cPredicateParserRuleCall_1; }
59 }
60 public class REALLiteralElements extends AbstractParserRuleElementFinder {
61 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.REALLiteral");
62 private final Group cGroup = (Group)rule.eContents().get(1);
63 private final Keyword cHyphenMinusKeyword_0 = (Keyword)cGroup.eContents().get(0);
64 private final RuleCall cINTTerminalRuleCall_1 = (RuleCall)cGroup.eContents().get(1);
65 private final Keyword cFullStopKeyword_2 = (Keyword)cGroup.eContents().get(2);
66 private final RuleCall cINTTerminalRuleCall_3 = (RuleCall)cGroup.eContents().get(3);
67
68 //REALLiteral ecore::EBigDecimal:
69 // '-'? INT '.' INT;
70 @Override public ParserRule getRule() { return rule; }
71
72 //'-'? INT '.' INT
73 public Group getGroup() { return cGroup; }
74
75 //'-'?
76 public Keyword getHyphenMinusKeyword_0() { return cHyphenMinusKeyword_0; }
77
78 //INT
79 public RuleCall getINTTerminalRuleCall_1() { return cINTTerminalRuleCall_1; }
80
81 //'.'
82 public Keyword getFullStopKeyword_2() { return cFullStopKeyword_2; }
83
84 //INT
85 public RuleCall getINTTerminalRuleCall_3() { return cINTTerminalRuleCall_3; }
86 }
87 public class INTLiteralElements extends AbstractParserRuleElementFinder {
88 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.INTLiteral");
89 private final Group cGroup = (Group)rule.eContents().get(1);
90 private final Keyword cHyphenMinusKeyword_0 = (Keyword)cGroup.eContents().get(0);
91 private final RuleCall cINTTerminalRuleCall_1 = (RuleCall)cGroup.eContents().get(1);
92
93 //INTLiteral ecore::EInt:
94 // '-'? INT;
95 @Override public ParserRule getRule() { return rule; }
96
97 //'-'? INT
98 public Group getGroup() { return cGroup; }
99
100 //'-'?
101 public Keyword getHyphenMinusKeyword_0() { return cHyphenMinusKeyword_0; }
102
103 //INT
104 public RuleCall getINTTerminalRuleCall_1() { return cINTTerminalRuleCall_1; }
105 }
106 public class BooleanValueElements extends AbstractParserRuleElementFinder {
107 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.BooleanValue");
108 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
109 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
110 private final Action cBooleanTrueAction_0_0 = (Action)cGroup_0.eContents().get(0);
111 private final Keyword cTrueKeyword_0_1 = (Keyword)cGroup_0.eContents().get(1);
112 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
113 private final Keyword cFalseKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0);
114 private final Action cBooleanFalseAction_1_1 = (Action)cGroup_1.eContents().get(1);
115
116 //BooleanValue:
117 // {BooleanTrue} 'true' | 'false' {BooleanFalse};
118 @Override public ParserRule getRule() { return rule; }
119
120 //{BooleanTrue} 'true' | 'false' {BooleanFalse}
121 public Alternatives getAlternatives() { return cAlternatives; }
122
123 //{BooleanTrue} 'true'
124 public Group getGroup_0() { return cGroup_0; }
125
126 //{BooleanTrue}
127 public Action getBooleanTrueAction_0_0() { return cBooleanTrueAction_0_0; }
128
129 //'true'
130 public Keyword getTrueKeyword_0_1() { return cTrueKeyword_0_1; }
131
132 //'false' {BooleanFalse}
133 public Group getGroup_1() { return cGroup_1; }
134
135 //'false'
136 public Keyword getFalseKeyword_1_0() { return cFalseKeyword_1_0; }
137
138 //{BooleanFalse}
139 public Action getBooleanFalseAction_1_1() { return cBooleanFalseAction_1_1; }
140 }
141 public class TruthValueElements extends AbstractParserRuleElementFinder {
142 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.TruthValue");
143 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
144 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
145 private final Action cTrueAction_0_0 = (Action)cGroup_0.eContents().get(0);
146 private final Keyword cTrueKeyword_0_1 = (Keyword)cGroup_0.eContents().get(1);
147 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
148 private final Action cFalseAction_1_0 = (Action)cGroup_1.eContents().get(0);
149 private final Keyword cFalseKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
150 private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2);
151 private final Action cUnknownAction_2_0 = (Action)cGroup_2.eContents().get(0);
152 private final Keyword cUnknownKeyword_2_1 = (Keyword)cGroup_2.eContents().get(1);
153 private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3);
154 private final Action cErrorAction_3_0 = (Action)cGroup_3.eContents().get(0);
155 private final Keyword cErrorKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1);
156
157 //TruthValue:
158 // {True} 'true' | {False} 'false' | {Unknown} 'unknown' | {Error} 'error';
159 @Override public ParserRule getRule() { return rule; }
160
161 //{True} 'true' | {False} 'false' | {Unknown} 'unknown' | {Error} 'error'
162 public Alternatives getAlternatives() { return cAlternatives; }
163
164 //{True} 'true'
165 public Group getGroup_0() { return cGroup_0; }
166
167 //{True}
168 public Action getTrueAction_0_0() { return cTrueAction_0_0; }
169
170 //'true'
171 public Keyword getTrueKeyword_0_1() { return cTrueKeyword_0_1; }
172
173 //{False} 'false'
174 public Group getGroup_1() { return cGroup_1; }
175
176 //{False}
177 public Action getFalseAction_1_0() { return cFalseAction_1_0; }
178
179 //'false'
180 public Keyword getFalseKeyword_1_1() { return cFalseKeyword_1_1; }
181
182 //{Unknown} 'unknown'
183 public Group getGroup_2() { return cGroup_2; }
184
185 //{Unknown}
186 public Action getUnknownAction_2_0() { return cUnknownAction_2_0; }
187
188 //'unknown'
189 public Keyword getUnknownKeyword_2_1() { return cUnknownKeyword_2_1; }
190
191 //{Error} 'error'
192 public Group getGroup_3() { return cGroup_3; }
193
194 //{Error}
195 public Action getErrorAction_3_0() { return cErrorAction_3_0; }
196
197 //'error'
198 public Keyword getErrorKeyword_3_1() { return cErrorKeyword_3_1; }
199 }
200 public class InterpretationElements extends AbstractParserRuleElementFinder {
201 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Interpretation");
202 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
203 private final RuleCall cBasicInterpretationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
204 private final RuleCall cDefaultInterpretationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
205 private final RuleCall cCDInterpretationParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
206
207 /////////////////////
208 //// Core grammar
209 // ///////////////////
210 //Interpretation:
211 // BasicInterpretation | DefaultInterpretation | CDInterpretation;
212 @Override public ParserRule getRule() { return rule; }
213
214 //BasicInterpretation | DefaultInterpretation | CDInterpretation
215 public Alternatives getAlternatives() { return cAlternatives; }
216
217 //BasicInterpretation
218 public RuleCall getBasicInterpretationParserRuleCall_0() { return cBasicInterpretationParserRuleCall_0; }
219
220 //DefaultInterpretation
221 public RuleCall getDefaultInterpretationParserRuleCall_1() { return cDefaultInterpretationParserRuleCall_1; }
222
223 //CDInterpretation
224 public RuleCall getCDInterpretationParserRuleCall_2() { return cCDInterpretationParserRuleCall_2; }
225 }
226 public class BasicInterpretationElements extends AbstractParserRuleElementFinder {
227 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.BasicInterpretation");
228 private final Group cGroup = (Group)rule.eContents().get(1);
229 private final Assignment cSymbolAssignment_0 = (Assignment)cGroup.eContents().get(0);
230 private final RuleCall cSymbolSymbolParserRuleCall_0_0 = (RuleCall)cSymbolAssignment_0.eContents().get(0);
231 private final Keyword cLeftParenthesisKeyword_1 = (Keyword)cGroup.eContents().get(1);
232 private final Assignment cObjectsAssignment_2 = (Assignment)cGroup.eContents().get(2);
233 private final RuleCall cObjectsComplexObjectParserRuleCall_2_0 = (RuleCall)cObjectsAssignment_2.eContents().get(0);
234 private final Keyword cRightParenthesisKeyword_3 = (Keyword)cGroup.eContents().get(3);
235 private final Keyword cColonKeyword_4 = (Keyword)cGroup.eContents().get(4);
236 private final Assignment cValueAssignment_5 = (Assignment)cGroup.eContents().get(5);
237 private final RuleCall cValueTruthValueParserRuleCall_5_0 = (RuleCall)cValueAssignment_5.eContents().get(0);
238
239 //BasicInterpretation:
240 // symbol=Symbol '(' objects+=ComplexObject* ')' ':' value=TruthValue;
241 @Override public ParserRule getRule() { return rule; }
242
243 //symbol=Symbol '(' objects+=ComplexObject* ')' ':' value=TruthValue
244 public Group getGroup() { return cGroup; }
245
246 //symbol=Symbol
247 public Assignment getSymbolAssignment_0() { return cSymbolAssignment_0; }
248
249 //Symbol
250 public RuleCall getSymbolSymbolParserRuleCall_0_0() { return cSymbolSymbolParserRuleCall_0_0; }
251
252 //'('
253 public Keyword getLeftParenthesisKeyword_1() { return cLeftParenthesisKeyword_1; }
254
255 //objects+=ComplexObject*
256 public Assignment getObjectsAssignment_2() { return cObjectsAssignment_2; }
257
258 //ComplexObject
259 public RuleCall getObjectsComplexObjectParserRuleCall_2_0() { return cObjectsComplexObjectParserRuleCall_2_0; }
260
261 //')'
262 public Keyword getRightParenthesisKeyword_3() { return cRightParenthesisKeyword_3; }
263
264 //':'
265 public Keyword getColonKeyword_4() { return cColonKeyword_4; }
266
267 //value=TruthValue
268 public Assignment getValueAssignment_5() { return cValueAssignment_5; }
269
270 //TruthValue
271 public RuleCall getValueTruthValueParserRuleCall_5_0() { return cValueTruthValueParserRuleCall_5_0; }
272 }
273 public class SymbolElements extends AbstractParserRuleElementFinder {
274 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Symbol");
275 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
276 private final RuleCall cModelSymbolParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
277 private final RuleCall cPartialitySymbolParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
278 private final RuleCall cDataSymbolParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
279
280 //Symbol:
281 // ModelSymbol | PartialitySymbol | DataSymbol;
282 @Override public ParserRule getRule() { return rule; }
283
284 //ModelSymbol | PartialitySymbol | DataSymbol
285 public Alternatives getAlternatives() { return cAlternatives; }
286
287 //ModelSymbol
288 public RuleCall getModelSymbolParserRuleCall_0() { return cModelSymbolParserRuleCall_0; }
289
290 //PartialitySymbol
291 public RuleCall getPartialitySymbolParserRuleCall_1() { return cPartialitySymbolParserRuleCall_1; }
292
293 //DataSymbol
294 public RuleCall getDataSymbolParserRuleCall_2() { return cDataSymbolParserRuleCall_2; }
295 }
296 public class ModelSymbolElements extends AbstractParserRuleElementFinder {
297 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ModelSymbol");
298 private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1);
299 private final RuleCall cNameIDTerminalRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0);
300
301 //ModelSymbol:
302 // name=ID;
303 @Override public ParserRule getRule() { return rule; }
304
305 //name=ID
306 public Assignment getNameAssignment() { return cNameAssignment; }
307
308 //ID
309 public RuleCall getNameIDTerminalRuleCall_0() { return cNameIDTerminalRuleCall_0; }
310 }
311 public class PartialitySymbolElements extends AbstractParserRuleElementFinder {
312 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.PartialitySymbol");
313 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
314 private final RuleCall cExistSymbolParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
315 private final RuleCall cEqualsSymbolParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
316
317 //PartialitySymbol:
318 // ExistSymbol | EqualsSymbol;
319 @Override public ParserRule getRule() { return rule; }
320
321 //ExistSymbol | EqualsSymbol
322 public Alternatives getAlternatives() { return cAlternatives; }
323
324 //ExistSymbol
325 public RuleCall getExistSymbolParserRuleCall_0() { return cExistSymbolParserRuleCall_0; }
326
327 //EqualsSymbol
328 public RuleCall getEqualsSymbolParserRuleCall_1() { return cEqualsSymbolParserRuleCall_1; }
329 }
330 public class ExistSymbolElements extends AbstractParserRuleElementFinder {
331 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ExistSymbol");
332 private final Group cGroup = (Group)rule.eContents().get(1);
333 private final Keyword cExistsKeyword_0 = (Keyword)cGroup.eContents().get(0);
334 private final Action cExistSymbolAction_1 = (Action)cGroup.eContents().get(1);
335
336 //ExistSymbol:
337 // 'exists' {ExistSymbol};
338 @Override public ParserRule getRule() { return rule; }
339
340 //'exists' {ExistSymbol}
341 public Group getGroup() { return cGroup; }
342
343 //'exists'
344 public Keyword getExistsKeyword_0() { return cExistsKeyword_0; }
345
346 //{ExistSymbol}
347 public Action getExistSymbolAction_1() { return cExistSymbolAction_1; }
348 }
349 public class EqualsSymbolElements extends AbstractParserRuleElementFinder {
350 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.EqualsSymbol");
351 private final Group cGroup = (Group)rule.eContents().get(1);
352 private final Keyword cEqualsKeyword_0 = (Keyword)cGroup.eContents().get(0);
353 private final Action cEqualsSymbolAction_1 = (Action)cGroup.eContents().get(1);
354
355 //EqualsSymbol:
356 // 'equals' {EqualsSymbol};
357 @Override public ParserRule getRule() { return rule; }
358
359 //'equals' {EqualsSymbol}
360 public Group getGroup() { return cGroup; }
361
362 //'equals'
363 public Keyword getEqualsKeyword_0() { return cEqualsKeyword_0; }
364
365 //{EqualsSymbol}
366 public Action getEqualsSymbolAction_1() { return cEqualsSymbolAction_1; }
367 }
368 public class DataSymbolElements extends AbstractParserRuleElementFinder {
369 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.DataSymbol");
370 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
371 private final RuleCall cBooleanSymbolParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
372 private final RuleCall cIntegerSymbolParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
373 private final RuleCall cRealSymbolParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
374 private final RuleCall cStringSymbolParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3);
375
376 //DataSymbol:
377 // BooleanSymbol | IntegerSymbol | RealSymbol | StringSymbol;
378 @Override public ParserRule getRule() { return rule; }
379
380 //BooleanSymbol | IntegerSymbol | RealSymbol | StringSymbol
381 public Alternatives getAlternatives() { return cAlternatives; }
382
383 //BooleanSymbol
384 public RuleCall getBooleanSymbolParserRuleCall_0() { return cBooleanSymbolParserRuleCall_0; }
385
386 //IntegerSymbol
387 public RuleCall getIntegerSymbolParserRuleCall_1() { return cIntegerSymbolParserRuleCall_1; }
388
389 //RealSymbol
390 public RuleCall getRealSymbolParserRuleCall_2() { return cRealSymbolParserRuleCall_2; }
391
392 //StringSymbol
393 public RuleCall getStringSymbolParserRuleCall_3() { return cStringSymbolParserRuleCall_3; }
394 }
395 public class BooleanSymbolElements extends AbstractParserRuleElementFinder {
396 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.BooleanSymbol");
397 private final Group cGroup = (Group)rule.eContents().get(1);
398 private final Keyword cBoolKeyword_0 = (Keyword)cGroup.eContents().get(0);
399 private final Action cBooleanSymbolAction_1 = (Action)cGroup.eContents().get(1);
400
401 //BooleanSymbol:
402 // 'bool' {BooleanSymbol};
403 @Override public ParserRule getRule() { return rule; }
404
405 //'bool' {BooleanSymbol}
406 public Group getGroup() { return cGroup; }
407
408 //'bool'
409 public Keyword getBoolKeyword_0() { return cBoolKeyword_0; }
410
411 //{BooleanSymbol}
412 public Action getBooleanSymbolAction_1() { return cBooleanSymbolAction_1; }
413 }
414 public class IntegerSymbolElements extends AbstractParserRuleElementFinder {
415 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.IntegerSymbol");
416 private final Group cGroup = (Group)rule.eContents().get(1);
417 private final Keyword cIntKeyword_0 = (Keyword)cGroup.eContents().get(0);
418 private final Action cIntegerSymbolAction_1 = (Action)cGroup.eContents().get(1);
419
420 //IntegerSymbol:
421 // 'int' {IntegerSymbol};
422 @Override public ParserRule getRule() { return rule; }
423
424 //'int' {IntegerSymbol}
425 public Group getGroup() { return cGroup; }
426
427 //'int'
428 public Keyword getIntKeyword_0() { return cIntKeyword_0; }
429
430 //{IntegerSymbol}
431 public Action getIntegerSymbolAction_1() { return cIntegerSymbolAction_1; }
432 }
433 public class RealSymbolElements extends AbstractParserRuleElementFinder {
434 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.RealSymbol");
435 private final Group cGroup = (Group)rule.eContents().get(1);
436 private final Keyword cRealKeyword_0 = (Keyword)cGroup.eContents().get(0);
437 private final Action cRealSymbolAction_1 = (Action)cGroup.eContents().get(1);
438
439 //RealSymbol:
440 // 'real' {RealSymbol};
441 @Override public ParserRule getRule() { return rule; }
442
443 //'real' {RealSymbol}
444 public Group getGroup() { return cGroup; }
445
446 //'real'
447 public Keyword getRealKeyword_0() { return cRealKeyword_0; }
448
449 //{RealSymbol}
450 public Action getRealSymbolAction_1() { return cRealSymbolAction_1; }
451 }
452 public class StringSymbolElements extends AbstractParserRuleElementFinder {
453 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.StringSymbol");
454 private final Group cGroup = (Group)rule.eContents().get(1);
455 private final Keyword cStringKeyword_0 = (Keyword)cGroup.eContents().get(0);
456 private final Action cStringSymbolAction_1 = (Action)cGroup.eContents().get(1);
457
458 //StringSymbol:
459 // 'string' {StringSymbol};
460 @Override public ParserRule getRule() { return rule; }
461
462 //'string' {StringSymbol}
463 public Group getGroup() { return cGroup; }
464
465 //'string'
466 public Keyword getStringKeyword_0() { return cStringKeyword_0; }
467
468 //{StringSymbol}
469 public Action getStringSymbolAction_1() { return cStringSymbolAction_1; }
470 }
471 public class ComplexObjectElements extends AbstractParserRuleElementFinder {
472 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ComplexObject");
473 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
474 private final RuleCall cObjectParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
475 private final RuleCall cAllInstancesParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
476 private final RuleCall cAllObjectsParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
477
478 //ComplexObject:
479 // Object | AllInstances | AllObjects;
480 @Override public ParserRule getRule() { return rule; }
481
482 //Object | AllInstances | AllObjects
483 public Alternatives getAlternatives() { return cAlternatives; }
484
485 //Object
486 public RuleCall getObjectParserRuleCall_0() { return cObjectParserRuleCall_0; }
487
488 //AllInstances
489 public RuleCall getAllInstancesParserRuleCall_1() { return cAllInstancesParserRuleCall_1; }
490
491 //AllObjects
492 public RuleCall getAllObjectsParserRuleCall_2() { return cAllObjectsParserRuleCall_2; }
493 }
494 public class ObjectElements extends AbstractParserRuleElementFinder {
495 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Object");
496 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
497 private final RuleCall cNamedObjectParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
498 private final RuleCall cUnnamedObjectParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
499 private final RuleCall cDataObjectParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
500
501 //Object:
502 // NamedObject | UnnamedObject | DataObject;
503 @Override public ParserRule getRule() { return rule; }
504
505 //NamedObject | UnnamedObject | DataObject
506 public Alternatives getAlternatives() { return cAlternatives; }
507
508 //NamedObject
509 public RuleCall getNamedObjectParserRuleCall_0() { return cNamedObjectParserRuleCall_0; }
510
511 //UnnamedObject
512 public RuleCall getUnnamedObjectParserRuleCall_1() { return cUnnamedObjectParserRuleCall_1; }
513
514 //DataObject
515 public RuleCall getDataObjectParserRuleCall_2() { return cDataObjectParserRuleCall_2; }
516 }
517 public class NamedObjectElements extends AbstractParserRuleElementFinder {
518 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.NamedObject");
519 private final Group cGroup = (Group)rule.eContents().get(1);
520 private final Keyword cApostropheKeyword_0 = (Keyword)cGroup.eContents().get(0);
521 private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1);
522 private final RuleCall cNameIDTerminalRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0);
523 private final Keyword cApostropheKeyword_2 = (Keyword)cGroup.eContents().get(2);
524
525 //NamedObject:
526 // "'" name=ID "'";
527 @Override public ParserRule getRule() { return rule; }
528
529 //"'" name=ID "'"
530 public Group getGroup() { return cGroup; }
531
532 //"'"
533 public Keyword getApostropheKeyword_0() { return cApostropheKeyword_0; }
534
535 //name=ID
536 public Assignment getNameAssignment_1() { return cNameAssignment_1; }
537
538 //ID
539 public RuleCall getNameIDTerminalRuleCall_1_0() { return cNameIDTerminalRuleCall_1_0; }
540
541 //"'"
542 public Keyword getApostropheKeyword_2() { return cApostropheKeyword_2; }
543 }
544 public class UnnamedObjectElements extends AbstractParserRuleElementFinder {
545 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.UnnamedObject");
546 private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1);
547 private final RuleCall cNameIDTerminalRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0);
548
549 //UnnamedObject:
550 // name=ID;
551 @Override public ParserRule getRule() { return rule; }
552
553 //name=ID
554 public Assignment getNameAssignment() { return cNameAssignment; }
555
556 //ID
557 public RuleCall getNameIDTerminalRuleCall_0() { return cNameIDTerminalRuleCall_0; }
558 }
559 public class DataObjectElements extends AbstractParserRuleElementFinder {
560 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.DataObject");
561 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
562 private final RuleCall cBooleanObjectParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
563 private final RuleCall cIntObjectParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
564 private final RuleCall cRealObjectParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
565 private final RuleCall cStringObjectParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3);
566
567 //DataObject:
568 // BooleanObject | IntObject | RealObject | StringObject;
569 @Override public ParserRule getRule() { return rule; }
570
571 //BooleanObject | IntObject | RealObject | StringObject
572 public Alternatives getAlternatives() { return cAlternatives; }
573
574 //BooleanObject
575 public RuleCall getBooleanObjectParserRuleCall_0() { return cBooleanObjectParserRuleCall_0; }
576
577 //IntObject
578 public RuleCall getIntObjectParserRuleCall_1() { return cIntObjectParserRuleCall_1; }
579
580 //RealObject
581 public RuleCall getRealObjectParserRuleCall_2() { return cRealObjectParserRuleCall_2; }
582
583 //StringObject
584 public RuleCall getStringObjectParserRuleCall_3() { return cStringObjectParserRuleCall_3; }
585 }
586 public class BooleanObjectElements extends AbstractParserRuleElementFinder {
587 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.BooleanObject");
588 private final Assignment cValueAssignment = (Assignment)rule.eContents().get(1);
589 private final RuleCall cValueBooleanValueParserRuleCall_0 = (RuleCall)cValueAssignment.eContents().get(0);
590
591 //BooleanObject:
592 // value=BooleanValue;
593 @Override public ParserRule getRule() { return rule; }
594
595 //value=BooleanValue
596 public Assignment getValueAssignment() { return cValueAssignment; }
597
598 //BooleanValue
599 public RuleCall getValueBooleanValueParserRuleCall_0() { return cValueBooleanValueParserRuleCall_0; }
600 }
601 public class IntObjectElements extends AbstractParserRuleElementFinder {
602 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.IntObject");
603 private final Assignment cValueAssignment = (Assignment)rule.eContents().get(1);
604 private final RuleCall cValueINTLiteralParserRuleCall_0 = (RuleCall)cValueAssignment.eContents().get(0);
605
606 //IntObject:
607 // value=INTLiteral;
608 @Override public ParserRule getRule() { return rule; }
609
610 //value=INTLiteral
611 public Assignment getValueAssignment() { return cValueAssignment; }
612
613 //INTLiteral
614 public RuleCall getValueINTLiteralParserRuleCall_0() { return cValueINTLiteralParserRuleCall_0; }
615 }
616 public class RealObjectElements extends AbstractParserRuleElementFinder {
617 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.RealObject");
618 private final Assignment cValueAssignment = (Assignment)rule.eContents().get(1);
619 private final RuleCall cValueREALLiteralParserRuleCall_0 = (RuleCall)cValueAssignment.eContents().get(0);
620
621 //RealObject:
622 // value=REALLiteral;
623 @Override public ParserRule getRule() { return rule; }
624
625 //value=REALLiteral
626 public Assignment getValueAssignment() { return cValueAssignment; }
627
628 //REALLiteral
629 public RuleCall getValueREALLiteralParserRuleCall_0() { return cValueREALLiteralParserRuleCall_0; }
630 }
631 public class StringObjectElements extends AbstractParserRuleElementFinder {
632 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.StringObject");
633 private final Assignment cValueAssignment = (Assignment)rule.eContents().get(1);
634 private final RuleCall cValueSTRINGTerminalRuleCall_0 = (RuleCall)cValueAssignment.eContents().get(0);
635
636 //StringObject:
637 // value=STRING;
638 @Override public ParserRule getRule() { return rule; }
639
640 //value=STRING
641 public Assignment getValueAssignment() { return cValueAssignment; }
642
643 //STRING
644 public RuleCall getValueSTRINGTerminalRuleCall_0() { return cValueSTRINGTerminalRuleCall_0; }
645 }
646 public class PredicateElements extends AbstractParserRuleElementFinder {
647 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Predicate");
648 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
649 private final RuleCall cPredicateSymbolParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
650 private final RuleCall cErrorPredicateParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
651
652 /////////////////////
653 //// Predicte grammar
654 /////////////////////
655 //Predicate:
656 // PredicateSymbol | ErrorPredicate;
657 @Override public ParserRule getRule() { return rule; }
658
659 //PredicateSymbol | ErrorPredicate
660 public Alternatives getAlternatives() { return cAlternatives; }
661
662 //PredicateSymbol
663 public RuleCall getPredicateSymbolParserRuleCall_0() { return cPredicateSymbolParserRuleCall_0; }
664
665 //ErrorPredicate
666 public RuleCall getErrorPredicateParserRuleCall_1() { return cErrorPredicateParserRuleCall_1; }
667 }
668 public class PredicateSymbolElements extends AbstractParserRuleElementFinder {
669 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.PredicateSymbol");
670 private final Group cGroup = (Group)rule.eContents().get(1);
671 private final Keyword cPredicateKeyword_0 = (Keyword)cGroup.eContents().get(0);
672 private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1);
673 private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0);
674 private final Keyword cLeftParenthesisKeyword_2 = (Keyword)cGroup.eContents().get(2);
675 private final Assignment cParametersAssignment_3 = (Assignment)cGroup.eContents().get(3);
676 private final RuleCall cParametersParameterParserRuleCall_3_0 = (RuleCall)cParametersAssignment_3.eContents().get(0);
677 private final Keyword cRightParenthesisKeyword_4 = (Keyword)cGroup.eContents().get(4);
678 private final Keyword cColonKeyword_5 = (Keyword)cGroup.eContents().get(5);
679 private final Alternatives cAlternatives_6 = (Alternatives)cGroup.eContents().get(6);
680 private final Keyword cFalseKeyword_6_0 = (Keyword)cAlternatives_6.eContents().get(0);
681 private final Group cGroup_6_1 = (Group)cAlternatives_6.eContents().get(1);
682 private final Assignment cBodiesAssignment_6_1_0 = (Assignment)cGroup_6_1.eContents().get(0);
683 private final RuleCall cBodiesPatternBodyParserRuleCall_6_1_0_0 = (RuleCall)cBodiesAssignment_6_1_0.eContents().get(0);
684 private final Group cGroup_6_1_1 = (Group)cGroup_6_1.eContents().get(1);
685 private final Keyword cVerticalLineKeyword_6_1_1_0 = (Keyword)cGroup_6_1_1.eContents().get(0);
686 private final Assignment cBodiesAssignment_6_1_1_1 = (Assignment)cGroup_6_1_1.eContents().get(1);
687 private final RuleCall cBodiesPatternBodyParserRuleCall_6_1_1_1_0 = (RuleCall)cBodiesAssignment_6_1_1_1.eContents().get(0);
688 private final Keyword cFullStopKeyword_7 = (Keyword)cGroup.eContents().get(7);
689
690 //PredicateSymbol:
691 // 'predicate' symbol=ModelSymbol '(' parameters+=Parameter* ')' ':' ('false' | bodies+=PatternBody ('|'
692 // bodies+=PatternBody)*) '.';
693 @Override public ParserRule getRule() { return rule; }
694
695 //'predicate' symbol=ModelSymbol '(' parameters+=Parameter* ')' ':' ('false' | bodies+=PatternBody ('|'
696 //bodies+=PatternBody)*) '.'
697 public Group getGroup() { return cGroup; }
698
699 //'predicate'
700 public Keyword getPredicateKeyword_0() { return cPredicateKeyword_0; }
701
702 //symbol=ModelSymbol
703 public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; }
704
705 //ModelSymbol
706 public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; }
707
708 //'('
709 public Keyword getLeftParenthesisKeyword_2() { return cLeftParenthesisKeyword_2; }
710
711 //parameters+=Parameter*
712 public Assignment getParametersAssignment_3() { return cParametersAssignment_3; }
713
714 //Parameter
715 public RuleCall getParametersParameterParserRuleCall_3_0() { return cParametersParameterParserRuleCall_3_0; }
716
717 //')'
718 public Keyword getRightParenthesisKeyword_4() { return cRightParenthesisKeyword_4; }
719
720 //':'
721 public Keyword getColonKeyword_5() { return cColonKeyword_5; }
722
723 //'false' | bodies+=PatternBody ('|' bodies+=PatternBody)*
724 public Alternatives getAlternatives_6() { return cAlternatives_6; }
725
726 //'false'
727 public Keyword getFalseKeyword_6_0() { return cFalseKeyword_6_0; }
728
729 //bodies+=PatternBody ('|' bodies+=PatternBody)*
730 public Group getGroup_6_1() { return cGroup_6_1; }
731
732 //bodies+=PatternBody
733 public Assignment getBodiesAssignment_6_1_0() { return cBodiesAssignment_6_1_0; }
734
735 //PatternBody
736 public RuleCall getBodiesPatternBodyParserRuleCall_6_1_0_0() { return cBodiesPatternBodyParserRuleCall_6_1_0_0; }
737
738 //('|' bodies+=PatternBody)*
739 public Group getGroup_6_1_1() { return cGroup_6_1_1; }
740
741 //'|'
742 public Keyword getVerticalLineKeyword_6_1_1_0() { return cVerticalLineKeyword_6_1_1_0; }
743
744 //bodies+=PatternBody
745 public Assignment getBodiesAssignment_6_1_1_1() { return cBodiesAssignment_6_1_1_1; }
746
747 //PatternBody
748 public RuleCall getBodiesPatternBodyParserRuleCall_6_1_1_1_0() { return cBodiesPatternBodyParserRuleCall_6_1_1_1_0; }
749
750 //'.'
751 public Keyword getFullStopKeyword_7() { return cFullStopKeyword_7; }
752 }
753 public class ErrorPredicateElements extends AbstractParserRuleElementFinder {
754 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ErrorPredicate");
755 private final Group cGroup = (Group)rule.eContents().get(1);
756 private final Action cErrorPredicateAction_0 = (Action)cGroup.eContents().get(0);
757 private final Keyword cErrorKeyword_1 = (Keyword)cGroup.eContents().get(1);
758 private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2);
759 private final RuleCall cNameIDTerminalRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0);
760 private final Group cGroup_3 = (Group)cGroup.eContents().get(3);
761 private final Keyword cLeftParenthesisKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0);
762 private final Assignment cParametersAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1);
763 private final RuleCall cParametersParameterParserRuleCall_3_1_0 = (RuleCall)cParametersAssignment_3_1.eContents().get(0);
764 private final Keyword cRightParenthesisKeyword_3_2 = (Keyword)cGroup_3.eContents().get(2);
765 private final Keyword cColonKeyword_4 = (Keyword)cGroup.eContents().get(4);
766 private final Alternatives cAlternatives_5 = (Alternatives)cGroup.eContents().get(5);
767 private final Keyword cFalseKeyword_5_0 = (Keyword)cAlternatives_5.eContents().get(0);
768 private final Group cGroup_5_1 = (Group)cAlternatives_5.eContents().get(1);
769 private final Assignment cBodiesAssignment_5_1_0 = (Assignment)cGroup_5_1.eContents().get(0);
770 private final RuleCall cBodiesPatternBodyParserRuleCall_5_1_0_0 = (RuleCall)cBodiesAssignment_5_1_0.eContents().get(0);
771 private final Group cGroup_5_1_1 = (Group)cGroup_5_1.eContents().get(1);
772 private final Keyword cVerticalLineKeyword_5_1_1_0 = (Keyword)cGroup_5_1_1.eContents().get(0);
773 private final Assignment cBodiesAssignment_5_1_1_1 = (Assignment)cGroup_5_1_1.eContents().get(1);
774 private final RuleCall cBodiesPatternBodyParserRuleCall_5_1_1_1_0 = (RuleCall)cBodiesAssignment_5_1_1_1.eContents().get(0);
775 private final Keyword cFullStopKeyword_6 = (Keyword)cGroup.eContents().get(6);
776
777 //ErrorPredicate:
778 // {ErrorPredicate} 'error' name=ID? ('(' parameters+=Parameter* ')') ':' ('false' | bodies+=PatternBody ('|'
779 // bodies+=PatternBody)*) '.';
780 @Override public ParserRule getRule() { return rule; }
781
782 //{ErrorPredicate} 'error' name=ID? ('(' parameters+=Parameter* ')') ':' ('false' | bodies+=PatternBody ('|'
783 //bodies+=PatternBody)*) '.'
784 public Group getGroup() { return cGroup; }
785
786 //{ErrorPredicate}
787 public Action getErrorPredicateAction_0() { return cErrorPredicateAction_0; }
788
789 //'error'
790 public Keyword getErrorKeyword_1() { return cErrorKeyword_1; }
791
792 //name=ID?
793 public Assignment getNameAssignment_2() { return cNameAssignment_2; }
794
795 //ID
796 public RuleCall getNameIDTerminalRuleCall_2_0() { return cNameIDTerminalRuleCall_2_0; }
797
798 //'(' parameters+=Parameter* ')'
799 public Group getGroup_3() { return cGroup_3; }
800
801 //'('
802 public Keyword getLeftParenthesisKeyword_3_0() { return cLeftParenthesisKeyword_3_0; }
803
804 //parameters+=Parameter*
805 public Assignment getParametersAssignment_3_1() { return cParametersAssignment_3_1; }
806
807 //Parameter
808 public RuleCall getParametersParameterParserRuleCall_3_1_0() { return cParametersParameterParserRuleCall_3_1_0; }
809
810 //')'
811 public Keyword getRightParenthesisKeyword_3_2() { return cRightParenthesisKeyword_3_2; }
812
813 //':'
814 public Keyword getColonKeyword_4() { return cColonKeyword_4; }
815
816 //'false' | bodies+=PatternBody ('|' bodies+=PatternBody)*
817 public Alternatives getAlternatives_5() { return cAlternatives_5; }
818
819 //'false'
820 public Keyword getFalseKeyword_5_0() { return cFalseKeyword_5_0; }
821
822 //bodies+=PatternBody ('|' bodies+=PatternBody)*
823 public Group getGroup_5_1() { return cGroup_5_1; }
824
825 //bodies+=PatternBody
826 public Assignment getBodiesAssignment_5_1_0() { return cBodiesAssignment_5_1_0; }
827
828 //PatternBody
829 public RuleCall getBodiesPatternBodyParserRuleCall_5_1_0_0() { return cBodiesPatternBodyParserRuleCall_5_1_0_0; }
830
831 //('|' bodies+=PatternBody)*
832 public Group getGroup_5_1_1() { return cGroup_5_1_1; }
833
834 //'|'
835 public Keyword getVerticalLineKeyword_5_1_1_0() { return cVerticalLineKeyword_5_1_1_0; }
836
837 //bodies+=PatternBody
838 public Assignment getBodiesAssignment_5_1_1_1() { return cBodiesAssignment_5_1_1_1; }
839
840 //PatternBody
841 public RuleCall getBodiesPatternBodyParserRuleCall_5_1_1_1_0() { return cBodiesPatternBodyParserRuleCall_5_1_1_1_0; }
842
843 //'.'
844 public Keyword getFullStopKeyword_6() { return cFullStopKeyword_6; }
845 }
846 public class ParameterElements extends AbstractParserRuleElementFinder {
847 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Parameter");
848 private final Group cGroup = (Group)rule.eContents().get(1);
849 private final Assignment cVariableAssignment_0 = (Assignment)cGroup.eContents().get(0);
850 private final RuleCall cVariableVariableParserRuleCall_0_0 = (RuleCall)cVariableAssignment_0.eContents().get(0);
851 private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
852 private final Keyword cColonKeyword_1_0 = (Keyword)cGroup_1.eContents().get(0);
853 private final Assignment cTypeAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1);
854 private final RuleCall cTypeSymbolParserRuleCall_1_1_0 = (RuleCall)cTypeAssignment_1_1.eContents().get(0);
855
856 //Parameter:
857 // variable=Variable (':' type=Symbol)?;
858 @Override public ParserRule getRule() { return rule; }
859
860 //variable=Variable (':' type=Symbol)?
861 public Group getGroup() { return cGroup; }
862
863 //variable=Variable
864 public Assignment getVariableAssignment_0() { return cVariableAssignment_0; }
865
866 //Variable
867 public RuleCall getVariableVariableParserRuleCall_0_0() { return cVariableVariableParserRuleCall_0_0; }
868
869 //(':' type=Symbol)?
870 public Group getGroup_1() { return cGroup_1; }
871
872 //':'
873 public Keyword getColonKeyword_1_0() { return cColonKeyword_1_0; }
874
875 //type=Symbol
876 public Assignment getTypeAssignment_1_1() { return cTypeAssignment_1_1; }
877
878 //Symbol
879 public RuleCall getTypeSymbolParserRuleCall_1_1_0() { return cTypeSymbolParserRuleCall_1_1_0; }
880 }
881 public class PatternBodyElements extends AbstractParserRuleElementFinder {
882 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.PatternBody");
883 private final Group cGroup = (Group)rule.eContents().get(1);
884 private final Action cPatternBodyAction_0 = (Action)cGroup.eContents().get(0);
885 private final Alternatives cAlternatives_1 = (Alternatives)cGroup.eContents().get(1);
886 private final Keyword cTrueKeyword_1_0 = (Keyword)cAlternatives_1.eContents().get(0);
887 private final Assignment cConstraintsAssignment_1_1 = (Assignment)cAlternatives_1.eContents().get(1);
888 private final RuleCall cConstraintsConstraintParserRuleCall_1_1_0 = (RuleCall)cConstraintsAssignment_1_1.eContents().get(0);
889
890 //PatternBody:
891 // {PatternBody} ('true' | constraints+=Constraint*);
892 @Override public ParserRule getRule() { return rule; }
893
894 //{PatternBody} ('true' | constraints+=Constraint*)
895 public Group getGroup() { return cGroup; }
896
897 //{PatternBody}
898 public Action getPatternBodyAction_0() { return cPatternBodyAction_0; }
899
900 //'true' | constraints+=Constraint*
901 public Alternatives getAlternatives_1() { return cAlternatives_1; }
902
903 //'true'
904 public Keyword getTrueKeyword_1_0() { return cTrueKeyword_1_0; }
905
906 //constraints+=Constraint*
907 public Assignment getConstraintsAssignment_1_1() { return cConstraintsAssignment_1_1; }
908
909 //Constraint
910 public RuleCall getConstraintsConstraintParserRuleCall_1_1_0() { return cConstraintsConstraintParserRuleCall_1_1_0; }
911 }
912 public class PolarityElements extends AbstractParserRuleElementFinder {
913 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Polarity");
914 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
915 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
916 private final Action cPositiveAction_0_0 = (Action)cGroup_0.eContents().get(0);
917 private final Keyword cPlusSignKeyword_0_1 = (Keyword)cGroup_0.eContents().get(1);
918 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
919 private final Action cNegativeAction_1_0 = (Action)cGroup_1.eContents().get(0);
920 private final Keyword cHyphenMinusKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
921
922 //Polarity:
923 // {Positive} '+' | {Negative} '-';
924 @Override public ParserRule getRule() { return rule; }
925
926 //{Positive} '+' | {Negative} '-'
927 public Alternatives getAlternatives() { return cAlternatives; }
928
929 //{Positive} '+'
930 public Group getGroup_0() { return cGroup_0; }
931
932 //{Positive}
933 public Action getPositiveAction_0_0() { return cPositiveAction_0_0; }
934
935 //'+'
936 public Keyword getPlusSignKeyword_0_1() { return cPlusSignKeyword_0_1; }
937
938 //{Negative} '-'
939 public Group getGroup_1() { return cGroup_1; }
940
941 //{Negative}
942 public Action getNegativeAction_1_0() { return cNegativeAction_1_0; }
943
944 //'-'
945 public Keyword getHyphenMinusKeyword_1_1() { return cHyphenMinusKeyword_1_1; }
946 }
947 public class ConstraintElements extends AbstractParserRuleElementFinder {
948 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Constraint");
949 private final Group cGroup = (Group)rule.eContents().get(1);
950 private final Assignment cPolarityAssignment_0 = (Assignment)cGroup.eContents().get(0);
951 private final RuleCall cPolarityPolarityParserRuleCall_0_0 = (RuleCall)cPolarityAssignment_0.eContents().get(0);
952 private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1);
953 private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0);
954 private final Alternatives cAlternatives_2 = (Alternatives)cGroup.eContents().get(2);
955 private final Group cGroup_2_0 = (Group)cAlternatives_2.eContents().get(0);
956 private final Keyword cLeftParenthesisKeyword_2_0_0 = (Keyword)cGroup_2_0.eContents().get(0);
957 private final Assignment cParamsAssignment_2_0_1 = (Assignment)cGroup_2_0.eContents().get(1);
958 private final RuleCall cParamsLiteralParserRuleCall_2_0_1_0 = (RuleCall)cParamsAssignment_2_0_1.eContents().get(0);
959 private final Keyword cRightParenthesisKeyword_2_0_2 = (Keyword)cGroup_2_0.eContents().get(2);
960 private final Group cGroup_2_1 = (Group)cAlternatives_2.eContents().get(1);
961 private final Assignment cClosureTypeAssignment_2_1_0 = (Assignment)cGroup_2_1.eContents().get(0);
962 private final RuleCall cClosureTypeClosureTypeParserRuleCall_2_1_0_0 = (RuleCall)cClosureTypeAssignment_2_1_0.eContents().get(0);
963 private final Keyword cLeftParenthesisKeyword_2_1_1 = (Keyword)cGroup_2_1.eContents().get(1);
964 private final Assignment cParamsAssignment_2_1_2 = (Assignment)cGroup_2_1.eContents().get(2);
965 private final RuleCall cParamsLiteralParserRuleCall_2_1_2_0 = (RuleCall)cParamsAssignment_2_1_2.eContents().get(0);
966 private final Assignment cParamsAssignment_2_1_3 = (Assignment)cGroup_2_1.eContents().get(3);
967 private final RuleCall cParamsLiteralParserRuleCall_2_1_3_0 = (RuleCall)cParamsAssignment_2_1_3.eContents().get(0);
968 private final Keyword cRightParenthesisKeyword_2_1_4 = (Keyword)cGroup_2_1.eContents().get(4);
969
970 //Constraint:
971 // polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal
972 // params+=Literal ')');
973 @Override public ParserRule getRule() { return rule; }
974
975 //polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal
976 //params+=Literal ')')
977 public Group getGroup() { return cGroup; }
978
979 //polarity=Polarity?
980 public Assignment getPolarityAssignment_0() { return cPolarityAssignment_0; }
981
982 //Polarity
983 public RuleCall getPolarityPolarityParserRuleCall_0_0() { return cPolarityPolarityParserRuleCall_0_0; }
984
985 //symbol=ModelSymbol
986 public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; }
987
988 //ModelSymbol
989 public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; }
990
991 //'(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal params+=Literal ')'
992 public Alternatives getAlternatives_2() { return cAlternatives_2; }
993
994 //'(' params+=Literal* ')'
995 public Group getGroup_2_0() { return cGroup_2_0; }
996
997 //'('
998 public Keyword getLeftParenthesisKeyword_2_0_0() { return cLeftParenthesisKeyword_2_0_0; }
999
1000 //params+=Literal*
1001 public Assignment getParamsAssignment_2_0_1() { return cParamsAssignment_2_0_1; }
1002
1003 //Literal
1004 public RuleCall getParamsLiteralParserRuleCall_2_0_1_0() { return cParamsLiteralParserRuleCall_2_0_1_0; }
1005
1006 //')'
1007 public Keyword getRightParenthesisKeyword_2_0_2() { return cRightParenthesisKeyword_2_0_2; }
1008
1009 //closureType=ClosureType '(' params+=Literal params+=Literal ')'
1010 public Group getGroup_2_1() { return cGroup_2_1; }
1011
1012 //closureType=ClosureType
1013 public Assignment getClosureTypeAssignment_2_1_0() { return cClosureTypeAssignment_2_1_0; }
1014
1015 //ClosureType
1016 public RuleCall getClosureTypeClosureTypeParserRuleCall_2_1_0_0() { return cClosureTypeClosureTypeParserRuleCall_2_1_0_0; }
1017
1018 //'('
1019 public Keyword getLeftParenthesisKeyword_2_1_1() { return cLeftParenthesisKeyword_2_1_1; }
1020
1021 //params+=Literal
1022 public Assignment getParamsAssignment_2_1_2() { return cParamsAssignment_2_1_2; }
1023
1024 //Literal
1025 public RuleCall getParamsLiteralParserRuleCall_2_1_2_0() { return cParamsLiteralParserRuleCall_2_1_2_0; }
1026
1027 //params+=Literal
1028 public Assignment getParamsAssignment_2_1_3() { return cParamsAssignment_2_1_3; }
1029
1030 //Literal
1031 public RuleCall getParamsLiteralParserRuleCall_2_1_3_0() { return cParamsLiteralParserRuleCall_2_1_3_0; }
1032
1033 //')'
1034 public Keyword getRightParenthesisKeyword_2_1_4() { return cRightParenthesisKeyword_2_1_4; }
1035 }
1036 public class ClosureTypeElements extends AbstractParserRuleElementFinder {
1037 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ClosureType");
1038 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1039 private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0);
1040 private final Action cReflexiveClosureAction_0_0 = (Action)cGroup_0.eContents().get(0);
1041 private final Keyword cAsteriskKeyword_0_1 = (Keyword)cGroup_0.eContents().get(1);
1042 private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1);
1043 private final Action cIrreflexiveClosureAction_1_0 = (Action)cGroup_1.eContents().get(0);
1044 private final Keyword cPlusSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
1045
1046 //ClosureType:
1047 // {ReflexiveClosure} '*' | {IrreflexiveClosure} '+';
1048 @Override public ParserRule getRule() { return rule; }
1049
1050 //{ReflexiveClosure} '*' | {IrreflexiveClosure} '+'
1051 public Alternatives getAlternatives() { return cAlternatives; }
1052
1053 //{ReflexiveClosure} '*'
1054 public Group getGroup_0() { return cGroup_0; }
1055
1056 //{ReflexiveClosure}
1057 public Action getReflexiveClosureAction_0_0() { return cReflexiveClosureAction_0_0; }
1058
1059 //'*'
1060 public Keyword getAsteriskKeyword_0_1() { return cAsteriskKeyword_0_1; }
1061
1062 //{IrreflexiveClosure} '+'
1063 public Group getGroup_1() { return cGroup_1; }
1064
1065 //{IrreflexiveClosure}
1066 public Action getIrreflexiveClosureAction_1_0() { return cIrreflexiveClosureAction_1_0; }
1067
1068 //'+'
1069 public Keyword getPlusSignKeyword_1_1() { return cPlusSignKeyword_1_1; }
1070 }
1071 public class LiteralElements extends AbstractParserRuleElementFinder {
1072 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Literal");
1073 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1074 private final RuleCall cVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1075 private final RuleCall cDataObjectParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
1076
1077 //Literal:
1078 // Variable | DataObject;
1079 @Override public ParserRule getRule() { return rule; }
1080
1081 //Variable | DataObject
1082 public Alternatives getAlternatives() { return cAlternatives; }
1083
1084 //Variable
1085 public RuleCall getVariableParserRuleCall_0() { return cVariableParserRuleCall_0; }
1086
1087 //DataObject
1088 public RuleCall getDataObjectParserRuleCall_1() { return cDataObjectParserRuleCall_1; }
1089 }
1090 public class VariableElements extends AbstractParserRuleElementFinder {
1091 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.Variable");
1092 private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1);
1093 private final RuleCall cNameIDTerminalRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0);
1094
1095 //Variable:
1096 // name=ID;
1097 @Override public ParserRule getRule() { return rule; }
1098
1099 //name=ID
1100 public Assignment getNameAssignment() { return cNameAssignment; }
1101
1102 //ID
1103 public RuleCall getNameIDTerminalRuleCall_0() { return cNameIDTerminalRuleCall_0; }
1104 }
1105 public class AllInstancesElements extends AbstractParserRuleElementFinder {
1106 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.AllInstances");
1107 private final Group cGroup = (Group)rule.eContents().get(1);
1108 private final Keyword cColonKeyword_0 = (Keyword)cGroup.eContents().get(0);
1109 private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1);
1110 private final RuleCall cSymbolSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0);
1111
1112 /////////////////////
1113 //// Complex Interpretation grammar
1114 /////////////////////
1115 //AllInstances:
1116 // ':' symbol=Symbol;
1117 @Override public ParserRule getRule() { return rule; }
1118
1119 //':' symbol=Symbol
1120 public Group getGroup() { return cGroup; }
1121
1122 //':'
1123 public Keyword getColonKeyword_0() { return cColonKeyword_0; }
1124
1125 //symbol=Symbol
1126 public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; }
1127
1128 //Symbol
1129 public RuleCall getSymbolSymbolParserRuleCall_1_0() { return cSymbolSymbolParserRuleCall_1_0; }
1130 }
1131 public class AllObjectsElements extends AbstractParserRuleElementFinder {
1132 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.AllObjects");
1133 private final Group cGroup = (Group)rule.eContents().get(1);
1134 private final Action cAllObjectsAction_0 = (Action)cGroup.eContents().get(0);
1135 private final Keyword cAsteriskKeyword_1 = (Keyword)cGroup.eContents().get(1);
1136
1137 //AllObjects:
1138 // {AllObjects} '*';
1139 @Override public ParserRule getRule() { return rule; }
1140
1141 //{AllObjects} '*'
1142 public Group getGroup() { return cGroup; }
1143
1144 //{AllObjects}
1145 public Action getAllObjectsAction_0() { return cAllObjectsAction_0; }
1146
1147 //'*'
1148 public Keyword getAsteriskKeyword_1() { return cAsteriskKeyword_1; }
1149 }
1150 public class DefaultInterpretationElements extends AbstractParserRuleElementFinder {
1151 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.DefaultInterpretation");
1152 private final Group cGroup = (Group)rule.eContents().get(1);
1153 private final Keyword cDefaultKeyword_0 = (Keyword)cGroup.eContents().get(0);
1154 private final Assignment cInterpretationAssignment_1 = (Assignment)cGroup.eContents().get(1);
1155 private final RuleCall cInterpretationBasicInterpretationParserRuleCall_1_0 = (RuleCall)cInterpretationAssignment_1.eContents().get(0);
1156
1157 /////////////////////
1158 //// Defaul Interpretation grammar
1159 /////////////////////
1160 //DefaultInterpretation:
1161 // 'default' interpretation=BasicInterpretation;
1162 @Override public ParserRule getRule() { return rule; }
1163
1164 //'default' interpretation=BasicInterpretation
1165 public Group getGroup() { return cGroup; }
1166
1167 //'default'
1168 public Keyword getDefaultKeyword_0() { return cDefaultKeyword_0; }
1169
1170 //interpretation=BasicInterpretation
1171 public Assignment getInterpretationAssignment_1() { return cInterpretationAssignment_1; }
1172
1173 //BasicInterpretation
1174 public RuleCall getInterpretationBasicInterpretationParserRuleCall_1_0() { return cInterpretationBasicInterpretationParserRuleCall_1_0; }
1175 }
1176 public class CDInterpretationElements extends AbstractParserRuleElementFinder {
1177 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.CDInterpretation");
1178 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
1179 private final RuleCall cClassInterpretationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
1180 private final RuleCall cEnumInterpretationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
1181 private final RuleCall cGlobalRelationInterpretationParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
1182
1183 /////////////////////
1184 //// Advanced Class-Diagram interpretations
1185 /////////////////////
1186 //CDInterpretation:
1187 // ClassInterpretation | EnumInterpretation | GlobalRelationInterpretation;
1188 @Override public ParserRule getRule() { return rule; }
1189
1190 //ClassInterpretation | EnumInterpretation | GlobalRelationInterpretation
1191 public Alternatives getAlternatives() { return cAlternatives; }
1192
1193 //ClassInterpretation
1194 public RuleCall getClassInterpretationParserRuleCall_0() { return cClassInterpretationParserRuleCall_0; }
1195
1196 //EnumInterpretation
1197 public RuleCall getEnumInterpretationParserRuleCall_1() { return cEnumInterpretationParserRuleCall_1; }
1198
1199 //GlobalRelationInterpretation
1200 public RuleCall getGlobalRelationInterpretationParserRuleCall_2() { return cGlobalRelationInterpretationParserRuleCall_2; }
1201 }
1202 public class ClassInterpretationElements extends AbstractParserRuleElementFinder {
1203 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.ClassInterpretation");
1204 private final Group cGroup = (Group)rule.eContents().get(1);
1205 private final Assignment cAbstractAssignment_0 = (Assignment)cGroup.eContents().get(0);
1206 private final Keyword cAbstractAbstractKeyword_0_0 = (Keyword)cAbstractAssignment_0.eContents().get(0);
1207 private final Keyword cClassKeyword_1 = (Keyword)cGroup.eContents().get(1);
1208 private final Assignment cSymbolAssignment_2 = (Assignment)cGroup.eContents().get(2);
1209 private final RuleCall cSymbolModelSymbolParserRuleCall_2_0 = (RuleCall)cSymbolAssignment_2.eContents().get(0);
1210 private final Group cGroup_3 = (Group)cGroup.eContents().get(3);
1211 private final Keyword cExtendsKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0);
1212 private final Assignment cSupertypesAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1);
1213 private final RuleCall cSupertypesModelSymbolParserRuleCall_3_1_0 = (RuleCall)cSupertypesAssignment_3_1.eContents().get(0);
1214 private final Keyword cLeftCurlyBracketKeyword_4 = (Keyword)cGroup.eContents().get(4);
1215 private final Assignment cFieltAssignment_5 = (Assignment)cGroup.eContents().get(5);
1216 private final RuleCall cFieltFieldRelationInterpretationParserRuleCall_5_0 = (RuleCall)cFieltAssignment_5.eContents().get(0);
1217 private final Keyword cRightCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6);
1218
1219 //ClassInterpretation:
1220 // abstract?='abstract' 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{'
1221 // fielt+=FieldRelationInterpretation*
1222 // '}';
1223 @Override public ParserRule getRule() { return rule; }
1224
1225 //abstract?='abstract' 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{'
1226 //fielt+=FieldRelationInterpretation* '}'
1227 public Group getGroup() { return cGroup; }
1228
1229 //abstract?='abstract'
1230 public Assignment getAbstractAssignment_0() { return cAbstractAssignment_0; }
1231
1232 //'abstract'
1233 public Keyword getAbstractAbstractKeyword_0_0() { return cAbstractAbstractKeyword_0_0; }
1234
1235 //'class'
1236 public Keyword getClassKeyword_1() { return cClassKeyword_1; }
1237
1238 //symbol=ModelSymbol
1239 public Assignment getSymbolAssignment_2() { return cSymbolAssignment_2; }
1240
1241 //ModelSymbol
1242 public RuleCall getSymbolModelSymbolParserRuleCall_2_0() { return cSymbolModelSymbolParserRuleCall_2_0; }
1243
1244 //('extends' supertypes+=ModelSymbol+)?
1245 public Group getGroup_3() { return cGroup_3; }
1246
1247 //'extends'
1248 public Keyword getExtendsKeyword_3_0() { return cExtendsKeyword_3_0; }
1249
1250 //supertypes+=ModelSymbol+
1251 public Assignment getSupertypesAssignment_3_1() { return cSupertypesAssignment_3_1; }
1252
1253 //ModelSymbol
1254 public RuleCall getSupertypesModelSymbolParserRuleCall_3_1_0() { return cSupertypesModelSymbolParserRuleCall_3_1_0; }
1255
1256 //'{'
1257 public Keyword getLeftCurlyBracketKeyword_4() { return cLeftCurlyBracketKeyword_4; }
1258
1259 //fielt+=FieldRelationInterpretation*
1260 public Assignment getFieltAssignment_5() { return cFieltAssignment_5; }
1261
1262 //FieldRelationInterpretation
1263 public RuleCall getFieltFieldRelationInterpretationParserRuleCall_5_0() { return cFieltFieldRelationInterpretationParserRuleCall_5_0; }
1264
1265 //'}'
1266 public Keyword getRightCurlyBracketKeyword_6() { return cRightCurlyBracketKeyword_6; }
1267 }
1268 public class EnumInterpretationElements extends AbstractParserRuleElementFinder {
1269 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.EnumInterpretation");
1270 private final Group cGroup = (Group)rule.eContents().get(1);
1271 private final Keyword cEnumKeyword_0 = (Keyword)cGroup.eContents().get(0);
1272 private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1);
1273 private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0);
1274 private final Keyword cLeftCurlyBracketKeyword_2 = (Keyword)cGroup.eContents().get(2);
1275 private final Assignment cObjectsAssignment_3 = (Assignment)cGroup.eContents().get(3);
1276 private final RuleCall cObjectsNamedObjectParserRuleCall_3_0 = (RuleCall)cObjectsAssignment_3.eContents().get(0);
1277 private final Keyword cRightCurlyBracketKeyword_4 = (Keyword)cGroup.eContents().get(4);
1278
1279 //EnumInterpretation:
1280 // 'enum' Symbol=ModelSymbol '{' objects+=NamedObject+ '}';
1281 @Override public ParserRule getRule() { return rule; }
1282
1283 //'enum' Symbol=ModelSymbol '{' objects+=NamedObject+ '}'
1284 public Group getGroup() { return cGroup; }
1285
1286 //'enum'
1287 public Keyword getEnumKeyword_0() { return cEnumKeyword_0; }
1288
1289 //Symbol=ModelSymbol
1290 public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; }
1291
1292 //ModelSymbol
1293 public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; }
1294
1295 //'{'
1296 public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; }
1297
1298 //objects+=NamedObject+
1299 public Assignment getObjectsAssignment_3() { return cObjectsAssignment_3; }
1300
1301 //NamedObject
1302 public RuleCall getObjectsNamedObjectParserRuleCall_3_0() { return cObjectsNamedObjectParserRuleCall_3_0; }
1303
1304 //'}'
1305 public Keyword getRightCurlyBracketKeyword_4() { return cRightCurlyBracketKeyword_4; }
1306 }
1307 public class FieldRelationInterpretationElements extends AbstractParserRuleElementFinder {
1308 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.FieldRelationInterpretation");
1309 private final Group cGroup = (Group)rule.eContents().get(1);
1310 private final Assignment cContainmentAssignment_0 = (Assignment)cGroup.eContents().get(0);
1311 private final Keyword cContainmentContainmentKeyword_0_0 = (Keyword)cContainmentAssignment_0.eContents().get(0);
1312 private final Assignment cSymbolAssignment_1 = (Assignment)cGroup.eContents().get(1);
1313 private final RuleCall cSymbolModelSymbolParserRuleCall_1_0 = (RuleCall)cSymbolAssignment_1.eContents().get(0);
1314 private final Keyword cColonKeyword_2 = (Keyword)cGroup.eContents().get(2);
1315 private final Assignment cMultiplicityAssignment_3 = (Assignment)cGroup.eContents().get(3);
1316 private final RuleCall cMultiplicityMultiplicityDefinitionParserRuleCall_3_0 = (RuleCall)cMultiplicityAssignment_3.eContents().get(0);
1317 private final Assignment cTargetAssignment_4 = (Assignment)cGroup.eContents().get(4);
1318 private final RuleCall cTargetSymbolParserRuleCall_4_0 = (RuleCall)cTargetAssignment_4.eContents().get(0);
1319
1320 //FieldRelationInterpretation:
1321 // containment?='containment' symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol;
1322 @Override public ParserRule getRule() { return rule; }
1323
1324 //containment?='containment' symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol
1325 public Group getGroup() { return cGroup; }
1326
1327 //containment?='containment'
1328 public Assignment getContainmentAssignment_0() { return cContainmentAssignment_0; }
1329
1330 //'containment'
1331 public Keyword getContainmentContainmentKeyword_0_0() { return cContainmentContainmentKeyword_0_0; }
1332
1333 //symbol=ModelSymbol
1334 public Assignment getSymbolAssignment_1() { return cSymbolAssignment_1; }
1335
1336 //ModelSymbol
1337 public RuleCall getSymbolModelSymbolParserRuleCall_1_0() { return cSymbolModelSymbolParserRuleCall_1_0; }
1338
1339 //':'
1340 public Keyword getColonKeyword_2() { return cColonKeyword_2; }
1341
1342 //multiplicity=MultiplicityDefinition?
1343 public Assignment getMultiplicityAssignment_3() { return cMultiplicityAssignment_3; }
1344
1345 //MultiplicityDefinition
1346 public RuleCall getMultiplicityMultiplicityDefinitionParserRuleCall_3_0() { return cMultiplicityMultiplicityDefinitionParserRuleCall_3_0; }
1347
1348 //target=Symbol
1349 public Assignment getTargetAssignment_4() { return cTargetAssignment_4; }
1350
1351 //Symbol
1352 public RuleCall getTargetSymbolParserRuleCall_4_0() { return cTargetSymbolParserRuleCall_4_0; }
1353 }
1354 public class GlobalRelationInterpretationElements extends AbstractParserRuleElementFinder {
1355 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.GlobalRelationInterpretation");
1356 private final Group cGroup = (Group)rule.eContents().get(1);
1357 private final Assignment cContainmentAssignment_0 = (Assignment)cGroup.eContents().get(0);
1358 private final Keyword cContainmentContainmentKeyword_0_0 = (Keyword)cContainmentAssignment_0.eContents().get(0);
1359 private final Keyword cRelationKeyword_1 = (Keyword)cGroup.eContents().get(1);
1360 private final Assignment cSymbolAssignment_2 = (Assignment)cGroup.eContents().get(2);
1361 private final RuleCall cSymbolModelSymbolParserRuleCall_2_0 = (RuleCall)cSymbolAssignment_2.eContents().get(0);
1362 private final Keyword cColonKeyword_3 = (Keyword)cGroup.eContents().get(3);
1363 private final Assignment cSourceMultiplicityAssignment_4 = (Assignment)cGroup.eContents().get(4);
1364 private final RuleCall cSourceMultiplicityMultiplicityDefinitionParserRuleCall_4_0 = (RuleCall)cSourceMultiplicityAssignment_4.eContents().get(0);
1365 private final Assignment cSourceAssignment_5 = (Assignment)cGroup.eContents().get(5);
1366 private final RuleCall cSourceSymbolParserRuleCall_5_0 = (RuleCall)cSourceAssignment_5.eContents().get(0);
1367 private final Assignment cTargetMultiplicityAssignment_6 = (Assignment)cGroup.eContents().get(6);
1368 private final RuleCall cTargetMultiplicityMultiplicityDefinitionParserRuleCall_6_0 = (RuleCall)cTargetMultiplicityAssignment_6.eContents().get(0);
1369 private final Assignment cTargetAssignment_7 = (Assignment)cGroup.eContents().get(7);
1370 private final RuleCall cTargetSymbolParserRuleCall_7_0 = (RuleCall)cTargetAssignment_7.eContents().get(0);
1371
1372 //GlobalRelationInterpretation:
1373 // containment?='containment' 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol
1374 // targetMultiplicity=MultiplicityDefinition? target=Symbol;
1375 @Override public ParserRule getRule() { return rule; }
1376
1377 //containment?='containment' 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol
1378 //targetMultiplicity=MultiplicityDefinition? target=Symbol
1379 public Group getGroup() { return cGroup; }
1380
1381 //containment?='containment'
1382 public Assignment getContainmentAssignment_0() { return cContainmentAssignment_0; }
1383
1384 //'containment'
1385 public Keyword getContainmentContainmentKeyword_0_0() { return cContainmentContainmentKeyword_0_0; }
1386
1387 //'relation'
1388 public Keyword getRelationKeyword_1() { return cRelationKeyword_1; }
1389
1390 //symbol=ModelSymbol
1391 public Assignment getSymbolAssignment_2() { return cSymbolAssignment_2; }
1392
1393 //ModelSymbol
1394 public RuleCall getSymbolModelSymbolParserRuleCall_2_0() { return cSymbolModelSymbolParserRuleCall_2_0; }
1395
1396 //':'
1397 public Keyword getColonKeyword_3() { return cColonKeyword_3; }
1398
1399 //sourceMultiplicity=MultiplicityDefinition?
1400 public Assignment getSourceMultiplicityAssignment_4() { return cSourceMultiplicityAssignment_4; }
1401
1402 //MultiplicityDefinition
1403 public RuleCall getSourceMultiplicityMultiplicityDefinitionParserRuleCall_4_0() { return cSourceMultiplicityMultiplicityDefinitionParserRuleCall_4_0; }
1404
1405 //source=Symbol
1406 public Assignment getSourceAssignment_5() { return cSourceAssignment_5; }
1407
1408 //Symbol
1409 public RuleCall getSourceSymbolParserRuleCall_5_0() { return cSourceSymbolParserRuleCall_5_0; }
1410
1411 //targetMultiplicity=MultiplicityDefinition?
1412 public Assignment getTargetMultiplicityAssignment_6() { return cTargetMultiplicityAssignment_6; }
1413
1414 //MultiplicityDefinition
1415 public RuleCall getTargetMultiplicityMultiplicityDefinitionParserRuleCall_6_0() { return cTargetMultiplicityMultiplicityDefinitionParserRuleCall_6_0; }
1416
1417 //target=Symbol
1418 public Assignment getTargetAssignment_7() { return cTargetAssignment_7; }
1419
1420 //Symbol
1421 public RuleCall getTargetSymbolParserRuleCall_7_0() { return cTargetSymbolParserRuleCall_7_0; }
1422 }
1423 public class MultiplicityDefinitionElements extends AbstractParserRuleElementFinder {
1424 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.MultiplicityDefinition");
1425 private final Group cGroup = (Group)rule.eContents().get(1);
1426 private final Assignment cLowerAssignment_0 = (Assignment)cGroup.eContents().get(0);
1427 private final RuleCall cLowerINTTerminalRuleCall_0_0 = (RuleCall)cLowerAssignment_0.eContents().get(0);
1428 private final Keyword cFullStopFullStopKeyword_1 = (Keyword)cGroup.eContents().get(1);
1429 private final Alternatives cAlternatives_2 = (Alternatives)cGroup.eContents().get(2);
1430 private final Assignment cUpperAssignment_2_0 = (Assignment)cAlternatives_2.eContents().get(0);
1431 private final RuleCall cUpperINTTerminalRuleCall_2_0_0 = (RuleCall)cUpperAssignment_2_0.eContents().get(0);
1432 private final Assignment cUnlimitedUpperAssignment_2_1 = (Assignment)cAlternatives_2.eContents().get(1);
1433 private final Keyword cUnlimitedUpperAsteriskKeyword_2_1_0 = (Keyword)cUnlimitedUpperAssignment_2_1.eContents().get(0);
1434
1435 //MultiplicityDefinition:
1436 // lower=INT '..' (upper=INT | unlimitedUpper?='*');
1437 @Override public ParserRule getRule() { return rule; }
1438
1439 //lower=INT '..' (upper=INT | unlimitedUpper?='*')
1440 public Group getGroup() { return cGroup; }
1441
1442 //lower=INT
1443 public Assignment getLowerAssignment_0() { return cLowerAssignment_0; }
1444
1445 //INT
1446 public RuleCall getLowerINTTerminalRuleCall_0_0() { return cLowerINTTerminalRuleCall_0_0; }
1447
1448 //'..'
1449 public Keyword getFullStopFullStopKeyword_1() { return cFullStopFullStopKeyword_1; }
1450
1451 //upper=INT | unlimitedUpper?='*'
1452 public Alternatives getAlternatives_2() { return cAlternatives_2; }
1453
1454 //upper=INT
1455 public Assignment getUpperAssignment_2_0() { return cUpperAssignment_2_0; }
1456
1457 //INT
1458 public RuleCall getUpperINTTerminalRuleCall_2_0_0() { return cUpperINTTerminalRuleCall_2_0_0; }
1459
1460 //unlimitedUpper?='*'
1461 public Assignment getUnlimitedUpperAssignment_2_1() { return cUnlimitedUpperAssignment_2_1; }
1462
1463 //'*'
1464 public Keyword getUnlimitedUpperAsteriskKeyword_2_1_0() { return cUnlimitedUpperAsteriskKeyword_2_1_0; }
1465 }
1466
1467
1468 private final ProblemElements pProblem;
1469 private final StatementElements pStatement;
1470 private final TerminalRule tSTRING;
1471 private final REALLiteralElements pREALLiteral;
1472 private final INTLiteralElements pINTLiteral;
1473 private final BooleanValueElements pBooleanValue;
1474 private final TruthValueElements pTruthValue;
1475 private final InterpretationElements pInterpretation;
1476 private final BasicInterpretationElements pBasicInterpretation;
1477 private final SymbolElements pSymbol;
1478 private final ModelSymbolElements pModelSymbol;
1479 private final PartialitySymbolElements pPartialitySymbol;
1480 private final ExistSymbolElements pExistSymbol;
1481 private final EqualsSymbolElements pEqualsSymbol;
1482 private final DataSymbolElements pDataSymbol;
1483 private final BooleanSymbolElements pBooleanSymbol;
1484 private final IntegerSymbolElements pIntegerSymbol;
1485 private final RealSymbolElements pRealSymbol;
1486 private final StringSymbolElements pStringSymbol;
1487 private final ComplexObjectElements pComplexObject;
1488 private final ObjectElements pObject;
1489 private final NamedObjectElements pNamedObject;
1490 private final UnnamedObjectElements pUnnamedObject;
1491 private final DataObjectElements pDataObject;
1492 private final BooleanObjectElements pBooleanObject;
1493 private final IntObjectElements pIntObject;
1494 private final RealObjectElements pRealObject;
1495 private final StringObjectElements pStringObject;
1496 private final PredicateElements pPredicate;
1497 private final PredicateSymbolElements pPredicateSymbol;
1498 private final ErrorPredicateElements pErrorPredicate;
1499 private final ParameterElements pParameter;
1500 private final PatternBodyElements pPatternBody;
1501 private final PolarityElements pPolarity;
1502 private final ConstraintElements pConstraint;
1503 private final ClosureTypeElements pClosureType;
1504 private final LiteralElements pLiteral;
1505 private final VariableElements pVariable;
1506 private final AllInstancesElements pAllInstances;
1507 private final AllObjectsElements pAllObjects;
1508 private final DefaultInterpretationElements pDefaultInterpretation;
1509 private final CDInterpretationElements pCDInterpretation;
1510 private final ClassInterpretationElements pClassInterpretation;
1511 private final EnumInterpretationElements pEnumInterpretation;
1512 private final FieldRelationInterpretationElements pFieldRelationInterpretation;
1513 private final GlobalRelationInterpretationElements pGlobalRelationInterpretation;
1514 private final MultiplicityDefinitionElements pMultiplicityDefinition;
1515
1516 private final Grammar grammar;
1517
1518 private final TerminalsGrammarAccess gaTerminals;
1519
1520 @Inject
1521 public SolverLanguageGrammarAccess(GrammarProvider grammarProvider,
1522 TerminalsGrammarAccess gaTerminals) {
1523 this.grammar = internalFindGrammar(grammarProvider);
1524 this.gaTerminals = gaTerminals;
1525 this.pProblem = new ProblemElements();
1526 this.pStatement = new StatementElements();
1527 this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.SolverLanguage.STRING");
1528 this.pREALLiteral = new REALLiteralElements();
1529 this.pINTLiteral = new INTLiteralElements();
1530 this.pBooleanValue = new BooleanValueElements();
1531 this.pTruthValue = new TruthValueElements();
1532 this.pInterpretation = new InterpretationElements();
1533 this.pBasicInterpretation = new BasicInterpretationElements();
1534 this.pSymbol = new SymbolElements();
1535 this.pModelSymbol = new ModelSymbolElements();
1536 this.pPartialitySymbol = new PartialitySymbolElements();
1537 this.pExistSymbol = new ExistSymbolElements();
1538 this.pEqualsSymbol = new EqualsSymbolElements();
1539 this.pDataSymbol = new DataSymbolElements();
1540 this.pBooleanSymbol = new BooleanSymbolElements();
1541 this.pIntegerSymbol = new IntegerSymbolElements();
1542 this.pRealSymbol = new RealSymbolElements();
1543 this.pStringSymbol = new StringSymbolElements();
1544 this.pComplexObject = new ComplexObjectElements();
1545 this.pObject = new ObjectElements();
1546 this.pNamedObject = new NamedObjectElements();
1547 this.pUnnamedObject = new UnnamedObjectElements();
1548 this.pDataObject = new DataObjectElements();
1549 this.pBooleanObject = new BooleanObjectElements();
1550 this.pIntObject = new IntObjectElements();
1551 this.pRealObject = new RealObjectElements();
1552 this.pStringObject = new StringObjectElements();
1553 this.pPredicate = new PredicateElements();
1554 this.pPredicateSymbol = new PredicateSymbolElements();
1555 this.pErrorPredicate = new ErrorPredicateElements();
1556 this.pParameter = new ParameterElements();
1557 this.pPatternBody = new PatternBodyElements();
1558 this.pPolarity = new PolarityElements();
1559 this.pConstraint = new ConstraintElements();
1560 this.pClosureType = new ClosureTypeElements();
1561 this.pLiteral = new LiteralElements();
1562 this.pVariable = new VariableElements();
1563 this.pAllInstances = new AllInstancesElements();
1564 this.pAllObjects = new AllObjectsElements();
1565 this.pDefaultInterpretation = new DefaultInterpretationElements();
1566 this.pCDInterpretation = new CDInterpretationElements();
1567 this.pClassInterpretation = new ClassInterpretationElements();
1568 this.pEnumInterpretation = new EnumInterpretationElements();
1569 this.pFieldRelationInterpretation = new FieldRelationInterpretationElements();
1570 this.pGlobalRelationInterpretation = new GlobalRelationInterpretationElements();
1571 this.pMultiplicityDefinition = new MultiplicityDefinitionElements();
1572 }
1573
1574 protected Grammar internalFindGrammar(GrammarProvider grammarProvider) {
1575 Grammar grammar = grammarProvider.getGrammar(this);
1576 while (grammar != null) {
1577 if ("org.eclipse.viatra.solver.language.SolverLanguage".equals(grammar.getName())) {
1578 return grammar;
1579 }
1580 List<Grammar> grammars = grammar.getUsedGrammars();
1581 if (!grammars.isEmpty()) {
1582 grammar = grammars.iterator().next();
1583 } else {
1584 return null;
1585 }
1586 }
1587 return grammar;
1588 }
1589
1590 @Override
1591 public Grammar getGrammar() {
1592 return grammar;
1593 }
1594
1595
1596 public TerminalsGrammarAccess getTerminalsGrammarAccess() {
1597 return gaTerminals;
1598 }
1599
1600
1601 //Problem:
1602 // statements+=Statement*;
1603 public ProblemElements getProblemAccess() {
1604 return pProblem;
1605 }
1606
1607 public ParserRule getProblemRule() {
1608 return getProblemAccess().getRule();
1609 }
1610
1611 //Statement:
1612 // Interpretation | Predicate;
1613 public StatementElements getStatementAccess() {
1614 return pStatement;
1615 }
1616
1617 public ParserRule getStatementRule() {
1618 return getStatementAccess().getRule();
1619 }
1620
1621 //@Override
1622 //terminal STRING:
1623 // '"' ('\\' . | !('\\' | '"'))* '"';
1624 public TerminalRule getSTRINGRule() {
1625 return tSTRING;
1626 }
1627
1628 //REALLiteral ecore::EBigDecimal:
1629 // '-'? INT '.' INT;
1630 public REALLiteralElements getREALLiteralAccess() {
1631 return pREALLiteral;
1632 }
1633
1634 public ParserRule getREALLiteralRule() {
1635 return getREALLiteralAccess().getRule();
1636 }
1637
1638 //INTLiteral ecore::EInt:
1639 // '-'? INT;
1640 public INTLiteralElements getINTLiteralAccess() {
1641 return pINTLiteral;
1642 }
1643
1644 public ParserRule getINTLiteralRule() {
1645 return getINTLiteralAccess().getRule();
1646 }
1647
1648 //BooleanValue:
1649 // {BooleanTrue} 'true' | 'false' {BooleanFalse};
1650 public BooleanValueElements getBooleanValueAccess() {
1651 return pBooleanValue;
1652 }
1653
1654 public ParserRule getBooleanValueRule() {
1655 return getBooleanValueAccess().getRule();
1656 }
1657
1658 //TruthValue:
1659 // {True} 'true' | {False} 'false' | {Unknown} 'unknown' | {Error} 'error';
1660 public TruthValueElements getTruthValueAccess() {
1661 return pTruthValue;
1662 }
1663
1664 public ParserRule getTruthValueRule() {
1665 return getTruthValueAccess().getRule();
1666 }
1667
1668 /////////////////////
1669 //// Core grammar
1670 // ///////////////////
1671 //Interpretation:
1672 // BasicInterpretation | DefaultInterpretation | CDInterpretation;
1673 public InterpretationElements getInterpretationAccess() {
1674 return pInterpretation;
1675 }
1676
1677 public ParserRule getInterpretationRule() {
1678 return getInterpretationAccess().getRule();
1679 }
1680
1681 //BasicInterpretation:
1682 // symbol=Symbol '(' objects+=ComplexObject* ')' ':' value=TruthValue;
1683 public BasicInterpretationElements getBasicInterpretationAccess() {
1684 return pBasicInterpretation;
1685 }
1686
1687 public ParserRule getBasicInterpretationRule() {
1688 return getBasicInterpretationAccess().getRule();
1689 }
1690
1691 //Symbol:
1692 // ModelSymbol | PartialitySymbol | DataSymbol;
1693 public SymbolElements getSymbolAccess() {
1694 return pSymbol;
1695 }
1696
1697 public ParserRule getSymbolRule() {
1698 return getSymbolAccess().getRule();
1699 }
1700
1701 //ModelSymbol:
1702 // name=ID;
1703 public ModelSymbolElements getModelSymbolAccess() {
1704 return pModelSymbol;
1705 }
1706
1707 public ParserRule getModelSymbolRule() {
1708 return getModelSymbolAccess().getRule();
1709 }
1710
1711 //PartialitySymbol:
1712 // ExistSymbol | EqualsSymbol;
1713 public PartialitySymbolElements getPartialitySymbolAccess() {
1714 return pPartialitySymbol;
1715 }
1716
1717 public ParserRule getPartialitySymbolRule() {
1718 return getPartialitySymbolAccess().getRule();
1719 }
1720
1721 //ExistSymbol:
1722 // 'exists' {ExistSymbol};
1723 public ExistSymbolElements getExistSymbolAccess() {
1724 return pExistSymbol;
1725 }
1726
1727 public ParserRule getExistSymbolRule() {
1728 return getExistSymbolAccess().getRule();
1729 }
1730
1731 //EqualsSymbol:
1732 // 'equals' {EqualsSymbol};
1733 public EqualsSymbolElements getEqualsSymbolAccess() {
1734 return pEqualsSymbol;
1735 }
1736
1737 public ParserRule getEqualsSymbolRule() {
1738 return getEqualsSymbolAccess().getRule();
1739 }
1740
1741 //DataSymbol:
1742 // BooleanSymbol | IntegerSymbol | RealSymbol | StringSymbol;
1743 public DataSymbolElements getDataSymbolAccess() {
1744 return pDataSymbol;
1745 }
1746
1747 public ParserRule getDataSymbolRule() {
1748 return getDataSymbolAccess().getRule();
1749 }
1750
1751 //BooleanSymbol:
1752 // 'bool' {BooleanSymbol};
1753 public BooleanSymbolElements getBooleanSymbolAccess() {
1754 return pBooleanSymbol;
1755 }
1756
1757 public ParserRule getBooleanSymbolRule() {
1758 return getBooleanSymbolAccess().getRule();
1759 }
1760
1761 //IntegerSymbol:
1762 // 'int' {IntegerSymbol};
1763 public IntegerSymbolElements getIntegerSymbolAccess() {
1764 return pIntegerSymbol;
1765 }
1766
1767 public ParserRule getIntegerSymbolRule() {
1768 return getIntegerSymbolAccess().getRule();
1769 }
1770
1771 //RealSymbol:
1772 // 'real' {RealSymbol};
1773 public RealSymbolElements getRealSymbolAccess() {
1774 return pRealSymbol;
1775 }
1776
1777 public ParserRule getRealSymbolRule() {
1778 return getRealSymbolAccess().getRule();
1779 }
1780
1781 //StringSymbol:
1782 // 'string' {StringSymbol};
1783 public StringSymbolElements getStringSymbolAccess() {
1784 return pStringSymbol;
1785 }
1786
1787 public ParserRule getStringSymbolRule() {
1788 return getStringSymbolAccess().getRule();
1789 }
1790
1791 //ComplexObject:
1792 // Object | AllInstances | AllObjects;
1793 public ComplexObjectElements getComplexObjectAccess() {
1794 return pComplexObject;
1795 }
1796
1797 public ParserRule getComplexObjectRule() {
1798 return getComplexObjectAccess().getRule();
1799 }
1800
1801 //Object:
1802 // NamedObject | UnnamedObject | DataObject;
1803 public ObjectElements getObjectAccess() {
1804 return pObject;
1805 }
1806
1807 public ParserRule getObjectRule() {
1808 return getObjectAccess().getRule();
1809 }
1810
1811 //NamedObject:
1812 // "'" name=ID "'";
1813 public NamedObjectElements getNamedObjectAccess() {
1814 return pNamedObject;
1815 }
1816
1817 public ParserRule getNamedObjectRule() {
1818 return getNamedObjectAccess().getRule();
1819 }
1820
1821 //UnnamedObject:
1822 // name=ID;
1823 public UnnamedObjectElements getUnnamedObjectAccess() {
1824 return pUnnamedObject;
1825 }
1826
1827 public ParserRule getUnnamedObjectRule() {
1828 return getUnnamedObjectAccess().getRule();
1829 }
1830
1831 //DataObject:
1832 // BooleanObject | IntObject | RealObject | StringObject;
1833 public DataObjectElements getDataObjectAccess() {
1834 return pDataObject;
1835 }
1836
1837 public ParserRule getDataObjectRule() {
1838 return getDataObjectAccess().getRule();
1839 }
1840
1841 //BooleanObject:
1842 // value=BooleanValue;
1843 public BooleanObjectElements getBooleanObjectAccess() {
1844 return pBooleanObject;
1845 }
1846
1847 public ParserRule getBooleanObjectRule() {
1848 return getBooleanObjectAccess().getRule();
1849 }
1850
1851 //IntObject:
1852 // value=INTLiteral;
1853 public IntObjectElements getIntObjectAccess() {
1854 return pIntObject;
1855 }
1856
1857 public ParserRule getIntObjectRule() {
1858 return getIntObjectAccess().getRule();
1859 }
1860
1861 //RealObject:
1862 // value=REALLiteral;
1863 public RealObjectElements getRealObjectAccess() {
1864 return pRealObject;
1865 }
1866
1867 public ParserRule getRealObjectRule() {
1868 return getRealObjectAccess().getRule();
1869 }
1870
1871 //StringObject:
1872 // value=STRING;
1873 public StringObjectElements getStringObjectAccess() {
1874 return pStringObject;
1875 }
1876
1877 public ParserRule getStringObjectRule() {
1878 return getStringObjectAccess().getRule();
1879 }
1880
1881 /////////////////////
1882 //// Predicte grammar
1883 /////////////////////
1884 //Predicate:
1885 // PredicateSymbol | ErrorPredicate;
1886 public PredicateElements getPredicateAccess() {
1887 return pPredicate;
1888 }
1889
1890 public ParserRule getPredicateRule() {
1891 return getPredicateAccess().getRule();
1892 }
1893
1894 //PredicateSymbol:
1895 // 'predicate' symbol=ModelSymbol '(' parameters+=Parameter* ')' ':' ('false' | bodies+=PatternBody ('|'
1896 // bodies+=PatternBody)*) '.';
1897 public PredicateSymbolElements getPredicateSymbolAccess() {
1898 return pPredicateSymbol;
1899 }
1900
1901 public ParserRule getPredicateSymbolRule() {
1902 return getPredicateSymbolAccess().getRule();
1903 }
1904
1905 //ErrorPredicate:
1906 // {ErrorPredicate} 'error' name=ID? ('(' parameters+=Parameter* ')') ':' ('false' | bodies+=PatternBody ('|'
1907 // bodies+=PatternBody)*) '.';
1908 public ErrorPredicateElements getErrorPredicateAccess() {
1909 return pErrorPredicate;
1910 }
1911
1912 public ParserRule getErrorPredicateRule() {
1913 return getErrorPredicateAccess().getRule();
1914 }
1915
1916 //Parameter:
1917 // variable=Variable (':' type=Symbol)?;
1918 public ParameterElements getParameterAccess() {
1919 return pParameter;
1920 }
1921
1922 public ParserRule getParameterRule() {
1923 return getParameterAccess().getRule();
1924 }
1925
1926 //PatternBody:
1927 // {PatternBody} ('true' | constraints+=Constraint*);
1928 public PatternBodyElements getPatternBodyAccess() {
1929 return pPatternBody;
1930 }
1931
1932 public ParserRule getPatternBodyRule() {
1933 return getPatternBodyAccess().getRule();
1934 }
1935
1936 //Polarity:
1937 // {Positive} '+' | {Negative} '-';
1938 public PolarityElements getPolarityAccess() {
1939 return pPolarity;
1940 }
1941
1942 public ParserRule getPolarityRule() {
1943 return getPolarityAccess().getRule();
1944 }
1945
1946 //Constraint:
1947 // polarity=Polarity? symbol=ModelSymbol ('(' params+=Literal* ')' | closureType=ClosureType '(' params+=Literal
1948 // params+=Literal ')');
1949 public ConstraintElements getConstraintAccess() {
1950 return pConstraint;
1951 }
1952
1953 public ParserRule getConstraintRule() {
1954 return getConstraintAccess().getRule();
1955 }
1956
1957 //ClosureType:
1958 // {ReflexiveClosure} '*' | {IrreflexiveClosure} '+';
1959 public ClosureTypeElements getClosureTypeAccess() {
1960 return pClosureType;
1961 }
1962
1963 public ParserRule getClosureTypeRule() {
1964 return getClosureTypeAccess().getRule();
1965 }
1966
1967 //Literal:
1968 // Variable | DataObject;
1969 public LiteralElements getLiteralAccess() {
1970 return pLiteral;
1971 }
1972
1973 public ParserRule getLiteralRule() {
1974 return getLiteralAccess().getRule();
1975 }
1976
1977 //Variable:
1978 // name=ID;
1979 public VariableElements getVariableAccess() {
1980 return pVariable;
1981 }
1982
1983 public ParserRule getVariableRule() {
1984 return getVariableAccess().getRule();
1985 }
1986
1987 /////////////////////
1988 //// Complex Interpretation grammar
1989 /////////////////////
1990 //AllInstances:
1991 // ':' symbol=Symbol;
1992 public AllInstancesElements getAllInstancesAccess() {
1993 return pAllInstances;
1994 }
1995
1996 public ParserRule getAllInstancesRule() {
1997 return getAllInstancesAccess().getRule();
1998 }
1999
2000 //AllObjects:
2001 // {AllObjects} '*';
2002 public AllObjectsElements getAllObjectsAccess() {
2003 return pAllObjects;
2004 }
2005
2006 public ParserRule getAllObjectsRule() {
2007 return getAllObjectsAccess().getRule();
2008 }
2009
2010 /////////////////////
2011 //// Defaul Interpretation grammar
2012 /////////////////////
2013 //DefaultInterpretation:
2014 // 'default' interpretation=BasicInterpretation;
2015 public DefaultInterpretationElements getDefaultInterpretationAccess() {
2016 return pDefaultInterpretation;
2017 }
2018
2019 public ParserRule getDefaultInterpretationRule() {
2020 return getDefaultInterpretationAccess().getRule();
2021 }
2022
2023 /////////////////////
2024 //// Advanced Class-Diagram interpretations
2025 /////////////////////
2026 //CDInterpretation:
2027 // ClassInterpretation | EnumInterpretation | GlobalRelationInterpretation;
2028 public CDInterpretationElements getCDInterpretationAccess() {
2029 return pCDInterpretation;
2030 }
2031
2032 public ParserRule getCDInterpretationRule() {
2033 return getCDInterpretationAccess().getRule();
2034 }
2035
2036 //ClassInterpretation:
2037 // abstract?='abstract' 'class' symbol=ModelSymbol ('extends' supertypes+=ModelSymbol+)? '{'
2038 // fielt+=FieldRelationInterpretation*
2039 // '}';
2040 public ClassInterpretationElements getClassInterpretationAccess() {
2041 return pClassInterpretation;
2042 }
2043
2044 public ParserRule getClassInterpretationRule() {
2045 return getClassInterpretationAccess().getRule();
2046 }
2047
2048 //EnumInterpretation:
2049 // 'enum' Symbol=ModelSymbol '{' objects+=NamedObject+ '}';
2050 public EnumInterpretationElements getEnumInterpretationAccess() {
2051 return pEnumInterpretation;
2052 }
2053
2054 public ParserRule getEnumInterpretationRule() {
2055 return getEnumInterpretationAccess().getRule();
2056 }
2057
2058 //FieldRelationInterpretation:
2059 // containment?='containment' symbol=ModelSymbol ':' multiplicity=MultiplicityDefinition? target=Symbol;
2060 public FieldRelationInterpretationElements getFieldRelationInterpretationAccess() {
2061 return pFieldRelationInterpretation;
2062 }
2063
2064 public ParserRule getFieldRelationInterpretationRule() {
2065 return getFieldRelationInterpretationAccess().getRule();
2066 }
2067
2068 //GlobalRelationInterpretation:
2069 // containment?='containment' 'relation' symbol=ModelSymbol ':' sourceMultiplicity=MultiplicityDefinition? source=Symbol
2070 // targetMultiplicity=MultiplicityDefinition? target=Symbol;
2071 public GlobalRelationInterpretationElements getGlobalRelationInterpretationAccess() {
2072 return pGlobalRelationInterpretation;
2073 }
2074
2075 public ParserRule getGlobalRelationInterpretationRule() {
2076 return getGlobalRelationInterpretationAccess().getRule();
2077 }
2078
2079 //MultiplicityDefinition:
2080 // lower=INT '..' (upper=INT | unlimitedUpper?='*');
2081 public MultiplicityDefinitionElements getMultiplicityDefinitionAccess() {
2082 return pMultiplicityDefinition;
2083 }
2084
2085 public ParserRule getMultiplicityDefinitionRule() {
2086 return getMultiplicityDefinitionAccess().getRule();
2087 }
2088
2089 //terminal ID:
2090 // '^'? ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | '0'..'9')*;
2091 public TerminalRule getIDRule() {
2092 return gaTerminals.getIDRule();
2093 }
2094
2095 //terminal INT returns ecore::EInt:
2096 // '0'..'9'+;
2097 public TerminalRule getINTRule() {
2098 return gaTerminals.getINTRule();
2099 }
2100
2101 //terminal ML_COMMENT:
2102 // '/*'->'*/';
2103 public TerminalRule getML_COMMENTRule() {
2104 return gaTerminals.getML_COMMENTRule();
2105 }
2106
2107 //terminal SL_COMMENT:
2108 // '//' !('\n' | '\r')* ('\r'? '\n')?;
2109 public TerminalRule getSL_COMMENTRule() {
2110 return gaTerminals.getSL_COMMENTRule();
2111 }
2112
2113 //terminal WS:
2114 // ' ' | '\t' | '\r' | '\n'+;
2115 public TerminalRule getWSRule() {
2116 return gaTerminals.getWSRule();
2117 }
2118
2119 //terminal ANY_OTHER:
2120 // .;
2121 public TerminalRule getANY_OTHERRule() {
2122 return gaTerminals.getANY_OTHERRule();
2123 }
2124}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-09 15:30:27 +0000