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.java1245
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java1464
2 files changed, 2709 insertions, 0 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
new file mode 100644
index 00000000..e76e359a
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java
@@ -0,0 +1,1245 @@
1/**
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.solverLanguage.util;
5
6import org.eclipse.emf.common.notify.Adapter;
7import org.eclipse.emf.common.notify.Notifier;
8
9import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
10
11import org.eclipse.emf.ecore.EObject;
12
13import org.eclipse.viatra.solver.language.solverLanguage.AllInstances;
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.ErrorPredicate;
32import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
33import org.eclipse.viatra.solver.language.solverLanguage.False;
34import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
35import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
36import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
37import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
38import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
39import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
40import org.eclipse.viatra.solver.language.solverLanguage.Literal;
41import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
42import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
43import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
44import org.eclipse.viatra.solver.language.solverLanguage.Negative;
45import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
46import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
47import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
48import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
49import org.eclipse.viatra.solver.language.solverLanguage.Positive;
50import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
51import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol;
52import org.eclipse.viatra.solver.language.solverLanguage.Problem;
53import org.eclipse.viatra.solver.language.solverLanguage.RealObject;
54import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;
55import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
56import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
57import org.eclipse.viatra.solver.language.solverLanguage.Statement;
58import org.eclipse.viatra.solver.language.solverLanguage.StringObject;
59import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;
60import org.eclipse.viatra.solver.language.solverLanguage.Symbol;
61import org.eclipse.viatra.solver.language.solverLanguage.True;
62import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;
63import org.eclipse.viatra.solver.language.solverLanguage.Unknown;
64import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;
65import org.eclipse.viatra.solver.language.solverLanguage.Variable;
66
67/**
68 * <!-- begin-user-doc -->
69 * The <b>Adapter Factory</b> for the model.
70 * It provides an adapter <code>createXXX</code> method for each class of the model.
71 * <!-- end-user-doc -->
72 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
73 * @generated
74 */
75public class SolverLanguageAdapterFactory extends AdapterFactoryImpl
76{
77 /**
78 * The cached model package.
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 protected static SolverLanguagePackage modelPackage;
84
85 /**
86 * Creates an instance of the adapter factory.
87 * <!-- begin-user-doc -->
88 * <!-- end-user-doc -->
89 * @generated
90 */
91 public SolverLanguageAdapterFactory()
92 {
93 if (modelPackage == null)
94 {
95 modelPackage = SolverLanguagePackage.eINSTANCE;
96 }
97 }
98
99 /**
100 * Returns whether this factory is applicable for the type of the object.
101 * <!-- begin-user-doc -->
102 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
103 * <!-- end-user-doc -->
104 * @return whether this factory is applicable for the type of the object.
105 * @generated
106 */
107 @Override
108 public boolean isFactoryForType(Object object)
109 {
110 if (object == modelPackage)
111 {
112 return true;
113 }
114 if (object instanceof EObject)
115 {
116 return ((EObject)object).eClass().getEPackage() == modelPackage;
117 }
118 return false;
119 }
120
121 /**
122 * The switch that delegates to the <code>createXXX</code> methods.
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 protected SolverLanguageSwitch<Adapter> modelSwitch =
128 new SolverLanguageSwitch<Adapter>()
129 {
130 @Override
131 public Adapter caseProblem(Problem object)
132 {
133 return createProblemAdapter();
134 }
135 @Override
136 public Adapter caseStatement(Statement object)
137 {
138 return createStatementAdapter();
139 }
140 @Override
141 public Adapter caseBooleanValue(BooleanValue object)
142 {
143 return createBooleanValueAdapter();
144 }
145 @Override
146 public Adapter caseTruthValue(TruthValue object)
147 {
148 return createTruthValueAdapter();
149 }
150 @Override
151 public Adapter caseInterpretation(Interpretation object)
152 {
153 return createInterpretationAdapter();
154 }
155 @Override
156 public Adapter caseBasicInterpretation(BasicInterpretation object)
157 {
158 return createBasicInterpretationAdapter();
159 }
160 @Override
161 public Adapter caseSymbol(Symbol object)
162 {
163 return createSymbolAdapter();
164 }
165 @Override
166 public Adapter caseModelSymbol(ModelSymbol object)
167 {
168 return createModelSymbolAdapter();
169 }
170 @Override
171 public Adapter casePartialitySymbol(PartialitySymbol object)
172 {
173 return createPartialitySymbolAdapter();
174 }
175 @Override
176 public Adapter caseExistSymbol(ExistSymbol object)
177 {
178 return createExistSymbolAdapter();
179 }
180 @Override
181 public Adapter caseEqualsSymbol(EqualsSymbol object)
182 {
183 return createEqualsSymbolAdapter();
184 }
185 @Override
186 public Adapter caseDataSymbol(DataSymbol object)
187 {
188 return createDataSymbolAdapter();
189 }
190 @Override
191 public Adapter caseBooleanSymbol(BooleanSymbol object)
192 {
193 return createBooleanSymbolAdapter();
194 }
195 @Override
196 public Adapter caseIntegerSymbol(IntegerSymbol object)
197 {
198 return createIntegerSymbolAdapter();
199 }
200 @Override
201 public Adapter caseRealSymbol(RealSymbol object)
202 {
203 return createRealSymbolAdapter();
204 }
205 @Override
206 public Adapter caseStringSymbol(StringSymbol object)
207 {
208 return createStringSymbolAdapter();
209 }
210 @Override
211 public Adapter caseComplexObject(ComplexObject object)
212 {
213 return createComplexObjectAdapter();
214 }
215 @Override
216 public Adapter caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object)
217 {
218 return createObjectAdapter();
219 }
220 @Override
221 public Adapter caseNamedObject(NamedObject object)
222 {
223 return createNamedObjectAdapter();
224 }
225 @Override
226 public Adapter caseUnnamedObject(UnnamedObject object)
227 {
228 return createUnnamedObjectAdapter();
229 }
230 @Override
231 public Adapter caseDataObject(DataObject object)
232 {
233 return createDataObjectAdapter();
234 }
235 @Override
236 public Adapter caseBooleanObject(BooleanObject object)
237 {
238 return createBooleanObjectAdapter();
239 }
240 @Override
241 public Adapter caseIntObject(IntObject object)
242 {
243 return createIntObjectAdapter();
244 }
245 @Override
246 public Adapter caseRealObject(RealObject object)
247 {
248 return createRealObjectAdapter();
249 }
250 @Override
251 public Adapter caseStringObject(StringObject object)
252 {
253 return createStringObjectAdapter();
254 }
255 @Override
256 public Adapter casePredicate(Predicate object)
257 {
258 return createPredicateAdapter();
259 }
260 @Override
261 public Adapter casePredicateSymbol(PredicateSymbol object)
262 {
263 return createPredicateSymbolAdapter();
264 }
265 @Override
266 public Adapter caseErrorPredicate(ErrorPredicate object)
267 {
268 return createErrorPredicateAdapter();
269 }
270 @Override
271 public Adapter caseParameter(Parameter object)
272 {
273 return createParameterAdapter();
274 }
275 @Override
276 public Adapter casePatternBody(PatternBody object)
277 {
278 return createPatternBodyAdapter();
279 }
280 @Override
281 public Adapter casePolarity(Polarity object)
282 {
283 return createPolarityAdapter();
284 }
285 @Override
286 public Adapter caseConstraint(Constraint object)
287 {
288 return createConstraintAdapter();
289 }
290 @Override
291 public Adapter caseClosureType(ClosureType object)
292 {
293 return createClosureTypeAdapter();
294 }
295 @Override
296 public Adapter caseLiteral(Literal object)
297 {
298 return createLiteralAdapter();
299 }
300 @Override
301 public Adapter caseVariable(Variable object)
302 {
303 return createVariableAdapter();
304 }
305 @Override
306 public Adapter caseAllInstances(AllInstances object)
307 {
308 return createAllInstancesAdapter();
309 }
310 @Override
311 public Adapter caseAllObjects(AllObjects object)
312 {
313 return createAllObjectsAdapter();
314 }
315 @Override
316 public Adapter caseDefaultInterpretation(DefaultInterpretation object)
317 {
318 return createDefaultInterpretationAdapter();
319 }
320 @Override
321 public Adapter caseCDInterpretation(CDInterpretation object)
322 {
323 return createCDInterpretationAdapter();
324 }
325 @Override
326 public Adapter caseClassInterpretation(ClassInterpretation object)
327 {
328 return createClassInterpretationAdapter();
329 }
330 @Override
331 public Adapter caseEnumInterpretation(EnumInterpretation object)
332 {
333 return createEnumInterpretationAdapter();
334 }
335 @Override
336 public Adapter caseFieldRelationInterpretation(FieldRelationInterpretation object)
337 {
338 return createFieldRelationInterpretationAdapter();
339 }
340 @Override
341 public Adapter caseGlobalRelationInterpretation(GlobalRelationInterpretation object)
342 {
343 return createGlobalRelationInterpretationAdapter();
344 }
345 @Override
346 public Adapter caseMultiplicityDefinition(MultiplicityDefinition object)
347 {
348 return createMultiplicityDefinitionAdapter();
349 }
350 @Override
351 public Adapter caseBooleanTrue(BooleanTrue object)
352 {
353 return createBooleanTrueAdapter();
354 }
355 @Override
356 public Adapter caseBooleanFalse(BooleanFalse object)
357 {
358 return createBooleanFalseAdapter();
359 }
360 @Override
361 public Adapter caseTrue(True object)
362 {
363 return createTrueAdapter();
364 }
365 @Override
366 public Adapter caseFalse(False object)
367 {
368 return createFalseAdapter();
369 }
370 @Override
371 public Adapter caseUnknown(Unknown object)
372 {
373 return createUnknownAdapter();
374 }
375 @Override
376 public Adapter caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object)
377 {
378 return createErrorAdapter();
379 }
380 @Override
381 public Adapter casePositive(Positive object)
382 {
383 return createPositiveAdapter();
384 }
385 @Override
386 public Adapter caseNegative(Negative object)
387 {
388 return createNegativeAdapter();
389 }
390 @Override
391 public Adapter caseReflexiveClosure(ReflexiveClosure object)
392 {
393 return createReflexiveClosureAdapter();
394 }
395 @Override
396 public Adapter caseIrreflexiveClosure(IrreflexiveClosure object)
397 {
398 return createIrreflexiveClosureAdapter();
399 }
400 @Override
401 public Adapter defaultCase(EObject object)
402 {
403 return createEObjectAdapter();
404 }
405 };
406
407 /**
408 * Creates an adapter for the <code>target</code>.
409 * <!-- begin-user-doc -->
410 * <!-- end-user-doc -->
411 * @param target the object to adapt.
412 * @return the adapter for the <code>target</code>.
413 * @generated
414 */
415 @Override
416 public Adapter createAdapter(Notifier target)
417 {
418 return modelSwitch.doSwitch((EObject)target);
419 }
420
421
422 /**
423 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem <em>Problem</em>}'.
424 * <!-- begin-user-doc -->
425 * This default implementation returns null so that we can easily ignore cases;
426 * it's useful to ignore a case when inheritance will catch all the cases anyway.
427 * <!-- end-user-doc -->
428 * @return the new adapter.
429 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem
430 * @generated
431 */
432 public Adapter createProblemAdapter()
433 {
434 return null;
435 }
436
437 /**
438 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement <em>Statement</em>}'.
439 * <!-- begin-user-doc -->
440 * This default implementation returns null so that we can easily ignore cases;
441 * it's useful to ignore a case when inheritance will catch all the cases anyway.
442 * <!-- end-user-doc -->
443 * @return the new adapter.
444 * @see org.eclipse.viatra.solver.language.solverLanguage.Statement
445 * @generated
446 */
447 public Adapter createStatementAdapter()
448 {
449 return null;
450 }
451
452 /**
453 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue <em>Boolean Value</em>}'.
454 * <!-- begin-user-doc -->
455 * This default implementation returns null so that we can easily ignore cases;
456 * it's useful to ignore a case when inheritance will catch all the cases anyway.
457 * <!-- end-user-doc -->
458 * @return the new adapter.
459 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanValue
460 * @generated
461 */
462 public Adapter createBooleanValueAdapter()
463 {
464 return null;
465 }
466
467 /**
468 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue <em>Truth Value</em>}'.
469 * <!-- begin-user-doc -->
470 * This default implementation returns null so that we can easily ignore cases;
471 * it's useful to ignore a case when inheritance will catch all the cases anyway.
472 * <!-- end-user-doc -->
473 * @return the new adapter.
474 * @see org.eclipse.viatra.solver.language.solverLanguage.TruthValue
475 * @generated
476 */
477 public Adapter createTruthValueAdapter()
478 {
479 return null;
480 }
481
482 /**
483 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'.
484 * <!-- begin-user-doc -->
485 * This default implementation returns null so that we can easily ignore cases;
486 * it's useful to ignore a case when inheritance will catch all the cases anyway.
487 * <!-- end-user-doc -->
488 * @return the new adapter.
489 * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation
490 * @generated
491 */
492 public Adapter createInterpretationAdapter()
493 {
494 return null;
495 }
496
497 /**
498 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation <em>Basic Interpretation</em>}'.
499 * <!-- begin-user-doc -->
500 * This default implementation returns null so that we can easily ignore cases;
501 * it's useful to ignore a case when inheritance will catch all the cases anyway.
502 * <!-- end-user-doc -->
503 * @return the new adapter.
504 * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation
505 * @generated
506 */
507 public Adapter createBasicInterpretationAdapter()
508 {
509 return null;
510 }
511
512 /**
513 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol <em>Symbol</em>}'.
514 * <!-- begin-user-doc -->
515 * This default implementation returns null so that we can easily ignore cases;
516 * it's useful to ignore a case when inheritance will catch all the cases anyway.
517 * <!-- end-user-doc -->
518 * @return the new adapter.
519 * @see org.eclipse.viatra.solver.language.solverLanguage.Symbol
520 * @generated
521 */
522 public Adapter createSymbolAdapter()
523 {
524 return null;
525 }
526
527 /**
528 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol <em>Model Symbol</em>}'.
529 * <!-- begin-user-doc -->
530 * This default implementation returns null so that we can easily ignore cases;
531 * it's useful to ignore a case when inheritance will catch all the cases anyway.
532 * <!-- end-user-doc -->
533 * @return the new adapter.
534 * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol
535 * @generated
536 */
537 public Adapter createModelSymbolAdapter()
538 {
539 return null;
540 }
541
542 /**
543 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol <em>Partiality Symbol</em>}'.
544 * <!-- begin-user-doc -->
545 * This default implementation returns null so that we can easily ignore cases;
546 * it's useful to ignore a case when inheritance will catch all the cases anyway.
547 * <!-- end-user-doc -->
548 * @return the new adapter.
549 * @see org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol
550 * @generated
551 */
552 public Adapter createPartialitySymbolAdapter()
553 {
554 return null;
555 }
556
557 /**
558 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol <em>Exist Symbol</em>}'.
559 * <!-- begin-user-doc -->
560 * This default implementation returns null so that we can easily ignore cases;
561 * it's useful to ignore a case when inheritance will catch all the cases anyway.
562 * <!-- end-user-doc -->
563 * @return the new adapter.
564 * @see org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol
565 * @generated
566 */
567 public Adapter createExistSymbolAdapter()
568 {
569 return null;
570 }
571
572 /**
573 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol <em>Equals Symbol</em>}'.
574 * <!-- begin-user-doc -->
575 * This default implementation returns null so that we can easily ignore cases;
576 * it's useful to ignore a case when inheritance will catch all the cases anyway.
577 * <!-- end-user-doc -->
578 * @return the new adapter.
579 * @see org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol
580 * @generated
581 */
582 public Adapter createEqualsSymbolAdapter()
583 {
584 return null;
585 }
586
587 /**
588 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol <em>Data Symbol</em>}'.
589 * <!-- begin-user-doc -->
590 * This default implementation returns null so that we can easily ignore cases;
591 * it's useful to ignore a case when inheritance will catch all the cases anyway.
592 * <!-- end-user-doc -->
593 * @return the new adapter.
594 * @see org.eclipse.viatra.solver.language.solverLanguage.DataSymbol
595 * @generated
596 */
597 public Adapter createDataSymbolAdapter()
598 {
599 return null;
600 }
601
602 /**
603 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol <em>Boolean Symbol</em>}'.
604 * <!-- begin-user-doc -->
605 * This default implementation returns null so that we can easily ignore cases;
606 * it's useful to ignore a case when inheritance will catch all the cases anyway.
607 * <!-- end-user-doc -->
608 * @return the new adapter.
609 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol
610 * @generated
611 */
612 public Adapter createBooleanSymbolAdapter()
613 {
614 return null;
615 }
616
617 /**
618 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol <em>Integer Symbol</em>}'.
619 * <!-- begin-user-doc -->
620 * This default implementation returns null so that we can easily ignore cases;
621 * it's useful to ignore a case when inheritance will catch all the cases anyway.
622 * <!-- end-user-doc -->
623 * @return the new adapter.
624 * @see org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol
625 * @generated
626 */
627 public Adapter createIntegerSymbolAdapter()
628 {
629 return null;
630 }
631
632 /**
633 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol <em>Real Symbol</em>}'.
634 * <!-- begin-user-doc -->
635 * This default implementation returns null so that we can easily ignore cases;
636 * it's useful to ignore a case when inheritance will catch all the cases anyway.
637 * <!-- end-user-doc -->
638 * @return the new adapter.
639 * @see org.eclipse.viatra.solver.language.solverLanguage.RealSymbol
640 * @generated
641 */
642 public Adapter createRealSymbolAdapter()
643 {
644 return null;
645 }
646
647 /**
648 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol <em>String Symbol</em>}'.
649 * <!-- begin-user-doc -->
650 * This default implementation returns null so that we can easily ignore cases;
651 * it's useful to ignore a case when inheritance will catch all the cases anyway.
652 * <!-- end-user-doc -->
653 * @return the new adapter.
654 * @see org.eclipse.viatra.solver.language.solverLanguage.StringSymbol
655 * @generated
656 */
657 public Adapter createStringSymbolAdapter()
658 {
659 return null;
660 }
661
662 /**
663 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject <em>Complex Object</em>}'.
664 * <!-- begin-user-doc -->
665 * This default implementation returns null so that we can easily ignore cases;
666 * it's useful to ignore a case when inheritance will catch all the cases anyway.
667 * <!-- end-user-doc -->
668 * @return the new adapter.
669 * @see org.eclipse.viatra.solver.language.solverLanguage.ComplexObject
670 * @generated
671 */
672 public Adapter createComplexObjectAdapter()
673 {
674 return null;
675 }
676
677 /**
678 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object <em>Object</em>}'.
679 * <!-- begin-user-doc -->
680 * This default implementation returns null so that we can easily ignore cases;
681 * it's useful to ignore a case when inheritance will catch all the cases anyway.
682 * <!-- end-user-doc -->
683 * @return the new adapter.
684 * @see org.eclipse.viatra.solver.language.solverLanguage.Object
685 * @generated
686 */
687 public Adapter createObjectAdapter()
688 {
689 return null;
690 }
691
692 /**
693 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject <em>Named Object</em>}'.
694 * <!-- begin-user-doc -->
695 * This default implementation returns null so that we can easily ignore cases;
696 * it's useful to ignore a case when inheritance will catch all the cases anyway.
697 * <!-- end-user-doc -->
698 * @return the new adapter.
699 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject
700 * @generated
701 */
702 public Adapter createNamedObjectAdapter()
703 {
704 return null;
705 }
706
707 /**
708 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject <em>Unnamed Object</em>}'.
709 * <!-- begin-user-doc -->
710 * This default implementation returns null so that we can easily ignore cases;
711 * it's useful to ignore a case when inheritance will catch all the cases anyway.
712 * <!-- end-user-doc -->
713 * @return the new adapter.
714 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject
715 * @generated
716 */
717 public Adapter createUnnamedObjectAdapter()
718 {
719 return null;
720 }
721
722 /**
723 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject <em>Data Object</em>}'.
724 * <!-- begin-user-doc -->
725 * This default implementation returns null so that we can easily ignore cases;
726 * it's useful to ignore a case when inheritance will catch all the cases anyway.
727 * <!-- end-user-doc -->
728 * @return the new adapter.
729 * @see org.eclipse.viatra.solver.language.solverLanguage.DataObject
730 * @generated
731 */
732 public Adapter createDataObjectAdapter()
733 {
734 return null;
735 }
736
737 /**
738 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject <em>Boolean Object</em>}'.
739 * <!-- begin-user-doc -->
740 * This default implementation returns null so that we can easily ignore cases;
741 * it's useful to ignore a case when inheritance will catch all the cases anyway.
742 * <!-- end-user-doc -->
743 * @return the new adapter.
744 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject
745 * @generated
746 */
747 public Adapter createBooleanObjectAdapter()
748 {
749 return null;
750 }
751
752 /**
753 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject <em>Int Object</em>}'.
754 * <!-- begin-user-doc -->
755 * This default implementation returns null so that we can easily ignore cases;
756 * it's useful to ignore a case when inheritance will catch all the cases anyway.
757 * <!-- end-user-doc -->
758 * @return the new adapter.
759 * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject
760 * @generated
761 */
762 public Adapter createIntObjectAdapter()
763 {
764 return null;
765 }
766
767 /**
768 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject <em>Real Object</em>}'.
769 * <!-- begin-user-doc -->
770 * This default implementation returns null so that we can easily ignore cases;
771 * it's useful to ignore a case when inheritance will catch all the cases anyway.
772 * <!-- end-user-doc -->
773 * @return the new adapter.
774 * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject
775 * @generated
776 */
777 public Adapter createRealObjectAdapter()
778 {
779 return null;
780 }
781
782 /**
783 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject <em>String Object</em>}'.
784 * <!-- begin-user-doc -->
785 * This default implementation returns null so that we can easily ignore cases;
786 * it's useful to ignore a case when inheritance will catch all the cases anyway.
787 * <!-- end-user-doc -->
788 * @return the new adapter.
789 * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject
790 * @generated
791 */
792 public Adapter createStringObjectAdapter()
793 {
794 return null;
795 }
796
797 /**
798 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'.
799 * <!-- begin-user-doc -->
800 * This default implementation returns null so that we can easily ignore cases;
801 * it's useful to ignore a case when inheritance will catch all the cases anyway.
802 * <!-- end-user-doc -->
803 * @return the new adapter.
804 * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate
805 * @generated
806 */
807 public Adapter createPredicateAdapter()
808 {
809 return null;
810 }
811
812 /**
813 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol <em>Predicate Symbol</em>}'.
814 * <!-- begin-user-doc -->
815 * This default implementation returns null so that we can easily ignore cases;
816 * it's useful to ignore a case when inheritance will catch all the cases anyway.
817 * <!-- end-user-doc -->
818 * @return the new adapter.
819 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol
820 * @generated
821 */
822 public Adapter createPredicateSymbolAdapter()
823 {
824 return null;
825 }
826
827 /**
828 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate <em>Error Predicate</em>}'.
829 * <!-- begin-user-doc -->
830 * This default implementation returns null so that we can easily ignore cases;
831 * it's useful to ignore a case when inheritance will catch all the cases anyway.
832 * <!-- end-user-doc -->
833 * @return the new adapter.
834 * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate
835 * @generated
836 */
837 public Adapter createErrorPredicateAdapter()
838 {
839 return null;
840 }
841
842 /**
843 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'.
844 * <!-- begin-user-doc -->
845 * This default implementation returns null so that we can easily ignore cases;
846 * it's useful to ignore a case when inheritance will catch all the cases anyway.
847 * <!-- end-user-doc -->
848 * @return the new adapter.
849 * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter
850 * @generated
851 */
852 public Adapter createParameterAdapter()
853 {
854 return null;
855 }
856
857 /**
858 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody <em>Pattern Body</em>}'.
859 * <!-- begin-user-doc -->
860 * This default implementation returns null so that we can easily ignore cases;
861 * it's useful to ignore a case when inheritance will catch all the cases anyway.
862 * <!-- end-user-doc -->
863 * @return the new adapter.
864 * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody
865 * @generated
866 */
867 public Adapter createPatternBodyAdapter()
868 {
869 return null;
870 }
871
872 /**
873 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity <em>Polarity</em>}'.
874 * <!-- begin-user-doc -->
875 * This default implementation returns null so that we can easily ignore cases;
876 * it's useful to ignore a case when inheritance will catch all the cases anyway.
877 * <!-- end-user-doc -->
878 * @return the new adapter.
879 * @see org.eclipse.viatra.solver.language.solverLanguage.Polarity
880 * @generated
881 */
882 public Adapter createPolarityAdapter()
883 {
884 return null;
885 }
886
887 /**
888 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint <em>Constraint</em>}'.
889 * <!-- begin-user-doc -->
890 * This default implementation returns null so that we can easily ignore cases;
891 * it's useful to ignore a case when inheritance will catch all the cases anyway.
892 * <!-- end-user-doc -->
893 * @return the new adapter.
894 * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint
895 * @generated
896 */
897 public Adapter createConstraintAdapter()
898 {
899 return null;
900 }
901
902 /**
903 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType <em>Closure Type</em>}'.
904 * <!-- begin-user-doc -->
905 * This default implementation returns null so that we can easily ignore cases;
906 * it's useful to ignore a case when inheritance will catch all the cases anyway.
907 * <!-- end-user-doc -->
908 * @return the new adapter.
909 * @see org.eclipse.viatra.solver.language.solverLanguage.ClosureType
910 * @generated
911 */
912 public Adapter createClosureTypeAdapter()
913 {
914 return null;
915 }
916
917 /**
918 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'.
919 * <!-- begin-user-doc -->
920 * This default implementation returns null so that we can easily ignore cases;
921 * it's useful to ignore a case when inheritance will catch all the cases anyway.
922 * <!-- end-user-doc -->
923 * @return the new adapter.
924 * @see org.eclipse.viatra.solver.language.solverLanguage.Literal
925 * @generated
926 */
927 public Adapter createLiteralAdapter()
928 {
929 return null;
930 }
931
932 /**
933 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'.
934 * <!-- begin-user-doc -->
935 * This default implementation returns null so that we can easily ignore cases;
936 * it's useful to ignore a case when inheritance will catch all the cases anyway.
937 * <!-- end-user-doc -->
938 * @return the new adapter.
939 * @see org.eclipse.viatra.solver.language.solverLanguage.Variable
940 * @generated
941 */
942 public Adapter createVariableAdapter()
943 {
944 return null;
945 }
946
947 /**
948 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances <em>All Instances</em>}'.
949 * <!-- begin-user-doc -->
950 * This default implementation returns null so that we can easily ignore cases;
951 * it's useful to ignore a case when inheritance will catch all the cases anyway.
952 * <!-- end-user-doc -->
953 * @return the new adapter.
954 * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances
955 * @generated
956 */
957 public Adapter createAllInstancesAdapter()
958 {
959 return null;
960 }
961
962 /**
963 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects <em>All Objects</em>}'.
964 * <!-- begin-user-doc -->
965 * This default implementation returns null so that we can easily ignore cases;
966 * it's useful to ignore a case when inheritance will catch all the cases anyway.
967 * <!-- end-user-doc -->
968 * @return the new adapter.
969 * @see org.eclipse.viatra.solver.language.solverLanguage.AllObjects
970 * @generated
971 */
972 public Adapter createAllObjectsAdapter()
973 {
974 return null;
975 }
976
977 /**
978 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation <em>Default Interpretation</em>}'.
979 * <!-- begin-user-doc -->
980 * This default implementation returns null so that we can easily ignore cases;
981 * it's useful to ignore a case when inheritance will catch all the cases anyway.
982 * <!-- end-user-doc -->
983 * @return the new adapter.
984 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation
985 * @generated
986 */
987 public Adapter createDefaultInterpretationAdapter()
988 {
989 return null;
990 }
991
992 /**
993 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation <em>CD Interpretation</em>}'.
994 * <!-- begin-user-doc -->
995 * This default implementation returns null so that we can easily ignore cases;
996 * it's useful to ignore a case when inheritance will catch all the cases anyway.
997 * <!-- end-user-doc -->
998 * @return the new adapter.
999 * @see org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation
1000 * @generated
1001 */
1002 public Adapter createCDInterpretationAdapter()
1003 {
1004 return null;
1005 }
1006
1007 /**
1008 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation <em>Class Interpretation</em>}'.
1009 * <!-- begin-user-doc -->
1010 * This default implementation returns null so that we can easily ignore cases;
1011 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1012 * <!-- end-user-doc -->
1013 * @return the new adapter.
1014 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation
1015 * @generated
1016 */
1017 public Adapter createClassInterpretationAdapter()
1018 {
1019 return null;
1020 }
1021
1022 /**
1023 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation <em>Enum Interpretation</em>}'.
1024 * <!-- begin-user-doc -->
1025 * This default implementation returns null so that we can easily ignore cases;
1026 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1027 * <!-- end-user-doc -->
1028 * @return the new adapter.
1029 * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation
1030 * @generated
1031 */
1032 public Adapter createEnumInterpretationAdapter()
1033 {
1034 return null;
1035 }
1036
1037 /**
1038 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation <em>Field Relation Interpretation</em>}'.
1039 * <!-- begin-user-doc -->
1040 * This default implementation returns null so that we can easily ignore cases;
1041 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1042 * <!-- end-user-doc -->
1043 * @return the new adapter.
1044 * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation
1045 * @generated
1046 */
1047 public Adapter createFieldRelationInterpretationAdapter()
1048 {
1049 return null;
1050 }
1051
1052 /**
1053 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation <em>Global Relation Interpretation</em>}'.
1054 * <!-- begin-user-doc -->
1055 * This default implementation returns null so that we can easily ignore cases;
1056 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1057 * <!-- end-user-doc -->
1058 * @return the new adapter.
1059 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation
1060 * @generated
1061 */
1062 public Adapter createGlobalRelationInterpretationAdapter()
1063 {
1064 return null;
1065 }
1066
1067 /**
1068 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition <em>Multiplicity Definition</em>}'.
1069 * <!-- begin-user-doc -->
1070 * This default implementation returns null so that we can easily ignore cases;
1071 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1072 * <!-- end-user-doc -->
1073 * @return the new adapter.
1074 * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition
1075 * @generated
1076 */
1077 public Adapter createMultiplicityDefinitionAdapter()
1078 {
1079 return null;
1080 }
1081
1082 /**
1083 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue <em>Boolean True</em>}'.
1084 * <!-- begin-user-doc -->
1085 * This default implementation returns null so that we can easily ignore cases;
1086 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1087 * <!-- end-user-doc -->
1088 * @return the new adapter.
1089 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue
1090 * @generated
1091 */
1092 public Adapter createBooleanTrueAdapter()
1093 {
1094 return null;
1095 }
1096
1097 /**
1098 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse <em>Boolean False</em>}'.
1099 * <!-- begin-user-doc -->
1100 * This default implementation returns null so that we can easily ignore cases;
1101 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1102 * <!-- end-user-doc -->
1103 * @return the new adapter.
1104 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse
1105 * @generated
1106 */
1107 public Adapter createBooleanFalseAdapter()
1108 {
1109 return null;
1110 }
1111
1112 /**
1113 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.True <em>True</em>}'.
1114 * <!-- begin-user-doc -->
1115 * This default implementation returns null so that we can easily ignore cases;
1116 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1117 * <!-- end-user-doc -->
1118 * @return the new adapter.
1119 * @see org.eclipse.viatra.solver.language.solverLanguage.True
1120 * @generated
1121 */
1122 public Adapter createTrueAdapter()
1123 {
1124 return null;
1125 }
1126
1127 /**
1128 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.False <em>False</em>}'.
1129 * <!-- begin-user-doc -->
1130 * This default implementation returns null so that we can easily ignore cases;
1131 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1132 * <!-- end-user-doc -->
1133 * @return the new adapter.
1134 * @see org.eclipse.viatra.solver.language.solverLanguage.False
1135 * @generated
1136 */
1137 public Adapter createFalseAdapter()
1138 {
1139 return null;
1140 }
1141
1142 /**
1143 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown <em>Unknown</em>}'.
1144 * <!-- begin-user-doc -->
1145 * This default implementation returns null so that we can easily ignore cases;
1146 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1147 * <!-- end-user-doc -->
1148 * @return the new adapter.
1149 * @see org.eclipse.viatra.solver.language.solverLanguage.Unknown
1150 * @generated
1151 */
1152 public Adapter createUnknownAdapter()
1153 {
1154 return null;
1155 }
1156
1157 /**
1158 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error <em>Error</em>}'.
1159 * <!-- begin-user-doc -->
1160 * This default implementation returns null so that we can easily ignore cases;
1161 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1162 * <!-- end-user-doc -->
1163 * @return the new adapter.
1164 * @see org.eclipse.viatra.solver.language.solverLanguage.Error
1165 * @generated
1166 */
1167 public Adapter createErrorAdapter()
1168 {
1169 return null;
1170 }
1171
1172 /**
1173 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive <em>Positive</em>}'.
1174 * <!-- begin-user-doc -->
1175 * This default implementation returns null so that we can easily ignore cases;
1176 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1177 * <!-- end-user-doc -->
1178 * @return the new adapter.
1179 * @see org.eclipse.viatra.solver.language.solverLanguage.Positive
1180 * @generated
1181 */
1182 public Adapter createPositiveAdapter()
1183 {
1184 return null;
1185 }
1186
1187 /**
1188 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative <em>Negative</em>}'.
1189 * <!-- begin-user-doc -->
1190 * This default implementation returns null so that we can easily ignore cases;
1191 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1192 * <!-- end-user-doc -->
1193 * @return the new adapter.
1194 * @see org.eclipse.viatra.solver.language.solverLanguage.Negative
1195 * @generated
1196 */
1197 public Adapter createNegativeAdapter()
1198 {
1199 return null;
1200 }
1201
1202 /**
1203 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure <em>Reflexive Closure</em>}'.
1204 * <!-- begin-user-doc -->
1205 * This default implementation returns null so that we can easily ignore cases;
1206 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1207 * <!-- end-user-doc -->
1208 * @return the new adapter.
1209 * @see org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure
1210 * @generated
1211 */
1212 public Adapter createReflexiveClosureAdapter()
1213 {
1214 return null;
1215 }
1216
1217 /**
1218 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure <em>Irreflexive Closure</em>}'.
1219 * <!-- begin-user-doc -->
1220 * This default implementation returns null so that we can easily ignore cases;
1221 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1222 * <!-- end-user-doc -->
1223 * @return the new adapter.
1224 * @see org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure
1225 * @generated
1226 */
1227 public Adapter createIrreflexiveClosureAdapter()
1228 {
1229 return null;
1230 }
1231
1232 /**
1233 * Creates a new adapter for the default case.
1234 * <!-- begin-user-doc -->
1235 * This default implementation returns null.
1236 * <!-- end-user-doc -->
1237 * @return the new adapter.
1238 * @generated
1239 */
1240 public Adapter createEObjectAdapter()
1241 {
1242 return null;
1243 }
1244
1245} //SolverLanguageAdapterFactory
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
new file mode 100644
index 00000000..9bc874e3
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
@@ -0,0 +1,1464 @@
1/**
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.solverLanguage.util;
5
6import org.eclipse.emf.ecore.EObject;
7import org.eclipse.emf.ecore.EPackage;
8
9import org.eclipse.emf.ecore.util.Switch;
10
11import org.eclipse.viatra.solver.language.solverLanguage.AllInstances;
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.ErrorPredicate;
30import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
31import org.eclipse.viatra.solver.language.solverLanguage.False;
32import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
33import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
34import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
35import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
36import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
37import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
38import org.eclipse.viatra.solver.language.solverLanguage.Literal;
39import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
40import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
41import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
42import org.eclipse.viatra.solver.language.solverLanguage.Negative;
43import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
44import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
45import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
46import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
47import org.eclipse.viatra.solver.language.solverLanguage.Positive;
48import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
49import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol;
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
65/**
66 * <!-- begin-user-doc -->
67 * The <b>Switch</b> for the model's inheritance hierarchy.
68 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
69 * to invoke the <code>caseXXX</code> method for each class of the model,
70 * starting with the actual class of the object
71 * and proceeding up the inheritance hierarchy
72 * until a non-null result is returned,
73 * which is the result of the switch.
74 * <!-- end-user-doc -->
75 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
76 * @generated
77 */
78public class SolverLanguageSwitch<T> extends Switch<T>
79{
80 /**
81 * The cached model package
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 protected static SolverLanguagePackage modelPackage;
87
88 /**
89 * Creates an instance of the switch.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @generated
93 */
94 public SolverLanguageSwitch()
95 {
96 if (modelPackage == null)
97 {
98 modelPackage = SolverLanguagePackage.eINSTANCE;
99 }
100 }
101
102 /**
103 * Checks whether this is a switch for the given package.
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @param ePackage the package in question.
107 * @return whether this is a switch for the given package.
108 * @generated
109 */
110 @Override
111 protected boolean isSwitchFor(EPackage ePackage)
112 {
113 return ePackage == modelPackage;
114 }
115
116 /**
117 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @return the first non-null result returned by a <code>caseXXX</code> call.
121 * @generated
122 */
123 @Override
124 protected T doSwitch(int classifierID, EObject theEObject)
125 {
126 switch (classifierID)
127 {
128 case SolverLanguagePackage.PROBLEM:
129 {
130 Problem problem = (Problem)theEObject;
131 T result = caseProblem(problem);
132 if (result == null) result = defaultCase(theEObject);
133 return result;
134 }
135 case SolverLanguagePackage.STATEMENT:
136 {
137 Statement statement = (Statement)theEObject;
138 T result = caseStatement(statement);
139 if (result == null) result = defaultCase(theEObject);
140 return result;
141 }
142 case SolverLanguagePackage.BOOLEAN_VALUE:
143 {
144 BooleanValue booleanValue = (BooleanValue)theEObject;
145 T result = caseBooleanValue(booleanValue);
146 if (result == null) result = defaultCase(theEObject);
147 return result;
148 }
149 case SolverLanguagePackage.TRUTH_VALUE:
150 {
151 TruthValue truthValue = (TruthValue)theEObject;
152 T result = caseTruthValue(truthValue);
153 if (result == null) result = defaultCase(theEObject);
154 return result;
155 }
156 case SolverLanguagePackage.INTERPRETATION:
157 {
158 Interpretation interpretation = (Interpretation)theEObject;
159 T result = caseInterpretation(interpretation);
160 if (result == null) result = caseStatement(interpretation);
161 if (result == null) result = defaultCase(theEObject);
162 return result;
163 }
164 case SolverLanguagePackage.BASIC_INTERPRETATION:
165 {
166 BasicInterpretation basicInterpretation = (BasicInterpretation)theEObject;
167 T result = caseBasicInterpretation(basicInterpretation);
168 if (result == null) result = caseInterpretation(basicInterpretation);
169 if (result == null) result = caseStatement(basicInterpretation);
170 if (result == null) result = defaultCase(theEObject);
171 return result;
172 }
173 case SolverLanguagePackage.SYMBOL:
174 {
175 Symbol symbol = (Symbol)theEObject;
176 T result = caseSymbol(symbol);
177 if (result == null) result = defaultCase(theEObject);
178 return result;
179 }
180 case SolverLanguagePackage.MODEL_SYMBOL:
181 {
182 ModelSymbol modelSymbol = (ModelSymbol)theEObject;
183 T result = caseModelSymbol(modelSymbol);
184 if (result == null) result = caseSymbol(modelSymbol);
185 if (result == null) result = defaultCase(theEObject);
186 return result;
187 }
188 case SolverLanguagePackage.PARTIALITY_SYMBOL:
189 {
190 PartialitySymbol partialitySymbol = (PartialitySymbol)theEObject;
191 T result = casePartialitySymbol(partialitySymbol);
192 if (result == null) result = caseSymbol(partialitySymbol);
193 if (result == null) result = defaultCase(theEObject);
194 return result;
195 }
196 case SolverLanguagePackage.EXIST_SYMBOL:
197 {
198 ExistSymbol existSymbol = (ExistSymbol)theEObject;
199 T result = caseExistSymbol(existSymbol);
200 if (result == null) result = casePartialitySymbol(existSymbol);
201 if (result == null) result = caseSymbol(existSymbol);
202 if (result == null) result = defaultCase(theEObject);
203 return result;
204 }
205 case SolverLanguagePackage.EQUALS_SYMBOL:
206 {
207 EqualsSymbol equalsSymbol = (EqualsSymbol)theEObject;
208 T result = caseEqualsSymbol(equalsSymbol);
209 if (result == null) result = casePartialitySymbol(equalsSymbol);
210 if (result == null) result = caseSymbol(equalsSymbol);
211 if (result == null) result = defaultCase(theEObject);
212 return result;
213 }
214 case SolverLanguagePackage.DATA_SYMBOL:
215 {
216 DataSymbol dataSymbol = (DataSymbol)theEObject;
217 T result = caseDataSymbol(dataSymbol);
218 if (result == null) result = caseSymbol(dataSymbol);
219 if (result == null) result = defaultCase(theEObject);
220 return result;
221 }
222 case SolverLanguagePackage.BOOLEAN_SYMBOL:
223 {
224 BooleanSymbol booleanSymbol = (BooleanSymbol)theEObject;
225 T result = caseBooleanSymbol(booleanSymbol);
226 if (result == null) result = caseDataSymbol(booleanSymbol);
227 if (result == null) result = caseSymbol(booleanSymbol);
228 if (result == null) result = defaultCase(theEObject);
229 return result;
230 }
231 case SolverLanguagePackage.INTEGER_SYMBOL:
232 {
233 IntegerSymbol integerSymbol = (IntegerSymbol)theEObject;
234 T result = caseIntegerSymbol(integerSymbol);
235 if (result == null) result = caseDataSymbol(integerSymbol);
236 if (result == null) result = caseSymbol(integerSymbol);
237 if (result == null) result = defaultCase(theEObject);
238 return result;
239 }
240 case SolverLanguagePackage.REAL_SYMBOL:
241 {
242 RealSymbol realSymbol = (RealSymbol)theEObject;
243 T result = caseRealSymbol(realSymbol);
244 if (result == null) result = caseDataSymbol(realSymbol);
245 if (result == null) result = caseSymbol(realSymbol);
246 if (result == null) result = defaultCase(theEObject);
247 return result;
248 }
249 case SolverLanguagePackage.STRING_SYMBOL:
250 {
251 StringSymbol stringSymbol = (StringSymbol)theEObject;
252 T result = caseStringSymbol(stringSymbol);
253 if (result == null) result = caseDataSymbol(stringSymbol);
254 if (result == null) result = caseSymbol(stringSymbol);
255 if (result == null) result = defaultCase(theEObject);
256 return result;
257 }
258 case SolverLanguagePackage.COMPLEX_OBJECT:
259 {
260 ComplexObject complexObject = (ComplexObject)theEObject;
261 T result = caseComplexObject(complexObject);
262 if (result == null) result = defaultCase(theEObject);
263 return result;
264 }
265 case SolverLanguagePackage.OBJECT:
266 {
267 org.eclipse.viatra.solver.language.solverLanguage.Object object = (org.eclipse.viatra.solver.language.solverLanguage.Object)theEObject;
268 T result = caseObject(object);
269 if (result == null) result = caseComplexObject(object);
270 if (result == null) result = defaultCase(theEObject);
271 return result;
272 }
273 case SolverLanguagePackage.NAMED_OBJECT:
274 {
275 NamedObject namedObject = (NamedObject)theEObject;
276 T result = caseNamedObject(namedObject);
277 if (result == null) result = caseObject(namedObject);
278 if (result == null) result = caseComplexObject(namedObject);
279 if (result == null) result = defaultCase(theEObject);
280 return result;
281 }
282 case SolverLanguagePackage.UNNAMED_OBJECT:
283 {
284 UnnamedObject unnamedObject = (UnnamedObject)theEObject;
285 T result = caseUnnamedObject(unnamedObject);
286 if (result == null) result = caseObject(unnamedObject);
287 if (result == null) result = caseComplexObject(unnamedObject);
288 if (result == null) result = defaultCase(theEObject);
289 return result;
290 }
291 case SolverLanguagePackage.DATA_OBJECT:
292 {
293 DataObject dataObject = (DataObject)theEObject;
294 T result = caseDataObject(dataObject);
295 if (result == null) result = caseObject(dataObject);
296 if (result == null) result = caseLiteral(dataObject);
297 if (result == null) result = caseComplexObject(dataObject);
298 if (result == null) result = defaultCase(theEObject);
299 return result;
300 }
301 case SolverLanguagePackage.BOOLEAN_OBJECT:
302 {
303 BooleanObject booleanObject = (BooleanObject)theEObject;
304 T result = caseBooleanObject(booleanObject);
305 if (result == null) result = caseDataObject(booleanObject);
306 if (result == null) result = caseObject(booleanObject);
307 if (result == null) result = caseLiteral(booleanObject);
308 if (result == null) result = caseComplexObject(booleanObject);
309 if (result == null) result = defaultCase(theEObject);
310 return result;
311 }
312 case SolverLanguagePackage.INT_OBJECT:
313 {
314 IntObject intObject = (IntObject)theEObject;
315 T result = caseIntObject(intObject);
316 if (result == null) result = caseDataObject(intObject);
317 if (result == null) result = caseObject(intObject);
318 if (result == null) result = caseLiteral(intObject);
319 if (result == null) result = caseComplexObject(intObject);
320 if (result == null) result = defaultCase(theEObject);
321 return result;
322 }
323 case SolverLanguagePackage.REAL_OBJECT:
324 {
325 RealObject realObject = (RealObject)theEObject;
326 T result = caseRealObject(realObject);
327 if (result == null) result = caseDataObject(realObject);
328 if (result == null) result = caseObject(realObject);
329 if (result == null) result = caseLiteral(realObject);
330 if (result == null) result = caseComplexObject(realObject);
331 if (result == null) result = defaultCase(theEObject);
332 return result;
333 }
334 case SolverLanguagePackage.STRING_OBJECT:
335 {
336 StringObject stringObject = (StringObject)theEObject;
337 T result = caseStringObject(stringObject);
338 if (result == null) result = caseDataObject(stringObject);
339 if (result == null) result = caseObject(stringObject);
340 if (result == null) result = caseLiteral(stringObject);
341 if (result == null) result = caseComplexObject(stringObject);
342 if (result == null) result = defaultCase(theEObject);
343 return result;
344 }
345 case SolverLanguagePackage.PREDICATE:
346 {
347 Predicate predicate = (Predicate)theEObject;
348 T result = casePredicate(predicate);
349 if (result == null) result = caseStatement(predicate);
350 if (result == null) result = defaultCase(theEObject);
351 return result;
352 }
353 case SolverLanguagePackage.PREDICATE_SYMBOL:
354 {
355 PredicateSymbol predicateSymbol = (PredicateSymbol)theEObject;
356 T result = casePredicateSymbol(predicateSymbol);
357 if (result == null) result = casePredicate(predicateSymbol);
358 if (result == null) result = caseStatement(predicateSymbol);
359 if (result == null) result = defaultCase(theEObject);
360 return result;
361 }
362 case SolverLanguagePackage.ERROR_PREDICATE:
363 {
364 ErrorPredicate errorPredicate = (ErrorPredicate)theEObject;
365 T result = caseErrorPredicate(errorPredicate);
366 if (result == null) result = casePredicate(errorPredicate);
367 if (result == null) result = caseStatement(errorPredicate);
368 if (result == null) result = defaultCase(theEObject);
369 return result;
370 }
371 case SolverLanguagePackage.PARAMETER:
372 {
373 Parameter parameter = (Parameter)theEObject;
374 T result = caseParameter(parameter);
375 if (result == null) result = defaultCase(theEObject);
376 return result;
377 }
378 case SolverLanguagePackage.PATTERN_BODY:
379 {
380 PatternBody patternBody = (PatternBody)theEObject;
381 T result = casePatternBody(patternBody);
382 if (result == null) result = defaultCase(theEObject);
383 return result;
384 }
385 case SolverLanguagePackage.POLARITY:
386 {
387 Polarity polarity = (Polarity)theEObject;
388 T result = casePolarity(polarity);
389 if (result == null) result = defaultCase(theEObject);
390 return result;
391 }
392 case SolverLanguagePackage.CONSTRAINT:
393 {
394 Constraint constraint = (Constraint)theEObject;
395 T result = caseConstraint(constraint);
396 if (result == null) result = defaultCase(theEObject);
397 return result;
398 }
399 case SolverLanguagePackage.CLOSURE_TYPE:
400 {
401 ClosureType closureType = (ClosureType)theEObject;
402 T result = caseClosureType(closureType);
403 if (result == null) result = defaultCase(theEObject);
404 return result;
405 }
406 case SolverLanguagePackage.LITERAL:
407 {
408 Literal literal = (Literal)theEObject;
409 T result = caseLiteral(literal);
410 if (result == null) result = defaultCase(theEObject);
411 return result;
412 }
413 case SolverLanguagePackage.VARIABLE:
414 {
415 Variable variable = (Variable)theEObject;
416 T result = caseVariable(variable);
417 if (result == null) result = caseLiteral(variable);
418 if (result == null) result = defaultCase(theEObject);
419 return result;
420 }
421 case SolverLanguagePackage.ALL_INSTANCES:
422 {
423 AllInstances allInstances = (AllInstances)theEObject;
424 T result = caseAllInstances(allInstances);
425 if (result == null) result = caseComplexObject(allInstances);
426 if (result == null) result = defaultCase(theEObject);
427 return result;
428 }
429 case SolverLanguagePackage.ALL_OBJECTS:
430 {
431 AllObjects allObjects = (AllObjects)theEObject;
432 T result = caseAllObjects(allObjects);
433 if (result == null) result = caseComplexObject(allObjects);
434 if (result == null) result = defaultCase(theEObject);
435 return result;
436 }
437 case SolverLanguagePackage.DEFAULT_INTERPRETATION:
438 {
439 DefaultInterpretation defaultInterpretation = (DefaultInterpretation)theEObject;
440 T result = caseDefaultInterpretation(defaultInterpretation);
441 if (result == null) result = caseInterpretation(defaultInterpretation);
442 if (result == null) result = caseStatement(defaultInterpretation);
443 if (result == null) result = defaultCase(theEObject);
444 return result;
445 }
446 case SolverLanguagePackage.CD_INTERPRETATION:
447 {
448 CDInterpretation cdInterpretation = (CDInterpretation)theEObject;
449 T result = caseCDInterpretation(cdInterpretation);
450 if (result == null) result = caseInterpretation(cdInterpretation);
451 if (result == null) result = caseStatement(cdInterpretation);
452 if (result == null) result = defaultCase(theEObject);
453 return result;
454 }
455 case SolverLanguagePackage.CLASS_INTERPRETATION:
456 {
457 ClassInterpretation classInterpretation = (ClassInterpretation)theEObject;
458 T result = caseClassInterpretation(classInterpretation);
459 if (result == null) result = caseCDInterpretation(classInterpretation);
460 if (result == null) result = caseInterpretation(classInterpretation);
461 if (result == null) result = caseStatement(classInterpretation);
462 if (result == null) result = defaultCase(theEObject);
463 return result;
464 }
465 case SolverLanguagePackage.ENUM_INTERPRETATION:
466 {
467 EnumInterpretation enumInterpretation = (EnumInterpretation)theEObject;
468 T result = caseEnumInterpretation(enumInterpretation);
469 if (result == null) result = caseCDInterpretation(enumInterpretation);
470 if (result == null) result = caseInterpretation(enumInterpretation);
471 if (result == null) result = caseStatement(enumInterpretation);
472 if (result == null) result = defaultCase(theEObject);
473 return result;
474 }
475 case SolverLanguagePackage.FIELD_RELATION_INTERPRETATION:
476 {
477 FieldRelationInterpretation fieldRelationInterpretation = (FieldRelationInterpretation)theEObject;
478 T result = caseFieldRelationInterpretation(fieldRelationInterpretation);
479 if (result == null) result = defaultCase(theEObject);
480 return result;
481 }
482 case SolverLanguagePackage.GLOBAL_RELATION_INTERPRETATION:
483 {
484 GlobalRelationInterpretation globalRelationInterpretation = (GlobalRelationInterpretation)theEObject;
485 T result = caseGlobalRelationInterpretation(globalRelationInterpretation);
486 if (result == null) result = caseCDInterpretation(globalRelationInterpretation);
487 if (result == null) result = caseInterpretation(globalRelationInterpretation);
488 if (result == null) result = caseStatement(globalRelationInterpretation);
489 if (result == null) result = defaultCase(theEObject);
490 return result;
491 }
492 case SolverLanguagePackage.MULTIPLICITY_DEFINITION:
493 {
494 MultiplicityDefinition multiplicityDefinition = (MultiplicityDefinition)theEObject;
495 T result = caseMultiplicityDefinition(multiplicityDefinition);
496 if (result == null) result = defaultCase(theEObject);
497 return result;
498 }
499 case SolverLanguagePackage.BOOLEAN_TRUE:
500 {
501 BooleanTrue booleanTrue = (BooleanTrue)theEObject;
502 T result = caseBooleanTrue(booleanTrue);
503 if (result == null) result = caseBooleanValue(booleanTrue);
504 if (result == null) result = defaultCase(theEObject);
505 return result;
506 }
507 case SolverLanguagePackage.BOOLEAN_FALSE:
508 {
509 BooleanFalse booleanFalse = (BooleanFalse)theEObject;
510 T result = caseBooleanFalse(booleanFalse);
511 if (result == null) result = caseBooleanValue(booleanFalse);
512 if (result == null) result = defaultCase(theEObject);
513 return result;
514 }
515 case SolverLanguagePackage.TRUE:
516 {
517 True true_ = (True)theEObject;
518 T result = caseTrue(true_);
519 if (result == null) result = caseTruthValue(true_);
520 if (result == null) result = defaultCase(theEObject);
521 return result;
522 }
523 case SolverLanguagePackage.FALSE:
524 {
525 False false_ = (False)theEObject;
526 T result = caseFalse(false_);
527 if (result == null) result = caseTruthValue(false_);
528 if (result == null) result = defaultCase(theEObject);
529 return result;
530 }
531 case SolverLanguagePackage.UNKNOWN:
532 {
533 Unknown unknown = (Unknown)theEObject;
534 T result = caseUnknown(unknown);
535 if (result == null) result = caseTruthValue(unknown);
536 if (result == null) result = defaultCase(theEObject);
537 return result;
538 }
539 case SolverLanguagePackage.ERROR:
540 {
541 org.eclipse.viatra.solver.language.solverLanguage.Error error = (org.eclipse.viatra.solver.language.solverLanguage.Error)theEObject;
542 T result = caseError(error);
543 if (result == null) result = caseTruthValue(error);
544 if (result == null) result = defaultCase(theEObject);
545 return result;
546 }
547 case SolverLanguagePackage.POSITIVE:
548 {
549 Positive positive = (Positive)theEObject;
550 T result = casePositive(positive);
551 if (result == null) result = casePolarity(positive);
552 if (result == null) result = defaultCase(theEObject);
553 return result;
554 }
555 case SolverLanguagePackage.NEGATIVE:
556 {
557 Negative negative = (Negative)theEObject;
558 T result = caseNegative(negative);
559 if (result == null) result = casePolarity(negative);
560 if (result == null) result = defaultCase(theEObject);
561 return result;
562 }
563 case SolverLanguagePackage.REFLEXIVE_CLOSURE:
564 {
565 ReflexiveClosure reflexiveClosure = (ReflexiveClosure)theEObject;
566 T result = caseReflexiveClosure(reflexiveClosure);
567 if (result == null) result = caseClosureType(reflexiveClosure);
568 if (result == null) result = defaultCase(theEObject);
569 return result;
570 }
571 case SolverLanguagePackage.IRREFLEXIVE_CLOSURE:
572 {
573 IrreflexiveClosure irreflexiveClosure = (IrreflexiveClosure)theEObject;
574 T result = caseIrreflexiveClosure(irreflexiveClosure);
575 if (result == null) result = caseClosureType(irreflexiveClosure);
576 if (result == null) result = defaultCase(theEObject);
577 return result;
578 }
579 default: return defaultCase(theEObject);
580 }
581 }
582
583 /**
584 * Returns the result of interpreting the object as an instance of '<em>Problem</em>'.
585 * <!-- begin-user-doc -->
586 * This implementation returns null;
587 * returning a non-null result will terminate the switch.
588 * <!-- end-user-doc -->
589 * @param object the target of the switch.
590 * @return the result of interpreting the object as an instance of '<em>Problem</em>'.
591 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
592 * @generated
593 */
594 public T caseProblem(Problem object)
595 {
596 return null;
597 }
598
599 /**
600 * Returns the result of interpreting the object as an instance of '<em>Statement</em>'.
601 * <!-- begin-user-doc -->
602 * This implementation returns null;
603 * returning a non-null result will terminate the switch.
604 * <!-- end-user-doc -->
605 * @param object the target of the switch.
606 * @return the result of interpreting the object as an instance of '<em>Statement</em>'.
607 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
608 * @generated
609 */
610 public T caseStatement(Statement object)
611 {
612 return null;
613 }
614
615 /**
616 * Returns the result of interpreting the object as an instance of '<em>Boolean Value</em>'.
617 * <!-- begin-user-doc -->
618 * This implementation returns null;
619 * returning a non-null result will terminate the switch.
620 * <!-- end-user-doc -->
621 * @param object the target of the switch.
622 * @return the result of interpreting the object as an instance of '<em>Boolean Value</em>'.
623 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
624 * @generated
625 */
626 public T caseBooleanValue(BooleanValue object)
627 {
628 return null;
629 }
630
631 /**
632 * Returns the result of interpreting the object as an instance of '<em>Truth Value</em>'.
633 * <!-- begin-user-doc -->
634 * This implementation returns null;
635 * returning a non-null result will terminate the switch.
636 * <!-- end-user-doc -->
637 * @param object the target of the switch.
638 * @return the result of interpreting the object as an instance of '<em>Truth Value</em>'.
639 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
640 * @generated
641 */
642 public T caseTruthValue(TruthValue object)
643 {
644 return null;
645 }
646
647 /**
648 * Returns the result of interpreting the object as an instance of '<em>Interpretation</em>'.
649 * <!-- begin-user-doc -->
650 * This implementation returns null;
651 * returning a non-null result will terminate the switch.
652 * <!-- end-user-doc -->
653 * @param object the target of the switch.
654 * @return the result of interpreting the object as an instance of '<em>Interpretation</em>'.
655 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
656 * @generated
657 */
658 public T caseInterpretation(Interpretation object)
659 {
660 return null;
661 }
662
663 /**
664 * Returns the result of interpreting the object as an instance of '<em>Basic Interpretation</em>'.
665 * <!-- begin-user-doc -->
666 * This implementation returns null;
667 * returning a non-null result will terminate the switch.
668 * <!-- end-user-doc -->
669 * @param object the target of the switch.
670 * @return the result of interpreting the object as an instance of '<em>Basic Interpretation</em>'.
671 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
672 * @generated
673 */
674 public T caseBasicInterpretation(BasicInterpretation object)
675 {
676 return null;
677 }
678
679 /**
680 * Returns the result of interpreting the object as an instance of '<em>Symbol</em>'.
681 * <!-- begin-user-doc -->
682 * This implementation returns null;
683 * returning a non-null result will terminate the switch.
684 * <!-- end-user-doc -->
685 * @param object the target of the switch.
686 * @return the result of interpreting the object as an instance of '<em>Symbol</em>'.
687 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
688 * @generated
689 */
690 public T caseSymbol(Symbol object)
691 {
692 return null;
693 }
694
695 /**
696 * Returns the result of interpreting the object as an instance of '<em>Model Symbol</em>'.
697 * <!-- begin-user-doc -->
698 * This implementation returns null;
699 * returning a non-null result will terminate the switch.
700 * <!-- end-user-doc -->
701 * @param object the target of the switch.
702 * @return the result of interpreting the object as an instance of '<em>Model Symbol</em>'.
703 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
704 * @generated
705 */
706 public T caseModelSymbol(ModelSymbol object)
707 {
708 return null;
709 }
710
711 /**
712 * Returns the result of interpreting the object as an instance of '<em>Partiality Symbol</em>'.
713 * <!-- begin-user-doc -->
714 * This implementation returns null;
715 * returning a non-null result will terminate the switch.
716 * <!-- end-user-doc -->
717 * @param object the target of the switch.
718 * @return the result of interpreting the object as an instance of '<em>Partiality Symbol</em>'.
719 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
720 * @generated
721 */
722 public T casePartialitySymbol(PartialitySymbol object)
723 {
724 return null;
725 }
726
727 /**
728 * Returns the result of interpreting the object as an instance of '<em>Exist Symbol</em>'.
729 * <!-- begin-user-doc -->
730 * This implementation returns null;
731 * returning a non-null result will terminate the switch.
732 * <!-- end-user-doc -->
733 * @param object the target of the switch.
734 * @return the result of interpreting the object as an instance of '<em>Exist Symbol</em>'.
735 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
736 * @generated
737 */
738 public T caseExistSymbol(ExistSymbol object)
739 {
740 return null;
741 }
742
743 /**
744 * Returns the result of interpreting the object as an instance of '<em>Equals Symbol</em>'.
745 * <!-- begin-user-doc -->
746 * This implementation returns null;
747 * returning a non-null result will terminate the switch.
748 * <!-- end-user-doc -->
749 * @param object the target of the switch.
750 * @return the result of interpreting the object as an instance of '<em>Equals Symbol</em>'.
751 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
752 * @generated
753 */
754 public T caseEqualsSymbol(EqualsSymbol object)
755 {
756 return null;
757 }
758
759 /**
760 * Returns the result of interpreting the object as an instance of '<em>Data Symbol</em>'.
761 * <!-- begin-user-doc -->
762 * This implementation returns null;
763 * returning a non-null result will terminate the switch.
764 * <!-- end-user-doc -->
765 * @param object the target of the switch.
766 * @return the result of interpreting the object as an instance of '<em>Data Symbol</em>'.
767 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
768 * @generated
769 */
770 public T caseDataSymbol(DataSymbol object)
771 {
772 return null;
773 }
774
775 /**
776 * Returns the result of interpreting the object as an instance of '<em>Boolean Symbol</em>'.
777 * <!-- begin-user-doc -->
778 * This implementation returns null;
779 * returning a non-null result will terminate the switch.
780 * <!-- end-user-doc -->
781 * @param object the target of the switch.
782 * @return the result of interpreting the object as an instance of '<em>Boolean Symbol</em>'.
783 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
784 * @generated
785 */
786 public T caseBooleanSymbol(BooleanSymbol object)
787 {
788 return null;
789 }
790
791 /**
792 * Returns the result of interpreting the object as an instance of '<em>Integer Symbol</em>'.
793 * <!-- begin-user-doc -->
794 * This implementation returns null;
795 * returning a non-null result will terminate the switch.
796 * <!-- end-user-doc -->
797 * @param object the target of the switch.
798 * @return the result of interpreting the object as an instance of '<em>Integer Symbol</em>'.
799 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
800 * @generated
801 */
802 public T caseIntegerSymbol(IntegerSymbol object)
803 {
804 return null;
805 }
806
807 /**
808 * Returns the result of interpreting the object as an instance of '<em>Real Symbol</em>'.
809 * <!-- begin-user-doc -->
810 * This implementation returns null;
811 * returning a non-null result will terminate the switch.
812 * <!-- end-user-doc -->
813 * @param object the target of the switch.
814 * @return the result of interpreting the object as an instance of '<em>Real Symbol</em>'.
815 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
816 * @generated
817 */
818 public T caseRealSymbol(RealSymbol object)
819 {
820 return null;
821 }
822
823 /**
824 * Returns the result of interpreting the object as an instance of '<em>String Symbol</em>'.
825 * <!-- begin-user-doc -->
826 * This implementation returns null;
827 * returning a non-null result will terminate the switch.
828 * <!-- end-user-doc -->
829 * @param object the target of the switch.
830 * @return the result of interpreting the object as an instance of '<em>String Symbol</em>'.
831 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
832 * @generated
833 */
834 public T caseStringSymbol(StringSymbol object)
835 {
836 return null;
837 }
838
839 /**
840 * Returns the result of interpreting the object as an instance of '<em>Complex Object</em>'.
841 * <!-- begin-user-doc -->
842 * This implementation returns null;
843 * returning a non-null result will terminate the switch.
844 * <!-- end-user-doc -->
845 * @param object the target of the switch.
846 * @return the result of interpreting the object as an instance of '<em>Complex Object</em>'.
847 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
848 * @generated
849 */
850 public T caseComplexObject(ComplexObject object)
851 {
852 return null;
853 }
854
855 /**
856 * Returns the result of interpreting the object as an instance of '<em>Object</em>'.
857 * <!-- begin-user-doc -->
858 * This implementation returns null;
859 * returning a non-null result will terminate the switch.
860 * <!-- end-user-doc -->
861 * @param object the target of the switch.
862 * @return the result of interpreting the object as an instance of '<em>Object</em>'.
863 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
864 * @generated
865 */
866 public T caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object)
867 {
868 return null;
869 }
870
871 /**
872 * Returns the result of interpreting the object as an instance of '<em>Named Object</em>'.
873 * <!-- begin-user-doc -->
874 * This implementation returns null;
875 * returning a non-null result will terminate the switch.
876 * <!-- end-user-doc -->
877 * @param object the target of the switch.
878 * @return the result of interpreting the object as an instance of '<em>Named Object</em>'.
879 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
880 * @generated
881 */
882 public T caseNamedObject(NamedObject object)
883 {
884 return null;
885 }
886
887 /**
888 * Returns the result of interpreting the object as an instance of '<em>Unnamed Object</em>'.
889 * <!-- begin-user-doc -->
890 * This implementation returns null;
891 * returning a non-null result will terminate the switch.
892 * <!-- end-user-doc -->
893 * @param object the target of the switch.
894 * @return the result of interpreting the object as an instance of '<em>Unnamed Object</em>'.
895 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
896 * @generated
897 */
898 public T caseUnnamedObject(UnnamedObject object)
899 {
900 return null;
901 }
902
903 /**
904 * Returns the result of interpreting the object as an instance of '<em>Data Object</em>'.
905 * <!-- begin-user-doc -->
906 * This implementation returns null;
907 * returning a non-null result will terminate the switch.
908 * <!-- end-user-doc -->
909 * @param object the target of the switch.
910 * @return the result of interpreting the object as an instance of '<em>Data Object</em>'.
911 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
912 * @generated
913 */
914 public T caseDataObject(DataObject object)
915 {
916 return null;
917 }
918
919 /**
920 * Returns the result of interpreting the object as an instance of '<em>Boolean Object</em>'.
921 * <!-- begin-user-doc -->
922 * This implementation returns null;
923 * returning a non-null result will terminate the switch.
924 * <!-- end-user-doc -->
925 * @param object the target of the switch.
926 * @return the result of interpreting the object as an instance of '<em>Boolean Object</em>'.
927 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
928 * @generated
929 */
930 public T caseBooleanObject(BooleanObject object)
931 {
932 return null;
933 }
934
935 /**
936 * Returns the result of interpreting the object as an instance of '<em>Int Object</em>'.
937 * <!-- begin-user-doc -->
938 * This implementation returns null;
939 * returning a non-null result will terminate the switch.
940 * <!-- end-user-doc -->
941 * @param object the target of the switch.
942 * @return the result of interpreting the object as an instance of '<em>Int Object</em>'.
943 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
944 * @generated
945 */
946 public T caseIntObject(IntObject object)
947 {
948 return null;
949 }
950
951 /**
952 * Returns the result of interpreting the object as an instance of '<em>Real Object</em>'.
953 * <!-- begin-user-doc -->
954 * This implementation returns null;
955 * returning a non-null result will terminate the switch.
956 * <!-- end-user-doc -->
957 * @param object the target of the switch.
958 * @return the result of interpreting the object as an instance of '<em>Real Object</em>'.
959 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
960 * @generated
961 */
962 public T caseRealObject(RealObject object)
963 {
964 return null;
965 }
966
967 /**
968 * Returns the result of interpreting the object as an instance of '<em>String Object</em>'.
969 * <!-- begin-user-doc -->
970 * This implementation returns null;
971 * returning a non-null result will terminate the switch.
972 * <!-- end-user-doc -->
973 * @param object the target of the switch.
974 * @return the result of interpreting the object as an instance of '<em>String Object</em>'.
975 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
976 * @generated
977 */
978 public T caseStringObject(StringObject object)
979 {
980 return null;
981 }
982
983 /**
984 * Returns the result of interpreting the object as an instance of '<em>Predicate</em>'.
985 * <!-- begin-user-doc -->
986 * This implementation returns null;
987 * returning a non-null result will terminate the switch.
988 * <!-- end-user-doc -->
989 * @param object the target of the switch.
990 * @return the result of interpreting the object as an instance of '<em>Predicate</em>'.
991 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
992 * @generated
993 */
994 public T casePredicate(Predicate object)
995 {
996 return null;
997 }
998
999 /**
1000 * Returns the result of interpreting the object as an instance of '<em>Predicate Symbol</em>'.
1001 * <!-- begin-user-doc -->
1002 * This implementation returns null;
1003 * returning a non-null result will terminate the switch.
1004 * <!-- end-user-doc -->
1005 * @param object the target of the switch.
1006 * @return the result of interpreting the object as an instance of '<em>Predicate Symbol</em>'.
1007 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1008 * @generated
1009 */
1010 public T casePredicateSymbol(PredicateSymbol object)
1011 {
1012 return null;
1013 }
1014
1015 /**
1016 * Returns the result of interpreting the object as an instance of '<em>Error Predicate</em>'.
1017 * <!-- begin-user-doc -->
1018 * This implementation returns null;
1019 * returning a non-null result will terminate the switch.
1020 * <!-- end-user-doc -->
1021 * @param object the target of the switch.
1022 * @return the result of interpreting the object as an instance of '<em>Error Predicate</em>'.
1023 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1024 * @generated
1025 */
1026 public T caseErrorPredicate(ErrorPredicate object)
1027 {
1028 return null;
1029 }
1030
1031 /**
1032 * Returns the result of interpreting the object as an instance of '<em>Parameter</em>'.
1033 * <!-- begin-user-doc -->
1034 * This implementation returns null;
1035 * returning a non-null result will terminate the switch.
1036 * <!-- end-user-doc -->
1037 * @param object the target of the switch.
1038 * @return the result of interpreting the object as an instance of '<em>Parameter</em>'.
1039 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1040 * @generated
1041 */
1042 public T caseParameter(Parameter object)
1043 {
1044 return null;
1045 }
1046
1047 /**
1048 * Returns the result of interpreting the object as an instance of '<em>Pattern Body</em>'.
1049 * <!-- begin-user-doc -->
1050 * This implementation returns null;
1051 * returning a non-null result will terminate the switch.
1052 * <!-- end-user-doc -->
1053 * @param object the target of the switch.
1054 * @return the result of interpreting the object as an instance of '<em>Pattern Body</em>'.
1055 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1056 * @generated
1057 */
1058 public T casePatternBody(PatternBody object)
1059 {
1060 return null;
1061 }
1062
1063 /**
1064 * Returns the result of interpreting the object as an instance of '<em>Polarity</em>'.
1065 * <!-- begin-user-doc -->
1066 * This implementation returns null;
1067 * returning a non-null result will terminate the switch.
1068 * <!-- end-user-doc -->
1069 * @param object the target of the switch.
1070 * @return the result of interpreting the object as an instance of '<em>Polarity</em>'.
1071 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1072 * @generated
1073 */
1074 public T casePolarity(Polarity object)
1075 {
1076 return null;
1077 }
1078
1079 /**
1080 * Returns the result of interpreting the object as an instance of '<em>Constraint</em>'.
1081 * <!-- begin-user-doc -->
1082 * This implementation returns null;
1083 * returning a non-null result will terminate the switch.
1084 * <!-- end-user-doc -->
1085 * @param object the target of the switch.
1086 * @return the result of interpreting the object as an instance of '<em>Constraint</em>'.
1087 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1088 * @generated
1089 */
1090 public T caseConstraint(Constraint object)
1091 {
1092 return null;
1093 }
1094
1095 /**
1096 * Returns the result of interpreting the object as an instance of '<em>Closure Type</em>'.
1097 * <!-- begin-user-doc -->
1098 * This implementation returns null;
1099 * returning a non-null result will terminate the switch.
1100 * <!-- end-user-doc -->
1101 * @param object the target of the switch.
1102 * @return the result of interpreting the object as an instance of '<em>Closure Type</em>'.
1103 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1104 * @generated
1105 */
1106 public T caseClosureType(ClosureType object)
1107 {
1108 return null;
1109 }
1110
1111 /**
1112 * Returns the result of interpreting the object as an instance of '<em>Literal</em>'.
1113 * <!-- begin-user-doc -->
1114 * This implementation returns null;
1115 * returning a non-null result will terminate the switch.
1116 * <!-- end-user-doc -->
1117 * @param object the target of the switch.
1118 * @return the result of interpreting the object as an instance of '<em>Literal</em>'.
1119 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1120 * @generated
1121 */
1122 public T caseLiteral(Literal object)
1123 {
1124 return null;
1125 }
1126
1127 /**
1128 * Returns the result of interpreting the object as an instance of '<em>Variable</em>'.
1129 * <!-- begin-user-doc -->
1130 * This implementation returns null;
1131 * returning a non-null result will terminate the switch.
1132 * <!-- end-user-doc -->
1133 * @param object the target of the switch.
1134 * @return the result of interpreting the object as an instance of '<em>Variable</em>'.
1135 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1136 * @generated
1137 */
1138 public T caseVariable(Variable object)
1139 {
1140 return null;
1141 }
1142
1143 /**
1144 * Returns the result of interpreting the object as an instance of '<em>All Instances</em>'.
1145 * <!-- begin-user-doc -->
1146 * This implementation returns null;
1147 * returning a non-null result will terminate the switch.
1148 * <!-- end-user-doc -->
1149 * @param object the target of the switch.
1150 * @return the result of interpreting the object as an instance of '<em>All Instances</em>'.
1151 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1152 * @generated
1153 */
1154 public T caseAllInstances(AllInstances object)
1155 {
1156 return null;
1157 }
1158
1159 /**
1160 * Returns the result of interpreting the object as an instance of '<em>All Objects</em>'.
1161 * <!-- begin-user-doc -->
1162 * This implementation returns null;
1163 * returning a non-null result will terminate the switch.
1164 * <!-- end-user-doc -->
1165 * @param object the target of the switch.
1166 * @return the result of interpreting the object as an instance of '<em>All Objects</em>'.
1167 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1168 * @generated
1169 */
1170 public T caseAllObjects(AllObjects object)
1171 {
1172 return null;
1173 }
1174
1175 /**
1176 * Returns the result of interpreting the object as an instance of '<em>Default Interpretation</em>'.
1177 * <!-- begin-user-doc -->
1178 * This implementation returns null;
1179 * returning a non-null result will terminate the switch.
1180 * <!-- end-user-doc -->
1181 * @param object the target of the switch.
1182 * @return the result of interpreting the object as an instance of '<em>Default Interpretation</em>'.
1183 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1184 * @generated
1185 */
1186 public T caseDefaultInterpretation(DefaultInterpretation object)
1187 {
1188 return null;
1189 }
1190
1191 /**
1192 * Returns the result of interpreting the object as an instance of '<em>CD Interpretation</em>'.
1193 * <!-- begin-user-doc -->
1194 * This implementation returns null;
1195 * returning a non-null result will terminate the switch.
1196 * <!-- end-user-doc -->
1197 * @param object the target of the switch.
1198 * @return the result of interpreting the object as an instance of '<em>CD Interpretation</em>'.
1199 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1200 * @generated
1201 */
1202 public T caseCDInterpretation(CDInterpretation object)
1203 {
1204 return null;
1205 }
1206
1207 /**
1208 * Returns the result of interpreting the object as an instance of '<em>Class Interpretation</em>'.
1209 * <!-- begin-user-doc -->
1210 * This implementation returns null;
1211 * returning a non-null result will terminate the switch.
1212 * <!-- end-user-doc -->
1213 * @param object the target of the switch.
1214 * @return the result of interpreting the object as an instance of '<em>Class Interpretation</em>'.
1215 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1216 * @generated
1217 */
1218 public T caseClassInterpretation(ClassInterpretation object)
1219 {
1220 return null;
1221 }
1222
1223 /**
1224 * Returns the result of interpreting the object as an instance of '<em>Enum Interpretation</em>'.
1225 * <!-- begin-user-doc -->
1226 * This implementation returns null;
1227 * returning a non-null result will terminate the switch.
1228 * <!-- end-user-doc -->
1229 * @param object the target of the switch.
1230 * @return the result of interpreting the object as an instance of '<em>Enum Interpretation</em>'.
1231 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1232 * @generated
1233 */
1234 public T caseEnumInterpretation(EnumInterpretation object)
1235 {
1236 return null;
1237 }
1238
1239 /**
1240 * Returns the result of interpreting the object as an instance of '<em>Field Relation Interpretation</em>'.
1241 * <!-- begin-user-doc -->
1242 * This implementation returns null;
1243 * returning a non-null result will terminate the switch.
1244 * <!-- end-user-doc -->
1245 * @param object the target of the switch.
1246 * @return the result of interpreting the object as an instance of '<em>Field Relation Interpretation</em>'.
1247 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1248 * @generated
1249 */
1250 public T caseFieldRelationInterpretation(FieldRelationInterpretation object)
1251 {
1252 return null;
1253 }
1254
1255 /**
1256 * Returns the result of interpreting the object as an instance of '<em>Global Relation Interpretation</em>'.
1257 * <!-- begin-user-doc -->
1258 * This implementation returns null;
1259 * returning a non-null result will terminate the switch.
1260 * <!-- end-user-doc -->
1261 * @param object the target of the switch.
1262 * @return the result of interpreting the object as an instance of '<em>Global Relation Interpretation</em>'.
1263 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1264 * @generated
1265 */
1266 public T caseGlobalRelationInterpretation(GlobalRelationInterpretation object)
1267 {
1268 return null;
1269 }
1270
1271 /**
1272 * Returns the result of interpreting the object as an instance of '<em>Multiplicity Definition</em>'.
1273 * <!-- begin-user-doc -->
1274 * This implementation returns null;
1275 * returning a non-null result will terminate the switch.
1276 * <!-- end-user-doc -->
1277 * @param object the target of the switch.
1278 * @return the result of interpreting the object as an instance of '<em>Multiplicity Definition</em>'.
1279 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1280 * @generated
1281 */
1282 public T caseMultiplicityDefinition(MultiplicityDefinition object)
1283 {
1284 return null;
1285 }
1286
1287 /**
1288 * Returns the result of interpreting the object as an instance of '<em>Boolean True</em>'.
1289 * <!-- begin-user-doc -->
1290 * This implementation returns null;
1291 * returning a non-null result will terminate the switch.
1292 * <!-- end-user-doc -->
1293 * @param object the target of the switch.
1294 * @return the result of interpreting the object as an instance of '<em>Boolean True</em>'.
1295 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1296 * @generated
1297 */
1298 public T caseBooleanTrue(BooleanTrue object)
1299 {
1300 return null;
1301 }
1302
1303 /**
1304 * Returns the result of interpreting the object as an instance of '<em>Boolean False</em>'.
1305 * <!-- begin-user-doc -->
1306 * This implementation returns null;
1307 * returning a non-null result will terminate the switch.
1308 * <!-- end-user-doc -->
1309 * @param object the target of the switch.
1310 * @return the result of interpreting the object as an instance of '<em>Boolean False</em>'.
1311 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1312 * @generated
1313 */
1314 public T caseBooleanFalse(BooleanFalse object)
1315 {
1316 return null;
1317 }
1318
1319 /**
1320 * Returns the result of interpreting the object as an instance of '<em>True</em>'.
1321 * <!-- begin-user-doc -->
1322 * This implementation returns null;
1323 * returning a non-null result will terminate the switch.
1324 * <!-- end-user-doc -->
1325 * @param object the target of the switch.
1326 * @return the result of interpreting the object as an instance of '<em>True</em>'.
1327 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1328 * @generated
1329 */
1330 public T caseTrue(True object)
1331 {
1332 return null;
1333 }
1334
1335 /**
1336 * Returns the result of interpreting the object as an instance of '<em>False</em>'.
1337 * <!-- begin-user-doc -->
1338 * This implementation returns null;
1339 * returning a non-null result will terminate the switch.
1340 * <!-- end-user-doc -->
1341 * @param object the target of the switch.
1342 * @return the result of interpreting the object as an instance of '<em>False</em>'.
1343 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1344 * @generated
1345 */
1346 public T caseFalse(False object)
1347 {
1348 return null;
1349 }
1350
1351 /**
1352 * Returns the result of interpreting the object as an instance of '<em>Unknown</em>'.
1353 * <!-- begin-user-doc -->
1354 * This implementation returns null;
1355 * returning a non-null result will terminate the switch.
1356 * <!-- end-user-doc -->
1357 * @param object the target of the switch.
1358 * @return the result of interpreting the object as an instance of '<em>Unknown</em>'.
1359 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1360 * @generated
1361 */
1362 public T caseUnknown(Unknown object)
1363 {
1364 return null;
1365 }
1366
1367 /**
1368 * Returns the result of interpreting the object as an instance of '<em>Error</em>'.
1369 * <!-- begin-user-doc -->
1370 * This implementation returns null;
1371 * returning a non-null result will terminate the switch.
1372 * <!-- end-user-doc -->
1373 * @param object the target of the switch.
1374 * @return the result of interpreting the object as an instance of '<em>Error</em>'.
1375 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1376 * @generated
1377 */
1378 public T caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object)
1379 {
1380 return null;
1381 }
1382
1383 /**
1384 * Returns the result of interpreting the object as an instance of '<em>Positive</em>'.
1385 * <!-- begin-user-doc -->
1386 * This implementation returns null;
1387 * returning a non-null result will terminate the switch.
1388 * <!-- end-user-doc -->
1389 * @param object the target of the switch.
1390 * @return the result of interpreting the object as an instance of '<em>Positive</em>'.
1391 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1392 * @generated
1393 */
1394 public T casePositive(Positive object)
1395 {
1396 return null;
1397 }
1398
1399 /**
1400 * Returns the result of interpreting the object as an instance of '<em>Negative</em>'.
1401 * <!-- begin-user-doc -->
1402 * This implementation returns null;
1403 * returning a non-null result will terminate the switch.
1404 * <!-- end-user-doc -->
1405 * @param object the target of the switch.
1406 * @return the result of interpreting the object as an instance of '<em>Negative</em>'.
1407 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1408 * @generated
1409 */
1410 public T caseNegative(Negative object)
1411 {
1412 return null;
1413 }
1414
1415 /**
1416 * Returns the result of interpreting the object as an instance of '<em>Reflexive Closure</em>'.
1417 * <!-- begin-user-doc -->
1418 * This implementation returns null;
1419 * returning a non-null result will terminate the switch.
1420 * <!-- end-user-doc -->
1421 * @param object the target of the switch.
1422 * @return the result of interpreting the object as an instance of '<em>Reflexive Closure</em>'.
1423 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1424 * @generated
1425 */
1426 public T caseReflexiveClosure(ReflexiveClosure object)
1427 {
1428 return null;
1429 }
1430
1431 /**
1432 * Returns the result of interpreting the object as an instance of '<em>Irreflexive Closure</em>'.
1433 * <!-- begin-user-doc -->
1434 * This implementation returns null;
1435 * returning a non-null result will terminate the switch.
1436 * <!-- end-user-doc -->
1437 * @param object the target of the switch.
1438 * @return the result of interpreting the object as an instance of '<em>Irreflexive Closure</em>'.
1439 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1440 * @generated
1441 */
1442 public T caseIrreflexiveClosure(IrreflexiveClosure object)
1443 {
1444 return null;
1445 }
1446
1447 /**
1448 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
1449 * <!-- begin-user-doc -->
1450 * This implementation returns null;
1451 * returning a non-null result will terminate the switch, but this is the last case anyway.
1452 * <!-- end-user-doc -->
1453 * @param object the target of the switch.
1454 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
1455 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
1456 * @generated
1457 */
1458 @Override
1459 public T defaultCase(EObject object)
1460 {
1461 return null;
1462 }
1463
1464} //SolverLanguageSwitch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-06 13:37:16 +0000