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