diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util')
2 files changed, 554 insertions, 916 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java index 9931598c..e46d6779 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage.util; | 4 | package org.eclipse.viatra.solver.language.solverLanguage.util; |
5 | 5 | ||
@@ -10,57 +10,7 @@ import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | |||
10 | 10 | ||
11 | import org.eclipse.emf.ecore.EObject; | 11 | import org.eclipse.emf.ecore.EObject; |
12 | 12 | ||
13 | import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; | 13 | import org.eclipse.viatra.solver.language.solverLanguage.*; |
14 | import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; | ||
16 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; | ||
17 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; | ||
18 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; | ||
19 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; | ||
20 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; | ||
21 | import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; | ||
22 | import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | ||
26 | import org.eclipse.viatra.solver.language.solverLanguage.DataObject; | ||
27 | import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | ||
28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | ||
30 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | ||
31 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | ||
32 | import org.eclipse.viatra.solver.language.solverLanguage.False; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | ||
34 | import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; | ||
35 | import org.eclipse.viatra.solver.language.solverLanguage.IntObject; | ||
36 | import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; | ||
37 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | ||
38 | import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; | ||
39 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; | ||
40 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
41 | import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; | ||
42 | import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | ||
43 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | ||
44 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | ||
45 | import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; | ||
46 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | ||
47 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | ||
48 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | ||
49 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | ||
51 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure; | ||
54 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
55 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | ||
56 | import org.eclipse.viatra.solver.language.solverLanguage.StringObject; | ||
57 | import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; | ||
58 | import org.eclipse.viatra.solver.language.solverLanguage.Symbol; | ||
59 | import org.eclipse.viatra.solver.language.solverLanguage.True; | ||
60 | import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; | ||
61 | import org.eclipse.viatra.solver.language.solverLanguage.Unknown; | ||
62 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; | ||
63 | import org.eclipse.viatra.solver.language.solverLanguage.Variable; | ||
64 | 14 | ||
65 | /** | 15 | /** |
66 | * <!-- begin-user-doc --> | 16 | * <!-- begin-user-doc --> |
@@ -136,254 +86,224 @@ public class SolverLanguageAdapterFactory extends AdapterFactoryImpl | |||
136 | return createStatementAdapter(); | 86 | return createStatementAdapter(); |
137 | } | 87 | } |
138 | @Override | 88 | @Override |
139 | public Adapter caseBooleanValue(BooleanValue object) | 89 | public Adapter casePredicateDefinition(PredicateDefinition object) |
140 | { | 90 | { |
141 | return createBooleanValueAdapter(); | 91 | return createPredicateDefinitionAdapter(); |
142 | } | 92 | } |
143 | @Override | 93 | @Override |
144 | public Adapter caseTruthValue(TruthValue object) | 94 | public Adapter caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object) |
145 | { | 95 | { |
146 | return createTruthValueAdapter(); | 96 | return createUnnamedErrorPrediateDefinitionAdapter(); |
147 | } | 97 | } |
148 | @Override | 98 | @Override |
149 | public Adapter caseInterpretation(Interpretation object) | 99 | public Adapter caseDefaultDefinition(DefaultDefinition object) |
150 | { | 100 | { |
151 | return createInterpretationAdapter(); | 101 | return createDefaultDefinitionAdapter(); |
152 | } | 102 | } |
153 | @Override | 103 | @Override |
154 | public Adapter caseBasicInterpretation(BasicInterpretation object) | 104 | public Adapter caseExternPredicateDefinition(ExternPredicateDefinition object) |
155 | { | 105 | { |
156 | return createBasicInterpretationAdapter(); | 106 | return createExternPredicateDefinitionAdapter(); |
157 | } | 107 | } |
158 | @Override | 108 | @Override |
159 | public Adapter caseSymbol(Symbol object) | 109 | public Adapter caseMetricDefinition(MetricDefinition object) |
160 | { | 110 | { |
161 | return createSymbolAdapter(); | 111 | return createMetricDefinitionAdapter(); |
162 | } | 112 | } |
163 | @Override | 113 | @Override |
164 | public Adapter caseModelSymbol(ModelSymbol object) | 114 | public Adapter caseExternMetricDefinition(ExternMetricDefinition object) |
165 | { | 115 | { |
166 | return createModelSymbolAdapter(); | 116 | return createExternMetricDefinitionAdapter(); |
167 | } | 117 | } |
168 | @Override | 118 | @Override |
169 | public Adapter casePartialitySymbol(PartialitySymbol object) | 119 | public Adapter caseExpression(Expression object) |
170 | { | 120 | { |
171 | return createPartialitySymbolAdapter(); | 121 | return createExpressionAdapter(); |
172 | } | 122 | } |
173 | @Override | 123 | @Override |
174 | public Adapter caseExistSymbol(ExistSymbol object) | 124 | public Adapter caseIfElse(IfElse object) |
175 | { | 125 | { |
176 | return createExistSymbolAdapter(); | 126 | return createIfElseAdapter(); |
177 | } | 127 | } |
178 | @Override | 128 | @Override |
179 | public Adapter caseEqualsSymbol(EqualsSymbol object) | 129 | public Adapter caseCase(Case object) |
180 | { | 130 | { |
181 | return createEqualsSymbolAdapter(); | 131 | return createCaseAdapter(); |
182 | } | 132 | } |
183 | @Override | 133 | @Override |
184 | public Adapter caseDataSymbol(DataSymbol object) | 134 | public Adapter caseCount(Count object) |
185 | { | 135 | { |
186 | return createDataSymbolAdapter(); | 136 | return createCountAdapter(); |
187 | } | 137 | } |
188 | @Override | 138 | @Override |
189 | public Adapter caseBooleanSymbol(BooleanSymbol object) | 139 | public Adapter caseAggregation(Aggregation object) |
190 | { | 140 | { |
191 | return createBooleanSymbolAdapter(); | 141 | return createAggregationAdapter(); |
192 | } | 142 | } |
193 | @Override | 143 | @Override |
194 | public Adapter caseIntegerSymbol(IntegerSymbol object) | 144 | public Adapter caseCall(Call object) |
195 | { | 145 | { |
196 | return createIntegerSymbolAdapter(); | 146 | return createCallAdapter(); |
197 | } | 147 | } |
198 | @Override | 148 | @Override |
199 | public Adapter caseRealSymbol(RealSymbol object) | 149 | public Adapter caseArgumentList(ArgumentList object) |
200 | { | 150 | { |
201 | return createRealSymbolAdapter(); | 151 | return createArgumentListAdapter(); |
202 | } | 152 | } |
203 | @Override | 153 | @Override |
204 | public Adapter caseStringSymbol(StringSymbol object) | 154 | public Adapter caseArgument(Argument object) |
205 | { | 155 | { |
206 | return createStringSymbolAdapter(); | 156 | return createArgumentAdapter(); |
207 | } | 157 | } |
208 | @Override | 158 | @Override |
209 | public Adapter caseComplexObject(ComplexObject object) | 159 | public Adapter caseExpressionArgument(ExpressionArgument object) |
210 | { | 160 | { |
211 | return createComplexObjectAdapter(); | 161 | return createExpressionArgumentAdapter(); |
212 | } | 162 | } |
213 | @Override | 163 | @Override |
214 | public Adapter caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object) | 164 | public Adapter caseStarArgument(StarArgument object) |
215 | { | 165 | { |
216 | return createObjectAdapter(); | 166 | return createStarArgumentAdapter(); |
217 | } | 167 | } |
218 | @Override | 168 | @Override |
219 | public Adapter caseNamedObject(NamedObject object) | 169 | public Adapter caseTypedArgument(TypedArgument object) |
220 | { | 170 | { |
221 | return createNamedObjectAdapter(); | 171 | return createTypedArgumentAdapter(); |
222 | } | 172 | } |
223 | @Override | 173 | @Override |
224 | public Adapter caseUnnamedObject(UnnamedObject object) | 174 | public Adapter caseTypedStarArgument(TypedStarArgument object) |
225 | { | 175 | { |
226 | return createUnnamedObjectAdapter(); | 176 | return createTypedStarArgumentAdapter(); |
227 | } | 177 | } |
228 | @Override | 178 | @Override |
229 | public Adapter caseDataObject(DataObject object) | 179 | public Adapter caseReference(Reference object) |
230 | { | 180 | { |
231 | return createDataObjectAdapter(); | 181 | return createReferenceAdapter(); |
232 | } | 182 | } |
233 | @Override | 183 | @Override |
234 | public Adapter caseBooleanObject(BooleanObject object) | 184 | public Adapter caseInterval(Interval object) |
235 | { | 185 | { |
236 | return createBooleanObjectAdapter(); | 186 | return createIntervalAdapter(); |
237 | } | 187 | } |
238 | @Override | 188 | @Override |
239 | public Adapter caseIntObject(IntObject object) | 189 | public Adapter caseLiteral(Literal object) |
240 | { | ||
241 | return createIntObjectAdapter(); | ||
242 | } | ||
243 | @Override | ||
244 | public Adapter caseRealObject(RealObject object) | ||
245 | { | ||
246 | return createRealObjectAdapter(); | ||
247 | } | ||
248 | @Override | ||
249 | public Adapter caseStringObject(StringObject object) | ||
250 | { | ||
251 | return createStringObjectAdapter(); | ||
252 | } | ||
253 | @Override | ||
254 | public Adapter casePredicate(Predicate object) | ||
255 | { | ||
256 | return createPredicateAdapter(); | ||
257 | } | ||
258 | @Override | ||
259 | public Adapter caseParameter(Parameter object) | ||
260 | { | ||
261 | return createParameterAdapter(); | ||
262 | } | ||
263 | @Override | ||
264 | public Adapter casePatternBody(PatternBody object) | ||
265 | { | ||
266 | return createPatternBodyAdapter(); | ||
267 | } | ||
268 | @Override | ||
269 | public Adapter casePolarity(Polarity object) | ||
270 | { | 190 | { |
271 | return createPolarityAdapter(); | 191 | return createLiteralAdapter(); |
272 | } | 192 | } |
273 | @Override | 193 | @Override |
274 | public Adapter caseConstraint(Constraint object) | 194 | public Adapter caseLogicLiteral(LogicLiteral object) |
275 | { | 195 | { |
276 | return createConstraintAdapter(); | 196 | return createLogicLiteralAdapter(); |
277 | } | 197 | } |
278 | @Override | 198 | @Override |
279 | public Adapter caseClosureType(ClosureType object) | 199 | public Adapter caseNumericLiteral(NumericLiteral object) |
280 | { | 200 | { |
281 | return createClosureTypeAdapter(); | 201 | return createNumericLiteralAdapter(); |
282 | } | 202 | } |
283 | @Override | 203 | @Override |
284 | public Adapter caseLiteral(Literal object) | 204 | public Adapter caseInfinityLiteral(InfinityLiteral object) |
285 | { | 205 | { |
286 | return createLiteralAdapter(); | 206 | return createInfinityLiteralAdapter(); |
287 | } | 207 | } |
288 | @Override | 208 | @Override |
289 | public Adapter caseVariable(Variable object) | 209 | public Adapter caseEmptyIntervalLiteral(EmptyIntervalLiteral object) |
290 | { | 210 | { |
291 | return createVariableAdapter(); | 211 | return createEmptyIntervalLiteralAdapter(); |
292 | } | 212 | } |
293 | @Override | 213 | @Override |
294 | public Adapter caseAllInstances(AllInstances object) | 214 | public Adapter caseStringLiteral(StringLiteral object) |
295 | { | 215 | { |
296 | return createAllInstancesAdapter(); | 216 | return createStringLiteralAdapter(); |
297 | } | 217 | } |
298 | @Override | 218 | @Override |
299 | public Adapter caseAllObjects(AllObjects object) | 219 | public Adapter caseMemberDefinition(MemberDefinition object) |
300 | { | 220 | { |
301 | return createAllObjectsAdapter(); | 221 | return createMemberDefinitionAdapter(); |
302 | } | 222 | } |
303 | @Override | 223 | @Override |
304 | public Adapter caseDefaultInterpretation(DefaultInterpretation object) | 224 | public Adapter caseMultiplicity(Multiplicity object) |
305 | { | 225 | { |
306 | return createDefaultInterpretationAdapter(); | 226 | return createMultiplicityAdapter(); |
307 | } | 227 | } |
308 | @Override | 228 | @Override |
309 | public Adapter caseCDInterpretation(CDInterpretation object) | 229 | public Adapter caseManyMultiplicity(ManyMultiplicity object) |
310 | { | 230 | { |
311 | return createCDInterpretationAdapter(); | 231 | return createManyMultiplicityAdapter(); |
312 | } | 232 | } |
313 | @Override | 233 | @Override |
314 | public Adapter caseClassInterpretation(ClassInterpretation object) | 234 | public Adapter caseExactMultiplicity(ExactMultiplicity object) |
315 | { | 235 | { |
316 | return createClassInterpretationAdapter(); | 236 | return createExactMultiplicityAdapter(); |
317 | } | 237 | } |
318 | @Override | 238 | @Override |
319 | public Adapter caseEnumInterpretation(EnumInterpretation object) | 239 | public Adapter caseBoundedMultiplicity(BoundedMultiplicity object) |
320 | { | 240 | { |
321 | return createEnumInterpretationAdapter(); | 241 | return createBoundedMultiplicityAdapter(); |
322 | } | 242 | } |
323 | @Override | 243 | @Override |
324 | public Adapter caseFieldRelationInterpretation(FieldRelationInterpretation object) | 244 | public Adapter caseScopeDefinition(ScopeDefinition object) |
325 | { | 245 | { |
326 | return createFieldRelationInterpretationAdapter(); | 246 | return createScopeDefinitionAdapter(); |
327 | } | 247 | } |
328 | @Override | 248 | @Override |
329 | public Adapter caseGlobalRelationInterpretation(GlobalRelationInterpretation object) | 249 | public Adapter caseExactScopeDefinition(ExactScopeDefinition object) |
330 | { | 250 | { |
331 | return createGlobalRelationInterpretationAdapter(); | 251 | return createExactScopeDefinitionAdapter(); |
332 | } | 252 | } |
333 | @Override | 253 | @Override |
334 | public Adapter caseMultiplicityDefinition(MultiplicityDefinition object) | 254 | public Adapter caseBoundedScopeDefinition(BoundedScopeDefinition object) |
335 | { | 255 | { |
336 | return createMultiplicityDefinitionAdapter(); | 256 | return createBoundedScopeDefinitionAdapter(); |
337 | } | 257 | } |
338 | @Override | 258 | @Override |
339 | public Adapter caseBooleanTrue(BooleanTrue object) | 259 | public Adapter caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object) |
340 | { | 260 | { |
341 | return createBooleanTrueAdapter(); | 261 | return createLowerBoundedScopeDefinitionAdapter(); |
342 | } | 262 | } |
343 | @Override | 263 | @Override |
344 | public Adapter caseBooleanFalse(BooleanFalse object) | 264 | public Adapter caseObjectiveDefinition(ObjectiveDefinition object) |
345 | { | 265 | { |
346 | return createBooleanFalseAdapter(); | 266 | return createObjectiveDefinitionAdapter(); |
347 | } | 267 | } |
348 | @Override | 268 | @Override |
349 | public Adapter caseTrue(True object) | 269 | public Adapter caseNamedElement(NamedElement object) |
350 | { | 270 | { |
351 | return createTrueAdapter(); | 271 | return createNamedElementAdapter(); |
352 | } | 272 | } |
353 | @Override | 273 | @Override |
354 | public Adapter caseFalse(False object) | 274 | public Adapter caseAssertion(Assertion object) |
355 | { | 275 | { |
356 | return createFalseAdapter(); | 276 | return createAssertionAdapter(); |
357 | } | 277 | } |
358 | @Override | 278 | @Override |
359 | public Adapter caseUnknown(Unknown object) | 279 | public Adapter caseDisjunction(Disjunction object) |
360 | { | 280 | { |
361 | return createUnknownAdapter(); | 281 | return createDisjunctionAdapter(); |
362 | } | 282 | } |
363 | @Override | 283 | @Override |
364 | public Adapter caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object) | 284 | public Adapter caseSwitch(Switch object) |
365 | { | 285 | { |
366 | return createErrorAdapter(); | 286 | return createSwitchAdapter(); |
367 | } | 287 | } |
368 | @Override | 288 | @Override |
369 | public Adapter casePositive(Positive object) | 289 | public Adapter caseConjunction(Conjunction object) |
370 | { | 290 | { |
371 | return createPositiveAdapter(); | 291 | return createConjunctionAdapter(); |
372 | } | 292 | } |
373 | @Override | 293 | @Override |
374 | public Adapter caseNegative(Negative object) | 294 | public Adapter caseComparison(Comparison object) |
375 | { | 295 | { |
376 | return createNegativeAdapter(); | 296 | return createComparisonAdapter(); |
377 | } | 297 | } |
378 | @Override | 298 | @Override |
379 | public Adapter caseReflexiveClosure(ReflexiveClosure object) | 299 | public Adapter caseBinaryExpression(BinaryExpression object) |
380 | { | 300 | { |
381 | return createReflexiveClosureAdapter(); | 301 | return createBinaryExpressionAdapter(); |
382 | } | 302 | } |
383 | @Override | 303 | @Override |
384 | public Adapter caseIrreflexiveClosure(IrreflexiveClosure object) | 304 | public Adapter caseUnaryExpression(UnaryExpression object) |
385 | { | 305 | { |
386 | return createIrreflexiveClosureAdapter(); | 306 | return createUnaryExpressionAdapter(); |
387 | } | 307 | } |
388 | @Override | 308 | @Override |
389 | public Adapter defaultCase(EObject object) | 309 | public Adapter defaultCase(EObject object) |
@@ -438,751 +358,661 @@ public class SolverLanguageAdapterFactory extends AdapterFactoryImpl | |||
438 | } | 358 | } |
439 | 359 | ||
440 | /** | 360 | /** |
441 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue <em>Boolean Value</em>}'. | 361 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'. |
442 | * <!-- begin-user-doc --> | ||
443 | * This default implementation returns null so that we can easily ignore cases; | ||
444 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
445 | * <!-- end-user-doc --> | ||
446 | * @return the new adapter. | ||
447 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanValue | ||
448 | * @generated | ||
449 | */ | ||
450 | public Adapter createBooleanValueAdapter() | ||
451 | { | ||
452 | return null; | ||
453 | } | ||
454 | |||
455 | /** | ||
456 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue <em>Truth Value</em>}'. | ||
457 | * <!-- begin-user-doc --> | ||
458 | * This default implementation returns null so that we can easily ignore cases; | ||
459 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
460 | * <!-- end-user-doc --> | ||
461 | * @return the new adapter. | ||
462 | * @see org.eclipse.viatra.solver.language.solverLanguage.TruthValue | ||
463 | * @generated | ||
464 | */ | ||
465 | public Adapter createTruthValueAdapter() | ||
466 | { | ||
467 | return null; | ||
468 | } | ||
469 | |||
470 | /** | ||
471 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'. | ||
472 | * <!-- begin-user-doc --> | ||
473 | * This default implementation returns null so that we can easily ignore cases; | ||
474 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
475 | * <!-- end-user-doc --> | ||
476 | * @return the new adapter. | ||
477 | * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation | ||
478 | * @generated | ||
479 | */ | ||
480 | public Adapter createInterpretationAdapter() | ||
481 | { | ||
482 | return null; | ||
483 | } | ||
484 | |||
485 | /** | ||
486 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation <em>Basic Interpretation</em>}'. | ||
487 | * <!-- begin-user-doc --> | ||
488 | * This default implementation returns null so that we can easily ignore cases; | ||
489 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
490 | * <!-- end-user-doc --> | ||
491 | * @return the new adapter. | ||
492 | * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation | ||
493 | * @generated | ||
494 | */ | ||
495 | public Adapter createBasicInterpretationAdapter() | ||
496 | { | ||
497 | return null; | ||
498 | } | ||
499 | |||
500 | /** | ||
501 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol <em>Symbol</em>}'. | ||
502 | * <!-- begin-user-doc --> | ||
503 | * This default implementation returns null so that we can easily ignore cases; | ||
504 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
505 | * <!-- end-user-doc --> | ||
506 | * @return the new adapter. | ||
507 | * @see org.eclipse.viatra.solver.language.solverLanguage.Symbol | ||
508 | * @generated | ||
509 | */ | ||
510 | public Adapter createSymbolAdapter() | ||
511 | { | ||
512 | return null; | ||
513 | } | ||
514 | |||
515 | /** | ||
516 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol <em>Model Symbol</em>}'. | ||
517 | * <!-- begin-user-doc --> | 362 | * <!-- begin-user-doc --> |
518 | * This default implementation returns null so that we can easily ignore cases; | 363 | * This default implementation returns null so that we can easily ignore cases; |
519 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 364 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
520 | * <!-- end-user-doc --> | 365 | * <!-- end-user-doc --> |
521 | * @return the new adapter. | 366 | * @return the new adapter. |
522 | * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol | 367 | * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition |
523 | * @generated | 368 | * @generated |
524 | */ | 369 | */ |
525 | public Adapter createModelSymbolAdapter() | 370 | public Adapter createPredicateDefinitionAdapter() |
526 | { | 371 | { |
527 | return null; | 372 | return null; |
528 | } | 373 | } |
529 | 374 | ||
530 | /** | 375 | /** |
531 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol <em>Partiality Symbol</em>}'. | 376 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate Definition</em>}'. |
532 | * <!-- begin-user-doc --> | 377 | * <!-- begin-user-doc --> |
533 | * This default implementation returns null so that we can easily ignore cases; | 378 | * This default implementation returns null so that we can easily ignore cases; |
534 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 379 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
535 | * <!-- end-user-doc --> | 380 | * <!-- end-user-doc --> |
536 | * @return the new adapter. | 381 | * @return the new adapter. |
537 | * @see org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol | 382 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition |
538 | * @generated | 383 | * @generated |
539 | */ | 384 | */ |
540 | public Adapter createPartialitySymbolAdapter() | 385 | public Adapter createUnnamedErrorPrediateDefinitionAdapter() |
541 | { | 386 | { |
542 | return null; | 387 | return null; |
543 | } | 388 | } |
544 | 389 | ||
545 | /** | 390 | /** |
546 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol <em>Exist Symbol</em>}'. | 391 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default Definition</em>}'. |
547 | * <!-- begin-user-doc --> | 392 | * <!-- begin-user-doc --> |
548 | * This default implementation returns null so that we can easily ignore cases; | 393 | * This default implementation returns null so that we can easily ignore cases; |
549 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 394 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
550 | * <!-- end-user-doc --> | 395 | * <!-- end-user-doc --> |
551 | * @return the new adapter. | 396 | * @return the new adapter. |
552 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol | 397 | * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition |
553 | * @generated | 398 | * @generated |
554 | */ | 399 | */ |
555 | public Adapter createExistSymbolAdapter() | 400 | public Adapter createDefaultDefinitionAdapter() |
556 | { | 401 | { |
557 | return null; | 402 | return null; |
558 | } | 403 | } |
559 | 404 | ||
560 | /** | 405 | /** |
561 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol <em>Equals Symbol</em>}'. | 406 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate Definition</em>}'. |
562 | * <!-- begin-user-doc --> | 407 | * <!-- begin-user-doc --> |
563 | * This default implementation returns null so that we can easily ignore cases; | 408 | * This default implementation returns null so that we can easily ignore cases; |
564 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 409 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
565 | * <!-- end-user-doc --> | 410 | * <!-- end-user-doc --> |
566 | * @return the new adapter. | 411 | * @return the new adapter. |
567 | * @see org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol | 412 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition |
568 | * @generated | 413 | * @generated |
569 | */ | 414 | */ |
570 | public Adapter createEqualsSymbolAdapter() | 415 | public Adapter createExternPredicateDefinitionAdapter() |
571 | { | 416 | { |
572 | return null; | 417 | return null; |
573 | } | 418 | } |
574 | 419 | ||
575 | /** | 420 | /** |
576 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol <em>Data Symbol</em>}'. | 421 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric Definition</em>}'. |
577 | * <!-- begin-user-doc --> | 422 | * <!-- begin-user-doc --> |
578 | * This default implementation returns null so that we can easily ignore cases; | 423 | * This default implementation returns null so that we can easily ignore cases; |
579 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 424 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
580 | * <!-- end-user-doc --> | 425 | * <!-- end-user-doc --> |
581 | * @return the new adapter. | 426 | * @return the new adapter. |
582 | * @see org.eclipse.viatra.solver.language.solverLanguage.DataSymbol | 427 | * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition |
583 | * @generated | 428 | * @generated |
584 | */ | 429 | */ |
585 | public Adapter createDataSymbolAdapter() | 430 | public Adapter createMetricDefinitionAdapter() |
586 | { | 431 | { |
587 | return null; | 432 | return null; |
588 | } | 433 | } |
589 | 434 | ||
590 | /** | 435 | /** |
591 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol <em>Boolean Symbol</em>}'. | 436 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric Definition</em>}'. |
592 | * <!-- begin-user-doc --> | 437 | * <!-- begin-user-doc --> |
593 | * This default implementation returns null so that we can easily ignore cases; | 438 | * This default implementation returns null so that we can easily ignore cases; |
594 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 439 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
595 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
596 | * @return the new adapter. | 441 | * @return the new adapter. |
597 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol | 442 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition |
598 | * @generated | 443 | * @generated |
599 | */ | 444 | */ |
600 | public Adapter createBooleanSymbolAdapter() | 445 | public Adapter createExternMetricDefinitionAdapter() |
601 | { | 446 | { |
602 | return null; | 447 | return null; |
603 | } | 448 | } |
604 | 449 | ||
605 | /** | 450 | /** |
606 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol <em>Integer Symbol</em>}'. | 451 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>Expression</em>}'. |
607 | * <!-- begin-user-doc --> | 452 | * <!-- begin-user-doc --> |
608 | * This default implementation returns null so that we can easily ignore cases; | 453 | * This default implementation returns null so that we can easily ignore cases; |
609 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 454 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
610 | * <!-- end-user-doc --> | 455 | * <!-- end-user-doc --> |
611 | * @return the new adapter. | 456 | * @return the new adapter. |
612 | * @see org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol | 457 | * @see org.eclipse.viatra.solver.language.solverLanguage.Expression |
613 | * @generated | 458 | * @generated |
614 | */ | 459 | */ |
615 | public Adapter createIntegerSymbolAdapter() | 460 | public Adapter createExpressionAdapter() |
616 | { | 461 | { |
617 | return null; | 462 | return null; |
618 | } | 463 | } |
619 | 464 | ||
620 | /** | 465 | /** |
621 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol <em>Real Symbol</em>}'. | 466 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If Else</em>}'. |
622 | * <!-- begin-user-doc --> | 467 | * <!-- begin-user-doc --> |
623 | * This default implementation returns null so that we can easily ignore cases; | 468 | * This default implementation returns null so that we can easily ignore cases; |
624 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 469 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
625 | * <!-- end-user-doc --> | 470 | * <!-- end-user-doc --> |
626 | * @return the new adapter. | 471 | * @return the new adapter. |
627 | * @see org.eclipse.viatra.solver.language.solverLanguage.RealSymbol | 472 | * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse |
628 | * @generated | 473 | * @generated |
629 | */ | 474 | */ |
630 | public Adapter createRealSymbolAdapter() | 475 | public Adapter createIfElseAdapter() |
631 | { | 476 | { |
632 | return null; | 477 | return null; |
633 | } | 478 | } |
634 | 479 | ||
635 | /** | 480 | /** |
636 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol <em>String Symbol</em>}'. | 481 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</em>}'. |
637 | * <!-- begin-user-doc --> | 482 | * <!-- begin-user-doc --> |
638 | * This default implementation returns null so that we can easily ignore cases; | 483 | * This default implementation returns null so that we can easily ignore cases; |
639 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 484 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
640 | * <!-- end-user-doc --> | 485 | * <!-- end-user-doc --> |
641 | * @return the new adapter. | 486 | * @return the new adapter. |
642 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringSymbol | 487 | * @see org.eclipse.viatra.solver.language.solverLanguage.Case |
643 | * @generated | 488 | * @generated |
644 | */ | 489 | */ |
645 | public Adapter createStringSymbolAdapter() | 490 | public Adapter createCaseAdapter() |
646 | { | 491 | { |
647 | return null; | 492 | return null; |
648 | } | 493 | } |
649 | 494 | ||
650 | /** | 495 | /** |
651 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject <em>Complex Object</em>}'. | 496 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count <em>Count</em>}'. |
652 | * <!-- begin-user-doc --> | 497 | * <!-- begin-user-doc --> |
653 | * This default implementation returns null so that we can easily ignore cases; | 498 | * This default implementation returns null so that we can easily ignore cases; |
654 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 499 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
655 | * <!-- end-user-doc --> | 500 | * <!-- end-user-doc --> |
656 | * @return the new adapter. | 501 | * @return the new adapter. |
657 | * @see org.eclipse.viatra.solver.language.solverLanguage.ComplexObject | 502 | * @see org.eclipse.viatra.solver.language.solverLanguage.Count |
658 | * @generated | 503 | * @generated |
659 | */ | 504 | */ |
660 | public Adapter createComplexObjectAdapter() | 505 | public Adapter createCountAdapter() |
661 | { | 506 | { |
662 | return null; | 507 | return null; |
663 | } | 508 | } |
664 | 509 | ||
665 | /** | 510 | /** |
666 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object <em>Object</em>}'. | 511 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</em>}'. |
667 | * <!-- begin-user-doc --> | 512 | * <!-- begin-user-doc --> |
668 | * This default implementation returns null so that we can easily ignore cases; | 513 | * This default implementation returns null so that we can easily ignore cases; |
669 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 514 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
670 | * <!-- end-user-doc --> | 515 | * <!-- end-user-doc --> |
671 | * @return the new adapter. | 516 | * @return the new adapter. |
672 | * @see org.eclipse.viatra.solver.language.solverLanguage.Object | 517 | * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation |
673 | * @generated | 518 | * @generated |
674 | */ | 519 | */ |
675 | public Adapter createObjectAdapter() | 520 | public Adapter createAggregationAdapter() |
676 | { | 521 | { |
677 | return null; | 522 | return null; |
678 | } | 523 | } |
679 | 524 | ||
680 | /** | 525 | /** |
681 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject <em>Named Object</em>}'. | 526 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</em>}'. |
682 | * <!-- begin-user-doc --> | 527 | * <!-- begin-user-doc --> |
683 | * This default implementation returns null so that we can easily ignore cases; | 528 | * This default implementation returns null so that we can easily ignore cases; |
684 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 529 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
685 | * <!-- end-user-doc --> | 530 | * <!-- end-user-doc --> |
686 | * @return the new adapter. | 531 | * @return the new adapter. |
687 | * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject | 532 | * @see org.eclipse.viatra.solver.language.solverLanguage.Call |
688 | * @generated | 533 | * @generated |
689 | */ | 534 | */ |
690 | public Adapter createNamedObjectAdapter() | 535 | public Adapter createCallAdapter() |
691 | { | 536 | { |
692 | return null; | 537 | return null; |
693 | } | 538 | } |
694 | 539 | ||
695 | /** | 540 | /** |
696 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject <em>Unnamed Object</em>}'. | 541 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'. |
697 | * <!-- begin-user-doc --> | 542 | * <!-- begin-user-doc --> |
698 | * This default implementation returns null so that we can easily ignore cases; | 543 | * This default implementation returns null so that we can easily ignore cases; |
699 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 544 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
700 | * <!-- end-user-doc --> | 545 | * <!-- end-user-doc --> |
701 | * @return the new adapter. | 546 | * @return the new adapter. |
702 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject | 547 | * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList |
703 | * @generated | 548 | * @generated |
704 | */ | 549 | */ |
705 | public Adapter createUnnamedObjectAdapter() | 550 | public Adapter createArgumentListAdapter() |
706 | { | 551 | { |
707 | return null; | 552 | return null; |
708 | } | 553 | } |
709 | 554 | ||
710 | /** | 555 | /** |
711 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject <em>Data Object</em>}'. | 556 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</em>}'. |
712 | * <!-- begin-user-doc --> | 557 | * <!-- begin-user-doc --> |
713 | * This default implementation returns null so that we can easily ignore cases; | 558 | * This default implementation returns null so that we can easily ignore cases; |
714 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 559 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
715 | * <!-- end-user-doc --> | 560 | * <!-- end-user-doc --> |
716 | * @return the new adapter. | 561 | * @return the new adapter. |
717 | * @see org.eclipse.viatra.solver.language.solverLanguage.DataObject | 562 | * @see org.eclipse.viatra.solver.language.solverLanguage.Argument |
718 | * @generated | 563 | * @generated |
719 | */ | 564 | */ |
720 | public Adapter createDataObjectAdapter() | 565 | public Adapter createArgumentAdapter() |
721 | { | 566 | { |
722 | return null; | 567 | return null; |
723 | } | 568 | } |
724 | 569 | ||
725 | /** | 570 | /** |
726 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject <em>Boolean Object</em>}'. | 571 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</em>}'. |
727 | * <!-- begin-user-doc --> | 572 | * <!-- begin-user-doc --> |
728 | * This default implementation returns null so that we can easily ignore cases; | 573 | * This default implementation returns null so that we can easily ignore cases; |
729 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 574 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
730 | * <!-- end-user-doc --> | 575 | * <!-- end-user-doc --> |
731 | * @return the new adapter. | 576 | * @return the new adapter. |
732 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject | 577 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument |
733 | * @generated | 578 | * @generated |
734 | */ | 579 | */ |
735 | public Adapter createBooleanObjectAdapter() | 580 | public Adapter createExpressionArgumentAdapter() |
736 | { | 581 | { |
737 | return null; | 582 | return null; |
738 | } | 583 | } |
739 | 584 | ||
740 | /** | 585 | /** |
741 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject <em>Int Object</em>}'. | 586 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</em>}'. |
742 | * <!-- begin-user-doc --> | 587 | * <!-- begin-user-doc --> |
743 | * This default implementation returns null so that we can easily ignore cases; | 588 | * This default implementation returns null so that we can easily ignore cases; |
744 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 589 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
745 | * <!-- end-user-doc --> | 590 | * <!-- end-user-doc --> |
746 | * @return the new adapter. | 591 | * @return the new adapter. |
747 | * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject | 592 | * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument |
748 | * @generated | 593 | * @generated |
749 | */ | 594 | */ |
750 | public Adapter createIntObjectAdapter() | 595 | public Adapter createStarArgumentAdapter() |
751 | { | 596 | { |
752 | return null; | 597 | return null; |
753 | } | 598 | } |
754 | 599 | ||
755 | /** | 600 | /** |
756 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject <em>Real Object</em>}'. | 601 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</em>}'. |
757 | * <!-- begin-user-doc --> | 602 | * <!-- begin-user-doc --> |
758 | * This default implementation returns null so that we can easily ignore cases; | 603 | * This default implementation returns null so that we can easily ignore cases; |
759 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 604 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
760 | * <!-- end-user-doc --> | 605 | * <!-- end-user-doc --> |
761 | * @return the new adapter. | 606 | * @return the new adapter. |
762 | * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject | 607 | * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument |
763 | * @generated | 608 | * @generated |
764 | */ | 609 | */ |
765 | public Adapter createRealObjectAdapter() | 610 | public Adapter createTypedArgumentAdapter() |
766 | { | 611 | { |
767 | return null; | 612 | return null; |
768 | } | 613 | } |
769 | 614 | ||
770 | /** | 615 | /** |
771 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject <em>String Object</em>}'. | 616 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</em>}'. |
772 | * <!-- begin-user-doc --> | 617 | * <!-- begin-user-doc --> |
773 | * This default implementation returns null so that we can easily ignore cases; | 618 | * This default implementation returns null so that we can easily ignore cases; |
774 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 619 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
775 | * <!-- end-user-doc --> | 620 | * <!-- end-user-doc --> |
776 | * @return the new adapter. | 621 | * @return the new adapter. |
777 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject | 622 | * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument |
778 | * @generated | 623 | * @generated |
779 | */ | 624 | */ |
780 | public Adapter createStringObjectAdapter() | 625 | public Adapter createTypedStarArgumentAdapter() |
781 | { | 626 | { |
782 | return null; | 627 | return null; |
783 | } | 628 | } |
784 | 629 | ||
785 | /** | 630 | /** |
786 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'. | 631 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>Reference</em>}'. |
787 | * <!-- begin-user-doc --> | 632 | * <!-- begin-user-doc --> |
788 | * This default implementation returns null so that we can easily ignore cases; | 633 | * This default implementation returns null so that we can easily ignore cases; |
789 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 634 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
790 | * <!-- end-user-doc --> | 635 | * <!-- end-user-doc --> |
791 | * @return the new adapter. | 636 | * @return the new adapter. |
792 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate | 637 | * @see org.eclipse.viatra.solver.language.solverLanguage.Reference |
793 | * @generated | 638 | * @generated |
794 | */ | 639 | */ |
795 | public Adapter createPredicateAdapter() | 640 | public Adapter createReferenceAdapter() |
796 | { | 641 | { |
797 | return null; | 642 | return null; |
798 | } | 643 | } |
799 | 644 | ||
800 | /** | 645 | /** |
801 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'. | 646 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</em>}'. |
802 | * <!-- begin-user-doc --> | 647 | * <!-- begin-user-doc --> |
803 | * This default implementation returns null so that we can easily ignore cases; | 648 | * This default implementation returns null so that we can easily ignore cases; |
804 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 649 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
805 | * <!-- end-user-doc --> | 650 | * <!-- end-user-doc --> |
806 | * @return the new adapter. | 651 | * @return the new adapter. |
807 | * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter | 652 | * @see org.eclipse.viatra.solver.language.solverLanguage.Interval |
808 | * @generated | 653 | * @generated |
809 | */ | 654 | */ |
810 | public Adapter createParameterAdapter() | 655 | public Adapter createIntervalAdapter() |
811 | { | 656 | { |
812 | return null; | 657 | return null; |
813 | } | 658 | } |
814 | 659 | ||
815 | /** | 660 | /** |
816 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody <em>Pattern Body</em>}'. | 661 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'. |
817 | * <!-- begin-user-doc --> | ||
818 | * This default implementation returns null so that we can easily ignore cases; | ||
819 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
820 | * <!-- end-user-doc --> | ||
821 | * @return the new adapter. | ||
822 | * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody | ||
823 | * @generated | ||
824 | */ | ||
825 | public Adapter createPatternBodyAdapter() | ||
826 | { | ||
827 | return null; | ||
828 | } | ||
829 | |||
830 | /** | ||
831 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity <em>Polarity</em>}'. | ||
832 | * <!-- begin-user-doc --> | 662 | * <!-- begin-user-doc --> |
833 | * This default implementation returns null so that we can easily ignore cases; | 663 | * This default implementation returns null so that we can easily ignore cases; |
834 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 664 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
835 | * <!-- end-user-doc --> | 665 | * <!-- end-user-doc --> |
836 | * @return the new adapter. | 666 | * @return the new adapter. |
837 | * @see org.eclipse.viatra.solver.language.solverLanguage.Polarity | 667 | * @see org.eclipse.viatra.solver.language.solverLanguage.Literal |
838 | * @generated | 668 | * @generated |
839 | */ | 669 | */ |
840 | public Adapter createPolarityAdapter() | 670 | public Adapter createLiteralAdapter() |
841 | { | 671 | { |
842 | return null; | 672 | return null; |
843 | } | 673 | } |
844 | 674 | ||
845 | /** | 675 | /** |
846 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint <em>Constraint</em>}'. | 676 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic Literal</em>}'. |
847 | * <!-- begin-user-doc --> | 677 | * <!-- begin-user-doc --> |
848 | * This default implementation returns null so that we can easily ignore cases; | 678 | * This default implementation returns null so that we can easily ignore cases; |
849 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 679 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
850 | * <!-- end-user-doc --> | 680 | * <!-- end-user-doc --> |
851 | * @return the new adapter. | 681 | * @return the new adapter. |
852 | * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint | 682 | * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral |
853 | * @generated | 683 | * @generated |
854 | */ | 684 | */ |
855 | public Adapter createConstraintAdapter() | 685 | public Adapter createLogicLiteralAdapter() |
856 | { | 686 | { |
857 | return null; | 687 | return null; |
858 | } | 688 | } |
859 | 689 | ||
860 | /** | 690 | /** |
861 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType <em>Closure Type</em>}'. | 691 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric Literal</em>}'. |
862 | * <!-- begin-user-doc --> | 692 | * <!-- begin-user-doc --> |
863 | * This default implementation returns null so that we can easily ignore cases; | 693 | * This default implementation returns null so that we can easily ignore cases; |
864 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 694 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
865 | * <!-- end-user-doc --> | 695 | * <!-- end-user-doc --> |
866 | * @return the new adapter. | 696 | * @return the new adapter. |
867 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClosureType | 697 | * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral |
868 | * @generated | 698 | * @generated |
869 | */ | 699 | */ |
870 | public Adapter createClosureTypeAdapter() | 700 | public Adapter createNumericLiteralAdapter() |
871 | { | 701 | { |
872 | return null; | 702 | return null; |
873 | } | 703 | } |
874 | 704 | ||
875 | /** | 705 | /** |
876 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'. | 706 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity Literal</em>}'. |
877 | * <!-- begin-user-doc --> | 707 | * <!-- begin-user-doc --> |
878 | * This default implementation returns null so that we can easily ignore cases; | 708 | * This default implementation returns null so that we can easily ignore cases; |
879 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 709 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
880 | * <!-- end-user-doc --> | 710 | * <!-- end-user-doc --> |
881 | * @return the new adapter. | 711 | * @return the new adapter. |
882 | * @see org.eclipse.viatra.solver.language.solverLanguage.Literal | 712 | * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral |
883 | * @generated | 713 | * @generated |
884 | */ | 714 | */ |
885 | public Adapter createLiteralAdapter() | 715 | public Adapter createInfinityLiteralAdapter() |
886 | { | 716 | { |
887 | return null; | 717 | return null; |
888 | } | 718 | } |
889 | 719 | ||
890 | /** | 720 | /** |
891 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'. | 721 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval Literal</em>}'. |
892 | * <!-- begin-user-doc --> | 722 | * <!-- begin-user-doc --> |
893 | * This default implementation returns null so that we can easily ignore cases; | 723 | * This default implementation returns null so that we can easily ignore cases; |
894 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 724 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
895 | * <!-- end-user-doc --> | 725 | * <!-- end-user-doc --> |
896 | * @return the new adapter. | 726 | * @return the new adapter. |
897 | * @see org.eclipse.viatra.solver.language.solverLanguage.Variable | 727 | * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral |
898 | * @generated | 728 | * @generated |
899 | */ | 729 | */ |
900 | public Adapter createVariableAdapter() | 730 | public Adapter createEmptyIntervalLiteralAdapter() |
901 | { | 731 | { |
902 | return null; | 732 | return null; |
903 | } | 733 | } |
904 | 734 | ||
905 | /** | 735 | /** |
906 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances <em>All Instances</em>}'. | 736 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String Literal</em>}'. |
907 | * <!-- begin-user-doc --> | 737 | * <!-- begin-user-doc --> |
908 | * This default implementation returns null so that we can easily ignore cases; | 738 | * This default implementation returns null so that we can easily ignore cases; |
909 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 739 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
910 | * <!-- end-user-doc --> | 740 | * <!-- end-user-doc --> |
911 | * @return the new adapter. | 741 | * @return the new adapter. |
912 | * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances | 742 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral |
913 | * @generated | 743 | * @generated |
914 | */ | 744 | */ |
915 | public Adapter createAllInstancesAdapter() | 745 | public Adapter createStringLiteralAdapter() |
916 | { | 746 | { |
917 | return null; | 747 | return null; |
918 | } | 748 | } |
919 | 749 | ||
920 | /** | 750 | /** |
921 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects <em>All Objects</em>}'. | 751 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'. |
922 | * <!-- begin-user-doc --> | 752 | * <!-- begin-user-doc --> |
923 | * This default implementation returns null so that we can easily ignore cases; | 753 | * This default implementation returns null so that we can easily ignore cases; |
924 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 754 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
925 | * <!-- end-user-doc --> | 755 | * <!-- end-user-doc --> |
926 | * @return the new adapter. | 756 | * @return the new adapter. |
927 | * @see org.eclipse.viatra.solver.language.solverLanguage.AllObjects | 757 | * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition |
928 | * @generated | 758 | * @generated |
929 | */ | 759 | */ |
930 | public Adapter createAllObjectsAdapter() | 760 | public Adapter createMemberDefinitionAdapter() |
931 | { | 761 | { |
932 | return null; | 762 | return null; |
933 | } | 763 | } |
934 | 764 | ||
935 | /** | 765 | /** |
936 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation <em>Default Interpretation</em>}'. | 766 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</em>}'. |
937 | * <!-- begin-user-doc --> | 767 | * <!-- begin-user-doc --> |
938 | * This default implementation returns null so that we can easily ignore cases; | 768 | * This default implementation returns null so that we can easily ignore cases; |
939 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 769 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
940 | * <!-- end-user-doc --> | 770 | * <!-- end-user-doc --> |
941 | * @return the new adapter. | 771 | * @return the new adapter. |
942 | * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation | 772 | * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity |
943 | * @generated | 773 | * @generated |
944 | */ | 774 | */ |
945 | public Adapter createDefaultInterpretationAdapter() | 775 | public Adapter createMultiplicityAdapter() |
946 | { | 776 | { |
947 | return null; | 777 | return null; |
948 | } | 778 | } |
949 | 779 | ||
950 | /** | 780 | /** |
951 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation <em>CD Interpretation</em>}'. | 781 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</em>}'. |
952 | * <!-- begin-user-doc --> | 782 | * <!-- begin-user-doc --> |
953 | * This default implementation returns null so that we can easily ignore cases; | 783 | * This default implementation returns null so that we can easily ignore cases; |
954 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 784 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
955 | * <!-- end-user-doc --> | 785 | * <!-- end-user-doc --> |
956 | * @return the new adapter. | 786 | * @return the new adapter. |
957 | * @see org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation | 787 | * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity |
958 | * @generated | 788 | * @generated |
959 | */ | 789 | */ |
960 | public Adapter createCDInterpretationAdapter() | 790 | public Adapter createManyMultiplicityAdapter() |
961 | { | 791 | { |
962 | return null; | 792 | return null; |
963 | } | 793 | } |
964 | 794 | ||
965 | /** | 795 | /** |
966 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation <em>Class Interpretation</em>}'. | 796 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</em>}'. |
967 | * <!-- begin-user-doc --> | 797 | * <!-- begin-user-doc --> |
968 | * This default implementation returns null so that we can easily ignore cases; | 798 | * This default implementation returns null so that we can easily ignore cases; |
969 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 799 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
970 | * <!-- end-user-doc --> | 800 | * <!-- end-user-doc --> |
971 | * @return the new adapter. | 801 | * @return the new adapter. |
972 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation | 802 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity |
973 | * @generated | 803 | * @generated |
974 | */ | 804 | */ |
975 | public Adapter createClassInterpretationAdapter() | 805 | public Adapter createExactMultiplicityAdapter() |
976 | { | 806 | { |
977 | return null; | 807 | return null; |
978 | } | 808 | } |
979 | 809 | ||
980 | /** | 810 | /** |
981 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation <em>Enum Interpretation</em>}'. | 811 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</em>}'. |
982 | * <!-- begin-user-doc --> | 812 | * <!-- begin-user-doc --> |
983 | * This default implementation returns null so that we can easily ignore cases; | 813 | * This default implementation returns null so that we can easily ignore cases; |
984 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 814 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
985 | * <!-- end-user-doc --> | 815 | * <!-- end-user-doc --> |
986 | * @return the new adapter. | 816 | * @return the new adapter. |
987 | * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation | 817 | * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity |
988 | * @generated | 818 | * @generated |
989 | */ | 819 | */ |
990 | public Adapter createEnumInterpretationAdapter() | 820 | public Adapter createBoundedMultiplicityAdapter() |
991 | { | 821 | { |
992 | return null; | 822 | return null; |
993 | } | 823 | } |
994 | 824 | ||
995 | /** | 825 | /** |
996 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation <em>Field Relation Interpretation</em>}'. | 826 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope Definition</em>}'. |
997 | * <!-- begin-user-doc --> | 827 | * <!-- begin-user-doc --> |
998 | * This default implementation returns null so that we can easily ignore cases; | 828 | * This default implementation returns null so that we can easily ignore cases; |
999 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 829 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1000 | * <!-- end-user-doc --> | 830 | * <!-- end-user-doc --> |
1001 | * @return the new adapter. | 831 | * @return the new adapter. |
1002 | * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation | 832 | * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition |
1003 | * @generated | 833 | * @generated |
1004 | */ | 834 | */ |
1005 | public Adapter createFieldRelationInterpretationAdapter() | 835 | public Adapter createScopeDefinitionAdapter() |
1006 | { | 836 | { |
1007 | return null; | 837 | return null; |
1008 | } | 838 | } |
1009 | 839 | ||
1010 | /** | 840 | /** |
1011 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation <em>Global Relation Interpretation</em>}'. | 841 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope Definition</em>}'. |
1012 | * <!-- begin-user-doc --> | 842 | * <!-- begin-user-doc --> |
1013 | * This default implementation returns null so that we can easily ignore cases; | 843 | * This default implementation returns null so that we can easily ignore cases; |
1014 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 844 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1015 | * <!-- end-user-doc --> | 845 | * <!-- end-user-doc --> |
1016 | * @return the new adapter. | 846 | * @return the new adapter. |
1017 | * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation | 847 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition |
1018 | * @generated | 848 | * @generated |
1019 | */ | 849 | */ |
1020 | public Adapter createGlobalRelationInterpretationAdapter() | 850 | public Adapter createExactScopeDefinitionAdapter() |
1021 | { | 851 | { |
1022 | return null; | 852 | return null; |
1023 | } | 853 | } |
1024 | 854 | ||
1025 | /** | 855 | /** |
1026 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition <em>Multiplicity Definition</em>}'. | 856 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope Definition</em>}'. |
1027 | * <!-- begin-user-doc --> | 857 | * <!-- begin-user-doc --> |
1028 | * This default implementation returns null so that we can easily ignore cases; | 858 | * This default implementation returns null so that we can easily ignore cases; |
1029 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 859 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1030 | * <!-- end-user-doc --> | 860 | * <!-- end-user-doc --> |
1031 | * @return the new adapter. | 861 | * @return the new adapter. |
1032 | * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition | 862 | * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition |
1033 | * @generated | 863 | * @generated |
1034 | */ | 864 | */ |
1035 | public Adapter createMultiplicityDefinitionAdapter() | 865 | public Adapter createBoundedScopeDefinitionAdapter() |
1036 | { | 866 | { |
1037 | return null; | 867 | return null; |
1038 | } | 868 | } |
1039 | 869 | ||
1040 | /** | 870 | /** |
1041 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue <em>Boolean True</em>}'. | 871 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope Definition</em>}'. |
1042 | * <!-- begin-user-doc --> | 872 | * <!-- begin-user-doc --> |
1043 | * This default implementation returns null so that we can easily ignore cases; | 873 | * This default implementation returns null so that we can easily ignore cases; |
1044 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 874 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1045 | * <!-- end-user-doc --> | 875 | * <!-- end-user-doc --> |
1046 | * @return the new adapter. | 876 | * @return the new adapter. |
1047 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue | 877 | * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition |
1048 | * @generated | 878 | * @generated |
1049 | */ | 879 | */ |
1050 | public Adapter createBooleanTrueAdapter() | 880 | public Adapter createLowerBoundedScopeDefinitionAdapter() |
1051 | { | 881 | { |
1052 | return null; | 882 | return null; |
1053 | } | 883 | } |
1054 | 884 | ||
1055 | /** | 885 | /** |
1056 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse <em>Boolean False</em>}'. | 886 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective Definition</em>}'. |
1057 | * <!-- begin-user-doc --> | 887 | * <!-- begin-user-doc --> |
1058 | * This default implementation returns null so that we can easily ignore cases; | 888 | * This default implementation returns null so that we can easily ignore cases; |
1059 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 889 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1060 | * <!-- end-user-doc --> | 890 | * <!-- end-user-doc --> |
1061 | * @return the new adapter. | 891 | * @return the new adapter. |
1062 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse | 892 | * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition |
1063 | * @generated | 893 | * @generated |
1064 | */ | 894 | */ |
1065 | public Adapter createBooleanFalseAdapter() | 895 | public Adapter createObjectiveDefinitionAdapter() |
1066 | { | 896 | { |
1067 | return null; | 897 | return null; |
1068 | } | 898 | } |
1069 | 899 | ||
1070 | /** | 900 | /** |
1071 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.True <em>True</em>}'. | 901 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named Element</em>}'. |
1072 | * <!-- begin-user-doc --> | 902 | * <!-- begin-user-doc --> |
1073 | * This default implementation returns null so that we can easily ignore cases; | 903 | * This default implementation returns null so that we can easily ignore cases; |
1074 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 904 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1075 | * <!-- end-user-doc --> | 905 | * <!-- end-user-doc --> |
1076 | * @return the new adapter. | 906 | * @return the new adapter. |
1077 | * @see org.eclipse.viatra.solver.language.solverLanguage.True | 907 | * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement |
1078 | * @generated | 908 | * @generated |
1079 | */ | 909 | */ |
1080 | public Adapter createTrueAdapter() | 910 | public Adapter createNamedElementAdapter() |
1081 | { | 911 | { |
1082 | return null; | 912 | return null; |
1083 | } | 913 | } |
1084 | 914 | ||
1085 | /** | 915 | /** |
1086 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.False <em>False</em>}'. | 916 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion <em>Assertion</em>}'. |
1087 | * <!-- begin-user-doc --> | 917 | * <!-- begin-user-doc --> |
1088 | * This default implementation returns null so that we can easily ignore cases; | 918 | * This default implementation returns null so that we can easily ignore cases; |
1089 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 919 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1090 | * <!-- end-user-doc --> | 920 | * <!-- end-user-doc --> |
1091 | * @return the new adapter. | 921 | * @return the new adapter. |
1092 | * @see org.eclipse.viatra.solver.language.solverLanguage.False | 922 | * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion |
1093 | * @generated | 923 | * @generated |
1094 | */ | 924 | */ |
1095 | public Adapter createFalseAdapter() | 925 | public Adapter createAssertionAdapter() |
1096 | { | 926 | { |
1097 | return null; | 927 | return null; |
1098 | } | 928 | } |
1099 | 929 | ||
1100 | /** | 930 | /** |
1101 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown <em>Unknown</em>}'. | 931 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</em>}'. |
1102 | * <!-- begin-user-doc --> | 932 | * <!-- begin-user-doc --> |
1103 | * This default implementation returns null so that we can easily ignore cases; | 933 | * This default implementation returns null so that we can easily ignore cases; |
1104 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 934 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1105 | * <!-- end-user-doc --> | 935 | * <!-- end-user-doc --> |
1106 | * @return the new adapter. | 936 | * @return the new adapter. |
1107 | * @see org.eclipse.viatra.solver.language.solverLanguage.Unknown | 937 | * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction |
1108 | * @generated | 938 | * @generated |
1109 | */ | 939 | */ |
1110 | public Adapter createUnknownAdapter() | 940 | public Adapter createDisjunctionAdapter() |
1111 | { | 941 | { |
1112 | return null; | 942 | return null; |
1113 | } | 943 | } |
1114 | 944 | ||
1115 | /** | 945 | /** |
1116 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error <em>Error</em>}'. | 946 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</em>}'. |
1117 | * <!-- begin-user-doc --> | 947 | * <!-- begin-user-doc --> |
1118 | * This default implementation returns null so that we can easily ignore cases; | 948 | * This default implementation returns null so that we can easily ignore cases; |
1119 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 949 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1120 | * <!-- end-user-doc --> | 950 | * <!-- end-user-doc --> |
1121 | * @return the new adapter. | 951 | * @return the new adapter. |
1122 | * @see org.eclipse.viatra.solver.language.solverLanguage.Error | 952 | * @see org.eclipse.viatra.solver.language.solverLanguage.Switch |
1123 | * @generated | 953 | * @generated |
1124 | */ | 954 | */ |
1125 | public Adapter createErrorAdapter() | 955 | public Adapter createSwitchAdapter() |
1126 | { | 956 | { |
1127 | return null; | 957 | return null; |
1128 | } | 958 | } |
1129 | 959 | ||
1130 | /** | 960 | /** |
1131 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive <em>Positive</em>}'. | 961 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</em>}'. |
1132 | * <!-- begin-user-doc --> | 962 | * <!-- begin-user-doc --> |
1133 | * This default implementation returns null so that we can easily ignore cases; | 963 | * This default implementation returns null so that we can easily ignore cases; |
1134 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 964 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1135 | * <!-- end-user-doc --> | 965 | * <!-- end-user-doc --> |
1136 | * @return the new adapter. | 966 | * @return the new adapter. |
1137 | * @see org.eclipse.viatra.solver.language.solverLanguage.Positive | 967 | * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction |
1138 | * @generated | 968 | * @generated |
1139 | */ | 969 | */ |
1140 | public Adapter createPositiveAdapter() | 970 | public Adapter createConjunctionAdapter() |
1141 | { | 971 | { |
1142 | return null; | 972 | return null; |
1143 | } | 973 | } |
1144 | 974 | ||
1145 | /** | 975 | /** |
1146 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative <em>Negative</em>}'. | 976 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</em>}'. |
1147 | * <!-- begin-user-doc --> | 977 | * <!-- begin-user-doc --> |
1148 | * This default implementation returns null so that we can easily ignore cases; | 978 | * This default implementation returns null so that we can easily ignore cases; |
1149 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 979 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1150 | * <!-- end-user-doc --> | 980 | * <!-- end-user-doc --> |
1151 | * @return the new adapter. | 981 | * @return the new adapter. |
1152 | * @see org.eclipse.viatra.solver.language.solverLanguage.Negative | 982 | * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison |
1153 | * @generated | 983 | * @generated |
1154 | */ | 984 | */ |
1155 | public Adapter createNegativeAdapter() | 985 | public Adapter createComparisonAdapter() |
1156 | { | 986 | { |
1157 | return null; | 987 | return null; |
1158 | } | 988 | } |
1159 | 989 | ||
1160 | /** | 990 | /** |
1161 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure <em>Reflexive Closure</em>}'. | 991 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary Expression</em>}'. |
1162 | * <!-- begin-user-doc --> | 992 | * <!-- begin-user-doc --> |
1163 | * This default implementation returns null so that we can easily ignore cases; | 993 | * This default implementation returns null so that we can easily ignore cases; |
1164 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 994 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1165 | * <!-- end-user-doc --> | 995 | * <!-- end-user-doc --> |
1166 | * @return the new adapter. | 996 | * @return the new adapter. |
1167 | * @see org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure | 997 | * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression |
1168 | * @generated | 998 | * @generated |
1169 | */ | 999 | */ |
1170 | public Adapter createReflexiveClosureAdapter() | 1000 | public Adapter createBinaryExpressionAdapter() |
1171 | { | 1001 | { |
1172 | return null; | 1002 | return null; |
1173 | } | 1003 | } |
1174 | 1004 | ||
1175 | /** | 1005 | /** |
1176 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure <em>Irreflexive Closure</em>}'. | 1006 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary Expression</em>}'. |
1177 | * <!-- begin-user-doc --> | 1007 | * <!-- begin-user-doc --> |
1178 | * This default implementation returns null so that we can easily ignore cases; | 1008 | * This default implementation returns null so that we can easily ignore cases; |
1179 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 1009 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1180 | * <!-- end-user-doc --> | 1010 | * <!-- end-user-doc --> |
1181 | * @return the new adapter. | 1011 | * @return the new adapter. |
1182 | * @see org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure | 1012 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression |
1183 | * @generated | 1013 | * @generated |
1184 | */ | 1014 | */ |
1185 | public Adapter createIrreflexiveClosureAdapter() | 1015 | public Adapter createUnaryExpressionAdapter() |
1186 | { | 1016 | { |
1187 | return null; | 1017 | return null; |
1188 | } | 1018 | } |
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java index 6f6bcd17..f64b6bc0 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage.util; | 4 | package org.eclipse.viatra.solver.language.solverLanguage.util; |
5 | 5 | ||
@@ -8,57 +8,7 @@ import org.eclipse.emf.ecore.EPackage; | |||
8 | 8 | ||
9 | import org.eclipse.emf.ecore.util.Switch; | 9 | import org.eclipse.emf.ecore.util.Switch; |
10 | 10 | ||
11 | import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; | 11 | import org.eclipse.viatra.solver.language.solverLanguage.*; |
12 | import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; | ||
13 | import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; | ||
14 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; | ||
16 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; | ||
17 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; | ||
18 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; | ||
19 | import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; | ||
20 | import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; | ||
21 | import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; | ||
22 | import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.DataObject; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | ||
26 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | ||
27 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | ||
28 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | ||
30 | import org.eclipse.viatra.solver.language.solverLanguage.False; | ||
31 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | ||
32 | import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.IntObject; | ||
34 | import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; | ||
35 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | ||
36 | import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; | ||
37 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; | ||
38 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
39 | import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; | ||
40 | import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | ||
41 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | ||
42 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | ||
43 | import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; | ||
44 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | ||
45 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | ||
46 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | ||
47 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | ||
48 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | ||
49 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | ||
51 | import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | ||
54 | import org.eclipse.viatra.solver.language.solverLanguage.StringObject; | ||
55 | import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; | ||
56 | import org.eclipse.viatra.solver.language.solverLanguage.Symbol; | ||
57 | import org.eclipse.viatra.solver.language.solverLanguage.True; | ||
58 | import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; | ||
59 | import org.eclipse.viatra.solver.language.solverLanguage.Unknown; | ||
60 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; | ||
61 | import org.eclipse.viatra.solver.language.solverLanguage.Variable; | ||
62 | 12 | ||
63 | /** | 13 | /** |
64 | * <!-- begin-user-doc --> | 14 | * <!-- begin-user-doc --> |
@@ -137,423 +87,377 @@ public class SolverLanguageSwitch<T> extends Switch<T> | |||
137 | if (result == null) result = defaultCase(theEObject); | 87 | if (result == null) result = defaultCase(theEObject); |
138 | return result; | 88 | return result; |
139 | } | 89 | } |
140 | case SolverLanguagePackage.BOOLEAN_VALUE: | 90 | case SolverLanguagePackage.PREDICATE_DEFINITION: |
141 | { | 91 | { |
142 | BooleanValue booleanValue = (BooleanValue)theEObject; | 92 | PredicateDefinition predicateDefinition = (PredicateDefinition)theEObject; |
143 | T result = caseBooleanValue(booleanValue); | 93 | T result = casePredicateDefinition(predicateDefinition); |
94 | if (result == null) result = caseStatement(predicateDefinition); | ||
144 | if (result == null) result = defaultCase(theEObject); | 95 | if (result == null) result = defaultCase(theEObject); |
145 | return result; | 96 | return result; |
146 | } | 97 | } |
147 | case SolverLanguagePackage.TRUTH_VALUE: | 98 | case SolverLanguagePackage.UNNAMED_ERROR_PREDIATE_DEFINITION: |
148 | { | 99 | { |
149 | TruthValue truthValue = (TruthValue)theEObject; | 100 | UnnamedErrorPrediateDefinition unnamedErrorPrediateDefinition = (UnnamedErrorPrediateDefinition)theEObject; |
150 | T result = caseTruthValue(truthValue); | 101 | T result = caseUnnamedErrorPrediateDefinition(unnamedErrorPrediateDefinition); |
102 | if (result == null) result = caseStatement(unnamedErrorPrediateDefinition); | ||
151 | if (result == null) result = defaultCase(theEObject); | 103 | if (result == null) result = defaultCase(theEObject); |
152 | return result; | 104 | return result; |
153 | } | 105 | } |
154 | case SolverLanguagePackage.INTERPRETATION: | 106 | case SolverLanguagePackage.DEFAULT_DEFINITION: |
155 | { | 107 | { |
156 | Interpretation interpretation = (Interpretation)theEObject; | 108 | DefaultDefinition defaultDefinition = (DefaultDefinition)theEObject; |
157 | T result = caseInterpretation(interpretation); | 109 | T result = caseDefaultDefinition(defaultDefinition); |
158 | if (result == null) result = caseStatement(interpretation); | 110 | if (result == null) result = caseStatement(defaultDefinition); |
159 | if (result == null) result = defaultCase(theEObject); | 111 | if (result == null) result = defaultCase(theEObject); |
160 | return result; | 112 | return result; |
161 | } | 113 | } |
162 | case SolverLanguagePackage.BASIC_INTERPRETATION: | 114 | case SolverLanguagePackage.EXTERN_PREDICATE_DEFINITION: |
163 | { | 115 | { |
164 | BasicInterpretation basicInterpretation = (BasicInterpretation)theEObject; | 116 | ExternPredicateDefinition externPredicateDefinition = (ExternPredicateDefinition)theEObject; |
165 | T result = caseBasicInterpretation(basicInterpretation); | 117 | T result = caseExternPredicateDefinition(externPredicateDefinition); |
166 | if (result == null) result = caseInterpretation(basicInterpretation); | 118 | if (result == null) result = caseStatement(externPredicateDefinition); |
167 | if (result == null) result = caseStatement(basicInterpretation); | ||
168 | if (result == null) result = defaultCase(theEObject); | 119 | if (result == null) result = defaultCase(theEObject); |
169 | return result; | 120 | return result; |
170 | } | 121 | } |
171 | case SolverLanguagePackage.SYMBOL: | 122 | case SolverLanguagePackage.METRIC_DEFINITION: |
172 | { | 123 | { |
173 | Symbol symbol = (Symbol)theEObject; | 124 | MetricDefinition metricDefinition = (MetricDefinition)theEObject; |
174 | T result = caseSymbol(symbol); | 125 | T result = caseMetricDefinition(metricDefinition); |
126 | if (result == null) result = caseStatement(metricDefinition); | ||
175 | if (result == null) result = defaultCase(theEObject); | 127 | if (result == null) result = defaultCase(theEObject); |
176 | return result; | 128 | return result; |
177 | } | 129 | } |
178 | case SolverLanguagePackage.MODEL_SYMBOL: | 130 | case SolverLanguagePackage.EXTERN_METRIC_DEFINITION: |
179 | { | 131 | { |
180 | ModelSymbol modelSymbol = (ModelSymbol)theEObject; | 132 | ExternMetricDefinition externMetricDefinition = (ExternMetricDefinition)theEObject; |
181 | T result = caseModelSymbol(modelSymbol); | 133 | T result = caseExternMetricDefinition(externMetricDefinition); |
182 | if (result == null) result = caseSymbol(modelSymbol); | 134 | if (result == null) result = caseStatement(externMetricDefinition); |
183 | if (result == null) result = defaultCase(theEObject); | 135 | if (result == null) result = defaultCase(theEObject); |
184 | return result; | 136 | return result; |
185 | } | 137 | } |
186 | case SolverLanguagePackage.PARTIALITY_SYMBOL: | 138 | case SolverLanguagePackage.EXPRESSION: |
187 | { | 139 | { |
188 | PartialitySymbol partialitySymbol = (PartialitySymbol)theEObject; | 140 | Expression expression = (Expression)theEObject; |
189 | T result = casePartialitySymbol(partialitySymbol); | 141 | T result = caseExpression(expression); |
190 | if (result == null) result = caseSymbol(partialitySymbol); | 142 | if (result == null) result = caseStatement(expression); |
191 | if (result == null) result = defaultCase(theEObject); | 143 | if (result == null) result = defaultCase(theEObject); |
192 | return result; | 144 | return result; |
193 | } | 145 | } |
194 | case SolverLanguagePackage.EXIST_SYMBOL: | 146 | case SolverLanguagePackage.IF_ELSE: |
195 | { | 147 | { |
196 | ExistSymbol existSymbol = (ExistSymbol)theEObject; | 148 | IfElse ifElse = (IfElse)theEObject; |
197 | T result = caseExistSymbol(existSymbol); | 149 | T result = caseIfElse(ifElse); |
198 | if (result == null) result = casePartialitySymbol(existSymbol); | 150 | if (result == null) result = caseExpression(ifElse); |
199 | if (result == null) result = caseSymbol(existSymbol); | 151 | if (result == null) result = caseStatement(ifElse); |
200 | if (result == null) result = defaultCase(theEObject); | 152 | if (result == null) result = defaultCase(theEObject); |
201 | return result; | 153 | return result; |
202 | } | 154 | } |
203 | case SolverLanguagePackage.EQUALS_SYMBOL: | 155 | case SolverLanguagePackage.CASE: |
204 | { | 156 | { |
205 | EqualsSymbol equalsSymbol = (EqualsSymbol)theEObject; | 157 | Case case_ = (Case)theEObject; |
206 | T result = caseEqualsSymbol(equalsSymbol); | 158 | T result = caseCase(case_); |
207 | if (result == null) result = casePartialitySymbol(equalsSymbol); | 159 | if (result == null) result = caseExpression(case_); |
208 | if (result == null) result = caseSymbol(equalsSymbol); | 160 | if (result == null) result = caseStatement(case_); |
209 | if (result == null) result = defaultCase(theEObject); | 161 | if (result == null) result = defaultCase(theEObject); |
210 | return result; | 162 | return result; |
211 | } | 163 | } |
212 | case SolverLanguagePackage.DATA_SYMBOL: | 164 | case SolverLanguagePackage.COUNT: |
213 | { | 165 | { |
214 | DataSymbol dataSymbol = (DataSymbol)theEObject; | 166 | Count count = (Count)theEObject; |
215 | T result = caseDataSymbol(dataSymbol); | 167 | T result = caseCount(count); |
216 | if (result == null) result = caseSymbol(dataSymbol); | 168 | if (result == null) result = caseExpression(count); |
169 | if (result == null) result = caseStatement(count); | ||
217 | if (result == null) result = defaultCase(theEObject); | 170 | if (result == null) result = defaultCase(theEObject); |
218 | return result; | 171 | return result; |
219 | } | 172 | } |
220 | case SolverLanguagePackage.BOOLEAN_SYMBOL: | 173 | case SolverLanguagePackage.AGGREGATION: |
221 | { | 174 | { |
222 | BooleanSymbol booleanSymbol = (BooleanSymbol)theEObject; | 175 | Aggregation aggregation = (Aggregation)theEObject; |
223 | T result = caseBooleanSymbol(booleanSymbol); | 176 | T result = caseAggregation(aggregation); |
224 | if (result == null) result = caseDataSymbol(booleanSymbol); | 177 | if (result == null) result = caseExpression(aggregation); |
225 | if (result == null) result = caseSymbol(booleanSymbol); | 178 | if (result == null) result = caseStatement(aggregation); |
226 | if (result == null) result = defaultCase(theEObject); | 179 | if (result == null) result = defaultCase(theEObject); |
227 | return result; | 180 | return result; |
228 | } | 181 | } |
229 | case SolverLanguagePackage.INTEGER_SYMBOL: | 182 | case SolverLanguagePackage.CALL: |
230 | { | 183 | { |
231 | IntegerSymbol integerSymbol = (IntegerSymbol)theEObject; | 184 | Call call = (Call)theEObject; |
232 | T result = caseIntegerSymbol(integerSymbol); | 185 | T result = caseCall(call); |
233 | if (result == null) result = caseDataSymbol(integerSymbol); | 186 | if (result == null) result = caseExpression(call); |
234 | if (result == null) result = caseSymbol(integerSymbol); | 187 | if (result == null) result = caseStatement(call); |
235 | if (result == null) result = defaultCase(theEObject); | 188 | if (result == null) result = defaultCase(theEObject); |
236 | return result; | 189 | return result; |
237 | } | 190 | } |
238 | case SolverLanguagePackage.REAL_SYMBOL: | 191 | case SolverLanguagePackage.ARGUMENT_LIST: |
239 | { | 192 | { |
240 | RealSymbol realSymbol = (RealSymbol)theEObject; | 193 | ArgumentList argumentList = (ArgumentList)theEObject; |
241 | T result = caseRealSymbol(realSymbol); | 194 | T result = caseArgumentList(argumentList); |
242 | if (result == null) result = caseDataSymbol(realSymbol); | ||
243 | if (result == null) result = caseSymbol(realSymbol); | ||
244 | if (result == null) result = defaultCase(theEObject); | 195 | if (result == null) result = defaultCase(theEObject); |
245 | return result; | 196 | return result; |
246 | } | 197 | } |
247 | case SolverLanguagePackage.STRING_SYMBOL: | 198 | case SolverLanguagePackage.ARGUMENT: |
248 | { | 199 | { |
249 | StringSymbol stringSymbol = (StringSymbol)theEObject; | 200 | Argument argument = (Argument)theEObject; |
250 | T result = caseStringSymbol(stringSymbol); | 201 | T result = caseArgument(argument); |
251 | if (result == null) result = caseDataSymbol(stringSymbol); | ||
252 | if (result == null) result = caseSymbol(stringSymbol); | ||
253 | if (result == null) result = defaultCase(theEObject); | 202 | if (result == null) result = defaultCase(theEObject); |
254 | return result; | 203 | return result; |
255 | } | 204 | } |
256 | case SolverLanguagePackage.COMPLEX_OBJECT: | 205 | case SolverLanguagePackage.EXPRESSION_ARGUMENT: |
257 | { | 206 | { |
258 | ComplexObject complexObject = (ComplexObject)theEObject; | 207 | ExpressionArgument expressionArgument = (ExpressionArgument)theEObject; |
259 | T result = caseComplexObject(complexObject); | 208 | T result = caseExpressionArgument(expressionArgument); |
209 | if (result == null) result = caseArgument(expressionArgument); | ||
260 | if (result == null) result = defaultCase(theEObject); | 210 | if (result == null) result = defaultCase(theEObject); |
261 | return result; | 211 | return result; |
262 | } | 212 | } |
263 | case SolverLanguagePackage.OBJECT: | 213 | case SolverLanguagePackage.STAR_ARGUMENT: |
264 | { | 214 | { |
265 | org.eclipse.viatra.solver.language.solverLanguage.Object object = (org.eclipse.viatra.solver.language.solverLanguage.Object)theEObject; | 215 | StarArgument starArgument = (StarArgument)theEObject; |
266 | T result = caseObject(object); | 216 | T result = caseStarArgument(starArgument); |
267 | if (result == null) result = caseComplexObject(object); | 217 | if (result == null) result = caseArgument(starArgument); |
268 | if (result == null) result = defaultCase(theEObject); | 218 | if (result == null) result = defaultCase(theEObject); |
269 | return result; | 219 | return result; |
270 | } | 220 | } |
271 | case SolverLanguagePackage.NAMED_OBJECT: | 221 | case SolverLanguagePackage.TYPED_ARGUMENT: |
272 | { | 222 | { |
273 | NamedObject namedObject = (NamedObject)theEObject; | 223 | TypedArgument typedArgument = (TypedArgument)theEObject; |
274 | T result = caseNamedObject(namedObject); | 224 | T result = caseTypedArgument(typedArgument); |
275 | if (result == null) result = caseObject(namedObject); | 225 | if (result == null) result = caseArgument(typedArgument); |
276 | if (result == null) result = caseLiteral(namedObject); | ||
277 | if (result == null) result = caseComplexObject(namedObject); | ||
278 | if (result == null) result = defaultCase(theEObject); | 226 | if (result == null) result = defaultCase(theEObject); |
279 | return result; | 227 | return result; |
280 | } | 228 | } |
281 | case SolverLanguagePackage.UNNAMED_OBJECT: | 229 | case SolverLanguagePackage.TYPED_STAR_ARGUMENT: |
282 | { | 230 | { |
283 | UnnamedObject unnamedObject = (UnnamedObject)theEObject; | 231 | TypedStarArgument typedStarArgument = (TypedStarArgument)theEObject; |
284 | T result = caseUnnamedObject(unnamedObject); | 232 | T result = caseTypedStarArgument(typedStarArgument); |
285 | if (result == null) result = caseObject(unnamedObject); | 233 | if (result == null) result = caseArgument(typedStarArgument); |
286 | if (result == null) result = caseComplexObject(unnamedObject); | ||
287 | if (result == null) result = defaultCase(theEObject); | 234 | if (result == null) result = defaultCase(theEObject); |
288 | return result; | 235 | return result; |
289 | } | 236 | } |
290 | case SolverLanguagePackage.DATA_OBJECT: | 237 | case SolverLanguagePackage.REFERENCE: |
291 | { | 238 | { |
292 | DataObject dataObject = (DataObject)theEObject; | 239 | Reference reference = (Reference)theEObject; |
293 | T result = caseDataObject(dataObject); | 240 | T result = caseReference(reference); |
294 | if (result == null) result = caseObject(dataObject); | 241 | if (result == null) result = caseExpression(reference); |
295 | if (result == null) result = caseLiteral(dataObject); | 242 | if (result == null) result = caseStatement(reference); |
296 | if (result == null) result = caseComplexObject(dataObject); | ||
297 | if (result == null) result = defaultCase(theEObject); | 243 | if (result == null) result = defaultCase(theEObject); |
298 | return result; | 244 | return result; |
299 | } | 245 | } |
300 | case SolverLanguagePackage.BOOLEAN_OBJECT: | 246 | case SolverLanguagePackage.INTERVAL: |
301 | { | 247 | { |
302 | BooleanObject booleanObject = (BooleanObject)theEObject; | 248 | Interval interval = (Interval)theEObject; |
303 | T result = caseBooleanObject(booleanObject); | 249 | T result = caseInterval(interval); |
304 | if (result == null) result = caseDataObject(booleanObject); | 250 | if (result == null) result = caseExpression(interval); |
305 | if (result == null) result = caseObject(booleanObject); | 251 | if (result == null) result = caseStatement(interval); |
306 | if (result == null) result = caseLiteral(booleanObject); | ||
307 | if (result == null) result = caseComplexObject(booleanObject); | ||
308 | if (result == null) result = defaultCase(theEObject); | 252 | if (result == null) result = defaultCase(theEObject); |
309 | return result; | 253 | return result; |
310 | } | 254 | } |
311 | case SolverLanguagePackage.INT_OBJECT: | 255 | case SolverLanguagePackage.LITERAL: |
312 | { | ||
313 | IntObject intObject = (IntObject)theEObject; | ||
314 | T result = caseIntObject(intObject); | ||
315 | if (result == null) result = caseDataObject(intObject); | ||
316 | if (result == null) result = caseObject(intObject); | ||
317 | if (result == null) result = caseLiteral(intObject); | ||
318 | if (result == null) result = caseComplexObject(intObject); | ||
319 | if (result == null) result = defaultCase(theEObject); | ||
320 | return result; | ||
321 | } | ||
322 | case SolverLanguagePackage.REAL_OBJECT: | ||
323 | { | ||
324 | RealObject realObject = (RealObject)theEObject; | ||
325 | T result = caseRealObject(realObject); | ||
326 | if (result == null) result = caseDataObject(realObject); | ||
327 | if (result == null) result = caseObject(realObject); | ||
328 | if (result == null) result = caseLiteral(realObject); | ||
329 | if (result == null) result = caseComplexObject(realObject); | ||
330 | if (result == null) result = defaultCase(theEObject); | ||
331 | return result; | ||
332 | } | ||
333 | case SolverLanguagePackage.STRING_OBJECT: | ||
334 | { | ||
335 | StringObject stringObject = (StringObject)theEObject; | ||
336 | T result = caseStringObject(stringObject); | ||
337 | if (result == null) result = caseDataObject(stringObject); | ||
338 | if (result == null) result = caseObject(stringObject); | ||
339 | if (result == null) result = caseLiteral(stringObject); | ||
340 | if (result == null) result = caseComplexObject(stringObject); | ||
341 | if (result == null) result = defaultCase(theEObject); | ||
342 | return result; | ||
343 | } | ||
344 | case SolverLanguagePackage.PREDICATE: | ||
345 | { | ||
346 | Predicate predicate = (Predicate)theEObject; | ||
347 | T result = casePredicate(predicate); | ||
348 | if (result == null) result = caseStatement(predicate); | ||
349 | if (result == null) result = defaultCase(theEObject); | ||
350 | return result; | ||
351 | } | ||
352 | case SolverLanguagePackage.PARAMETER: | ||
353 | { | ||
354 | Parameter parameter = (Parameter)theEObject; | ||
355 | T result = caseParameter(parameter); | ||
356 | if (result == null) result = defaultCase(theEObject); | ||
357 | return result; | ||
358 | } | ||
359 | case SolverLanguagePackage.PATTERN_BODY: | ||
360 | { | 256 | { |
361 | PatternBody patternBody = (PatternBody)theEObject; | 257 | Literal literal = (Literal)theEObject; |
362 | T result = casePatternBody(patternBody); | 258 | T result = caseLiteral(literal); |
259 | if (result == null) result = caseExpression(literal); | ||
260 | if (result == null) result = caseStatement(literal); | ||
363 | if (result == null) result = defaultCase(theEObject); | 261 | if (result == null) result = defaultCase(theEObject); |
364 | return result; | 262 | return result; |
365 | } | 263 | } |
366 | case SolverLanguagePackage.POLARITY: | 264 | case SolverLanguagePackage.LOGIC_LITERAL: |
367 | { | 265 | { |
368 | Polarity polarity = (Polarity)theEObject; | 266 | LogicLiteral logicLiteral = (LogicLiteral)theEObject; |
369 | T result = casePolarity(polarity); | 267 | T result = caseLogicLiteral(logicLiteral); |
268 | if (result == null) result = caseLiteral(logicLiteral); | ||
269 | if (result == null) result = caseExpression(logicLiteral); | ||
270 | if (result == null) result = caseStatement(logicLiteral); | ||
370 | if (result == null) result = defaultCase(theEObject); | 271 | if (result == null) result = defaultCase(theEObject); |
371 | return result; | 272 | return result; |
372 | } | 273 | } |
373 | case SolverLanguagePackage.CONSTRAINT: | 274 | case SolverLanguagePackage.NUMERIC_LITERAL: |
374 | { | 275 | { |
375 | Constraint constraint = (Constraint)theEObject; | 276 | NumericLiteral numericLiteral = (NumericLiteral)theEObject; |
376 | T result = caseConstraint(constraint); | 277 | T result = caseNumericLiteral(numericLiteral); |
278 | if (result == null) result = caseLiteral(numericLiteral); | ||
279 | if (result == null) result = caseExpression(numericLiteral); | ||
280 | if (result == null) result = caseStatement(numericLiteral); | ||
377 | if (result == null) result = defaultCase(theEObject); | 281 | if (result == null) result = defaultCase(theEObject); |
378 | return result; | 282 | return result; |
379 | } | 283 | } |
380 | case SolverLanguagePackage.CLOSURE_TYPE: | 284 | case SolverLanguagePackage.INFINITY_LITERAL: |
381 | { | 285 | { |
382 | ClosureType closureType = (ClosureType)theEObject; | 286 | InfinityLiteral infinityLiteral = (InfinityLiteral)theEObject; |
383 | T result = caseClosureType(closureType); | 287 | T result = caseInfinityLiteral(infinityLiteral); |
288 | if (result == null) result = caseLiteral(infinityLiteral); | ||
289 | if (result == null) result = caseExpression(infinityLiteral); | ||
290 | if (result == null) result = caseStatement(infinityLiteral); | ||
384 | if (result == null) result = defaultCase(theEObject); | 291 | if (result == null) result = defaultCase(theEObject); |
385 | return result; | 292 | return result; |
386 | } | 293 | } |
387 | case SolverLanguagePackage.LITERAL: | 294 | case SolverLanguagePackage.EMPTY_INTERVAL_LITERAL: |
388 | { | 295 | { |
389 | Literal literal = (Literal)theEObject; | 296 | EmptyIntervalLiteral emptyIntervalLiteral = (EmptyIntervalLiteral)theEObject; |
390 | T result = caseLiteral(literal); | 297 | T result = caseEmptyIntervalLiteral(emptyIntervalLiteral); |
298 | if (result == null) result = caseLiteral(emptyIntervalLiteral); | ||
299 | if (result == null) result = caseExpression(emptyIntervalLiteral); | ||
300 | if (result == null) result = caseStatement(emptyIntervalLiteral); | ||
391 | if (result == null) result = defaultCase(theEObject); | 301 | if (result == null) result = defaultCase(theEObject); |
392 | return result; | 302 | return result; |
393 | } | 303 | } |
394 | case SolverLanguagePackage.VARIABLE: | 304 | case SolverLanguagePackage.STRING_LITERAL: |
395 | { | 305 | { |
396 | Variable variable = (Variable)theEObject; | 306 | StringLiteral stringLiteral = (StringLiteral)theEObject; |
397 | T result = caseVariable(variable); | 307 | T result = caseStringLiteral(stringLiteral); |
398 | if (result == null) result = caseLiteral(variable); | 308 | if (result == null) result = caseLiteral(stringLiteral); |
309 | if (result == null) result = caseExpression(stringLiteral); | ||
310 | if (result == null) result = caseStatement(stringLiteral); | ||
399 | if (result == null) result = defaultCase(theEObject); | 311 | if (result == null) result = defaultCase(theEObject); |
400 | return result; | 312 | return result; |
401 | } | 313 | } |
402 | case SolverLanguagePackage.ALL_INSTANCES: | 314 | case SolverLanguagePackage.MEMBER_DEFINITION: |
403 | { | 315 | { |
404 | AllInstances allInstances = (AllInstances)theEObject; | 316 | MemberDefinition memberDefinition = (MemberDefinition)theEObject; |
405 | T result = caseAllInstances(allInstances); | 317 | T result = caseMemberDefinition(memberDefinition); |
406 | if (result == null) result = caseComplexObject(allInstances); | ||
407 | if (result == null) result = defaultCase(theEObject); | 318 | if (result == null) result = defaultCase(theEObject); |
408 | return result; | 319 | return result; |
409 | } | 320 | } |
410 | case SolverLanguagePackage.ALL_OBJECTS: | 321 | case SolverLanguagePackage.MULTIPLICITY: |
411 | { | 322 | { |
412 | AllObjects allObjects = (AllObjects)theEObject; | 323 | Multiplicity multiplicity = (Multiplicity)theEObject; |
413 | T result = caseAllObjects(allObjects); | 324 | T result = caseMultiplicity(multiplicity); |
414 | if (result == null) result = caseComplexObject(allObjects); | ||
415 | if (result == null) result = defaultCase(theEObject); | 325 | if (result == null) result = defaultCase(theEObject); |
416 | return result; | 326 | return result; |
417 | } | 327 | } |
418 | case SolverLanguagePackage.DEFAULT_INTERPRETATION: | 328 | case SolverLanguagePackage.MANY_MULTIPLICITY: |
419 | { | 329 | { |
420 | DefaultInterpretation defaultInterpretation = (DefaultInterpretation)theEObject; | 330 | ManyMultiplicity manyMultiplicity = (ManyMultiplicity)theEObject; |
421 | T result = caseDefaultInterpretation(defaultInterpretation); | 331 | T result = caseManyMultiplicity(manyMultiplicity); |
422 | if (result == null) result = caseInterpretation(defaultInterpretation); | 332 | if (result == null) result = caseMultiplicity(manyMultiplicity); |
423 | if (result == null) result = caseStatement(defaultInterpretation); | ||
424 | if (result == null) result = defaultCase(theEObject); | 333 | if (result == null) result = defaultCase(theEObject); |
425 | return result; | 334 | return result; |
426 | } | 335 | } |
427 | case SolverLanguagePackage.CD_INTERPRETATION: | 336 | case SolverLanguagePackage.EXACT_MULTIPLICITY: |
428 | { | 337 | { |
429 | CDInterpretation cdInterpretation = (CDInterpretation)theEObject; | 338 | ExactMultiplicity exactMultiplicity = (ExactMultiplicity)theEObject; |
430 | T result = caseCDInterpretation(cdInterpretation); | 339 | T result = caseExactMultiplicity(exactMultiplicity); |
431 | if (result == null) result = caseInterpretation(cdInterpretation); | 340 | if (result == null) result = caseMultiplicity(exactMultiplicity); |
432 | if (result == null) result = caseStatement(cdInterpretation); | ||
433 | if (result == null) result = defaultCase(theEObject); | 341 | if (result == null) result = defaultCase(theEObject); |
434 | return result; | 342 | return result; |
435 | } | 343 | } |
436 | case SolverLanguagePackage.CLASS_INTERPRETATION: | 344 | case SolverLanguagePackage.BOUNDED_MULTIPLICITY: |
437 | { | 345 | { |
438 | ClassInterpretation classInterpretation = (ClassInterpretation)theEObject; | 346 | BoundedMultiplicity boundedMultiplicity = (BoundedMultiplicity)theEObject; |
439 | T result = caseClassInterpretation(classInterpretation); | 347 | T result = caseBoundedMultiplicity(boundedMultiplicity); |
440 | if (result == null) result = caseCDInterpretation(classInterpretation); | 348 | if (result == null) result = caseMultiplicity(boundedMultiplicity); |
441 | if (result == null) result = caseInterpretation(classInterpretation); | ||
442 | if (result == null) result = caseStatement(classInterpretation); | ||
443 | if (result == null) result = defaultCase(theEObject); | 349 | if (result == null) result = defaultCase(theEObject); |
444 | return result; | 350 | return result; |
445 | } | 351 | } |
446 | case SolverLanguagePackage.ENUM_INTERPRETATION: | 352 | case SolverLanguagePackage.SCOPE_DEFINITION: |
447 | { | 353 | { |
448 | EnumInterpretation enumInterpretation = (EnumInterpretation)theEObject; | 354 | ScopeDefinition scopeDefinition = (ScopeDefinition)theEObject; |
449 | T result = caseEnumInterpretation(enumInterpretation); | 355 | T result = caseScopeDefinition(scopeDefinition); |
450 | if (result == null) result = caseCDInterpretation(enumInterpretation); | 356 | if (result == null) result = caseStatement(scopeDefinition); |
451 | if (result == null) result = caseInterpretation(enumInterpretation); | ||
452 | if (result == null) result = caseStatement(enumInterpretation); | ||
453 | if (result == null) result = defaultCase(theEObject); | 357 | if (result == null) result = defaultCase(theEObject); |
454 | return result; | 358 | return result; |
455 | } | 359 | } |
456 | case SolverLanguagePackage.FIELD_RELATION_INTERPRETATION: | 360 | case SolverLanguagePackage.EXACT_SCOPE_DEFINITION: |
457 | { | 361 | { |
458 | FieldRelationInterpretation fieldRelationInterpretation = (FieldRelationInterpretation)theEObject; | 362 | ExactScopeDefinition exactScopeDefinition = (ExactScopeDefinition)theEObject; |
459 | T result = caseFieldRelationInterpretation(fieldRelationInterpretation); | 363 | T result = caseExactScopeDefinition(exactScopeDefinition); |
364 | if (result == null) result = caseScopeDefinition(exactScopeDefinition); | ||
365 | if (result == null) result = caseStatement(exactScopeDefinition); | ||
460 | if (result == null) result = defaultCase(theEObject); | 366 | if (result == null) result = defaultCase(theEObject); |
461 | return result; | 367 | return result; |
462 | } | 368 | } |
463 | case SolverLanguagePackage.GLOBAL_RELATION_INTERPRETATION: | 369 | case SolverLanguagePackage.BOUNDED_SCOPE_DEFINITION: |
464 | { | 370 | { |
465 | GlobalRelationInterpretation globalRelationInterpretation = (GlobalRelationInterpretation)theEObject; | 371 | BoundedScopeDefinition boundedScopeDefinition = (BoundedScopeDefinition)theEObject; |
466 | T result = caseGlobalRelationInterpretation(globalRelationInterpretation); | 372 | T result = caseBoundedScopeDefinition(boundedScopeDefinition); |
467 | if (result == null) result = caseCDInterpretation(globalRelationInterpretation); | 373 | if (result == null) result = caseScopeDefinition(boundedScopeDefinition); |
468 | if (result == null) result = caseInterpretation(globalRelationInterpretation); | 374 | if (result == null) result = caseStatement(boundedScopeDefinition); |
469 | if (result == null) result = caseStatement(globalRelationInterpretation); | ||
470 | if (result == null) result = defaultCase(theEObject); | 375 | if (result == null) result = defaultCase(theEObject); |
471 | return result; | 376 | return result; |
472 | } | 377 | } |
473 | case SolverLanguagePackage.MULTIPLICITY_DEFINITION: | 378 | case SolverLanguagePackage.LOWER_BOUNDED_SCOPE_DEFINITION: |
474 | { | 379 | { |
475 | MultiplicityDefinition multiplicityDefinition = (MultiplicityDefinition)theEObject; | 380 | LowerBoundedScopeDefinition lowerBoundedScopeDefinition = (LowerBoundedScopeDefinition)theEObject; |
476 | T result = caseMultiplicityDefinition(multiplicityDefinition); | 381 | T result = caseLowerBoundedScopeDefinition(lowerBoundedScopeDefinition); |
382 | if (result == null) result = caseScopeDefinition(lowerBoundedScopeDefinition); | ||
383 | if (result == null) result = caseStatement(lowerBoundedScopeDefinition); | ||
477 | if (result == null) result = defaultCase(theEObject); | 384 | if (result == null) result = defaultCase(theEObject); |
478 | return result; | 385 | return result; |
479 | } | 386 | } |
480 | case SolverLanguagePackage.BOOLEAN_TRUE: | 387 | case SolverLanguagePackage.OBJECTIVE_DEFINITION: |
481 | { | 388 | { |
482 | BooleanTrue booleanTrue = (BooleanTrue)theEObject; | 389 | ObjectiveDefinition objectiveDefinition = (ObjectiveDefinition)theEObject; |
483 | T result = caseBooleanTrue(booleanTrue); | 390 | T result = caseObjectiveDefinition(objectiveDefinition); |
484 | if (result == null) result = caseBooleanValue(booleanTrue); | 391 | if (result == null) result = caseStatement(objectiveDefinition); |
485 | if (result == null) result = defaultCase(theEObject); | 392 | if (result == null) result = defaultCase(theEObject); |
486 | return result; | 393 | return result; |
487 | } | 394 | } |
488 | case SolverLanguagePackage.BOOLEAN_FALSE: | 395 | case SolverLanguagePackage.NAMED_ELEMENT: |
489 | { | 396 | { |
490 | BooleanFalse booleanFalse = (BooleanFalse)theEObject; | 397 | NamedElement namedElement = (NamedElement)theEObject; |
491 | T result = caseBooleanFalse(booleanFalse); | 398 | T result = caseNamedElement(namedElement); |
492 | if (result == null) result = caseBooleanValue(booleanFalse); | ||
493 | if (result == null) result = defaultCase(theEObject); | 399 | if (result == null) result = defaultCase(theEObject); |
494 | return result; | 400 | return result; |
495 | } | 401 | } |
496 | case SolverLanguagePackage.TRUE: | 402 | case SolverLanguagePackage.ASSERTION: |
497 | { | 403 | { |
498 | True true_ = (True)theEObject; | 404 | Assertion assertion = (Assertion)theEObject; |
499 | T result = caseTrue(true_); | 405 | T result = caseAssertion(assertion); |
500 | if (result == null) result = caseTruthValue(true_); | 406 | if (result == null) result = caseStatement(assertion); |
501 | if (result == null) result = defaultCase(theEObject); | 407 | if (result == null) result = defaultCase(theEObject); |
502 | return result; | 408 | return result; |
503 | } | 409 | } |
504 | case SolverLanguagePackage.FALSE: | 410 | case SolverLanguagePackage.DISJUNCTION: |
505 | { | 411 | { |
506 | False false_ = (False)theEObject; | 412 | Disjunction disjunction = (Disjunction)theEObject; |
507 | T result = caseFalse(false_); | 413 | T result = caseDisjunction(disjunction); |
508 | if (result == null) result = caseTruthValue(false_); | 414 | if (result == null) result = caseExpression(disjunction); |
415 | if (result == null) result = caseStatement(disjunction); | ||
509 | if (result == null) result = defaultCase(theEObject); | 416 | if (result == null) result = defaultCase(theEObject); |
510 | return result; | 417 | return result; |
511 | } | 418 | } |
512 | case SolverLanguagePackage.UNKNOWN: | 419 | case SolverLanguagePackage.SWITCH: |
513 | { | 420 | { |
514 | Unknown unknown = (Unknown)theEObject; | 421 | org.eclipse.viatra.solver.language.solverLanguage.Switch switch_ = (org.eclipse.viatra.solver.language.solverLanguage.Switch)theEObject; |
515 | T result = caseUnknown(unknown); | 422 | T result = caseSwitch(switch_); |
516 | if (result == null) result = caseTruthValue(unknown); | 423 | if (result == null) result = caseExpression(switch_); |
424 | if (result == null) result = caseStatement(switch_); | ||
517 | if (result == null) result = defaultCase(theEObject); | 425 | if (result == null) result = defaultCase(theEObject); |
518 | return result; | 426 | return result; |
519 | } | 427 | } |
520 | case SolverLanguagePackage.ERROR: | 428 | case SolverLanguagePackage.CONJUNCTION: |
521 | { | 429 | { |
522 | org.eclipse.viatra.solver.language.solverLanguage.Error error = (org.eclipse.viatra.solver.language.solverLanguage.Error)theEObject; | 430 | Conjunction conjunction = (Conjunction)theEObject; |
523 | T result = caseError(error); | 431 | T result = caseConjunction(conjunction); |
524 | if (result == null) result = caseTruthValue(error); | 432 | if (result == null) result = caseExpression(conjunction); |
433 | if (result == null) result = caseStatement(conjunction); | ||
525 | if (result == null) result = defaultCase(theEObject); | 434 | if (result == null) result = defaultCase(theEObject); |
526 | return result; | 435 | return result; |
527 | } | 436 | } |
528 | case SolverLanguagePackage.POSITIVE: | 437 | case SolverLanguagePackage.COMPARISON: |
529 | { | 438 | { |
530 | Positive positive = (Positive)theEObject; | 439 | Comparison comparison = (Comparison)theEObject; |
531 | T result = casePositive(positive); | 440 | T result = caseComparison(comparison); |
532 | if (result == null) result = casePolarity(positive); | 441 | if (result == null) result = caseExpression(comparison); |
442 | if (result == null) result = caseStatement(comparison); | ||
533 | if (result == null) result = defaultCase(theEObject); | 443 | if (result == null) result = defaultCase(theEObject); |
534 | return result; | 444 | return result; |
535 | } | 445 | } |
536 | case SolverLanguagePackage.NEGATIVE: | 446 | case SolverLanguagePackage.BINARY_EXPRESSION: |
537 | { | 447 | { |
538 | Negative negative = (Negative)theEObject; | 448 | BinaryExpression binaryExpression = (BinaryExpression)theEObject; |
539 | T result = caseNegative(negative); | 449 | T result = caseBinaryExpression(binaryExpression); |
540 | if (result == null) result = casePolarity(negative); | 450 | if (result == null) result = caseExpression(binaryExpression); |
451 | if (result == null) result = caseStatement(binaryExpression); | ||
541 | if (result == null) result = defaultCase(theEObject); | 452 | if (result == null) result = defaultCase(theEObject); |
542 | return result; | 453 | return result; |
543 | } | 454 | } |
544 | case SolverLanguagePackage.REFLEXIVE_CLOSURE: | 455 | case SolverLanguagePackage.UNARY_EXPRESSION: |
545 | { | 456 | { |
546 | ReflexiveClosure reflexiveClosure = (ReflexiveClosure)theEObject; | 457 | UnaryExpression unaryExpression = (UnaryExpression)theEObject; |
547 | T result = caseReflexiveClosure(reflexiveClosure); | 458 | T result = caseUnaryExpression(unaryExpression); |
548 | if (result == null) result = caseClosureType(reflexiveClosure); | 459 | if (result == null) result = caseExpression(unaryExpression); |
549 | if (result == null) result = defaultCase(theEObject); | 460 | if (result == null) result = caseStatement(unaryExpression); |
550 | return result; | ||
551 | } | ||
552 | case SolverLanguagePackage.IRREFLEXIVE_CLOSURE: | ||
553 | { | ||
554 | IrreflexiveClosure irreflexiveClosure = (IrreflexiveClosure)theEObject; | ||
555 | T result = caseIrreflexiveClosure(irreflexiveClosure); | ||
556 | if (result == null) result = caseClosureType(irreflexiveClosure); | ||
557 | if (result == null) result = defaultCase(theEObject); | 461 | if (result == null) result = defaultCase(theEObject); |
558 | return result; | 462 | return result; |
559 | } | 463 | } |
@@ -594,801 +498,705 @@ public class SolverLanguageSwitch<T> extends Switch<T> | |||
594 | } | 498 | } |
595 | 499 | ||
596 | /** | 500 | /** |
597 | * Returns the result of interpreting the object as an instance of '<em>Boolean Value</em>'. | 501 | * Returns the result of interpreting the object as an instance of '<em>Predicate Definition</em>'. |
598 | * <!-- begin-user-doc --> | ||
599 | * This implementation returns null; | ||
600 | * returning a non-null result will terminate the switch. | ||
601 | * <!-- end-user-doc --> | ||
602 | * @param object the target of the switch. | ||
603 | * @return the result of interpreting the object as an instance of '<em>Boolean Value</em>'. | ||
604 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
605 | * @generated | ||
606 | */ | ||
607 | public T caseBooleanValue(BooleanValue object) | ||
608 | { | ||
609 | return null; | ||
610 | } | ||
611 | |||
612 | /** | ||
613 | * Returns the result of interpreting the object as an instance of '<em>Truth Value</em>'. | ||
614 | * <!-- begin-user-doc --> | ||
615 | * This implementation returns null; | ||
616 | * returning a non-null result will terminate the switch. | ||
617 | * <!-- end-user-doc --> | ||
618 | * @param object the target of the switch. | ||
619 | * @return the result of interpreting the object as an instance of '<em>Truth Value</em>'. | ||
620 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
621 | * @generated | ||
622 | */ | ||
623 | public T caseTruthValue(TruthValue object) | ||
624 | { | ||
625 | return null; | ||
626 | } | ||
627 | |||
628 | /** | ||
629 | * Returns the result of interpreting the object as an instance of '<em>Interpretation</em>'. | ||
630 | * <!-- begin-user-doc --> | ||
631 | * This implementation returns null; | ||
632 | * returning a non-null result will terminate the switch. | ||
633 | * <!-- end-user-doc --> | ||
634 | * @param object the target of the switch. | ||
635 | * @return the result of interpreting the object as an instance of '<em>Interpretation</em>'. | ||
636 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
637 | * @generated | ||
638 | */ | ||
639 | public T caseInterpretation(Interpretation object) | ||
640 | { | ||
641 | return null; | ||
642 | } | ||
643 | |||
644 | /** | ||
645 | * Returns the result of interpreting the object as an instance of '<em>Basic Interpretation</em>'. | ||
646 | * <!-- begin-user-doc --> | 502 | * <!-- begin-user-doc --> |
647 | * This implementation returns null; | 503 | * This implementation returns null; |
648 | * returning a non-null result will terminate the switch. | 504 | * returning a non-null result will terminate the switch. |
649 | * <!-- end-user-doc --> | 505 | * <!-- end-user-doc --> |
650 | * @param object the target of the switch. | 506 | * @param object the target of the switch. |
651 | * @return the result of interpreting the object as an instance of '<em>Basic Interpretation</em>'. | 507 | * @return the result of interpreting the object as an instance of '<em>Predicate Definition</em>'. |
652 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 508 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
653 | * @generated | 509 | * @generated |
654 | */ | 510 | */ |
655 | public T caseBasicInterpretation(BasicInterpretation object) | 511 | public T casePredicateDefinition(PredicateDefinition object) |
656 | { | 512 | { |
657 | return null; | 513 | return null; |
658 | } | 514 | } |
659 | 515 | ||
660 | /** | 516 | /** |
661 | * Returns the result of interpreting the object as an instance of '<em>Symbol</em>'. | 517 | * Returns the result of interpreting the object as an instance of '<em>Unnamed Error Prediate Definition</em>'. |
662 | * <!-- begin-user-doc --> | 518 | * <!-- begin-user-doc --> |
663 | * This implementation returns null; | 519 | * This implementation returns null; |
664 | * returning a non-null result will terminate the switch. | 520 | * returning a non-null result will terminate the switch. |
665 | * <!-- end-user-doc --> | 521 | * <!-- end-user-doc --> |
666 | * @param object the target of the switch. | 522 | * @param object the target of the switch. |
667 | * @return the result of interpreting the object as an instance of '<em>Symbol</em>'. | 523 | * @return the result of interpreting the object as an instance of '<em>Unnamed Error Prediate Definition</em>'. |
668 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 524 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
669 | * @generated | 525 | * @generated |
670 | */ | 526 | */ |
671 | public T caseSymbol(Symbol object) | 527 | public T caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object) |
672 | { | 528 | { |
673 | return null; | 529 | return null; |
674 | } | 530 | } |
675 | 531 | ||
676 | /** | 532 | /** |
677 | * Returns the result of interpreting the object as an instance of '<em>Model Symbol</em>'. | 533 | * Returns the result of interpreting the object as an instance of '<em>Default Definition</em>'. |
678 | * <!-- begin-user-doc --> | 534 | * <!-- begin-user-doc --> |
679 | * This implementation returns null; | 535 | * This implementation returns null; |
680 | * returning a non-null result will terminate the switch. | 536 | * returning a non-null result will terminate the switch. |
681 | * <!-- end-user-doc --> | 537 | * <!-- end-user-doc --> |
682 | * @param object the target of the switch. | 538 | * @param object the target of the switch. |
683 | * @return the result of interpreting the object as an instance of '<em>Model Symbol</em>'. | 539 | * @return the result of interpreting the object as an instance of '<em>Default Definition</em>'. |
684 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 540 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
685 | * @generated | 541 | * @generated |
686 | */ | 542 | */ |
687 | public T caseModelSymbol(ModelSymbol object) | 543 | public T caseDefaultDefinition(DefaultDefinition object) |
688 | { | 544 | { |
689 | return null; | 545 | return null; |
690 | } | 546 | } |
691 | 547 | ||
692 | /** | 548 | /** |
693 | * Returns the result of interpreting the object as an instance of '<em>Partiality Symbol</em>'. | 549 | * Returns the result of interpreting the object as an instance of '<em>Extern Predicate Definition</em>'. |
694 | * <!-- begin-user-doc --> | 550 | * <!-- begin-user-doc --> |
695 | * This implementation returns null; | 551 | * This implementation returns null; |
696 | * returning a non-null result will terminate the switch. | 552 | * returning a non-null result will terminate the switch. |
697 | * <!-- end-user-doc --> | 553 | * <!-- end-user-doc --> |
698 | * @param object the target of the switch. | 554 | * @param object the target of the switch. |
699 | * @return the result of interpreting the object as an instance of '<em>Partiality Symbol</em>'. | 555 | * @return the result of interpreting the object as an instance of '<em>Extern Predicate Definition</em>'. |
700 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 556 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
701 | * @generated | 557 | * @generated |
702 | */ | 558 | */ |
703 | public T casePartialitySymbol(PartialitySymbol object) | 559 | public T caseExternPredicateDefinition(ExternPredicateDefinition object) |
704 | { | 560 | { |
705 | return null; | 561 | return null; |
706 | } | 562 | } |
707 | 563 | ||
708 | /** | 564 | /** |
709 | * Returns the result of interpreting the object as an instance of '<em>Exist Symbol</em>'. | 565 | * Returns the result of interpreting the object as an instance of '<em>Metric Definition</em>'. |
710 | * <!-- begin-user-doc --> | 566 | * <!-- begin-user-doc --> |
711 | * This implementation returns null; | 567 | * This implementation returns null; |
712 | * returning a non-null result will terminate the switch. | 568 | * returning a non-null result will terminate the switch. |
713 | * <!-- end-user-doc --> | 569 | * <!-- end-user-doc --> |
714 | * @param object the target of the switch. | 570 | * @param object the target of the switch. |
715 | * @return the result of interpreting the object as an instance of '<em>Exist Symbol</em>'. | 571 | * @return the result of interpreting the object as an instance of '<em>Metric Definition</em>'. |
716 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 572 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
717 | * @generated | 573 | * @generated |
718 | */ | 574 | */ |
719 | public T caseExistSymbol(ExistSymbol object) | 575 | public T caseMetricDefinition(MetricDefinition object) |
720 | { | 576 | { |
721 | return null; | 577 | return null; |
722 | } | 578 | } |
723 | 579 | ||
724 | /** | 580 | /** |
725 | * Returns the result of interpreting the object as an instance of '<em>Equals Symbol</em>'. | 581 | * Returns the result of interpreting the object as an instance of '<em>Extern Metric Definition</em>'. |
726 | * <!-- begin-user-doc --> | 582 | * <!-- begin-user-doc --> |
727 | * This implementation returns null; | 583 | * This implementation returns null; |
728 | * returning a non-null result will terminate the switch. | 584 | * returning a non-null result will terminate the switch. |
729 | * <!-- end-user-doc --> | 585 | * <!-- end-user-doc --> |
730 | * @param object the target of the switch. | 586 | * @param object the target of the switch. |
731 | * @return the result of interpreting the object as an instance of '<em>Equals Symbol</em>'. | 587 | * @return the result of interpreting the object as an instance of '<em>Extern Metric Definition</em>'. |
732 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 588 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
733 | * @generated | 589 | * @generated |
734 | */ | 590 | */ |
735 | public T caseEqualsSymbol(EqualsSymbol object) | 591 | public T caseExternMetricDefinition(ExternMetricDefinition object) |
736 | { | 592 | { |
737 | return null; | 593 | return null; |
738 | } | 594 | } |
739 | 595 | ||
740 | /** | 596 | /** |
741 | * Returns the result of interpreting the object as an instance of '<em>Data Symbol</em>'. | 597 | * Returns the result of interpreting the object as an instance of '<em>Expression</em>'. |
742 | * <!-- begin-user-doc --> | 598 | * <!-- begin-user-doc --> |
743 | * This implementation returns null; | 599 | * This implementation returns null; |
744 | * returning a non-null result will terminate the switch. | 600 | * returning a non-null result will terminate the switch. |
745 | * <!-- end-user-doc --> | 601 | * <!-- end-user-doc --> |
746 | * @param object the target of the switch. | 602 | * @param object the target of the switch. |
747 | * @return the result of interpreting the object as an instance of '<em>Data Symbol</em>'. | 603 | * @return the result of interpreting the object as an instance of '<em>Expression</em>'. |
748 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 604 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
749 | * @generated | 605 | * @generated |
750 | */ | 606 | */ |
751 | public T caseDataSymbol(DataSymbol object) | 607 | public T caseExpression(Expression object) |
752 | { | 608 | { |
753 | return null; | 609 | return null; |
754 | } | 610 | } |
755 | 611 | ||
756 | /** | 612 | /** |
757 | * Returns the result of interpreting the object as an instance of '<em>Boolean Symbol</em>'. | 613 | * Returns the result of interpreting the object as an instance of '<em>If Else</em>'. |
758 | * <!-- begin-user-doc --> | 614 | * <!-- begin-user-doc --> |
759 | * This implementation returns null; | 615 | * This implementation returns null; |
760 | * returning a non-null result will terminate the switch. | 616 | * returning a non-null result will terminate the switch. |
761 | * <!-- end-user-doc --> | 617 | * <!-- end-user-doc --> |
762 | * @param object the target of the switch. | 618 | * @param object the target of the switch. |
763 | * @return the result of interpreting the object as an instance of '<em>Boolean Symbol</em>'. | 619 | * @return the result of interpreting the object as an instance of '<em>If Else</em>'. |
764 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 620 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
765 | * @generated | 621 | * @generated |
766 | */ | 622 | */ |
767 | public T caseBooleanSymbol(BooleanSymbol object) | 623 | public T caseIfElse(IfElse object) |
768 | { | 624 | { |
769 | return null; | 625 | return null; |
770 | } | 626 | } |
771 | 627 | ||
772 | /** | 628 | /** |
773 | * Returns the result of interpreting the object as an instance of '<em>Integer Symbol</em>'. | 629 | * Returns the result of interpreting the object as an instance of '<em>Case</em>'. |
774 | * <!-- begin-user-doc --> | 630 | * <!-- begin-user-doc --> |
775 | * This implementation returns null; | 631 | * This implementation returns null; |
776 | * returning a non-null result will terminate the switch. | 632 | * returning a non-null result will terminate the switch. |
777 | * <!-- end-user-doc --> | 633 | * <!-- end-user-doc --> |
778 | * @param object the target of the switch. | 634 | * @param object the target of the switch. |
779 | * @return the result of interpreting the object as an instance of '<em>Integer Symbol</em>'. | 635 | * @return the result of interpreting the object as an instance of '<em>Case</em>'. |
780 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 636 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
781 | * @generated | 637 | * @generated |
782 | */ | 638 | */ |
783 | public T caseIntegerSymbol(IntegerSymbol object) | 639 | public T caseCase(Case object) |
784 | { | 640 | { |
785 | return null; | 641 | return null; |
786 | } | 642 | } |
787 | 643 | ||
788 | /** | 644 | /** |
789 | * Returns the result of interpreting the object as an instance of '<em>Real Symbol</em>'. | 645 | * Returns the result of interpreting the object as an instance of '<em>Count</em>'. |
790 | * <!-- begin-user-doc --> | 646 | * <!-- begin-user-doc --> |
791 | * This implementation returns null; | 647 | * This implementation returns null; |
792 | * returning a non-null result will terminate the switch. | 648 | * returning a non-null result will terminate the switch. |
793 | * <!-- end-user-doc --> | 649 | * <!-- end-user-doc --> |
794 | * @param object the target of the switch. | 650 | * @param object the target of the switch. |
795 | * @return the result of interpreting the object as an instance of '<em>Real Symbol</em>'. | 651 | * @return the result of interpreting the object as an instance of '<em>Count</em>'. |
796 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 652 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
797 | * @generated | 653 | * @generated |
798 | */ | 654 | */ |
799 | public T caseRealSymbol(RealSymbol object) | 655 | public T caseCount(Count object) |
800 | { | 656 | { |
801 | return null; | 657 | return null; |
802 | } | 658 | } |
803 | 659 | ||
804 | /** | 660 | /** |
805 | * Returns the result of interpreting the object as an instance of '<em>String Symbol</em>'. | 661 | * Returns the result of interpreting the object as an instance of '<em>Aggregation</em>'. |
806 | * <!-- begin-user-doc --> | 662 | * <!-- begin-user-doc --> |
807 | * This implementation returns null; | 663 | * This implementation returns null; |
808 | * returning a non-null result will terminate the switch. | 664 | * returning a non-null result will terminate the switch. |
809 | * <!-- end-user-doc --> | 665 | * <!-- end-user-doc --> |
810 | * @param object the target of the switch. | 666 | * @param object the target of the switch. |
811 | * @return the result of interpreting the object as an instance of '<em>String Symbol</em>'. | 667 | * @return the result of interpreting the object as an instance of '<em>Aggregation</em>'. |
812 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 668 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
813 | * @generated | 669 | * @generated |
814 | */ | 670 | */ |
815 | public T caseStringSymbol(StringSymbol object) | 671 | public T caseAggregation(Aggregation object) |
816 | { | 672 | { |
817 | return null; | 673 | return null; |
818 | } | 674 | } |
819 | 675 | ||
820 | /** | 676 | /** |
821 | * Returns the result of interpreting the object as an instance of '<em>Complex Object</em>'. | 677 | * Returns the result of interpreting the object as an instance of '<em>Call</em>'. |
822 | * <!-- begin-user-doc --> | 678 | * <!-- begin-user-doc --> |
823 | * This implementation returns null; | 679 | * This implementation returns null; |
824 | * returning a non-null result will terminate the switch. | 680 | * returning a non-null result will terminate the switch. |
825 | * <!-- end-user-doc --> | 681 | * <!-- end-user-doc --> |
826 | * @param object the target of the switch. | 682 | * @param object the target of the switch. |
827 | * @return the result of interpreting the object as an instance of '<em>Complex Object</em>'. | 683 | * @return the result of interpreting the object as an instance of '<em>Call</em>'. |
828 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 684 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
829 | * @generated | 685 | * @generated |
830 | */ | 686 | */ |
831 | public T caseComplexObject(ComplexObject object) | 687 | public T caseCall(Call object) |
832 | { | 688 | { |
833 | return null; | 689 | return null; |
834 | } | 690 | } |
835 | 691 | ||
836 | /** | 692 | /** |
837 | * Returns the result of interpreting the object as an instance of '<em>Object</em>'. | 693 | * Returns the result of interpreting the object as an instance of '<em>Argument List</em>'. |
838 | * <!-- begin-user-doc --> | 694 | * <!-- begin-user-doc --> |
839 | * This implementation returns null; | 695 | * This implementation returns null; |
840 | * returning a non-null result will terminate the switch. | 696 | * returning a non-null result will terminate the switch. |
841 | * <!-- end-user-doc --> | 697 | * <!-- end-user-doc --> |
842 | * @param object the target of the switch. | 698 | * @param object the target of the switch. |
843 | * @return the result of interpreting the object as an instance of '<em>Object</em>'. | 699 | * @return the result of interpreting the object as an instance of '<em>Argument List</em>'. |
844 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 700 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
845 | * @generated | 701 | * @generated |
846 | */ | 702 | */ |
847 | public T caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object) | 703 | public T caseArgumentList(ArgumentList object) |
848 | { | 704 | { |
849 | return null; | 705 | return null; |
850 | } | 706 | } |
851 | 707 | ||
852 | /** | 708 | /** |
853 | * Returns the result of interpreting the object as an instance of '<em>Named Object</em>'. | 709 | * Returns the result of interpreting the object as an instance of '<em>Argument</em>'. |
854 | * <!-- begin-user-doc --> | 710 | * <!-- begin-user-doc --> |
855 | * This implementation returns null; | 711 | * This implementation returns null; |
856 | * returning a non-null result will terminate the switch. | 712 | * returning a non-null result will terminate the switch. |
857 | * <!-- end-user-doc --> | 713 | * <!-- end-user-doc --> |
858 | * @param object the target of the switch. | 714 | * @param object the target of the switch. |
859 | * @return the result of interpreting the object as an instance of '<em>Named Object</em>'. | 715 | * @return the result of interpreting the object as an instance of '<em>Argument</em>'. |
860 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 716 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
861 | * @generated | 717 | * @generated |
862 | */ | 718 | */ |
863 | public T caseNamedObject(NamedObject object) | 719 | public T caseArgument(Argument object) |
864 | { | 720 | { |
865 | return null; | 721 | return null; |
866 | } | 722 | } |
867 | 723 | ||
868 | /** | 724 | /** |
869 | * Returns the result of interpreting the object as an instance of '<em>Unnamed Object</em>'. | 725 | * Returns the result of interpreting the object as an instance of '<em>Expression Argument</em>'. |
870 | * <!-- begin-user-doc --> | 726 | * <!-- begin-user-doc --> |
871 | * This implementation returns null; | 727 | * This implementation returns null; |
872 | * returning a non-null result will terminate the switch. | 728 | * returning a non-null result will terminate the switch. |
873 | * <!-- end-user-doc --> | 729 | * <!-- end-user-doc --> |
874 | * @param object the target of the switch. | 730 | * @param object the target of the switch. |
875 | * @return the result of interpreting the object as an instance of '<em>Unnamed Object</em>'. | 731 | * @return the result of interpreting the object as an instance of '<em>Expression Argument</em>'. |
876 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 732 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
877 | * @generated | 733 | * @generated |
878 | */ | 734 | */ |
879 | public T caseUnnamedObject(UnnamedObject object) | 735 | public T caseExpressionArgument(ExpressionArgument object) |
880 | { | 736 | { |
881 | return null; | 737 | return null; |
882 | } | 738 | } |
883 | 739 | ||
884 | /** | 740 | /** |
885 | * Returns the result of interpreting the object as an instance of '<em>Data Object</em>'. | 741 | * Returns the result of interpreting the object as an instance of '<em>Star Argument</em>'. |
886 | * <!-- begin-user-doc --> | 742 | * <!-- begin-user-doc --> |
887 | * This implementation returns null; | 743 | * This implementation returns null; |
888 | * returning a non-null result will terminate the switch. | 744 | * returning a non-null result will terminate the switch. |
889 | * <!-- end-user-doc --> | 745 | * <!-- end-user-doc --> |
890 | * @param object the target of the switch. | 746 | * @param object the target of the switch. |
891 | * @return the result of interpreting the object as an instance of '<em>Data Object</em>'. | 747 | * @return the result of interpreting the object as an instance of '<em>Star Argument</em>'. |
892 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 748 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
893 | * @generated | 749 | * @generated |
894 | */ | 750 | */ |
895 | public T caseDataObject(DataObject object) | 751 | public T caseStarArgument(StarArgument object) |
896 | { | 752 | { |
897 | return null; | 753 | return null; |
898 | } | 754 | } |
899 | 755 | ||
900 | /** | 756 | /** |
901 | * Returns the result of interpreting the object as an instance of '<em>Boolean Object</em>'. | 757 | * Returns the result of interpreting the object as an instance of '<em>Typed Argument</em>'. |
902 | * <!-- begin-user-doc --> | 758 | * <!-- begin-user-doc --> |
903 | * This implementation returns null; | 759 | * This implementation returns null; |
904 | * returning a non-null result will terminate the switch. | 760 | * returning a non-null result will terminate the switch. |
905 | * <!-- end-user-doc --> | 761 | * <!-- end-user-doc --> |
906 | * @param object the target of the switch. | 762 | * @param object the target of the switch. |
907 | * @return the result of interpreting the object as an instance of '<em>Boolean Object</em>'. | 763 | * @return the result of interpreting the object as an instance of '<em>Typed Argument</em>'. |
908 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 764 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
909 | * @generated | 765 | * @generated |
910 | */ | 766 | */ |
911 | public T caseBooleanObject(BooleanObject object) | 767 | public T caseTypedArgument(TypedArgument object) |
912 | { | 768 | { |
913 | return null; | 769 | return null; |
914 | } | 770 | } |
915 | 771 | ||
916 | /** | 772 | /** |
917 | * Returns the result of interpreting the object as an instance of '<em>Int Object</em>'. | 773 | * Returns the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'. |
918 | * <!-- begin-user-doc --> | 774 | * <!-- begin-user-doc --> |
919 | * This implementation returns null; | 775 | * This implementation returns null; |
920 | * returning a non-null result will terminate the switch. | 776 | * returning a non-null result will terminate the switch. |
921 | * <!-- end-user-doc --> | 777 | * <!-- end-user-doc --> |
922 | * @param object the target of the switch. | 778 | * @param object the target of the switch. |
923 | * @return the result of interpreting the object as an instance of '<em>Int Object</em>'. | 779 | * @return the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'. |
924 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 780 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
925 | * @generated | 781 | * @generated |
926 | */ | 782 | */ |
927 | public T caseIntObject(IntObject object) | 783 | public T caseTypedStarArgument(TypedStarArgument object) |
928 | { | 784 | { |
929 | return null; | 785 | return null; |
930 | } | 786 | } |
931 | 787 | ||
932 | /** | 788 | /** |
933 | * Returns the result of interpreting the object as an instance of '<em>Real Object</em>'. | 789 | * Returns the result of interpreting the object as an instance of '<em>Reference</em>'. |
934 | * <!-- begin-user-doc --> | 790 | * <!-- begin-user-doc --> |
935 | * This implementation returns null; | 791 | * This implementation returns null; |
936 | * returning a non-null result will terminate the switch. | 792 | * returning a non-null result will terminate the switch. |
937 | * <!-- end-user-doc --> | 793 | * <!-- end-user-doc --> |
938 | * @param object the target of the switch. | 794 | * @param object the target of the switch. |
939 | * @return the result of interpreting the object as an instance of '<em>Real Object</em>'. | 795 | * @return the result of interpreting the object as an instance of '<em>Reference</em>'. |
940 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 796 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
941 | * @generated | 797 | * @generated |
942 | */ | 798 | */ |
943 | public T caseRealObject(RealObject object) | 799 | public T caseReference(Reference object) |
944 | { | 800 | { |
945 | return null; | 801 | return null; |
946 | } | 802 | } |
947 | 803 | ||
948 | /** | 804 | /** |
949 | * Returns the result of interpreting the object as an instance of '<em>String Object</em>'. | 805 | * Returns the result of interpreting the object as an instance of '<em>Interval</em>'. |
950 | * <!-- begin-user-doc --> | 806 | * <!-- begin-user-doc --> |
951 | * This implementation returns null; | 807 | * This implementation returns null; |
952 | * returning a non-null result will terminate the switch. | 808 | * returning a non-null result will terminate the switch. |
953 | * <!-- end-user-doc --> | 809 | * <!-- end-user-doc --> |
954 | * @param object the target of the switch. | 810 | * @param object the target of the switch. |
955 | * @return the result of interpreting the object as an instance of '<em>String Object</em>'. | 811 | * @return the result of interpreting the object as an instance of '<em>Interval</em>'. |
956 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 812 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
957 | * @generated | 813 | * @generated |
958 | */ | 814 | */ |
959 | public T caseStringObject(StringObject object) | 815 | public T caseInterval(Interval object) |
960 | { | 816 | { |
961 | return null; | 817 | return null; |
962 | } | 818 | } |
963 | 819 | ||
964 | /** | 820 | /** |
965 | * Returns the result of interpreting the object as an instance of '<em>Predicate</em>'. | 821 | * Returns the result of interpreting the object as an instance of '<em>Literal</em>'. |
966 | * <!-- begin-user-doc --> | ||
967 | * This implementation returns null; | ||
968 | * returning a non-null result will terminate the switch. | ||
969 | * <!-- end-user-doc --> | ||
970 | * @param object the target of the switch. | ||
971 | * @return the result of interpreting the object as an instance of '<em>Predicate</em>'. | ||
972 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
973 | * @generated | ||
974 | */ | ||
975 | public T casePredicate(Predicate object) | ||
976 | { | ||
977 | return null; | ||
978 | } | ||
979 | |||
980 | /** | ||
981 | * Returns the result of interpreting the object as an instance of '<em>Parameter</em>'. | ||
982 | * <!-- begin-user-doc --> | ||
983 | * This implementation returns null; | ||
984 | * returning a non-null result will terminate the switch. | ||
985 | * <!-- end-user-doc --> | ||
986 | * @param object the target of the switch. | ||
987 | * @return the result of interpreting the object as an instance of '<em>Parameter</em>'. | ||
988 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
989 | * @generated | ||
990 | */ | ||
991 | public T caseParameter(Parameter object) | ||
992 | { | ||
993 | return null; | ||
994 | } | ||
995 | |||
996 | /** | ||
997 | * Returns the result of interpreting the object as an instance of '<em>Pattern Body</em>'. | ||
998 | * <!-- begin-user-doc --> | ||
999 | * This implementation returns null; | ||
1000 | * returning a non-null result will terminate the switch. | ||
1001 | * <!-- end-user-doc --> | ||
1002 | * @param object the target of the switch. | ||
1003 | * @return the result of interpreting the object as an instance of '<em>Pattern Body</em>'. | ||
1004 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1005 | * @generated | ||
1006 | */ | ||
1007 | public T casePatternBody(PatternBody object) | ||
1008 | { | ||
1009 | return null; | ||
1010 | } | ||
1011 | |||
1012 | /** | ||
1013 | * Returns the result of interpreting the object as an instance of '<em>Polarity</em>'. | ||
1014 | * <!-- begin-user-doc --> | 822 | * <!-- begin-user-doc --> |
1015 | * This implementation returns null; | 823 | * This implementation returns null; |
1016 | * returning a non-null result will terminate the switch. | 824 | * returning a non-null result will terminate the switch. |
1017 | * <!-- end-user-doc --> | 825 | * <!-- end-user-doc --> |
1018 | * @param object the target of the switch. | 826 | * @param object the target of the switch. |
1019 | * @return the result of interpreting the object as an instance of '<em>Polarity</em>'. | 827 | * @return the result of interpreting the object as an instance of '<em>Literal</em>'. |
1020 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 828 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1021 | * @generated | 829 | * @generated |
1022 | */ | 830 | */ |
1023 | public T casePolarity(Polarity object) | 831 | public T caseLiteral(Literal object) |
1024 | { | 832 | { |
1025 | return null; | 833 | return null; |
1026 | } | 834 | } |
1027 | 835 | ||
1028 | /** | 836 | /** |
1029 | * Returns the result of interpreting the object as an instance of '<em>Constraint</em>'. | 837 | * Returns the result of interpreting the object as an instance of '<em>Logic Literal</em>'. |
1030 | * <!-- begin-user-doc --> | 838 | * <!-- begin-user-doc --> |
1031 | * This implementation returns null; | 839 | * This implementation returns null; |
1032 | * returning a non-null result will terminate the switch. | 840 | * returning a non-null result will terminate the switch. |
1033 | * <!-- end-user-doc --> | 841 | * <!-- end-user-doc --> |
1034 | * @param object the target of the switch. | 842 | * @param object the target of the switch. |
1035 | * @return the result of interpreting the object as an instance of '<em>Constraint</em>'. | 843 | * @return the result of interpreting the object as an instance of '<em>Logic Literal</em>'. |
1036 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 844 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1037 | * @generated | 845 | * @generated |
1038 | */ | 846 | */ |
1039 | public T caseConstraint(Constraint object) | 847 | public T caseLogicLiteral(LogicLiteral object) |
1040 | { | 848 | { |
1041 | return null; | 849 | return null; |
1042 | } | 850 | } |
1043 | 851 | ||
1044 | /** | 852 | /** |
1045 | * Returns the result of interpreting the object as an instance of '<em>Closure Type</em>'. | 853 | * Returns the result of interpreting the object as an instance of '<em>Numeric Literal</em>'. |
1046 | * <!-- begin-user-doc --> | 854 | * <!-- begin-user-doc --> |
1047 | * This implementation returns null; | 855 | * This implementation returns null; |
1048 | * returning a non-null result will terminate the switch. | 856 | * returning a non-null result will terminate the switch. |
1049 | * <!-- end-user-doc --> | 857 | * <!-- end-user-doc --> |
1050 | * @param object the target of the switch. | 858 | * @param object the target of the switch. |
1051 | * @return the result of interpreting the object as an instance of '<em>Closure Type</em>'. | 859 | * @return the result of interpreting the object as an instance of '<em>Numeric Literal</em>'. |
1052 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 860 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1053 | * @generated | 861 | * @generated |
1054 | */ | 862 | */ |
1055 | public T caseClosureType(ClosureType object) | 863 | public T caseNumericLiteral(NumericLiteral object) |
1056 | { | 864 | { |
1057 | return null; | 865 | return null; |
1058 | } | 866 | } |
1059 | 867 | ||
1060 | /** | 868 | /** |
1061 | * Returns the result of interpreting the object as an instance of '<em>Literal</em>'. | 869 | * Returns the result of interpreting the object as an instance of '<em>Infinity Literal</em>'. |
1062 | * <!-- begin-user-doc --> | 870 | * <!-- begin-user-doc --> |
1063 | * This implementation returns null; | 871 | * This implementation returns null; |
1064 | * returning a non-null result will terminate the switch. | 872 | * returning a non-null result will terminate the switch. |
1065 | * <!-- end-user-doc --> | 873 | * <!-- end-user-doc --> |
1066 | * @param object the target of the switch. | 874 | * @param object the target of the switch. |
1067 | * @return the result of interpreting the object as an instance of '<em>Literal</em>'. | 875 | * @return the result of interpreting the object as an instance of '<em>Infinity Literal</em>'. |
1068 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 876 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1069 | * @generated | 877 | * @generated |
1070 | */ | 878 | */ |
1071 | public T caseLiteral(Literal object) | 879 | public T caseInfinityLiteral(InfinityLiteral object) |
1072 | { | 880 | { |
1073 | return null; | 881 | return null; |
1074 | } | 882 | } |
1075 | 883 | ||
1076 | /** | 884 | /** |
1077 | * Returns the result of interpreting the object as an instance of '<em>Variable</em>'. | 885 | * Returns the result of interpreting the object as an instance of '<em>Empty Interval Literal</em>'. |
1078 | * <!-- begin-user-doc --> | 886 | * <!-- begin-user-doc --> |
1079 | * This implementation returns null; | 887 | * This implementation returns null; |
1080 | * returning a non-null result will terminate the switch. | 888 | * returning a non-null result will terminate the switch. |
1081 | * <!-- end-user-doc --> | 889 | * <!-- end-user-doc --> |
1082 | * @param object the target of the switch. | 890 | * @param object the target of the switch. |
1083 | * @return the result of interpreting the object as an instance of '<em>Variable</em>'. | 891 | * @return the result of interpreting the object as an instance of '<em>Empty Interval Literal</em>'. |
1084 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 892 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1085 | * @generated | 893 | * @generated |
1086 | */ | 894 | */ |
1087 | public T caseVariable(Variable object) | 895 | public T caseEmptyIntervalLiteral(EmptyIntervalLiteral object) |
1088 | { | 896 | { |
1089 | return null; | 897 | return null; |
1090 | } | 898 | } |
1091 | 899 | ||
1092 | /** | 900 | /** |
1093 | * Returns the result of interpreting the object as an instance of '<em>All Instances</em>'. | 901 | * Returns the result of interpreting the object as an instance of '<em>String Literal</em>'. |
1094 | * <!-- begin-user-doc --> | 902 | * <!-- begin-user-doc --> |
1095 | * This implementation returns null; | 903 | * This implementation returns null; |
1096 | * returning a non-null result will terminate the switch. | 904 | * returning a non-null result will terminate the switch. |
1097 | * <!-- end-user-doc --> | 905 | * <!-- end-user-doc --> |
1098 | * @param object the target of the switch. | 906 | * @param object the target of the switch. |
1099 | * @return the result of interpreting the object as an instance of '<em>All Instances</em>'. | 907 | * @return the result of interpreting the object as an instance of '<em>String Literal</em>'. |
1100 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 908 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1101 | * @generated | 909 | * @generated |
1102 | */ | 910 | */ |
1103 | public T caseAllInstances(AllInstances object) | 911 | public T caseStringLiteral(StringLiteral object) |
1104 | { | 912 | { |
1105 | return null; | 913 | return null; |
1106 | } | 914 | } |
1107 | 915 | ||
1108 | /** | 916 | /** |
1109 | * Returns the result of interpreting the object as an instance of '<em>All Objects</em>'. | 917 | * Returns the result of interpreting the object as an instance of '<em>Member Definition</em>'. |
1110 | * <!-- begin-user-doc --> | 918 | * <!-- begin-user-doc --> |
1111 | * This implementation returns null; | 919 | * This implementation returns null; |
1112 | * returning a non-null result will terminate the switch. | 920 | * returning a non-null result will terminate the switch. |
1113 | * <!-- end-user-doc --> | 921 | * <!-- end-user-doc --> |
1114 | * @param object the target of the switch. | 922 | * @param object the target of the switch. |
1115 | * @return the result of interpreting the object as an instance of '<em>All Objects</em>'. | 923 | * @return the result of interpreting the object as an instance of '<em>Member Definition</em>'. |
1116 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 924 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1117 | * @generated | 925 | * @generated |
1118 | */ | 926 | */ |
1119 | public T caseAllObjects(AllObjects object) | 927 | public T caseMemberDefinition(MemberDefinition object) |
1120 | { | 928 | { |
1121 | return null; | 929 | return null; |
1122 | } | 930 | } |
1123 | 931 | ||
1124 | /** | 932 | /** |
1125 | * Returns the result of interpreting the object as an instance of '<em>Default Interpretation</em>'. | 933 | * Returns the result of interpreting the object as an instance of '<em>Multiplicity</em>'. |
1126 | * <!-- begin-user-doc --> | 934 | * <!-- begin-user-doc --> |
1127 | * This implementation returns null; | 935 | * This implementation returns null; |
1128 | * returning a non-null result will terminate the switch. | 936 | * returning a non-null result will terminate the switch. |
1129 | * <!-- end-user-doc --> | 937 | * <!-- end-user-doc --> |
1130 | * @param object the target of the switch. | 938 | * @param object the target of the switch. |
1131 | * @return the result of interpreting the object as an instance of '<em>Default Interpretation</em>'. | 939 | * @return the result of interpreting the object as an instance of '<em>Multiplicity</em>'. |
1132 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 940 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1133 | * @generated | 941 | * @generated |
1134 | */ | 942 | */ |
1135 | public T caseDefaultInterpretation(DefaultInterpretation object) | 943 | public T caseMultiplicity(Multiplicity object) |
1136 | { | 944 | { |
1137 | return null; | 945 | return null; |
1138 | } | 946 | } |
1139 | 947 | ||
1140 | /** | 948 | /** |
1141 | * Returns the result of interpreting the object as an instance of '<em>CD Interpretation</em>'. | 949 | * Returns the result of interpreting the object as an instance of '<em>Many Multiplicity</em>'. |
1142 | * <!-- begin-user-doc --> | 950 | * <!-- begin-user-doc --> |
1143 | * This implementation returns null; | 951 | * This implementation returns null; |
1144 | * returning a non-null result will terminate the switch. | 952 | * returning a non-null result will terminate the switch. |
1145 | * <!-- end-user-doc --> | 953 | * <!-- end-user-doc --> |
1146 | * @param object the target of the switch. | 954 | * @param object the target of the switch. |
1147 | * @return the result of interpreting the object as an instance of '<em>CD Interpretation</em>'. | 955 | * @return the result of interpreting the object as an instance of '<em>Many Multiplicity</em>'. |
1148 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 956 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1149 | * @generated | 957 | * @generated |
1150 | */ | 958 | */ |
1151 | public T caseCDInterpretation(CDInterpretation object) | 959 | public T caseManyMultiplicity(ManyMultiplicity object) |
1152 | { | 960 | { |
1153 | return null; | 961 | return null; |
1154 | } | 962 | } |
1155 | 963 | ||
1156 | /** | 964 | /** |
1157 | * Returns the result of interpreting the object as an instance of '<em>Class Interpretation</em>'. | 965 | * Returns the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'. |
1158 | * <!-- begin-user-doc --> | 966 | * <!-- begin-user-doc --> |
1159 | * This implementation returns null; | 967 | * This implementation returns null; |
1160 | * returning a non-null result will terminate the switch. | 968 | * returning a non-null result will terminate the switch. |
1161 | * <!-- end-user-doc --> | 969 | * <!-- end-user-doc --> |
1162 | * @param object the target of the switch. | 970 | * @param object the target of the switch. |
1163 | * @return the result of interpreting the object as an instance of '<em>Class Interpretation</em>'. | 971 | * @return the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'. |
1164 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 972 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1165 | * @generated | 973 | * @generated |
1166 | */ | 974 | */ |
1167 | public T caseClassInterpretation(ClassInterpretation object) | 975 | public T caseExactMultiplicity(ExactMultiplicity object) |
1168 | { | 976 | { |
1169 | return null; | 977 | return null; |
1170 | } | 978 | } |
1171 | 979 | ||
1172 | /** | 980 | /** |
1173 | * Returns the result of interpreting the object as an instance of '<em>Enum Interpretation</em>'. | 981 | * Returns the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'. |
1174 | * <!-- begin-user-doc --> | 982 | * <!-- begin-user-doc --> |
1175 | * This implementation returns null; | 983 | * This implementation returns null; |
1176 | * returning a non-null result will terminate the switch. | 984 | * returning a non-null result will terminate the switch. |
1177 | * <!-- end-user-doc --> | 985 | * <!-- end-user-doc --> |
1178 | * @param object the target of the switch. | 986 | * @param object the target of the switch. |
1179 | * @return the result of interpreting the object as an instance of '<em>Enum Interpretation</em>'. | 987 | * @return the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'. |
1180 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 988 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1181 | * @generated | 989 | * @generated |
1182 | */ | 990 | */ |
1183 | public T caseEnumInterpretation(EnumInterpretation object) | 991 | public T caseBoundedMultiplicity(BoundedMultiplicity object) |
1184 | { | 992 | { |
1185 | return null; | 993 | return null; |
1186 | } | 994 | } |
1187 | 995 | ||
1188 | /** | 996 | /** |
1189 | * Returns the result of interpreting the object as an instance of '<em>Field Relation Interpretation</em>'. | 997 | * Returns the result of interpreting the object as an instance of '<em>Scope Definition</em>'. |
1190 | * <!-- begin-user-doc --> | 998 | * <!-- begin-user-doc --> |
1191 | * This implementation returns null; | 999 | * This implementation returns null; |
1192 | * returning a non-null result will terminate the switch. | 1000 | * returning a non-null result will terminate the switch. |
1193 | * <!-- end-user-doc --> | 1001 | * <!-- end-user-doc --> |
1194 | * @param object the target of the switch. | 1002 | * @param object the target of the switch. |
1195 | * @return the result of interpreting the object as an instance of '<em>Field Relation Interpretation</em>'. | 1003 | * @return the result of interpreting the object as an instance of '<em>Scope Definition</em>'. |
1196 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1004 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1197 | * @generated | 1005 | * @generated |
1198 | */ | 1006 | */ |
1199 | public T caseFieldRelationInterpretation(FieldRelationInterpretation object) | 1007 | public T caseScopeDefinition(ScopeDefinition object) |
1200 | { | 1008 | { |
1201 | return null; | 1009 | return null; |
1202 | } | 1010 | } |
1203 | 1011 | ||
1204 | /** | 1012 | /** |
1205 | * Returns the result of interpreting the object as an instance of '<em>Global Relation Interpretation</em>'. | 1013 | * Returns the result of interpreting the object as an instance of '<em>Exact Scope Definition</em>'. |
1206 | * <!-- begin-user-doc --> | 1014 | * <!-- begin-user-doc --> |
1207 | * This implementation returns null; | 1015 | * This implementation returns null; |
1208 | * returning a non-null result will terminate the switch. | 1016 | * returning a non-null result will terminate the switch. |
1209 | * <!-- end-user-doc --> | 1017 | * <!-- end-user-doc --> |
1210 | * @param object the target of the switch. | 1018 | * @param object the target of the switch. |
1211 | * @return the result of interpreting the object as an instance of '<em>Global Relation Interpretation</em>'. | 1019 | * @return the result of interpreting the object as an instance of '<em>Exact Scope Definition</em>'. |
1212 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1020 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1213 | * @generated | 1021 | * @generated |
1214 | */ | 1022 | */ |
1215 | public T caseGlobalRelationInterpretation(GlobalRelationInterpretation object) | 1023 | public T caseExactScopeDefinition(ExactScopeDefinition object) |
1216 | { | 1024 | { |
1217 | return null; | 1025 | return null; |
1218 | } | 1026 | } |
1219 | 1027 | ||
1220 | /** | 1028 | /** |
1221 | * Returns the result of interpreting the object as an instance of '<em>Multiplicity Definition</em>'. | 1029 | * Returns the result of interpreting the object as an instance of '<em>Bounded Scope Definition</em>'. |
1222 | * <!-- begin-user-doc --> | 1030 | * <!-- begin-user-doc --> |
1223 | * This implementation returns null; | 1031 | * This implementation returns null; |
1224 | * returning a non-null result will terminate the switch. | 1032 | * returning a non-null result will terminate the switch. |
1225 | * <!-- end-user-doc --> | 1033 | * <!-- end-user-doc --> |
1226 | * @param object the target of the switch. | 1034 | * @param object the target of the switch. |
1227 | * @return the result of interpreting the object as an instance of '<em>Multiplicity Definition</em>'. | 1035 | * @return the result of interpreting the object as an instance of '<em>Bounded Scope Definition</em>'. |
1228 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1036 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1229 | * @generated | 1037 | * @generated |
1230 | */ | 1038 | */ |
1231 | public T caseMultiplicityDefinition(MultiplicityDefinition object) | 1039 | public T caseBoundedScopeDefinition(BoundedScopeDefinition object) |
1232 | { | 1040 | { |
1233 | return null; | 1041 | return null; |
1234 | } | 1042 | } |
1235 | 1043 | ||
1236 | /** | 1044 | /** |
1237 | * Returns the result of interpreting the object as an instance of '<em>Boolean True</em>'. | 1045 | * Returns the result of interpreting the object as an instance of '<em>Lower Bounded Scope Definition</em>'. |
1238 | * <!-- begin-user-doc --> | 1046 | * <!-- begin-user-doc --> |
1239 | * This implementation returns null; | 1047 | * This implementation returns null; |
1240 | * returning a non-null result will terminate the switch. | 1048 | * returning a non-null result will terminate the switch. |
1241 | * <!-- end-user-doc --> | 1049 | * <!-- end-user-doc --> |
1242 | * @param object the target of the switch. | 1050 | * @param object the target of the switch. |
1243 | * @return the result of interpreting the object as an instance of '<em>Boolean True</em>'. | 1051 | * @return the result of interpreting the object as an instance of '<em>Lower Bounded Scope Definition</em>'. |
1244 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1052 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1245 | * @generated | 1053 | * @generated |
1246 | */ | 1054 | */ |
1247 | public T caseBooleanTrue(BooleanTrue object) | 1055 | public T caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object) |
1248 | { | 1056 | { |
1249 | return null; | 1057 | return null; |
1250 | } | 1058 | } |
1251 | 1059 | ||
1252 | /** | 1060 | /** |
1253 | * Returns the result of interpreting the object as an instance of '<em>Boolean False</em>'. | 1061 | * Returns the result of interpreting the object as an instance of '<em>Objective Definition</em>'. |
1254 | * <!-- begin-user-doc --> | 1062 | * <!-- begin-user-doc --> |
1255 | * This implementation returns null; | 1063 | * This implementation returns null; |
1256 | * returning a non-null result will terminate the switch. | 1064 | * returning a non-null result will terminate the switch. |
1257 | * <!-- end-user-doc --> | 1065 | * <!-- end-user-doc --> |
1258 | * @param object the target of the switch. | 1066 | * @param object the target of the switch. |
1259 | * @return the result of interpreting the object as an instance of '<em>Boolean False</em>'. | 1067 | * @return the result of interpreting the object as an instance of '<em>Objective Definition</em>'. |
1260 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1068 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1261 | * @generated | 1069 | * @generated |
1262 | */ | 1070 | */ |
1263 | public T caseBooleanFalse(BooleanFalse object) | 1071 | public T caseObjectiveDefinition(ObjectiveDefinition object) |
1264 | { | 1072 | { |
1265 | return null; | 1073 | return null; |
1266 | } | 1074 | } |
1267 | 1075 | ||
1268 | /** | 1076 | /** |
1269 | * Returns the result of interpreting the object as an instance of '<em>True</em>'. | 1077 | * Returns the result of interpreting the object as an instance of '<em>Named Element</em>'. |
1270 | * <!-- begin-user-doc --> | 1078 | * <!-- begin-user-doc --> |
1271 | * This implementation returns null; | 1079 | * This implementation returns null; |
1272 | * returning a non-null result will terminate the switch. | 1080 | * returning a non-null result will terminate the switch. |
1273 | * <!-- end-user-doc --> | 1081 | * <!-- end-user-doc --> |
1274 | * @param object the target of the switch. | 1082 | * @param object the target of the switch. |
1275 | * @return the result of interpreting the object as an instance of '<em>True</em>'. | 1083 | * @return the result of interpreting the object as an instance of '<em>Named Element</em>'. |
1276 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1084 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1277 | * @generated | 1085 | * @generated |
1278 | */ | 1086 | */ |
1279 | public T caseTrue(True object) | 1087 | public T caseNamedElement(NamedElement object) |
1280 | { | 1088 | { |
1281 | return null; | 1089 | return null; |
1282 | } | 1090 | } |
1283 | 1091 | ||
1284 | /** | 1092 | /** |
1285 | * Returns the result of interpreting the object as an instance of '<em>False</em>'. | 1093 | * Returns the result of interpreting the object as an instance of '<em>Assertion</em>'. |
1286 | * <!-- begin-user-doc --> | 1094 | * <!-- begin-user-doc --> |
1287 | * This implementation returns null; | 1095 | * This implementation returns null; |
1288 | * returning a non-null result will terminate the switch. | 1096 | * returning a non-null result will terminate the switch. |
1289 | * <!-- end-user-doc --> | 1097 | * <!-- end-user-doc --> |
1290 | * @param object the target of the switch. | 1098 | * @param object the target of the switch. |
1291 | * @return the result of interpreting the object as an instance of '<em>False</em>'. | 1099 | * @return the result of interpreting the object as an instance of '<em>Assertion</em>'. |
1292 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1100 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1293 | * @generated | 1101 | * @generated |
1294 | */ | 1102 | */ |
1295 | public T caseFalse(False object) | 1103 | public T caseAssertion(Assertion object) |
1296 | { | 1104 | { |
1297 | return null; | 1105 | return null; |
1298 | } | 1106 | } |
1299 | 1107 | ||
1300 | /** | 1108 | /** |
1301 | * Returns the result of interpreting the object as an instance of '<em>Unknown</em>'. | 1109 | * Returns the result of interpreting the object as an instance of '<em>Disjunction</em>'. |
1302 | * <!-- begin-user-doc --> | 1110 | * <!-- begin-user-doc --> |
1303 | * This implementation returns null; | 1111 | * This implementation returns null; |
1304 | * returning a non-null result will terminate the switch. | 1112 | * returning a non-null result will terminate the switch. |
1305 | * <!-- end-user-doc --> | 1113 | * <!-- end-user-doc --> |
1306 | * @param object the target of the switch. | 1114 | * @param object the target of the switch. |
1307 | * @return the result of interpreting the object as an instance of '<em>Unknown</em>'. | 1115 | * @return the result of interpreting the object as an instance of '<em>Disjunction</em>'. |
1308 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1116 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1309 | * @generated | 1117 | * @generated |
1310 | */ | 1118 | */ |
1311 | public T caseUnknown(Unknown object) | 1119 | public T caseDisjunction(Disjunction object) |
1312 | { | 1120 | { |
1313 | return null; | 1121 | return null; |
1314 | } | 1122 | } |
1315 | 1123 | ||
1316 | /** | 1124 | /** |
1317 | * Returns the result of interpreting the object as an instance of '<em>Error</em>'. | 1125 | * Returns the result of interpreting the object as an instance of '<em>Switch</em>'. |
1318 | * <!-- begin-user-doc --> | 1126 | * <!-- begin-user-doc --> |
1319 | * This implementation returns null; | 1127 | * This implementation returns null; |
1320 | * returning a non-null result will terminate the switch. | 1128 | * returning a non-null result will terminate the switch. |
1321 | * <!-- end-user-doc --> | 1129 | * <!-- end-user-doc --> |
1322 | * @param object the target of the switch. | 1130 | * @param object the target of the switch. |
1323 | * @return the result of interpreting the object as an instance of '<em>Error</em>'. | 1131 | * @return the result of interpreting the object as an instance of '<em>Switch</em>'. |
1324 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1132 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1325 | * @generated | 1133 | * @generated |
1326 | */ | 1134 | */ |
1327 | public T caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object) | 1135 | public T caseSwitch(org.eclipse.viatra.solver.language.solverLanguage.Switch object) |
1328 | { | 1136 | { |
1329 | return null; | 1137 | return null; |
1330 | } | 1138 | } |
1331 | 1139 | ||
1332 | /** | 1140 | /** |
1333 | * Returns the result of interpreting the object as an instance of '<em>Positive</em>'. | 1141 | * Returns the result of interpreting the object as an instance of '<em>Conjunction</em>'. |
1334 | * <!-- begin-user-doc --> | 1142 | * <!-- begin-user-doc --> |
1335 | * This implementation returns null; | 1143 | * This implementation returns null; |
1336 | * returning a non-null result will terminate the switch. | 1144 | * returning a non-null result will terminate the switch. |
1337 | * <!-- end-user-doc --> | 1145 | * <!-- end-user-doc --> |
1338 | * @param object the target of the switch. | 1146 | * @param object the target of the switch. |
1339 | * @return the result of interpreting the object as an instance of '<em>Positive</em>'. | 1147 | * @return the result of interpreting the object as an instance of '<em>Conjunction</em>'. |
1340 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1148 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1341 | * @generated | 1149 | * @generated |
1342 | */ | 1150 | */ |
1343 | public T casePositive(Positive object) | 1151 | public T caseConjunction(Conjunction object) |
1344 | { | 1152 | { |
1345 | return null; | 1153 | return null; |
1346 | } | 1154 | } |
1347 | 1155 | ||
1348 | /** | 1156 | /** |
1349 | * Returns the result of interpreting the object as an instance of '<em>Negative</em>'. | 1157 | * Returns the result of interpreting the object as an instance of '<em>Comparison</em>'. |
1350 | * <!-- begin-user-doc --> | 1158 | * <!-- begin-user-doc --> |
1351 | * This implementation returns null; | 1159 | * This implementation returns null; |
1352 | * returning a non-null result will terminate the switch. | 1160 | * returning a non-null result will terminate the switch. |
1353 | * <!-- end-user-doc --> | 1161 | * <!-- end-user-doc --> |
1354 | * @param object the target of the switch. | 1162 | * @param object the target of the switch. |
1355 | * @return the result of interpreting the object as an instance of '<em>Negative</em>'. | 1163 | * @return the result of interpreting the object as an instance of '<em>Comparison</em>'. |
1356 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1164 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1357 | * @generated | 1165 | * @generated |
1358 | */ | 1166 | */ |
1359 | public T caseNegative(Negative object) | 1167 | public T caseComparison(Comparison object) |
1360 | { | 1168 | { |
1361 | return null; | 1169 | return null; |
1362 | } | 1170 | } |
1363 | 1171 | ||
1364 | /** | 1172 | /** |
1365 | * Returns the result of interpreting the object as an instance of '<em>Reflexive Closure</em>'. | 1173 | * Returns the result of interpreting the object as an instance of '<em>Binary Expression</em>'. |
1366 | * <!-- begin-user-doc --> | 1174 | * <!-- begin-user-doc --> |
1367 | * This implementation returns null; | 1175 | * This implementation returns null; |
1368 | * returning a non-null result will terminate the switch. | 1176 | * returning a non-null result will terminate the switch. |
1369 | * <!-- end-user-doc --> | 1177 | * <!-- end-user-doc --> |
1370 | * @param object the target of the switch. | 1178 | * @param object the target of the switch. |
1371 | * @return the result of interpreting the object as an instance of '<em>Reflexive Closure</em>'. | 1179 | * @return the result of interpreting the object as an instance of '<em>Binary Expression</em>'. |
1372 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1180 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1373 | * @generated | 1181 | * @generated |
1374 | */ | 1182 | */ |
1375 | public T caseReflexiveClosure(ReflexiveClosure object) | 1183 | public T caseBinaryExpression(BinaryExpression object) |
1376 | { | 1184 | { |
1377 | return null; | 1185 | return null; |
1378 | } | 1186 | } |
1379 | 1187 | ||
1380 | /** | 1188 | /** |
1381 | * Returns the result of interpreting the object as an instance of '<em>Irreflexive Closure</em>'. | 1189 | * Returns the result of interpreting the object as an instance of '<em>Unary Expression</em>'. |
1382 | * <!-- begin-user-doc --> | 1190 | * <!-- begin-user-doc --> |
1383 | * This implementation returns null; | 1191 | * This implementation returns null; |
1384 | * returning a non-null result will terminate the switch. | 1192 | * returning a non-null result will terminate the switch. |
1385 | * <!-- end-user-doc --> | 1193 | * <!-- end-user-doc --> |
1386 | * @param object the target of the switch. | 1194 | * @param object the target of the switch. |
1387 | * @return the result of interpreting the object as an instance of '<em>Irreflexive Closure</em>'. | 1195 | * @return the result of interpreting the object as an instance of '<em>Unary Expression</em>'. |
1388 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 1196 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
1389 | * @generated | 1197 | * @generated |
1390 | */ | 1198 | */ |
1391 | public T caseIrreflexiveClosure(IrreflexiveClosure object) | 1199 | public T caseUnaryExpression(UnaryExpression object) |
1392 | { | 1200 | { |
1393 | return null; | 1201 | return null; |
1394 | } | 1202 | } |