aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-19 21:18:06 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-19 21:18:06 +0200
commitb3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b (patch)
treead3222182065b8fac7d9b3d528c4efabf2aa0dd2 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util
parentMerge branch 'master' of github.com:viatra/VIATRA-Generator (diff)
downloadVIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.gz
VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.zst
VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.zip
Config language WIP
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.java1053
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java1245
2 files changed, 0 insertions, 2298 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
deleted file mode 100644
index 37b20718..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java
+++ /dev/null
@@ -1,1053 +0,0 @@
1/**
2 * generated by Xtext 2.21.0
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.*;
14
15/**
16 * <!-- begin-user-doc -->
17 * The <b>Adapter Factory</b> for the model.
18 * It provides an adapter <code>createXXX</code> method for each class of the model.
19 * <!-- end-user-doc -->
20 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
21 * @generated
22 */
23public class SolverLanguageAdapterFactory extends AdapterFactoryImpl
24{
25 /**
26 * The cached model package.
27 * <!-- begin-user-doc -->
28 * <!-- end-user-doc -->
29 * @generated
30 */
31 protected static SolverLanguagePackage modelPackage;
32
33 /**
34 * Creates an instance of the adapter factory.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @generated
38 */
39 public SolverLanguageAdapterFactory()
40 {
41 if (modelPackage == null)
42 {
43 modelPackage = SolverLanguagePackage.eINSTANCE;
44 }
45 }
46
47 /**
48 * Returns whether this factory is applicable for the type of the object.
49 * <!-- begin-user-doc -->
50 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
51 * <!-- end-user-doc -->
52 * @return whether this factory is applicable for the type of the object.
53 * @generated
54 */
55 @Override
56 public boolean isFactoryForType(Object object)
57 {
58 if (object == modelPackage)
59 {
60 return true;
61 }
62 if (object instanceof EObject)
63 {
64 return ((EObject)object).eClass().getEPackage() == modelPackage;
65 }
66 return false;
67 }
68
69 /**
70 * The switch that delegates to the <code>createXXX</code> methods.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 */
75 protected SolverLanguageSwitch<Adapter> modelSwitch =
76 new SolverLanguageSwitch<Adapter>()
77 {
78 @Override
79 public Adapter caseProblem(Problem object)
80 {
81 return createProblemAdapter();
82 }
83 @Override
84 public Adapter caseStatement(Statement object)
85 {
86 return createStatementAdapter();
87 }
88 @Override
89 public Adapter casePredicateDefinition(PredicateDefinition object)
90 {
91 return createPredicateDefinitionAdapter();
92 }
93 @Override
94 public Adapter caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object)
95 {
96 return createUnnamedErrorPrediateDefinitionAdapter();
97 }
98 @Override
99 public Adapter caseDefaultDefinition(DefaultDefinition object)
100 {
101 return createDefaultDefinitionAdapter();
102 }
103 @Override
104 public Adapter caseExternPredicateDefinition(ExternPredicateDefinition object)
105 {
106 return createExternPredicateDefinitionAdapter();
107 }
108 @Override
109 public Adapter caseMetricDefinition(MetricDefinition object)
110 {
111 return createMetricDefinitionAdapter();
112 }
113 @Override
114 public Adapter caseExternMetricDefinition(ExternMetricDefinition object)
115 {
116 return createExternMetricDefinitionAdapter();
117 }
118 @Override
119 public Adapter caseExpression(Expression object)
120 {
121 return createExpressionAdapter();
122 }
123 @Override
124 public Adapter caseIfElse(IfElse object)
125 {
126 return createIfElseAdapter();
127 }
128 @Override
129 public Adapter caseCase(Case object)
130 {
131 return createCaseAdapter();
132 }
133 @Override
134 public Adapter caseCount(Count object)
135 {
136 return createCountAdapter();
137 }
138 @Override
139 public Adapter caseAggregation(Aggregation object)
140 {
141 return createAggregationAdapter();
142 }
143 @Override
144 public Adapter caseCall(Call object)
145 {
146 return createCallAdapter();
147 }
148 @Override
149 public Adapter caseArgumentList(ArgumentList object)
150 {
151 return createArgumentListAdapter();
152 }
153 @Override
154 public Adapter caseArgument(Argument object)
155 {
156 return createArgumentAdapter();
157 }
158 @Override
159 public Adapter caseExpressionArgument(ExpressionArgument object)
160 {
161 return createExpressionArgumentAdapter();
162 }
163 @Override
164 public Adapter caseStarArgument(StarArgument object)
165 {
166 return createStarArgumentAdapter();
167 }
168 @Override
169 public Adapter caseTypedArgument(TypedArgument object)
170 {
171 return createTypedArgumentAdapter();
172 }
173 @Override
174 public Adapter caseTypedStarArgument(TypedStarArgument object)
175 {
176 return createTypedStarArgumentAdapter();
177 }
178 @Override
179 public Adapter caseReference(Reference object)
180 {
181 return createReferenceAdapter();
182 }
183 @Override
184 public Adapter caseInterval(Interval object)
185 {
186 return createIntervalAdapter();
187 }
188 @Override
189 public Adapter caseLiteral(Literal object)
190 {
191 return createLiteralAdapter();
192 }
193 @Override
194 public Adapter caseLogicLiteral(LogicLiteral object)
195 {
196 return createLogicLiteralAdapter();
197 }
198 @Override
199 public Adapter caseNumericLiteral(NumericLiteral object)
200 {
201 return createNumericLiteralAdapter();
202 }
203 @Override
204 public Adapter caseInfinityLiteral(InfinityLiteral object)
205 {
206 return createInfinityLiteralAdapter();
207 }
208 @Override
209 public Adapter caseEmptyIntervalLiteral(EmptyIntervalLiteral object)
210 {
211 return createEmptyIntervalLiteralAdapter();
212 }
213 @Override
214 public Adapter caseStringLiteral(StringLiteral object)
215 {
216 return createStringLiteralAdapter();
217 }
218 @Override
219 public Adapter caseClassDefinition(ClassDefinition object)
220 {
221 return createClassDefinitionAdapter();
222 }
223 @Override
224 public Adapter caseMemberDefinition(MemberDefinition object)
225 {
226 return createMemberDefinitionAdapter();
227 }
228 @Override
229 public Adapter caseMultiplicity(Multiplicity object)
230 {
231 return createMultiplicityAdapter();
232 }
233 @Override
234 public Adapter caseManyMultiplicity(ManyMultiplicity object)
235 {
236 return createManyMultiplicityAdapter();
237 }
238 @Override
239 public Adapter caseExactMultiplicity(ExactMultiplicity object)
240 {
241 return createExactMultiplicityAdapter();
242 }
243 @Override
244 public Adapter caseBoundedMultiplicity(BoundedMultiplicity object)
245 {
246 return createBoundedMultiplicityAdapter();
247 }
248 @Override
249 public Adapter caseScopeDefinition(ScopeDefinition object)
250 {
251 return createScopeDefinitionAdapter();
252 }
253 @Override
254 public Adapter caseExactScopeDefinition(ExactScopeDefinition object)
255 {
256 return createExactScopeDefinitionAdapter();
257 }
258 @Override
259 public Adapter caseBoundedScopeDefinition(BoundedScopeDefinition object)
260 {
261 return createBoundedScopeDefinitionAdapter();
262 }
263 @Override
264 public Adapter caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object)
265 {
266 return createLowerBoundedScopeDefinitionAdapter();
267 }
268 @Override
269 public Adapter caseObjectiveDefinition(ObjectiveDefinition object)
270 {
271 return createObjectiveDefinitionAdapter();
272 }
273 @Override
274 public Adapter caseNamedElement(NamedElement object)
275 {
276 return createNamedElementAdapter();
277 }
278 @Override
279 public Adapter caseAssertion(Assertion object)
280 {
281 return createAssertionAdapter();
282 }
283 @Override
284 public Adapter caseDisjunction(Disjunction object)
285 {
286 return createDisjunctionAdapter();
287 }
288 @Override
289 public Adapter caseSwitch(Switch object)
290 {
291 return createSwitchAdapter();
292 }
293 @Override
294 public Adapter caseConjunction(Conjunction object)
295 {
296 return createConjunctionAdapter();
297 }
298 @Override
299 public Adapter caseComparison(Comparison object)
300 {
301 return createComparisonAdapter();
302 }
303 @Override
304 public Adapter caseBinaryExpression(BinaryExpression object)
305 {
306 return createBinaryExpressionAdapter();
307 }
308 @Override
309 public Adapter caseUnaryExpression(UnaryExpression object)
310 {
311 return createUnaryExpressionAdapter();
312 }
313 @Override
314 public Adapter defaultCase(EObject object)
315 {
316 return createEObjectAdapter();
317 }
318 };
319
320 /**
321 * Creates an adapter for the <code>target</code>.
322 * <!-- begin-user-doc -->
323 * <!-- end-user-doc -->
324 * @param target the object to adapt.
325 * @return the adapter for the <code>target</code>.
326 * @generated
327 */
328 @Override
329 public Adapter createAdapter(Notifier target)
330 {
331 return modelSwitch.doSwitch((EObject)target);
332 }
333
334
335 /**
336 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem <em>Problem</em>}'.
337 * <!-- begin-user-doc -->
338 * This default implementation returns null so that we can easily ignore cases;
339 * it's useful to ignore a case when inheritance will catch all the cases anyway.
340 * <!-- end-user-doc -->
341 * @return the new adapter.
342 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem
343 * @generated
344 */
345 public Adapter createProblemAdapter()
346 {
347 return null;
348 }
349
350 /**
351 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement <em>Statement</em>}'.
352 * <!-- begin-user-doc -->
353 * This default implementation returns null so that we can easily ignore cases;
354 * it's useful to ignore a case when inheritance will catch all the cases anyway.
355 * <!-- end-user-doc -->
356 * @return the new adapter.
357 * @see org.eclipse.viatra.solver.language.solverLanguage.Statement
358 * @generated
359 */
360 public Adapter createStatementAdapter()
361 {
362 return null;
363 }
364
365 /**
366 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'.
367 * <!-- begin-user-doc -->
368 * This default implementation returns null so that we can easily ignore cases;
369 * it's useful to ignore a case when inheritance will catch all the cases anyway.
370 * <!-- end-user-doc -->
371 * @return the new adapter.
372 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition
373 * @generated
374 */
375 public Adapter createPredicateDefinitionAdapter()
376 {
377 return null;
378 }
379
380 /**
381 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate Definition</em>}'.
382 * <!-- begin-user-doc -->
383 * This default implementation returns null so that we can easily ignore cases;
384 * it's useful to ignore a case when inheritance will catch all the cases anyway.
385 * <!-- end-user-doc -->
386 * @return the new adapter.
387 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition
388 * @generated
389 */
390 public Adapter createUnnamedErrorPrediateDefinitionAdapter()
391 {
392 return null;
393 }
394
395 /**
396 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default Definition</em>}'.
397 * <!-- begin-user-doc -->
398 * This default implementation returns null so that we can easily ignore cases;
399 * it's useful to ignore a case when inheritance will catch all the cases anyway.
400 * <!-- end-user-doc -->
401 * @return the new adapter.
402 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition
403 * @generated
404 */
405 public Adapter createDefaultDefinitionAdapter()
406 {
407 return null;
408 }
409
410 /**
411 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate Definition</em>}'.
412 * <!-- begin-user-doc -->
413 * This default implementation returns null so that we can easily ignore cases;
414 * it's useful to ignore a case when inheritance will catch all the cases anyway.
415 * <!-- end-user-doc -->
416 * @return the new adapter.
417 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition
418 * @generated
419 */
420 public Adapter createExternPredicateDefinitionAdapter()
421 {
422 return null;
423 }
424
425 /**
426 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric Definition</em>}'.
427 * <!-- begin-user-doc -->
428 * This default implementation returns null so that we can easily ignore cases;
429 * it's useful to ignore a case when inheritance will catch all the cases anyway.
430 * <!-- end-user-doc -->
431 * @return the new adapter.
432 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition
433 * @generated
434 */
435 public Adapter createMetricDefinitionAdapter()
436 {
437 return null;
438 }
439
440 /**
441 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric Definition</em>}'.
442 * <!-- begin-user-doc -->
443 * This default implementation returns null so that we can easily ignore cases;
444 * it's useful to ignore a case when inheritance will catch all the cases anyway.
445 * <!-- end-user-doc -->
446 * @return the new adapter.
447 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition
448 * @generated
449 */
450 public Adapter createExternMetricDefinitionAdapter()
451 {
452 return null;
453 }
454
455 /**
456 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>Expression</em>}'.
457 * <!-- begin-user-doc -->
458 * This default implementation returns null so that we can easily ignore cases;
459 * it's useful to ignore a case when inheritance will catch all the cases anyway.
460 * <!-- end-user-doc -->
461 * @return the new adapter.
462 * @see org.eclipse.viatra.solver.language.solverLanguage.Expression
463 * @generated
464 */
465 public Adapter createExpressionAdapter()
466 {
467 return null;
468 }
469
470 /**
471 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If Else</em>}'.
472 * <!-- begin-user-doc -->
473 * This default implementation returns null so that we can easily ignore cases;
474 * it's useful to ignore a case when inheritance will catch all the cases anyway.
475 * <!-- end-user-doc -->
476 * @return the new adapter.
477 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse
478 * @generated
479 */
480 public Adapter createIfElseAdapter()
481 {
482 return null;
483 }
484
485 /**
486 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</em>}'.
487 * <!-- begin-user-doc -->
488 * This default implementation returns null so that we can easily ignore cases;
489 * it's useful to ignore a case when inheritance will catch all the cases anyway.
490 * <!-- end-user-doc -->
491 * @return the new adapter.
492 * @see org.eclipse.viatra.solver.language.solverLanguage.Case
493 * @generated
494 */
495 public Adapter createCaseAdapter()
496 {
497 return null;
498 }
499
500 /**
501 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count <em>Count</em>}'.
502 * <!-- begin-user-doc -->
503 * This default implementation returns null so that we can easily ignore cases;
504 * it's useful to ignore a case when inheritance will catch all the cases anyway.
505 * <!-- end-user-doc -->
506 * @return the new adapter.
507 * @see org.eclipse.viatra.solver.language.solverLanguage.Count
508 * @generated
509 */
510 public Adapter createCountAdapter()
511 {
512 return null;
513 }
514
515 /**
516 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</em>}'.
517 * <!-- begin-user-doc -->
518 * This default implementation returns null so that we can easily ignore cases;
519 * it's useful to ignore a case when inheritance will catch all the cases anyway.
520 * <!-- end-user-doc -->
521 * @return the new adapter.
522 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation
523 * @generated
524 */
525 public Adapter createAggregationAdapter()
526 {
527 return null;
528 }
529
530 /**
531 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</em>}'.
532 * <!-- begin-user-doc -->
533 * This default implementation returns null so that we can easily ignore cases;
534 * it's useful to ignore a case when inheritance will catch all the cases anyway.
535 * <!-- end-user-doc -->
536 * @return the new adapter.
537 * @see org.eclipse.viatra.solver.language.solverLanguage.Call
538 * @generated
539 */
540 public Adapter createCallAdapter()
541 {
542 return null;
543 }
544
545 /**
546 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'.
547 * <!-- begin-user-doc -->
548 * This default implementation returns null so that we can easily ignore cases;
549 * it's useful to ignore a case when inheritance will catch all the cases anyway.
550 * <!-- end-user-doc -->
551 * @return the new adapter.
552 * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList
553 * @generated
554 */
555 public Adapter createArgumentListAdapter()
556 {
557 return null;
558 }
559
560 /**
561 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</em>}'.
562 * <!-- begin-user-doc -->
563 * This default implementation returns null so that we can easily ignore cases;
564 * it's useful to ignore a case when inheritance will catch all the cases anyway.
565 * <!-- end-user-doc -->
566 * @return the new adapter.
567 * @see org.eclipse.viatra.solver.language.solverLanguage.Argument
568 * @generated
569 */
570 public Adapter createArgumentAdapter()
571 {
572 return null;
573 }
574
575 /**
576 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</em>}'.
577 * <!-- begin-user-doc -->
578 * This default implementation returns null so that we can easily ignore cases;
579 * it's useful to ignore a case when inheritance will catch all the cases anyway.
580 * <!-- end-user-doc -->
581 * @return the new adapter.
582 * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument
583 * @generated
584 */
585 public Adapter createExpressionArgumentAdapter()
586 {
587 return null;
588 }
589
590 /**
591 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</em>}'.
592 * <!-- begin-user-doc -->
593 * This default implementation returns null so that we can easily ignore cases;
594 * it's useful to ignore a case when inheritance will catch all the cases anyway.
595 * <!-- end-user-doc -->
596 * @return the new adapter.
597 * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument
598 * @generated
599 */
600 public Adapter createStarArgumentAdapter()
601 {
602 return null;
603 }
604
605 /**
606 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</em>}'.
607 * <!-- begin-user-doc -->
608 * This default implementation returns null so that we can easily ignore cases;
609 * it's useful to ignore a case when inheritance will catch all the cases anyway.
610 * <!-- end-user-doc -->
611 * @return the new adapter.
612 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument
613 * @generated
614 */
615 public Adapter createTypedArgumentAdapter()
616 {
617 return null;
618 }
619
620 /**
621 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</em>}'.
622 * <!-- begin-user-doc -->
623 * This default implementation returns null so that we can easily ignore cases;
624 * it's useful to ignore a case when inheritance will catch all the cases anyway.
625 * <!-- end-user-doc -->
626 * @return the new adapter.
627 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument
628 * @generated
629 */
630 public Adapter createTypedStarArgumentAdapter()
631 {
632 return null;
633 }
634
635 /**
636 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>Reference</em>}'.
637 * <!-- begin-user-doc -->
638 * This default implementation returns null so that we can easily ignore cases;
639 * it's useful to ignore a case when inheritance will catch all the cases anyway.
640 * <!-- end-user-doc -->
641 * @return the new adapter.
642 * @see org.eclipse.viatra.solver.language.solverLanguage.Reference
643 * @generated
644 */
645 public Adapter createReferenceAdapter()
646 {
647 return null;
648 }
649
650 /**
651 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</em>}'.
652 * <!-- begin-user-doc -->
653 * This default implementation returns null so that we can easily ignore cases;
654 * it's useful to ignore a case when inheritance will catch all the cases anyway.
655 * <!-- end-user-doc -->
656 * @return the new adapter.
657 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval
658 * @generated
659 */
660 public Adapter createIntervalAdapter()
661 {
662 return null;
663 }
664
665 /**
666 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'.
667 * <!-- begin-user-doc -->
668 * This default implementation returns null so that we can easily ignore cases;
669 * it's useful to ignore a case when inheritance will catch all the cases anyway.
670 * <!-- end-user-doc -->
671 * @return the new adapter.
672 * @see org.eclipse.viatra.solver.language.solverLanguage.Literal
673 * @generated
674 */
675 public Adapter createLiteralAdapter()
676 {
677 return null;
678 }
679
680 /**
681 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic Literal</em>}'.
682 * <!-- begin-user-doc -->
683 * This default implementation returns null so that we can easily ignore cases;
684 * it's useful to ignore a case when inheritance will catch all the cases anyway.
685 * <!-- end-user-doc -->
686 * @return the new adapter.
687 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral
688 * @generated
689 */
690 public Adapter createLogicLiteralAdapter()
691 {
692 return null;
693 }
694
695 /**
696 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric Literal</em>}'.
697 * <!-- begin-user-doc -->
698 * This default implementation returns null so that we can easily ignore cases;
699 * it's useful to ignore a case when inheritance will catch all the cases anyway.
700 * <!-- end-user-doc -->
701 * @return the new adapter.
702 * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral
703 * @generated
704 */
705 public Adapter createNumericLiteralAdapter()
706 {
707 return null;
708 }
709
710 /**
711 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity Literal</em>}'.
712 * <!-- begin-user-doc -->
713 * This default implementation returns null so that we can easily ignore cases;
714 * it's useful to ignore a case when inheritance will catch all the cases anyway.
715 * <!-- end-user-doc -->
716 * @return the new adapter.
717 * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral
718 * @generated
719 */
720 public Adapter createInfinityLiteralAdapter()
721 {
722 return null;
723 }
724
725 /**
726 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval Literal</em>}'.
727 * <!-- begin-user-doc -->
728 * This default implementation returns null so that we can easily ignore cases;
729 * it's useful to ignore a case when inheritance will catch all the cases anyway.
730 * <!-- end-user-doc -->
731 * @return the new adapter.
732 * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral
733 * @generated
734 */
735 public Adapter createEmptyIntervalLiteralAdapter()
736 {
737 return null;
738 }
739
740 /**
741 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String Literal</em>}'.
742 * <!-- begin-user-doc -->
743 * This default implementation returns null so that we can easily ignore cases;
744 * it's useful to ignore a case when inheritance will catch all the cases anyway.
745 * <!-- end-user-doc -->
746 * @return the new adapter.
747 * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral
748 * @generated
749 */
750 public Adapter createStringLiteralAdapter()
751 {
752 return null;
753 }
754
755 /**
756 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition <em>Class Definition</em>}'.
757 * <!-- begin-user-doc -->
758 * This default implementation returns null so that we can easily ignore cases;
759 * it's useful to ignore a case when inheritance will catch all the cases anyway.
760 * <!-- end-user-doc -->
761 * @return the new adapter.
762 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition
763 * @generated
764 */
765 public Adapter createClassDefinitionAdapter()
766 {
767 return null;
768 }
769
770 /**
771 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'.
772 * <!-- begin-user-doc -->
773 * This default implementation returns null so that we can easily ignore cases;
774 * it's useful to ignore a case when inheritance will catch all the cases anyway.
775 * <!-- end-user-doc -->
776 * @return the new adapter.
777 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition
778 * @generated
779 */
780 public Adapter createMemberDefinitionAdapter()
781 {
782 return null;
783 }
784
785 /**
786 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</em>}'.
787 * <!-- begin-user-doc -->
788 * This default implementation returns null so that we can easily ignore cases;
789 * it's useful to ignore a case when inheritance will catch all the cases anyway.
790 * <!-- end-user-doc -->
791 * @return the new adapter.
792 * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity
793 * @generated
794 */
795 public Adapter createMultiplicityAdapter()
796 {
797 return null;
798 }
799
800 /**
801 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</em>}'.
802 * <!-- begin-user-doc -->
803 * This default implementation returns null so that we can easily ignore cases;
804 * it's useful to ignore a case when inheritance will catch all the cases anyway.
805 * <!-- end-user-doc -->
806 * @return the new adapter.
807 * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity
808 * @generated
809 */
810 public Adapter createManyMultiplicityAdapter()
811 {
812 return null;
813 }
814
815 /**
816 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</em>}'.
817 * <!-- begin-user-doc -->
818 * This default implementation returns null so that we can easily ignore cases;
819 * it's useful to ignore a case when inheritance will catch all the cases anyway.
820 * <!-- end-user-doc -->
821 * @return the new adapter.
822 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity
823 * @generated
824 */
825 public Adapter createExactMultiplicityAdapter()
826 {
827 return null;
828 }
829
830 /**
831 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</em>}'.
832 * <!-- begin-user-doc -->
833 * This default implementation returns null so that we can easily ignore cases;
834 * it's useful to ignore a case when inheritance will catch all the cases anyway.
835 * <!-- end-user-doc -->
836 * @return the new adapter.
837 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity
838 * @generated
839 */
840 public Adapter createBoundedMultiplicityAdapter()
841 {
842 return null;
843 }
844
845 /**
846 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope Definition</em>}'.
847 * <!-- begin-user-doc -->
848 * This default implementation returns null so that we can easily ignore cases;
849 * it's useful to ignore a case when inheritance will catch all the cases anyway.
850 * <!-- end-user-doc -->
851 * @return the new adapter.
852 * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition
853 * @generated
854 */
855 public Adapter createScopeDefinitionAdapter()
856 {
857 return null;
858 }
859
860 /**
861 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope Definition</em>}'.
862 * <!-- begin-user-doc -->
863 * This default implementation returns null so that we can easily ignore cases;
864 * it's useful to ignore a case when inheritance will catch all the cases anyway.
865 * <!-- end-user-doc -->
866 * @return the new adapter.
867 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition
868 * @generated
869 */
870 public Adapter createExactScopeDefinitionAdapter()
871 {
872 return null;
873 }
874
875 /**
876 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope Definition</em>}'.
877 * <!-- begin-user-doc -->
878 * This default implementation returns null so that we can easily ignore cases;
879 * it's useful to ignore a case when inheritance will catch all the cases anyway.
880 * <!-- end-user-doc -->
881 * @return the new adapter.
882 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition
883 * @generated
884 */
885 public Adapter createBoundedScopeDefinitionAdapter()
886 {
887 return null;
888 }
889
890 /**
891 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope Definition</em>}'.
892 * <!-- begin-user-doc -->
893 * This default implementation returns null so that we can easily ignore cases;
894 * it's useful to ignore a case when inheritance will catch all the cases anyway.
895 * <!-- end-user-doc -->
896 * @return the new adapter.
897 * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition
898 * @generated
899 */
900 public Adapter createLowerBoundedScopeDefinitionAdapter()
901 {
902 return null;
903 }
904
905 /**
906 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective Definition</em>}'.
907 * <!-- begin-user-doc -->
908 * This default implementation returns null so that we can easily ignore cases;
909 * it's useful to ignore a case when inheritance will catch all the cases anyway.
910 * <!-- end-user-doc -->
911 * @return the new adapter.
912 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition
913 * @generated
914 */
915 public Adapter createObjectiveDefinitionAdapter()
916 {
917 return null;
918 }
919
920 /**
921 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named Element</em>}'.
922 * <!-- begin-user-doc -->
923 * This default implementation returns null so that we can easily ignore cases;
924 * it's useful to ignore a case when inheritance will catch all the cases anyway.
925 * <!-- end-user-doc -->
926 * @return the new adapter.
927 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement
928 * @generated
929 */
930 public Adapter createNamedElementAdapter()
931 {
932 return null;
933 }
934
935 /**
936 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion <em>Assertion</em>}'.
937 * <!-- begin-user-doc -->
938 * This default implementation returns null so that we can easily ignore cases;
939 * it's useful to ignore a case when inheritance will catch all the cases anyway.
940 * <!-- end-user-doc -->
941 * @return the new adapter.
942 * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion
943 * @generated
944 */
945 public Adapter createAssertionAdapter()
946 {
947 return null;
948 }
949
950 /**
951 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</em>}'.
952 * <!-- begin-user-doc -->
953 * This default implementation returns null so that we can easily ignore cases;
954 * it's useful to ignore a case when inheritance will catch all the cases anyway.
955 * <!-- end-user-doc -->
956 * @return the new adapter.
957 * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction
958 * @generated
959 */
960 public Adapter createDisjunctionAdapter()
961 {
962 return null;
963 }
964
965 /**
966 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</em>}'.
967 * <!-- begin-user-doc -->
968 * This default implementation returns null so that we can easily ignore cases;
969 * it's useful to ignore a case when inheritance will catch all the cases anyway.
970 * <!-- end-user-doc -->
971 * @return the new adapter.
972 * @see org.eclipse.viatra.solver.language.solverLanguage.Switch
973 * @generated
974 */
975 public Adapter createSwitchAdapter()
976 {
977 return null;
978 }
979
980 /**
981 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</em>}'.
982 * <!-- begin-user-doc -->
983 * This default implementation returns null so that we can easily ignore cases;
984 * it's useful to ignore a case when inheritance will catch all the cases anyway.
985 * <!-- end-user-doc -->
986 * @return the new adapter.
987 * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction
988 * @generated
989 */
990 public Adapter createConjunctionAdapter()
991 {
992 return null;
993 }
994
995 /**
996 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</em>}'.
997 * <!-- begin-user-doc -->
998 * This default implementation returns null so that we can easily ignore cases;
999 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1000 * <!-- end-user-doc -->
1001 * @return the new adapter.
1002 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison
1003 * @generated
1004 */
1005 public Adapter createComparisonAdapter()
1006 {
1007 return null;
1008 }
1009
1010 /**
1011 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary Expression</em>}'.
1012 * <!-- begin-user-doc -->
1013 * This default implementation returns null so that we can easily ignore cases;
1014 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1015 * <!-- end-user-doc -->
1016 * @return the new adapter.
1017 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression
1018 * @generated
1019 */
1020 public Adapter createBinaryExpressionAdapter()
1021 {
1022 return null;
1023 }
1024
1025 /**
1026 * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary Expression</em>}'.
1027 * <!-- begin-user-doc -->
1028 * This default implementation returns null so that we can easily ignore cases;
1029 * it's useful to ignore a case when inheritance will catch all the cases anyway.
1030 * <!-- end-user-doc -->
1031 * @return the new adapter.
1032 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression
1033 * @generated
1034 */
1035 public Adapter createUnaryExpressionAdapter()
1036 {
1037 return null;
1038 }
1039
1040 /**
1041 * Creates a new adapter for the default case.
1042 * <!-- begin-user-doc -->
1043 * This default implementation returns null.
1044 * <!-- end-user-doc -->
1045 * @return the new adapter.
1046 * @generated
1047 */
1048 public Adapter createEObjectAdapter()
1049 {
1050 return null;
1051 }
1052
1053} //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
deleted file mode 100644
index 79a98ff7..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
+++ /dev/null
@@ -1,1245 +0,0 @@
1/**
2 * generated by Xtext 2.21.0
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.*;
12
13/**
14 * <!-- begin-user-doc -->
15 * The <b>Switch</b> for the model's inheritance hierarchy.
16 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
17 * to invoke the <code>caseXXX</code> method for each class of the model,
18 * starting with the actual class of the object
19 * and proceeding up the inheritance hierarchy
20 * until a non-null result is returned,
21 * which is the result of the switch.
22 * <!-- end-user-doc -->
23 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
24 * @generated
25 */
26public class SolverLanguageSwitch<T> extends Switch<T>
27{
28 /**
29 * The cached model package
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 protected static SolverLanguagePackage modelPackage;
35
36 /**
37 * Creates an instance of the switch.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 public SolverLanguageSwitch()
43 {
44 if (modelPackage == null)
45 {
46 modelPackage = SolverLanguagePackage.eINSTANCE;
47 }
48 }
49
50 /**
51 * Checks whether this is a switch for the given package.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @param ePackage the package in question.
55 * @return whether this is a switch for the given package.
56 * @generated
57 */
58 @Override
59 protected boolean isSwitchFor(EPackage ePackage)
60 {
61 return ePackage == modelPackage;
62 }
63
64 /**
65 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
66 * <!-- begin-user-doc -->
67 * <!-- end-user-doc -->
68 * @return the first non-null result returned by a <code>caseXXX</code> call.
69 * @generated
70 */
71 @Override
72 protected T doSwitch(int classifierID, EObject theEObject)
73 {
74 switch (classifierID)
75 {
76 case SolverLanguagePackage.PROBLEM:
77 {
78 Problem problem = (Problem)theEObject;
79 T result = caseProblem(problem);
80 if (result == null) result = defaultCase(theEObject);
81 return result;
82 }
83 case SolverLanguagePackage.STATEMENT:
84 {
85 Statement statement = (Statement)theEObject;
86 T result = caseStatement(statement);
87 if (result == null) result = defaultCase(theEObject);
88 return result;
89 }
90 case SolverLanguagePackage.PREDICATE_DEFINITION:
91 {
92 PredicateDefinition predicateDefinition = (PredicateDefinition)theEObject;
93 T result = casePredicateDefinition(predicateDefinition);
94 if (result == null) result = caseStatement(predicateDefinition);
95 if (result == null) result = defaultCase(theEObject);
96 return result;
97 }
98 case SolverLanguagePackage.UNNAMED_ERROR_PREDIATE_DEFINITION:
99 {
100 UnnamedErrorPrediateDefinition unnamedErrorPrediateDefinition = (UnnamedErrorPrediateDefinition)theEObject;
101 T result = caseUnnamedErrorPrediateDefinition(unnamedErrorPrediateDefinition);
102 if (result == null) result = caseStatement(unnamedErrorPrediateDefinition);
103 if (result == null) result = defaultCase(theEObject);
104 return result;
105 }
106 case SolverLanguagePackage.DEFAULT_DEFINITION:
107 {
108 DefaultDefinition defaultDefinition = (DefaultDefinition)theEObject;
109 T result = caseDefaultDefinition(defaultDefinition);
110 if (result == null) result = caseStatement(defaultDefinition);
111 if (result == null) result = defaultCase(theEObject);
112 return result;
113 }
114 case SolverLanguagePackage.EXTERN_PREDICATE_DEFINITION:
115 {
116 ExternPredicateDefinition externPredicateDefinition = (ExternPredicateDefinition)theEObject;
117 T result = caseExternPredicateDefinition(externPredicateDefinition);
118 if (result == null) result = caseStatement(externPredicateDefinition);
119 if (result == null) result = defaultCase(theEObject);
120 return result;
121 }
122 case SolverLanguagePackage.METRIC_DEFINITION:
123 {
124 MetricDefinition metricDefinition = (MetricDefinition)theEObject;
125 T result = caseMetricDefinition(metricDefinition);
126 if (result == null) result = caseStatement(metricDefinition);
127 if (result == null) result = defaultCase(theEObject);
128 return result;
129 }
130 case SolverLanguagePackage.EXTERN_METRIC_DEFINITION:
131 {
132 ExternMetricDefinition externMetricDefinition = (ExternMetricDefinition)theEObject;
133 T result = caseExternMetricDefinition(externMetricDefinition);
134 if (result == null) result = caseStatement(externMetricDefinition);
135 if (result == null) result = defaultCase(theEObject);
136 return result;
137 }
138 case SolverLanguagePackage.EXPRESSION:
139 {
140 Expression expression = (Expression)theEObject;
141 T result = caseExpression(expression);
142 if (result == null) result = caseStatement(expression);
143 if (result == null) result = defaultCase(theEObject);
144 return result;
145 }
146 case SolverLanguagePackage.IF_ELSE:
147 {
148 IfElse ifElse = (IfElse)theEObject;
149 T result = caseIfElse(ifElse);
150 if (result == null) result = caseExpression(ifElse);
151 if (result == null) result = caseStatement(ifElse);
152 if (result == null) result = defaultCase(theEObject);
153 return result;
154 }
155 case SolverLanguagePackage.CASE:
156 {
157 Case case_ = (Case)theEObject;
158 T result = caseCase(case_);
159 if (result == null) result = caseExpression(case_);
160 if (result == null) result = caseStatement(case_);
161 if (result == null) result = defaultCase(theEObject);
162 return result;
163 }
164 case SolverLanguagePackage.COUNT:
165 {
166 Count count = (Count)theEObject;
167 T result = caseCount(count);
168 if (result == null) result = caseExpression(count);
169 if (result == null) result = caseStatement(count);
170 if (result == null) result = defaultCase(theEObject);
171 return result;
172 }
173 case SolverLanguagePackage.AGGREGATION:
174 {
175 Aggregation aggregation = (Aggregation)theEObject;
176 T result = caseAggregation(aggregation);
177 if (result == null) result = caseExpression(aggregation);
178 if (result == null) result = caseStatement(aggregation);
179 if (result == null) result = defaultCase(theEObject);
180 return result;
181 }
182 case SolverLanguagePackage.CALL:
183 {
184 Call call = (Call)theEObject;
185 T result = caseCall(call);
186 if (result == null) result = caseExpression(call);
187 if (result == null) result = caseStatement(call);
188 if (result == null) result = defaultCase(theEObject);
189 return result;
190 }
191 case SolverLanguagePackage.ARGUMENT_LIST:
192 {
193 ArgumentList argumentList = (ArgumentList)theEObject;
194 T result = caseArgumentList(argumentList);
195 if (result == null) result = defaultCase(theEObject);
196 return result;
197 }
198 case SolverLanguagePackage.ARGUMENT:
199 {
200 Argument argument = (Argument)theEObject;
201 T result = caseArgument(argument);
202 if (result == null) result = defaultCase(theEObject);
203 return result;
204 }
205 case SolverLanguagePackage.EXPRESSION_ARGUMENT:
206 {
207 ExpressionArgument expressionArgument = (ExpressionArgument)theEObject;
208 T result = caseExpressionArgument(expressionArgument);
209 if (result == null) result = caseArgument(expressionArgument);
210 if (result == null) result = defaultCase(theEObject);
211 return result;
212 }
213 case SolverLanguagePackage.STAR_ARGUMENT:
214 {
215 StarArgument starArgument = (StarArgument)theEObject;
216 T result = caseStarArgument(starArgument);
217 if (result == null) result = caseArgument(starArgument);
218 if (result == null) result = defaultCase(theEObject);
219 return result;
220 }
221 case SolverLanguagePackage.TYPED_ARGUMENT:
222 {
223 TypedArgument typedArgument = (TypedArgument)theEObject;
224 T result = caseTypedArgument(typedArgument);
225 if (result == null) result = caseArgument(typedArgument);
226 if (result == null) result = defaultCase(theEObject);
227 return result;
228 }
229 case SolverLanguagePackage.TYPED_STAR_ARGUMENT:
230 {
231 TypedStarArgument typedStarArgument = (TypedStarArgument)theEObject;
232 T result = caseTypedStarArgument(typedStarArgument);
233 if (result == null) result = caseArgument(typedStarArgument);
234 if (result == null) result = defaultCase(theEObject);
235 return result;
236 }
237 case SolverLanguagePackage.REFERENCE:
238 {
239 Reference reference = (Reference)theEObject;
240 T result = caseReference(reference);
241 if (result == null) result = caseExpression(reference);
242 if (result == null) result = caseStatement(reference);
243 if (result == null) result = defaultCase(theEObject);
244 return result;
245 }
246 case SolverLanguagePackage.INTERVAL:
247 {
248 Interval interval = (Interval)theEObject;
249 T result = caseInterval(interval);
250 if (result == null) result = caseExpression(interval);
251 if (result == null) result = caseStatement(interval);
252 if (result == null) result = defaultCase(theEObject);
253 return result;
254 }
255 case SolverLanguagePackage.LITERAL:
256 {
257 Literal literal = (Literal)theEObject;
258 T result = caseLiteral(literal);
259 if (result == null) result = caseExpression(literal);
260 if (result == null) result = caseStatement(literal);
261 if (result == null) result = defaultCase(theEObject);
262 return result;
263 }
264 case SolverLanguagePackage.LOGIC_LITERAL:
265 {
266 LogicLiteral logicLiteral = (LogicLiteral)theEObject;
267 T result = caseLogicLiteral(logicLiteral);
268 if (result == null) result = caseLiteral(logicLiteral);
269 if (result == null) result = caseExpression(logicLiteral);
270 if (result == null) result = caseStatement(logicLiteral);
271 if (result == null) result = defaultCase(theEObject);
272 return result;
273 }
274 case SolverLanguagePackage.NUMERIC_LITERAL:
275 {
276 NumericLiteral numericLiteral = (NumericLiteral)theEObject;
277 T result = caseNumericLiteral(numericLiteral);
278 if (result == null) result = caseLiteral(numericLiteral);
279 if (result == null) result = caseExpression(numericLiteral);
280 if (result == null) result = caseStatement(numericLiteral);
281 if (result == null) result = defaultCase(theEObject);
282 return result;
283 }
284 case SolverLanguagePackage.INFINITY_LITERAL:
285 {
286 InfinityLiteral infinityLiteral = (InfinityLiteral)theEObject;
287 T result = caseInfinityLiteral(infinityLiteral);
288 if (result == null) result = caseLiteral(infinityLiteral);
289 if (result == null) result = caseExpression(infinityLiteral);
290 if (result == null) result = caseStatement(infinityLiteral);
291 if (result == null) result = defaultCase(theEObject);
292 return result;
293 }
294 case SolverLanguagePackage.EMPTY_INTERVAL_LITERAL:
295 {
296 EmptyIntervalLiteral emptyIntervalLiteral = (EmptyIntervalLiteral)theEObject;
297 T result = caseEmptyIntervalLiteral(emptyIntervalLiteral);
298 if (result == null) result = caseLiteral(emptyIntervalLiteral);
299 if (result == null) result = caseExpression(emptyIntervalLiteral);
300 if (result == null) result = caseStatement(emptyIntervalLiteral);
301 if (result == null) result = defaultCase(theEObject);
302 return result;
303 }
304 case SolverLanguagePackage.STRING_LITERAL:
305 {
306 StringLiteral stringLiteral = (StringLiteral)theEObject;
307 T result = caseStringLiteral(stringLiteral);
308 if (result == null) result = caseLiteral(stringLiteral);
309 if (result == null) result = caseExpression(stringLiteral);
310 if (result == null) result = caseStatement(stringLiteral);
311 if (result == null) result = defaultCase(theEObject);
312 return result;
313 }
314 case SolverLanguagePackage.CLASS_DEFINITION:
315 {
316 ClassDefinition classDefinition = (ClassDefinition)theEObject;
317 T result = caseClassDefinition(classDefinition);
318 if (result == null) result = caseStatement(classDefinition);
319 if (result == null) result = defaultCase(theEObject);
320 return result;
321 }
322 case SolverLanguagePackage.MEMBER_DEFINITION:
323 {
324 MemberDefinition memberDefinition = (MemberDefinition)theEObject;
325 T result = caseMemberDefinition(memberDefinition);
326 if (result == null) result = defaultCase(theEObject);
327 return result;
328 }
329 case SolverLanguagePackage.MULTIPLICITY:
330 {
331 Multiplicity multiplicity = (Multiplicity)theEObject;
332 T result = caseMultiplicity(multiplicity);
333 if (result == null) result = defaultCase(theEObject);
334 return result;
335 }
336 case SolverLanguagePackage.MANY_MULTIPLICITY:
337 {
338 ManyMultiplicity manyMultiplicity = (ManyMultiplicity)theEObject;
339 T result = caseManyMultiplicity(manyMultiplicity);
340 if (result == null) result = caseMultiplicity(manyMultiplicity);
341 if (result == null) result = defaultCase(theEObject);
342 return result;
343 }
344 case SolverLanguagePackage.EXACT_MULTIPLICITY:
345 {
346 ExactMultiplicity exactMultiplicity = (ExactMultiplicity)theEObject;
347 T result = caseExactMultiplicity(exactMultiplicity);
348 if (result == null) result = caseMultiplicity(exactMultiplicity);
349 if (result == null) result = defaultCase(theEObject);
350 return result;
351 }
352 case SolverLanguagePackage.BOUNDED_MULTIPLICITY:
353 {
354 BoundedMultiplicity boundedMultiplicity = (BoundedMultiplicity)theEObject;
355 T result = caseBoundedMultiplicity(boundedMultiplicity);
356 if (result == null) result = caseMultiplicity(boundedMultiplicity);
357 if (result == null) result = defaultCase(theEObject);
358 return result;
359 }
360 case SolverLanguagePackage.SCOPE_DEFINITION:
361 {
362 ScopeDefinition scopeDefinition = (ScopeDefinition)theEObject;
363 T result = caseScopeDefinition(scopeDefinition);
364 if (result == null) result = caseStatement(scopeDefinition);
365 if (result == null) result = defaultCase(theEObject);
366 return result;
367 }
368 case SolverLanguagePackage.EXACT_SCOPE_DEFINITION:
369 {
370 ExactScopeDefinition exactScopeDefinition = (ExactScopeDefinition)theEObject;
371 T result = caseExactScopeDefinition(exactScopeDefinition);
372 if (result == null) result = caseScopeDefinition(exactScopeDefinition);
373 if (result == null) result = caseStatement(exactScopeDefinition);
374 if (result == null) result = defaultCase(theEObject);
375 return result;
376 }
377 case SolverLanguagePackage.BOUNDED_SCOPE_DEFINITION:
378 {
379 BoundedScopeDefinition boundedScopeDefinition = (BoundedScopeDefinition)theEObject;
380 T result = caseBoundedScopeDefinition(boundedScopeDefinition);
381 if (result == null) result = caseScopeDefinition(boundedScopeDefinition);
382 if (result == null) result = caseStatement(boundedScopeDefinition);
383 if (result == null) result = defaultCase(theEObject);
384 return result;
385 }
386 case SolverLanguagePackage.LOWER_BOUNDED_SCOPE_DEFINITION:
387 {
388 LowerBoundedScopeDefinition lowerBoundedScopeDefinition = (LowerBoundedScopeDefinition)theEObject;
389 T result = caseLowerBoundedScopeDefinition(lowerBoundedScopeDefinition);
390 if (result == null) result = caseScopeDefinition(lowerBoundedScopeDefinition);
391 if (result == null) result = caseStatement(lowerBoundedScopeDefinition);
392 if (result == null) result = defaultCase(theEObject);
393 return result;
394 }
395 case SolverLanguagePackage.OBJECTIVE_DEFINITION:
396 {
397 ObjectiveDefinition objectiveDefinition = (ObjectiveDefinition)theEObject;
398 T result = caseObjectiveDefinition(objectiveDefinition);
399 if (result == null) result = caseStatement(objectiveDefinition);
400 if (result == null) result = defaultCase(theEObject);
401 return result;
402 }
403 case SolverLanguagePackage.NAMED_ELEMENT:
404 {
405 NamedElement namedElement = (NamedElement)theEObject;
406 T result = caseNamedElement(namedElement);
407 if (result == null) result = defaultCase(theEObject);
408 return result;
409 }
410 case SolverLanguagePackage.ASSERTION:
411 {
412 Assertion assertion = (Assertion)theEObject;
413 T result = caseAssertion(assertion);
414 if (result == null) result = caseStatement(assertion);
415 if (result == null) result = defaultCase(theEObject);
416 return result;
417 }
418 case SolverLanguagePackage.DISJUNCTION:
419 {
420 Disjunction disjunction = (Disjunction)theEObject;
421 T result = caseDisjunction(disjunction);
422 if (result == null) result = caseExpression(disjunction);
423 if (result == null) result = caseStatement(disjunction);
424 if (result == null) result = defaultCase(theEObject);
425 return result;
426 }
427 case SolverLanguagePackage.SWITCH:
428 {
429 org.eclipse.viatra.solver.language.solverLanguage.Switch switch_ = (org.eclipse.viatra.solver.language.solverLanguage.Switch)theEObject;
430 T result = caseSwitch(switch_);
431 if (result == null) result = caseExpression(switch_);
432 if (result == null) result = caseStatement(switch_);
433 if (result == null) result = defaultCase(theEObject);
434 return result;
435 }
436 case SolverLanguagePackage.CONJUNCTION:
437 {
438 Conjunction conjunction = (Conjunction)theEObject;
439 T result = caseConjunction(conjunction);
440 if (result == null) result = caseExpression(conjunction);
441 if (result == null) result = caseStatement(conjunction);
442 if (result == null) result = defaultCase(theEObject);
443 return result;
444 }
445 case SolverLanguagePackage.COMPARISON:
446 {
447 Comparison comparison = (Comparison)theEObject;
448 T result = caseComparison(comparison);
449 if (result == null) result = caseExpression(comparison);
450 if (result == null) result = caseStatement(comparison);
451 if (result == null) result = defaultCase(theEObject);
452 return result;
453 }
454 case SolverLanguagePackage.BINARY_EXPRESSION:
455 {
456 BinaryExpression binaryExpression = (BinaryExpression)theEObject;
457 T result = caseBinaryExpression(binaryExpression);
458 if (result == null) result = caseExpression(binaryExpression);
459 if (result == null) result = caseStatement(binaryExpression);
460 if (result == null) result = defaultCase(theEObject);
461 return result;
462 }
463 case SolverLanguagePackage.UNARY_EXPRESSION:
464 {
465 UnaryExpression unaryExpression = (UnaryExpression)theEObject;
466 T result = caseUnaryExpression(unaryExpression);
467 if (result == null) result = caseExpression(unaryExpression);
468 if (result == null) result = caseStatement(unaryExpression);
469 if (result == null) result = defaultCase(theEObject);
470 return result;
471 }
472 default: return defaultCase(theEObject);
473 }
474 }
475
476 /**
477 * Returns the result of interpreting the object as an instance of '<em>Problem</em>'.
478 * <!-- begin-user-doc -->
479 * This implementation returns null;
480 * returning a non-null result will terminate the switch.
481 * <!-- end-user-doc -->
482 * @param object the target of the switch.
483 * @return the result of interpreting the object as an instance of '<em>Problem</em>'.
484 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
485 * @generated
486 */
487 public T caseProblem(Problem object)
488 {
489 return null;
490 }
491
492 /**
493 * Returns the result of interpreting the object as an instance of '<em>Statement</em>'.
494 * <!-- begin-user-doc -->
495 * This implementation returns null;
496 * returning a non-null result will terminate the switch.
497 * <!-- end-user-doc -->
498 * @param object the target of the switch.
499 * @return the result of interpreting the object as an instance of '<em>Statement</em>'.
500 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
501 * @generated
502 */
503 public T caseStatement(Statement object)
504 {
505 return null;
506 }
507
508 /**
509 * Returns the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
510 * <!-- begin-user-doc -->
511 * This implementation returns null;
512 * returning a non-null result will terminate the switch.
513 * <!-- end-user-doc -->
514 * @param object the target of the switch.
515 * @return the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
516 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
517 * @generated
518 */
519 public T casePredicateDefinition(PredicateDefinition object)
520 {
521 return null;
522 }
523
524 /**
525 * Returns the result of interpreting the object as an instance of '<em>Unnamed Error Prediate Definition</em>'.
526 * <!-- begin-user-doc -->
527 * This implementation returns null;
528 * returning a non-null result will terminate the switch.
529 * <!-- end-user-doc -->
530 * @param object the target of the switch.
531 * @return the result of interpreting the object as an instance of '<em>Unnamed Error Prediate Definition</em>'.
532 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
533 * @generated
534 */
535 public T caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object)
536 {
537 return null;
538 }
539
540 /**
541 * Returns the result of interpreting the object as an instance of '<em>Default Definition</em>'.
542 * <!-- begin-user-doc -->
543 * This implementation returns null;
544 * returning a non-null result will terminate the switch.
545 * <!-- end-user-doc -->
546 * @param object the target of the switch.
547 * @return the result of interpreting the object as an instance of '<em>Default Definition</em>'.
548 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
549 * @generated
550 */
551 public T caseDefaultDefinition(DefaultDefinition object)
552 {
553 return null;
554 }
555
556 /**
557 * Returns the result of interpreting the object as an instance of '<em>Extern Predicate Definition</em>'.
558 * <!-- begin-user-doc -->
559 * This implementation returns null;
560 * returning a non-null result will terminate the switch.
561 * <!-- end-user-doc -->
562 * @param object the target of the switch.
563 * @return the result of interpreting the object as an instance of '<em>Extern Predicate Definition</em>'.
564 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
565 * @generated
566 */
567 public T caseExternPredicateDefinition(ExternPredicateDefinition object)
568 {
569 return null;
570 }
571
572 /**
573 * Returns the result of interpreting the object as an instance of '<em>Metric Definition</em>'.
574 * <!-- begin-user-doc -->
575 * This implementation returns null;
576 * returning a non-null result will terminate the switch.
577 * <!-- end-user-doc -->
578 * @param object the target of the switch.
579 * @return the result of interpreting the object as an instance of '<em>Metric Definition</em>'.
580 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
581 * @generated
582 */
583 public T caseMetricDefinition(MetricDefinition object)
584 {
585 return null;
586 }
587
588 /**
589 * Returns the result of interpreting the object as an instance of '<em>Extern Metric Definition</em>'.
590 * <!-- begin-user-doc -->
591 * This implementation returns null;
592 * returning a non-null result will terminate the switch.
593 * <!-- end-user-doc -->
594 * @param object the target of the switch.
595 * @return the result of interpreting the object as an instance of '<em>Extern Metric Definition</em>'.
596 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
597 * @generated
598 */
599 public T caseExternMetricDefinition(ExternMetricDefinition object)
600 {
601 return null;
602 }
603
604 /**
605 * Returns the result of interpreting the object as an instance of '<em>Expression</em>'.
606 * <!-- begin-user-doc -->
607 * This implementation returns null;
608 * returning a non-null result will terminate the switch.
609 * <!-- end-user-doc -->
610 * @param object the target of the switch.
611 * @return the result of interpreting the object as an instance of '<em>Expression</em>'.
612 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
613 * @generated
614 */
615 public T caseExpression(Expression object)
616 {
617 return null;
618 }
619
620 /**
621 * Returns the result of interpreting the object as an instance of '<em>If Else</em>'.
622 * <!-- begin-user-doc -->
623 * This implementation returns null;
624 * returning a non-null result will terminate the switch.
625 * <!-- end-user-doc -->
626 * @param object the target of the switch.
627 * @return the result of interpreting the object as an instance of '<em>If Else</em>'.
628 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
629 * @generated
630 */
631 public T caseIfElse(IfElse object)
632 {
633 return null;
634 }
635
636 /**
637 * Returns the result of interpreting the object as an instance of '<em>Case</em>'.
638 * <!-- begin-user-doc -->
639 * This implementation returns null;
640 * returning a non-null result will terminate the switch.
641 * <!-- end-user-doc -->
642 * @param object the target of the switch.
643 * @return the result of interpreting the object as an instance of '<em>Case</em>'.
644 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
645 * @generated
646 */
647 public T caseCase(Case object)
648 {
649 return null;
650 }
651
652 /**
653 * Returns the result of interpreting the object as an instance of '<em>Count</em>'.
654 * <!-- begin-user-doc -->
655 * This implementation returns null;
656 * returning a non-null result will terminate the switch.
657 * <!-- end-user-doc -->
658 * @param object the target of the switch.
659 * @return the result of interpreting the object as an instance of '<em>Count</em>'.
660 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
661 * @generated
662 */
663 public T caseCount(Count object)
664 {
665 return null;
666 }
667
668 /**
669 * Returns the result of interpreting the object as an instance of '<em>Aggregation</em>'.
670 * <!-- begin-user-doc -->
671 * This implementation returns null;
672 * returning a non-null result will terminate the switch.
673 * <!-- end-user-doc -->
674 * @param object the target of the switch.
675 * @return the result of interpreting the object as an instance of '<em>Aggregation</em>'.
676 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
677 * @generated
678 */
679 public T caseAggregation(Aggregation object)
680 {
681 return null;
682 }
683
684 /**
685 * Returns the result of interpreting the object as an instance of '<em>Call</em>'.
686 * <!-- begin-user-doc -->
687 * This implementation returns null;
688 * returning a non-null result will terminate the switch.
689 * <!-- end-user-doc -->
690 * @param object the target of the switch.
691 * @return the result of interpreting the object as an instance of '<em>Call</em>'.
692 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
693 * @generated
694 */
695 public T caseCall(Call object)
696 {
697 return null;
698 }
699
700 /**
701 * Returns the result of interpreting the object as an instance of '<em>Argument List</em>'.
702 * <!-- begin-user-doc -->
703 * This implementation returns null;
704 * returning a non-null result will terminate the switch.
705 * <!-- end-user-doc -->
706 * @param object the target of the switch.
707 * @return the result of interpreting the object as an instance of '<em>Argument List</em>'.
708 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
709 * @generated
710 */
711 public T caseArgumentList(ArgumentList object)
712 {
713 return null;
714 }
715
716 /**
717 * Returns the result of interpreting the object as an instance of '<em>Argument</em>'.
718 * <!-- begin-user-doc -->
719 * This implementation returns null;
720 * returning a non-null result will terminate the switch.
721 * <!-- end-user-doc -->
722 * @param object the target of the switch.
723 * @return the result of interpreting the object as an instance of '<em>Argument</em>'.
724 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
725 * @generated
726 */
727 public T caseArgument(Argument object)
728 {
729 return null;
730 }
731
732 /**
733 * Returns the result of interpreting the object as an instance of '<em>Expression Argument</em>'.
734 * <!-- begin-user-doc -->
735 * This implementation returns null;
736 * returning a non-null result will terminate the switch.
737 * <!-- end-user-doc -->
738 * @param object the target of the switch.
739 * @return the result of interpreting the object as an instance of '<em>Expression Argument</em>'.
740 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
741 * @generated
742 */
743 public T caseExpressionArgument(ExpressionArgument object)
744 {
745 return null;
746 }
747
748 /**
749 * Returns the result of interpreting the object as an instance of '<em>Star Argument</em>'.
750 * <!-- begin-user-doc -->
751 * This implementation returns null;
752 * returning a non-null result will terminate the switch.
753 * <!-- end-user-doc -->
754 * @param object the target of the switch.
755 * @return the result of interpreting the object as an instance of '<em>Star Argument</em>'.
756 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
757 * @generated
758 */
759 public T caseStarArgument(StarArgument object)
760 {
761 return null;
762 }
763
764 /**
765 * Returns the result of interpreting the object as an instance of '<em>Typed Argument</em>'.
766 * <!-- begin-user-doc -->
767 * This implementation returns null;
768 * returning a non-null result will terminate the switch.
769 * <!-- end-user-doc -->
770 * @param object the target of the switch.
771 * @return the result of interpreting the object as an instance of '<em>Typed Argument</em>'.
772 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
773 * @generated
774 */
775 public T caseTypedArgument(TypedArgument object)
776 {
777 return null;
778 }
779
780 /**
781 * Returns the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'.
782 * <!-- begin-user-doc -->
783 * This implementation returns null;
784 * returning a non-null result will terminate the switch.
785 * <!-- end-user-doc -->
786 * @param object the target of the switch.
787 * @return the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'.
788 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
789 * @generated
790 */
791 public T caseTypedStarArgument(TypedStarArgument object)
792 {
793 return null;
794 }
795
796 /**
797 * Returns the result of interpreting the object as an instance of '<em>Reference</em>'.
798 * <!-- begin-user-doc -->
799 * This implementation returns null;
800 * returning a non-null result will terminate the switch.
801 * <!-- end-user-doc -->
802 * @param object the target of the switch.
803 * @return the result of interpreting the object as an instance of '<em>Reference</em>'.
804 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
805 * @generated
806 */
807 public T caseReference(Reference object)
808 {
809 return null;
810 }
811
812 /**
813 * Returns the result of interpreting the object as an instance of '<em>Interval</em>'.
814 * <!-- begin-user-doc -->
815 * This implementation returns null;
816 * returning a non-null result will terminate the switch.
817 * <!-- end-user-doc -->
818 * @param object the target of the switch.
819 * @return the result of interpreting the object as an instance of '<em>Interval</em>'.
820 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
821 * @generated
822 */
823 public T caseInterval(Interval object)
824 {
825 return null;
826 }
827
828 /**
829 * Returns the result of interpreting the object as an instance of '<em>Literal</em>'.
830 * <!-- begin-user-doc -->
831 * This implementation returns null;
832 * returning a non-null result will terminate the switch.
833 * <!-- end-user-doc -->
834 * @param object the target of the switch.
835 * @return the result of interpreting the object as an instance of '<em>Literal</em>'.
836 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
837 * @generated
838 */
839 public T caseLiteral(Literal object)
840 {
841 return null;
842 }
843
844 /**
845 * Returns the result of interpreting the object as an instance of '<em>Logic Literal</em>'.
846 * <!-- begin-user-doc -->
847 * This implementation returns null;
848 * returning a non-null result will terminate the switch.
849 * <!-- end-user-doc -->
850 * @param object the target of the switch.
851 * @return the result of interpreting the object as an instance of '<em>Logic Literal</em>'.
852 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
853 * @generated
854 */
855 public T caseLogicLiteral(LogicLiteral object)
856 {
857 return null;
858 }
859
860 /**
861 * Returns the result of interpreting the object as an instance of '<em>Numeric Literal</em>'.
862 * <!-- begin-user-doc -->
863 * This implementation returns null;
864 * returning a non-null result will terminate the switch.
865 * <!-- end-user-doc -->
866 * @param object the target of the switch.
867 * @return the result of interpreting the object as an instance of '<em>Numeric Literal</em>'.
868 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
869 * @generated
870 */
871 public T caseNumericLiteral(NumericLiteral object)
872 {
873 return null;
874 }
875
876 /**
877 * Returns the result of interpreting the object as an instance of '<em>Infinity Literal</em>'.
878 * <!-- begin-user-doc -->
879 * This implementation returns null;
880 * returning a non-null result will terminate the switch.
881 * <!-- end-user-doc -->
882 * @param object the target of the switch.
883 * @return the result of interpreting the object as an instance of '<em>Infinity Literal</em>'.
884 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
885 * @generated
886 */
887 public T caseInfinityLiteral(InfinityLiteral object)
888 {
889 return null;
890 }
891
892 /**
893 * Returns the result of interpreting the object as an instance of '<em>Empty Interval Literal</em>'.
894 * <!-- begin-user-doc -->
895 * This implementation returns null;
896 * returning a non-null result will terminate the switch.
897 * <!-- end-user-doc -->
898 * @param object the target of the switch.
899 * @return the result of interpreting the object as an instance of '<em>Empty Interval Literal</em>'.
900 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
901 * @generated
902 */
903 public T caseEmptyIntervalLiteral(EmptyIntervalLiteral object)
904 {
905 return null;
906 }
907
908 /**
909 * Returns the result of interpreting the object as an instance of '<em>String Literal</em>'.
910 * <!-- begin-user-doc -->
911 * This implementation returns null;
912 * returning a non-null result will terminate the switch.
913 * <!-- end-user-doc -->
914 * @param object the target of the switch.
915 * @return the result of interpreting the object as an instance of '<em>String Literal</em>'.
916 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
917 * @generated
918 */
919 public T caseStringLiteral(StringLiteral object)
920 {
921 return null;
922 }
923
924 /**
925 * Returns the result of interpreting the object as an instance of '<em>Class Definition</em>'.
926 * <!-- begin-user-doc -->
927 * This implementation returns null;
928 * returning a non-null result will terminate the switch.
929 * <!-- end-user-doc -->
930 * @param object the target of the switch.
931 * @return the result of interpreting the object as an instance of '<em>Class Definition</em>'.
932 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
933 * @generated
934 */
935 public T caseClassDefinition(ClassDefinition object)
936 {
937 return null;
938 }
939
940 /**
941 * Returns the result of interpreting the object as an instance of '<em>Member Definition</em>'.
942 * <!-- begin-user-doc -->
943 * This implementation returns null;
944 * returning a non-null result will terminate the switch.
945 * <!-- end-user-doc -->
946 * @param object the target of the switch.
947 * @return the result of interpreting the object as an instance of '<em>Member Definition</em>'.
948 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
949 * @generated
950 */
951 public T caseMemberDefinition(MemberDefinition object)
952 {
953 return null;
954 }
955
956 /**
957 * Returns the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
958 * <!-- begin-user-doc -->
959 * This implementation returns null;
960 * returning a non-null result will terminate the switch.
961 * <!-- end-user-doc -->
962 * @param object the target of the switch.
963 * @return the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
964 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
965 * @generated
966 */
967 public T caseMultiplicity(Multiplicity object)
968 {
969 return null;
970 }
971
972 /**
973 * Returns the result of interpreting the object as an instance of '<em>Many Multiplicity</em>'.
974 * <!-- begin-user-doc -->
975 * This implementation returns null;
976 * returning a non-null result will terminate the switch.
977 * <!-- end-user-doc -->
978 * @param object the target of the switch.
979 * @return the result of interpreting the object as an instance of '<em>Many Multiplicity</em>'.
980 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
981 * @generated
982 */
983 public T caseManyMultiplicity(ManyMultiplicity object)
984 {
985 return null;
986 }
987
988 /**
989 * Returns the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
990 * <!-- begin-user-doc -->
991 * This implementation returns null;
992 * returning a non-null result will terminate the switch.
993 * <!-- end-user-doc -->
994 * @param object the target of the switch.
995 * @return the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
996 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
997 * @generated
998 */
999 public T caseExactMultiplicity(ExactMultiplicity object)
1000 {
1001 return null;
1002 }
1003
1004 /**
1005 * Returns the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'.
1006 * <!-- begin-user-doc -->
1007 * This implementation returns null;
1008 * returning a non-null result will terminate the switch.
1009 * <!-- end-user-doc -->
1010 * @param object the target of the switch.
1011 * @return the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'.
1012 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1013 * @generated
1014 */
1015 public T caseBoundedMultiplicity(BoundedMultiplicity object)
1016 {
1017 return null;
1018 }
1019
1020 /**
1021 * Returns the result of interpreting the object as an instance of '<em>Scope Definition</em>'.
1022 * <!-- begin-user-doc -->
1023 * This implementation returns null;
1024 * returning a non-null result will terminate the switch.
1025 * <!-- end-user-doc -->
1026 * @param object the target of the switch.
1027 * @return the result of interpreting the object as an instance of '<em>Scope Definition</em>'.
1028 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1029 * @generated
1030 */
1031 public T caseScopeDefinition(ScopeDefinition object)
1032 {
1033 return null;
1034 }
1035
1036 /**
1037 * Returns the result of interpreting the object as an instance of '<em>Exact Scope Definition</em>'.
1038 * <!-- begin-user-doc -->
1039 * This implementation returns null;
1040 * returning a non-null result will terminate the switch.
1041 * <!-- end-user-doc -->
1042 * @param object the target of the switch.
1043 * @return the result of interpreting the object as an instance of '<em>Exact Scope Definition</em>'.
1044 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1045 * @generated
1046 */
1047 public T caseExactScopeDefinition(ExactScopeDefinition object)
1048 {
1049 return null;
1050 }
1051
1052 /**
1053 * Returns the result of interpreting the object as an instance of '<em>Bounded Scope Definition</em>'.
1054 * <!-- begin-user-doc -->
1055 * This implementation returns null;
1056 * returning a non-null result will terminate the switch.
1057 * <!-- end-user-doc -->
1058 * @param object the target of the switch.
1059 * @return the result of interpreting the object as an instance of '<em>Bounded Scope Definition</em>'.
1060 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1061 * @generated
1062 */
1063 public T caseBoundedScopeDefinition(BoundedScopeDefinition object)
1064 {
1065 return null;
1066 }
1067
1068 /**
1069 * Returns the result of interpreting the object as an instance of '<em>Lower Bounded Scope Definition</em>'.
1070 * <!-- begin-user-doc -->
1071 * This implementation returns null;
1072 * returning a non-null result will terminate the switch.
1073 * <!-- end-user-doc -->
1074 * @param object the target of the switch.
1075 * @return the result of interpreting the object as an instance of '<em>Lower Bounded Scope Definition</em>'.
1076 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1077 * @generated
1078 */
1079 public T caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object)
1080 {
1081 return null;
1082 }
1083
1084 /**
1085 * Returns the result of interpreting the object as an instance of '<em>Objective Definition</em>'.
1086 * <!-- begin-user-doc -->
1087 * This implementation returns null;
1088 * returning a non-null result will terminate the switch.
1089 * <!-- end-user-doc -->
1090 * @param object the target of the switch.
1091 * @return the result of interpreting the object as an instance of '<em>Objective Definition</em>'.
1092 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1093 * @generated
1094 */
1095 public T caseObjectiveDefinition(ObjectiveDefinition object)
1096 {
1097 return null;
1098 }
1099
1100 /**
1101 * Returns the result of interpreting the object as an instance of '<em>Named Element</em>'.
1102 * <!-- begin-user-doc -->
1103 * This implementation returns null;
1104 * returning a non-null result will terminate the switch.
1105 * <!-- end-user-doc -->
1106 * @param object the target of the switch.
1107 * @return the result of interpreting the object as an instance of '<em>Named Element</em>'.
1108 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1109 * @generated
1110 */
1111 public T caseNamedElement(NamedElement object)
1112 {
1113 return null;
1114 }
1115
1116 /**
1117 * Returns the result of interpreting the object as an instance of '<em>Assertion</em>'.
1118 * <!-- begin-user-doc -->
1119 * This implementation returns null;
1120 * returning a non-null result will terminate the switch.
1121 * <!-- end-user-doc -->
1122 * @param object the target of the switch.
1123 * @return the result of interpreting the object as an instance of '<em>Assertion</em>'.
1124 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1125 * @generated
1126 */
1127 public T caseAssertion(Assertion object)
1128 {
1129 return null;
1130 }
1131
1132 /**
1133 * Returns the result of interpreting the object as an instance of '<em>Disjunction</em>'.
1134 * <!-- begin-user-doc -->
1135 * This implementation returns null;
1136 * returning a non-null result will terminate the switch.
1137 * <!-- end-user-doc -->
1138 * @param object the target of the switch.
1139 * @return the result of interpreting the object as an instance of '<em>Disjunction</em>'.
1140 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1141 * @generated
1142 */
1143 public T caseDisjunction(Disjunction object)
1144 {
1145 return null;
1146 }
1147
1148 /**
1149 * Returns the result of interpreting the object as an instance of '<em>Switch</em>'.
1150 * <!-- begin-user-doc -->
1151 * This implementation returns null;
1152 * returning a non-null result will terminate the switch.
1153 * <!-- end-user-doc -->
1154 * @param object the target of the switch.
1155 * @return the result of interpreting the object as an instance of '<em>Switch</em>'.
1156 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1157 * @generated
1158 */
1159 public T caseSwitch(org.eclipse.viatra.solver.language.solverLanguage.Switch object)
1160 {
1161 return null;
1162 }
1163
1164 /**
1165 * Returns the result of interpreting the object as an instance of '<em>Conjunction</em>'.
1166 * <!-- begin-user-doc -->
1167 * This implementation returns null;
1168 * returning a non-null result will terminate the switch.
1169 * <!-- end-user-doc -->
1170 * @param object the target of the switch.
1171 * @return the result of interpreting the object as an instance of '<em>Conjunction</em>'.
1172 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1173 * @generated
1174 */
1175 public T caseConjunction(Conjunction object)
1176 {
1177 return null;
1178 }
1179
1180 /**
1181 * Returns the result of interpreting the object as an instance of '<em>Comparison</em>'.
1182 * <!-- begin-user-doc -->
1183 * This implementation returns null;
1184 * returning a non-null result will terminate the switch.
1185 * <!-- end-user-doc -->
1186 * @param object the target of the switch.
1187 * @return the result of interpreting the object as an instance of '<em>Comparison</em>'.
1188 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1189 * @generated
1190 */
1191 public T caseComparison(Comparison object)
1192 {
1193 return null;
1194 }
1195
1196 /**
1197 * Returns the result of interpreting the object as an instance of '<em>Binary Expression</em>'.
1198 * <!-- begin-user-doc -->
1199 * This implementation returns null;
1200 * returning a non-null result will terminate the switch.
1201 * <!-- end-user-doc -->
1202 * @param object the target of the switch.
1203 * @return the result of interpreting the object as an instance of '<em>Binary Expression</em>'.
1204 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1205 * @generated
1206 */
1207 public T caseBinaryExpression(BinaryExpression object)
1208 {
1209 return null;
1210 }
1211
1212 /**
1213 * Returns the result of interpreting the object as an instance of '<em>Unary Expression</em>'.
1214 * <!-- begin-user-doc -->
1215 * This implementation returns null;
1216 * returning a non-null result will terminate the switch.
1217 * <!-- end-user-doc -->
1218 * @param object the target of the switch.
1219 * @return the result of interpreting the object as an instance of '<em>Unary Expression</em>'.
1220 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1221 * @generated
1222 */
1223 public T caseUnaryExpression(UnaryExpression object)
1224 {
1225 return null;
1226 }
1227
1228 /**
1229 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
1230 * <!-- begin-user-doc -->
1231 * This implementation returns null;
1232 * returning a non-null result will terminate the switch, but this is the last case anyway.
1233 * <!-- end-user-doc -->
1234 * @param object the target of the switch.
1235 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
1236 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
1237 * @generated
1238 */
1239 @Override
1240 public T defaultCase(EObject object)
1241 {
1242 return null;
1243 }
1244
1245} //SolverLanguageSwitch