diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/services/SolverLanguageGrammarAccess.java | 2124 |
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 | */ | ||
4 | package org.eclipse.viatra.solver.language.services; | ||
5 | |||
6 | import com.google.inject.Inject; | ||
7 | import com.google.inject.Singleton; | ||
8 | import java.util.List; | ||
9 | import org.eclipse.xtext.Action; | ||
10 | import org.eclipse.xtext.Alternatives; | ||
11 | import org.eclipse.xtext.Assignment; | ||
12 | import org.eclipse.xtext.Grammar; | ||
13 | import org.eclipse.xtext.GrammarUtil; | ||
14 | import org.eclipse.xtext.Group; | ||
15 | import org.eclipse.xtext.Keyword; | ||
16 | import org.eclipse.xtext.ParserRule; | ||
17 | import org.eclipse.xtext.RuleCall; | ||
18 | import org.eclipse.xtext.TerminalRule; | ||
19 | import org.eclipse.xtext.common.services.TerminalsGrammarAccess; | ||
20 | import org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder; | ||
21 | import org.eclipse.xtext.service.GrammarProvider; | ||
22 | |||
23 | @Singleton | ||
24 | public 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 | } | ||