aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java614
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java856
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 */
4package org.eclipse.viatra.solver.language.solverLanguage.util; 4package org.eclipse.viatra.solver.language.solverLanguage.util;
5 5
@@ -10,57 +10,7 @@ import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
10 10
11import org.eclipse.emf.ecore.EObject; 11import org.eclipse.emf.ecore.EObject;
12 12
13import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; 13import org.eclipse.viatra.solver.language.solverLanguage.*;
14import org.eclipse.viatra.solver.language.solverLanguage.AllObjects;
15import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation;
16import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse;
17import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject;
18import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol;
19import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue;
20import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue;
21import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation;
22import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation;
23import org.eclipse.viatra.solver.language.solverLanguage.ClosureType;
24import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject;
25import org.eclipse.viatra.solver.language.solverLanguage.Constraint;
26import org.eclipse.viatra.solver.language.solverLanguage.DataObject;
27import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol;
28import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation;
29import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation;
30import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol;
31import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
32import org.eclipse.viatra.solver.language.solverLanguage.False;
33import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
34import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
35import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
36import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
37import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
38import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
39import org.eclipse.viatra.solver.language.solverLanguage.Literal;
40import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
41import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
42import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
43import org.eclipse.viatra.solver.language.solverLanguage.Negative;
44import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
45import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
46import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
47import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
48import org.eclipse.viatra.solver.language.solverLanguage.Positive;
49import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
50import org.eclipse.viatra.solver.language.solverLanguage.Problem;
51import org.eclipse.viatra.solver.language.solverLanguage.RealObject;
52import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;
53import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
54import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
55import org.eclipse.viatra.solver.language.solverLanguage.Statement;
56import org.eclipse.viatra.solver.language.solverLanguage.StringObject;
57import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;
58import org.eclipse.viatra.solver.language.solverLanguage.Symbol;
59import org.eclipse.viatra.solver.language.solverLanguage.True;
60import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;
61import org.eclipse.viatra.solver.language.solverLanguage.Unknown;
62import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;
63import 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 */
4package org.eclipse.viatra.solver.language.solverLanguage.util; 4package org.eclipse.viatra.solver.language.solverLanguage.util;
5 5
@@ -8,57 +8,7 @@ import org.eclipse.emf.ecore.EPackage;
8 8
9import org.eclipse.emf.ecore.util.Switch; 9import org.eclipse.emf.ecore.util.Switch;
10 10
11import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; 11import org.eclipse.viatra.solver.language.solverLanguage.*;
12import org.eclipse.viatra.solver.language.solverLanguage.AllObjects;
13import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation;
14import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse;
15import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject;
16import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol;
17import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue;
18import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue;
19import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation;
20import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation;
21import org.eclipse.viatra.solver.language.solverLanguage.ClosureType;
22import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject;
23import org.eclipse.viatra.solver.language.solverLanguage.Constraint;
24import org.eclipse.viatra.solver.language.solverLanguage.DataObject;
25import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol;
26import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation;
27import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation;
28import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol;
29import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
30import org.eclipse.viatra.solver.language.solverLanguage.False;
31import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
32import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
33import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
34import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
35import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
36import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
37import org.eclipse.viatra.solver.language.solverLanguage.Literal;
38import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
39import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
40import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
41import org.eclipse.viatra.solver.language.solverLanguage.Negative;
42import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
43import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
44import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
45import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
46import org.eclipse.viatra.solver.language.solverLanguage.Positive;
47import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
48import org.eclipse.viatra.solver.language.solverLanguage.Problem;
49import org.eclipse.viatra.solver.language.solverLanguage.RealObject;
50import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;
51import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
52import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
53import org.eclipse.viatra.solver.language.solverLanguage.Statement;
54import org.eclipse.viatra.solver.language.solverLanguage.StringObject;
55import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;
56import org.eclipse.viatra.solver.language.solverLanguage.Symbol;
57import org.eclipse.viatra.solver.language.solverLanguage.True;
58import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;
59import org.eclipse.viatra.solver.language.solverLanguage.Unknown;
60import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;
61import 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 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 15:18:07 +0000