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