aboutsummaryrefslogtreecommitdiffstats
path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java')
-rw-r--r--org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java620
1 files changed, 620 insertions, 0 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java
new file mode 100644
index 00000000..a9e1455b
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java
@@ -0,0 +1,620 @@
1/**
2 */
3package org.eclipse.viatra.solver.language.model.problem.util;
4
5import org.eclipse.emf.ecore.EObject;
6import org.eclipse.emf.ecore.EPackage;
7
8import org.eclipse.emf.ecore.util.Switch;
9
10import org.eclipse.viatra.solver.language.model.problem.*;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Switch</b> for the model's inheritance hierarchy.
15 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
16 * to invoke the <code>caseXXX</code> method for each class of the model,
17 * starting with the actual class of the object
18 * and proceeding up the inheritance hierarchy
19 * until a non-null result is returned,
20 * which is the result of the switch.
21 * <!-- end-user-doc -->
22 * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage
23 * @generated
24 */
25public class ProblemSwitch<T> extends Switch<T> {
26 /**
27 * The cached model package
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 protected static ProblemPackage modelPackage;
33
34 /**
35 * Creates an instance of the switch.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 public ProblemSwitch() {
41 if (modelPackage == null) {
42 modelPackage = ProblemPackage.eINSTANCE;
43 }
44 }
45
46 /**
47 * Checks whether this is a switch for the given package.
48 * <!-- begin-user-doc -->
49 * <!-- end-user-doc -->
50 * @param ePackage the package in question.
51 * @return whether this is a switch for the given package.
52 * @generated
53 */
54 @Override
55 protected boolean isSwitchFor(EPackage ePackage) {
56 return ePackage == modelPackage;
57 }
58
59 /**
60 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @return the first non-null result returned by a <code>caseXXX</code> call.
64 * @generated
65 */
66 @Override
67 protected T doSwitch(int classifierID, EObject theEObject) {
68 switch (classifierID) {
69 case ProblemPackage.PROBLEM: {
70 Problem problem = (Problem) theEObject;
71 T result = caseProblem(problem);
72 if (result == null)
73 result = defaultCase(theEObject);
74 return result;
75 }
76 case ProblemPackage.RELATION: {
77 Relation relation = (Relation) theEObject;
78 T result = caseRelation(relation);
79 if (result == null)
80 result = caseNamedElement(relation);
81 if (result == null)
82 result = defaultCase(theEObject);
83 return result;
84 }
85 case ProblemPackage.CLASS_DECLARATION: {
86 ClassDeclaration classDeclaration = (ClassDeclaration) theEObject;
87 T result = caseClassDeclaration(classDeclaration);
88 if (result == null)
89 result = caseRelation(classDeclaration);
90 if (result == null)
91 result = caseStatement(classDeclaration);
92 if (result == null)
93 result = caseNamedElement(classDeclaration);
94 if (result == null)
95 result = defaultCase(theEObject);
96 return result;
97 }
98 case ProblemPackage.REFERENCE_DECLARATION: {
99 ReferenceDeclaration referenceDeclaration = (ReferenceDeclaration) theEObject;
100 T result = caseReferenceDeclaration(referenceDeclaration);
101 if (result == null)
102 result = caseRelation(referenceDeclaration);
103 if (result == null)
104 result = caseNamedElement(referenceDeclaration);
105 if (result == null)
106 result = defaultCase(theEObject);
107 return result;
108 }
109 case ProblemPackage.NAMED_ELEMENT: {
110 NamedElement namedElement = (NamedElement) theEObject;
111 T result = caseNamedElement(namedElement);
112 if (result == null)
113 result = defaultCase(theEObject);
114 return result;
115 }
116 case ProblemPackage.PREDICATE_DEFINITION: {
117 PredicateDefinition predicateDefinition = (PredicateDefinition) theEObject;
118 T result = casePredicateDefinition(predicateDefinition);
119 if (result == null)
120 result = caseRelation(predicateDefinition);
121 if (result == null)
122 result = caseStatement(predicateDefinition);
123 if (result == null)
124 result = caseNamedElement(predicateDefinition);
125 if (result == null)
126 result = defaultCase(theEObject);
127 return result;
128 }
129 case ProblemPackage.PARAMETER: {
130 Parameter parameter = (Parameter) theEObject;
131 T result = caseParameter(parameter);
132 if (result == null)
133 result = caseVariable(parameter);
134 if (result == null)
135 result = caseNamedElement(parameter);
136 if (result == null)
137 result = defaultCase(theEObject);
138 return result;
139 }
140 case ProblemPackage.VARIABLE: {
141 Variable variable = (Variable) theEObject;
142 T result = caseVariable(variable);
143 if (result == null)
144 result = caseNamedElement(variable);
145 if (result == null)
146 result = defaultCase(theEObject);
147 return result;
148 }
149 case ProblemPackage.CONJUNCTION: {
150 Conjunction conjunction = (Conjunction) theEObject;
151 T result = caseConjunction(conjunction);
152 if (result == null)
153 result = caseExistentialQuantifier(conjunction);
154 if (result == null)
155 result = defaultCase(theEObject);
156 return result;
157 }
158 case ProblemPackage.LITERAL: {
159 Literal literal = (Literal) theEObject;
160 T result = caseLiteral(literal);
161 if (result == null)
162 result = defaultCase(theEObject);
163 return result;
164 }
165 case ProblemPackage.ATOM: {
166 Atom atom = (Atom) theEObject;
167 T result = caseAtom(atom);
168 if (result == null)
169 result = caseLiteral(atom);
170 if (result == null)
171 result = defaultCase(theEObject);
172 return result;
173 }
174 case ProblemPackage.IMPLICIT_VARIABLE: {
175 ImplicitVariable implicitVariable = (ImplicitVariable) theEObject;
176 T result = caseImplicitVariable(implicitVariable);
177 if (result == null)
178 result = caseVariable(implicitVariable);
179 if (result == null)
180 result = caseNamedElement(implicitVariable);
181 if (result == null)
182 result = defaultCase(theEObject);
183 return result;
184 }
185 case ProblemPackage.NEGATIVE_LITERAL: {
186 NegativeLiteral negativeLiteral = (NegativeLiteral) theEObject;
187 T result = caseNegativeLiteral(negativeLiteral);
188 if (result == null)
189 result = caseExistentialQuantifier(negativeLiteral);
190 if (result == null)
191 result = caseLiteral(negativeLiteral);
192 if (result == null)
193 result = defaultCase(theEObject);
194 return result;
195 }
196 case ProblemPackage.EXISTENTIAL_QUANTIFIER: {
197 ExistentialQuantifier existentialQuantifier = (ExistentialQuantifier) theEObject;
198 T result = caseExistentialQuantifier(existentialQuantifier);
199 if (result == null)
200 result = defaultCase(theEObject);
201 return result;
202 }
203 case ProblemPackage.ASSERTION: {
204 Assertion assertion = (Assertion) theEObject;
205 T result = caseAssertion(assertion);
206 if (result == null)
207 result = caseStatement(assertion);
208 if (result == null)
209 result = defaultCase(theEObject);
210 return result;
211 }
212 case ProblemPackage.NODE: {
213 Node node = (Node) theEObject;
214 T result = caseNode(node);
215 if (result == null)
216 result = caseNamedElement(node);
217 if (result == null)
218 result = defaultCase(theEObject);
219 return result;
220 }
221 case ProblemPackage.SCOPE_DECLARATION: {
222 ScopeDeclaration scopeDeclaration = (ScopeDeclaration) theEObject;
223 T result = caseScopeDeclaration(scopeDeclaration);
224 if (result == null)
225 result = caseStatement(scopeDeclaration);
226 if (result == null)
227 result = defaultCase(theEObject);
228 return result;
229 }
230 case ProblemPackage.STATEMENT: {
231 Statement statement = (Statement) theEObject;
232 T result = caseStatement(statement);
233 if (result == null)
234 result = defaultCase(theEObject);
235 return result;
236 }
237 case ProblemPackage.TYPE_SCOPE: {
238 TypeScope typeScope = (TypeScope) theEObject;
239 T result = caseTypeScope(typeScope);
240 if (result == null)
241 result = defaultCase(theEObject);
242 return result;
243 }
244 case ProblemPackage.MULTIPLICITY: {
245 Multiplicity multiplicity = (Multiplicity) theEObject;
246 T result = caseMultiplicity(multiplicity);
247 if (result == null)
248 result = defaultCase(theEObject);
249 return result;
250 }
251 case ProblemPackage.RANGE_MULTIPLICITY: {
252 RangeMultiplicity rangeMultiplicity = (RangeMultiplicity) theEObject;
253 T result = caseRangeMultiplicity(rangeMultiplicity);
254 if (result == null)
255 result = caseMultiplicity(rangeMultiplicity);
256 if (result == null)
257 result = defaultCase(theEObject);
258 return result;
259 }
260 case ProblemPackage.EXACT_MULTIPLICITY: {
261 ExactMultiplicity exactMultiplicity = (ExactMultiplicity) theEObject;
262 T result = caseExactMultiplicity(exactMultiplicity);
263 if (result == null)
264 result = caseMultiplicity(exactMultiplicity);
265 if (result == null)
266 result = defaultCase(theEObject);
267 return result;
268 }
269 default:
270 return defaultCase(theEObject);
271 }
272 }
273
274 /**
275 * Returns the result of interpreting the object as an instance of '<em>Problem</em>'.
276 * <!-- begin-user-doc -->
277 * This implementation returns null;
278 * returning a non-null result will terminate the switch.
279 * <!-- end-user-doc -->
280 * @param object the target of the switch.
281 * @return the result of interpreting the object as an instance of '<em>Problem</em>'.
282 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
283 * @generated
284 */
285 public T caseProblem(Problem object) {
286 return null;
287 }
288
289 /**
290 * Returns the result of interpreting the object as an instance of '<em>Relation</em>'.
291 * <!-- begin-user-doc -->
292 * This implementation returns null;
293 * returning a non-null result will terminate the switch.
294 * <!-- end-user-doc -->
295 * @param object the target of the switch.
296 * @return the result of interpreting the object as an instance of '<em>Relation</em>'.
297 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
298 * @generated
299 */
300 public T caseRelation(Relation object) {
301 return null;
302 }
303
304 /**
305 * Returns the result of interpreting the object as an instance of '<em>Class Declaration</em>'.
306 * <!-- begin-user-doc -->
307 * This implementation returns null;
308 * returning a non-null result will terminate the switch.
309 * <!-- end-user-doc -->
310 * @param object the target of the switch.
311 * @return the result of interpreting the object as an instance of '<em>Class Declaration</em>'.
312 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
313 * @generated
314 */
315 public T caseClassDeclaration(ClassDeclaration object) {
316 return null;
317 }
318
319 /**
320 * Returns the result of interpreting the object as an instance of '<em>Reference Declaration</em>'.
321 * <!-- begin-user-doc -->
322 * This implementation returns null;
323 * returning a non-null result will terminate the switch.
324 * <!-- end-user-doc -->
325 * @param object the target of the switch.
326 * @return the result of interpreting the object as an instance of '<em>Reference Declaration</em>'.
327 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
328 * @generated
329 */
330 public T caseReferenceDeclaration(ReferenceDeclaration object) {
331 return null;
332 }
333
334 /**
335 * Returns the result of interpreting the object as an instance of '<em>Named Element</em>'.
336 * <!-- begin-user-doc -->
337 * This implementation returns null;
338 * returning a non-null result will terminate the switch.
339 * <!-- end-user-doc -->
340 * @param object the target of the switch.
341 * @return the result of interpreting the object as an instance of '<em>Named Element</em>'.
342 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
343 * @generated
344 */
345 public T caseNamedElement(NamedElement object) {
346 return null;
347 }
348
349 /**
350 * Returns the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
351 * <!-- begin-user-doc -->
352 * This implementation returns null;
353 * returning a non-null result will terminate the switch.
354 * <!-- end-user-doc -->
355 * @param object the target of the switch.
356 * @return the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
357 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
358 * @generated
359 */
360 public T casePredicateDefinition(PredicateDefinition object) {
361 return null;
362 }
363
364 /**
365 * Returns the result of interpreting the object as an instance of '<em>Parameter</em>'.
366 * <!-- begin-user-doc -->
367 * This implementation returns null;
368 * returning a non-null result will terminate the switch.
369 * <!-- end-user-doc -->
370 * @param object the target of the switch.
371 * @return the result of interpreting the object as an instance of '<em>Parameter</em>'.
372 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
373 * @generated
374 */
375 public T caseParameter(Parameter object) {
376 return null;
377 }
378
379 /**
380 * Returns the result of interpreting the object as an instance of '<em>Variable</em>'.
381 * <!-- begin-user-doc -->
382 * This implementation returns null;
383 * returning a non-null result will terminate the switch.
384 * <!-- end-user-doc -->
385 * @param object the target of the switch.
386 * @return the result of interpreting the object as an instance of '<em>Variable</em>'.
387 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
388 * @generated
389 */
390 public T caseVariable(Variable object) {
391 return null;
392 }
393
394 /**
395 * Returns the result of interpreting the object as an instance of '<em>Conjunction</em>'.
396 * <!-- begin-user-doc -->
397 * This implementation returns null;
398 * returning a non-null result will terminate the switch.
399 * <!-- end-user-doc -->
400 * @param object the target of the switch.
401 * @return the result of interpreting the object as an instance of '<em>Conjunction</em>'.
402 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
403 * @generated
404 */
405 public T caseConjunction(Conjunction object) {
406 return null;
407 }
408
409 /**
410 * Returns the result of interpreting the object as an instance of '<em>Literal</em>'.
411 * <!-- begin-user-doc -->
412 * This implementation returns null;
413 * returning a non-null result will terminate the switch.
414 * <!-- end-user-doc -->
415 * @param object the target of the switch.
416 * @return the result of interpreting the object as an instance of '<em>Literal</em>'.
417 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
418 * @generated
419 */
420 public T caseLiteral(Literal object) {
421 return null;
422 }
423
424 /**
425 * Returns the result of interpreting the object as an instance of '<em>Atom</em>'.
426 * <!-- begin-user-doc -->
427 * This implementation returns null;
428 * returning a non-null result will terminate the switch.
429 * <!-- end-user-doc -->
430 * @param object the target of the switch.
431 * @return the result of interpreting the object as an instance of '<em>Atom</em>'.
432 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
433 * @generated
434 */
435 public T caseAtom(Atom object) {
436 return null;
437 }
438
439 /**
440 * Returns the result of interpreting the object as an instance of '<em>Implicit Variable</em>'.
441 * <!-- begin-user-doc -->
442 * This implementation returns null;
443 * returning a non-null result will terminate the switch.
444 * <!-- end-user-doc -->
445 * @param object the target of the switch.
446 * @return the result of interpreting the object as an instance of '<em>Implicit Variable</em>'.
447 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
448 * @generated
449 */
450 public T caseImplicitVariable(ImplicitVariable object) {
451 return null;
452 }
453
454 /**
455 * Returns the result of interpreting the object as an instance of '<em>Negative Literal</em>'.
456 * <!-- begin-user-doc -->
457 * This implementation returns null;
458 * returning a non-null result will terminate the switch.
459 * <!-- end-user-doc -->
460 * @param object the target of the switch.
461 * @return the result of interpreting the object as an instance of '<em>Negative Literal</em>'.
462 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
463 * @generated
464 */
465 public T caseNegativeLiteral(NegativeLiteral object) {
466 return null;
467 }
468
469 /**
470 * Returns the result of interpreting the object as an instance of '<em>Existential Quantifier</em>'.
471 * <!-- begin-user-doc -->
472 * This implementation returns null;
473 * returning a non-null result will terminate the switch.
474 * <!-- end-user-doc -->
475 * @param object the target of the switch.
476 * @return the result of interpreting the object as an instance of '<em>Existential Quantifier</em>'.
477 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
478 * @generated
479 */
480 public T caseExistentialQuantifier(ExistentialQuantifier object) {
481 return null;
482 }
483
484 /**
485 * Returns the result of interpreting the object as an instance of '<em>Assertion</em>'.
486 * <!-- begin-user-doc -->
487 * This implementation returns null;
488 * returning a non-null result will terminate the switch.
489 * <!-- end-user-doc -->
490 * @param object the target of the switch.
491 * @return the result of interpreting the object as an instance of '<em>Assertion</em>'.
492 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
493 * @generated
494 */
495 public T caseAssertion(Assertion object) {
496 return null;
497 }
498
499 /**
500 * Returns the result of interpreting the object as an instance of '<em>Node</em>'.
501 * <!-- begin-user-doc -->
502 * This implementation returns null;
503 * returning a non-null result will terminate the switch.
504 * <!-- end-user-doc -->
505 * @param object the target of the switch.
506 * @return the result of interpreting the object as an instance of '<em>Node</em>'.
507 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
508 * @generated
509 */
510 public T caseNode(Node object) {
511 return null;
512 }
513
514 /**
515 * Returns the result of interpreting the object as an instance of '<em>Scope Declaration</em>'.
516 * <!-- begin-user-doc -->
517 * This implementation returns null;
518 * returning a non-null result will terminate the switch.
519 * <!-- end-user-doc -->
520 * @param object the target of the switch.
521 * @return the result of interpreting the object as an instance of '<em>Scope Declaration</em>'.
522 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
523 * @generated
524 */
525 public T caseScopeDeclaration(ScopeDeclaration object) {
526 return null;
527 }
528
529 /**
530 * Returns the result of interpreting the object as an instance of '<em>Statement</em>'.
531 * <!-- begin-user-doc -->
532 * This implementation returns null;
533 * returning a non-null result will terminate the switch.
534 * <!-- end-user-doc -->
535 * @param object the target of the switch.
536 * @return the result of interpreting the object as an instance of '<em>Statement</em>'.
537 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
538 * @generated
539 */
540 public T caseStatement(Statement object) {
541 return null;
542 }
543
544 /**
545 * Returns the result of interpreting the object as an instance of '<em>Type Scope</em>'.
546 * <!-- begin-user-doc -->
547 * This implementation returns null;
548 * returning a non-null result will terminate the switch.
549 * <!-- end-user-doc -->
550 * @param object the target of the switch.
551 * @return the result of interpreting the object as an instance of '<em>Type Scope</em>'.
552 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
553 * @generated
554 */
555 public T caseTypeScope(TypeScope object) {
556 return null;
557 }
558
559 /**
560 * Returns the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
561 * <!-- begin-user-doc -->
562 * This implementation returns null;
563 * returning a non-null result will terminate the switch.
564 * <!-- end-user-doc -->
565 * @param object the target of the switch.
566 * @return the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
567 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
568 * @generated
569 */
570 public T caseMultiplicity(Multiplicity object) {
571 return null;
572 }
573
574 /**
575 * Returns the result of interpreting the object as an instance of '<em>Range Multiplicity</em>'.
576 * <!-- begin-user-doc -->
577 * This implementation returns null;
578 * returning a non-null result will terminate the switch.
579 * <!-- end-user-doc -->
580 * @param object the target of the switch.
581 * @return the result of interpreting the object as an instance of '<em>Range Multiplicity</em>'.
582 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
583 * @generated
584 */
585 public T caseRangeMultiplicity(RangeMultiplicity object) {
586 return null;
587 }
588
589 /**
590 * Returns the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
591 * <!-- begin-user-doc -->
592 * This implementation returns null;
593 * returning a non-null result will terminate the switch.
594 * <!-- end-user-doc -->
595 * @param object the target of the switch.
596 * @return the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
597 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
598 * @generated
599 */
600 public T caseExactMultiplicity(ExactMultiplicity object) {
601 return null;
602 }
603
604 /**
605 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
606 * <!-- begin-user-doc -->
607 * This implementation returns null;
608 * returning a non-null result will terminate the switch, but this is the last case anyway.
609 * <!-- end-user-doc -->
610 * @param object the target of the switch.
611 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
612 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
613 * @generated
614 */
615 @Override
616 public T defaultCase(EObject object) {
617 return null;
618 }
619
620} //ProblemSwitch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-20 19:54:24 +0000