aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.model/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.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java2114
1 files changed, 2114 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
new file mode 100644
index 00000000..4786bb62
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
@@ -0,0 +1,2114 @@
1/**
2 */
3package org.eclipse.viatra.solver.language.solverLanguage.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.solverLanguage.*;
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.solverLanguage.SolverLanguagePackage
23 * @generated
24 */
25public class SolverLanguageSwitch<T> extends Switch<T> {
26 /**
27 * The cached model package
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 protected static SolverLanguagePackage modelPackage;
33
34 /**
35 * Creates an instance of the switch.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 public SolverLanguageSwitch() {
41 if (modelPackage == null) {
42 modelPackage = SolverLanguagePackage.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 SolverLanguagePackage.PATH_COMPONENT: {
70 PathComponent pathComponent = (PathComponent) theEObject;
71 T result = casePathComponent(pathComponent);
72 if (result == null)
73 result = defaultCase(theEObject);
74 return result;
75 }
76 case SolverLanguagePackage.SYMBOL: {
77 Symbol symbol = (Symbol) theEObject;
78 T result = caseSymbol(symbol);
79 if (result == null)
80 result = defaultCase(theEObject);
81 return result;
82 }
83 case SolverLanguagePackage.CALL: {
84 Call call = (Call) theEObject;
85 T result = caseCall(call);
86 if (result == null)
87 result = caseExpression(call);
88 if (result == null)
89 result = caseStatement(call);
90 if (result == null)
91 result = defaultCase(theEObject);
92 return result;
93 }
94 case SolverLanguagePackage.REFERENCE: {
95 Reference reference = (Reference) theEObject;
96 T result = caseReference(reference);
97 if (result == null)
98 result = caseExpression(reference);
99 if (result == null)
100 result = caseStatement(reference);
101 if (result == null)
102 result = defaultCase(theEObject);
103 return result;
104 }
105 case SolverLanguagePackage.EXPRESSION: {
106 Expression expression = (Expression) theEObject;
107 T result = caseExpression(expression);
108 if (result == null)
109 result = caseStatement(expression);
110 if (result == null)
111 result = defaultCase(theEObject);
112 return result;
113 }
114 case SolverLanguagePackage.ARGUMENT: {
115 Argument argument = (Argument) theEObject;
116 T result = caseArgument(argument);
117 if (result == null)
118 result = defaultCase(theEObject);
119 return result;
120 }
121 case SolverLanguagePackage.ARGUMENT_LIST: {
122 ArgumentList argumentList = (ArgumentList) theEObject;
123 T result = caseArgumentList(argumentList);
124 if (result == null)
125 result = defaultCase(theEObject);
126 return result;
127 }
128 case SolverLanguagePackage.EXPRESSION_ARGUMENT: {
129 ExpressionArgument expressionArgument = (ExpressionArgument) theEObject;
130 T result = caseExpressionArgument(expressionArgument);
131 if (result == null)
132 result = caseArgument(expressionArgument);
133 if (result == null)
134 result = defaultCase(theEObject);
135 return result;
136 }
137 case SolverLanguagePackage.STAR_ARGUMENT: {
138 StarArgument starArgument = (StarArgument) theEObject;
139 T result = caseStarArgument(starArgument);
140 if (result == null)
141 result = caseArgument(starArgument);
142 if (result == null)
143 result = defaultCase(theEObject);
144 return result;
145 }
146 case SolverLanguagePackage.TYPED_ARGUMENT: {
147 TypedArgument typedArgument = (TypedArgument) theEObject;
148 T result = caseTypedArgument(typedArgument);
149 if (result == null)
150 result = caseArgument(typedArgument);
151 if (result == null)
152 result = defaultCase(theEObject);
153 return result;
154 }
155 case SolverLanguagePackage.MULTIARY_EXPESSION: {
156 MultiaryExpession multiaryExpession = (MultiaryExpession) theEObject;
157 T result = caseMultiaryExpession(multiaryExpession);
158 if (result == null)
159 result = caseExpression(multiaryExpession);
160 if (result == null)
161 result = caseStatement(multiaryExpession);
162 if (result == null)
163 result = defaultCase(theEObject);
164 return result;
165 }
166 case SolverLanguagePackage.VARIABLE: {
167 Variable variable = (Variable) theEObject;
168 T result = caseVariable(variable);
169 if (result == null)
170 result = caseSymbol(variable);
171 if (result == null)
172 result = defaultCase(theEObject);
173 return result;
174 }
175 case SolverLanguagePackage.UNARY_EXPRESSION: {
176 UnaryExpression unaryExpression = (UnaryExpression) theEObject;
177 T result = caseUnaryExpression(unaryExpression);
178 if (result == null)
179 result = caseExpression(unaryExpression);
180 if (result == null)
181 result = caseStatement(unaryExpression);
182 if (result == null)
183 result = defaultCase(theEObject);
184 return result;
185 }
186 case SolverLanguagePackage.BINARY_EXPRESSION: {
187 BinaryExpression binaryExpression = (BinaryExpression) theEObject;
188 T result = caseBinaryExpression(binaryExpression);
189 if (result == null)
190 result = caseExpression(binaryExpression);
191 if (result == null)
192 result = caseStatement(binaryExpression);
193 if (result == null)
194 result = defaultCase(theEObject);
195 return result;
196 }
197 case SolverLanguagePackage.DISJUNCTION: {
198 Disjunction disjunction = (Disjunction) theEObject;
199 T result = caseDisjunction(disjunction);
200 if (result == null)
201 result = caseMultiaryExpession(disjunction);
202 if (result == null)
203 result = caseExpression(disjunction);
204 if (result == null)
205 result = caseStatement(disjunction);
206 if (result == null)
207 result = defaultCase(theEObject);
208 return result;
209 }
210 case SolverLanguagePackage.CONJUNCTION: {
211 Conjunction conjunction = (Conjunction) theEObject;
212 T result = caseConjunction(conjunction);
213 if (result == null)
214 result = caseMultiaryExpession(conjunction);
215 if (result == null)
216 result = caseExpression(conjunction);
217 if (result == null)
218 result = caseStatement(conjunction);
219 if (result == null)
220 result = defaultCase(theEObject);
221 return result;
222 }
223 case SolverLanguagePackage.CONDITIONAL_EXPRESSION: {
224 ConditionalExpression conditionalExpression = (ConditionalExpression) theEObject;
225 T result = caseConditionalExpression(conditionalExpression);
226 if (result == null)
227 result = caseExpression(conditionalExpression);
228 if (result == null)
229 result = caseStatement(conditionalExpression);
230 if (result == null)
231 result = defaultCase(theEObject);
232 return result;
233 }
234 case SolverLanguagePackage.SWITCH: {
235 org.eclipse.viatra.solver.language.solverLanguage.Switch switch_ = (org.eclipse.viatra.solver.language.solverLanguage.Switch) theEObject;
236 T result = caseSwitch(switch_);
237 if (result == null)
238 result = caseExpression(switch_);
239 if (result == null)
240 result = caseStatement(switch_);
241 if (result == null)
242 result = defaultCase(theEObject);
243 return result;
244 }
245 case SolverLanguagePackage.CASE: {
246 Case case_ = (Case) theEObject;
247 T result = caseCase(case_);
248 if (result == null)
249 result = caseExpression(case_);
250 if (result == null)
251 result = caseStatement(case_);
252 if (result == null)
253 result = defaultCase(theEObject);
254 return result;
255 }
256 case SolverLanguagePackage.LET_EXPRESSION: {
257 LetExpression letExpression = (LetExpression) theEObject;
258 T result = caseLetExpression(letExpression);
259 if (result == null)
260 result = caseExpression(letExpression);
261 if (result == null)
262 result = caseStatement(letExpression);
263 if (result == null)
264 result = defaultCase(theEObject);
265 return result;
266 }
267 case SolverLanguagePackage.LET_BINDING: {
268 LetBinding letBinding = (LetBinding) theEObject;
269 T result = caseLetBinding(letBinding);
270 if (result == null)
271 result = defaultCase(theEObject);
272 return result;
273 }
274 case SolverLanguagePackage.LITERAL: {
275 Literal literal = (Literal) theEObject;
276 T result = caseLiteral(literal);
277 if (result == null)
278 result = caseExpression(literal);
279 if (result == null)
280 result = caseStatement(literal);
281 if (result == null)
282 result = defaultCase(theEObject);
283 return result;
284 }
285 case SolverLanguagePackage.INT_LITERAL: {
286 IntLiteral intLiteral = (IntLiteral) theEObject;
287 T result = caseIntLiteral(intLiteral);
288 if (result == null)
289 result = caseLiteral(intLiteral);
290 if (result == null)
291 result = caseExpression(intLiteral);
292 if (result == null)
293 result = caseStatement(intLiteral);
294 if (result == null)
295 result = defaultCase(theEObject);
296 return result;
297 }
298 case SolverLanguagePackage.REAL_LITERAL: {
299 RealLiteral realLiteral = (RealLiteral) theEObject;
300 T result = caseRealLiteral(realLiteral);
301 if (result == null)
302 result = caseLiteral(realLiteral);
303 if (result == null)
304 result = caseExpression(realLiteral);
305 if (result == null)
306 result = caseStatement(realLiteral);
307 if (result == null)
308 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)
315 result = caseLiteral(stringLiteral);
316 if (result == null)
317 result = caseExpression(stringLiteral);
318 if (result == null)
319 result = caseStatement(stringLiteral);
320 if (result == null)
321 result = defaultCase(theEObject);
322 return result;
323 }
324 case SolverLanguagePackage.LOGIC_LITERAL: {
325 LogicLiteral logicLiteral = (LogicLiteral) theEObject;
326 T result = caseLogicLiteral(logicLiteral);
327 if (result == null)
328 result = caseLiteral(logicLiteral);
329 if (result == null)
330 result = caseExpression(logicLiteral);
331 if (result == null)
332 result = caseStatement(logicLiteral);
333 if (result == null)
334 result = defaultCase(theEObject);
335 return result;
336 }
337 case SolverLanguagePackage.EMPTY_LITERAL: {
338 EmptyLiteral emptyLiteral = (EmptyLiteral) theEObject;
339 T result = caseEmptyLiteral(emptyLiteral);
340 if (result == null)
341 result = caseLiteral(emptyLiteral);
342 if (result == null)
343 result = caseExpression(emptyLiteral);
344 if (result == null)
345 result = caseStatement(emptyLiteral);
346 if (result == null)
347 result = defaultCase(theEObject);
348 return result;
349 }
350 case SolverLanguagePackage.CAST_EXPRESSION: {
351 CastExpression castExpression = (CastExpression) theEObject;
352 T result = caseCastExpression(castExpression);
353 if (result == null)
354 result = caseExpression(castExpression);
355 if (result == null)
356 result = caseStatement(castExpression);
357 if (result == null)
358 result = defaultCase(theEObject);
359 return result;
360 }
361 case SolverLanguagePackage.AGGREGATE_EXPRESSION: {
362 AggregateExpression aggregateExpression = (AggregateExpression) theEObject;
363 T result = caseAggregateExpression(aggregateExpression);
364 if (result == null)
365 result = caseExpression(aggregateExpression);
366 if (result == null)
367 result = caseStatement(aggregateExpression);
368 if (result == null)
369 result = defaultCase(theEObject);
370 return result;
371 }
372 case SolverLanguagePackage.COUNT: {
373 Count count = (Count) theEObject;
374 T result = caseCount(count);
375 if (result == null)
376 result = caseAggregateExpression(count);
377 if (result == null)
378 result = caseExpression(count);
379 if (result == null)
380 result = caseStatement(count);
381 if (result == null)
382 result = defaultCase(theEObject);
383 return result;
384 }
385 case SolverLanguagePackage.AGGREGATION: {
386 Aggregation aggregation = (Aggregation) theEObject;
387 T result = caseAggregation(aggregation);
388 if (result == null)
389 result = caseAggregateExpression(aggregation);
390 if (result == null)
391 result = caseExpression(aggregation);
392 if (result == null)
393 result = caseStatement(aggregation);
394 if (result == null)
395 result = defaultCase(theEObject);
396 return result;
397 }
398 case SolverLanguagePackage.FORALL: {
399 Forall forall = (Forall) theEObject;
400 T result = caseForall(forall);
401 if (result == null)
402 result = caseAggregateExpression(forall);
403 if (result == null)
404 result = caseExpression(forall);
405 if (result == null)
406 result = caseStatement(forall);
407 if (result == null)
408 result = defaultCase(theEObject);
409 return result;
410 }
411 case SolverLanguagePackage.TYPE_REFERENCE: {
412 TypeReference typeReference = (TypeReference) theEObject;
413 T result = caseTypeReference(typeReference);
414 if (result == null)
415 result = defaultCase(theEObject);
416 return result;
417 }
418 case SolverLanguagePackage.INFINITY_LITERAL: {
419 InfinityLiteral infinityLiteral = (InfinityLiteral) theEObject;
420 T result = caseInfinityLiteral(infinityLiteral);
421 if (result == null)
422 result = caseLiteral(infinityLiteral);
423 if (result == null)
424 result = caseExpression(infinityLiteral);
425 if (result == null)
426 result = caseStatement(infinityLiteral);
427 if (result == null)
428 result = defaultCase(theEObject);
429 return result;
430 }
431 case SolverLanguagePackage.INTERVAL: {
432 Interval interval = (Interval) theEObject;
433 T result = caseInterval(interval);
434 if (result == null)
435 result = caseExpression(interval);
436 if (result == null)
437 result = caseStatement(interval);
438 if (result == null)
439 result = defaultCase(theEObject);
440 return result;
441 }
442 case SolverLanguagePackage.FUNCTOR: {
443 Functor functor = (Functor) theEObject;
444 T result = caseFunctor(functor);
445 if (result == null)
446 result = caseSymbol(functor);
447 if (result == null)
448 result = defaultCase(theEObject);
449 return result;
450 }
451 case SolverLanguagePackage.RELATION: {
452 Relation relation = (Relation) theEObject;
453 T result = caseRelation(relation);
454 if (result == null)
455 result = caseFunctor(relation);
456 if (result == null)
457 result = caseSymbol(relation);
458 if (result == null)
459 result = defaultCase(theEObject);
460 return result;
461 }
462 case SolverLanguagePackage.BASE_RELATION: {
463 BaseRelation baseRelation = (BaseRelation) theEObject;
464 T result = caseBaseRelation(baseRelation);
465 if (result == null)
466 result = caseRelation(baseRelation);
467 if (result == null)
468 result = caseFunctor(baseRelation);
469 if (result == null)
470 result = caseSymbol(baseRelation);
471 if (result == null)
472 result = defaultCase(theEObject);
473 return result;
474 }
475 case SolverLanguagePackage.PREDICATE: {
476 Predicate predicate = (Predicate) theEObject;
477 T result = casePredicate(predicate);
478 if (result == null)
479 result = caseRelation(predicate);
480 if (result == null)
481 result = caseFunctor(predicate);
482 if (result == null)
483 result = caseSymbol(predicate);
484 if (result == null)
485 result = defaultCase(theEObject);
486 return result;
487 }
488 case SolverLanguagePackage.DATATYPE: {
489 Datatype datatype = (Datatype) theEObject;
490 T result = caseDatatype(datatype);
491 if (result == null)
492 result = caseRelation(datatype);
493 if (result == null)
494 result = caseFunctor(datatype);
495 if (result == null)
496 result = caseSymbol(datatype);
497 if (result == null)
498 result = defaultCase(theEObject);
499 return result;
500 }
501 case SolverLanguagePackage.FUNCTION: {
502 Function function = (Function) theEObject;
503 T result = caseFunction(function);
504 if (result == null)
505 result = caseFunctor(function);
506 if (result == null)
507 result = caseSymbol(function);
508 if (result == null)
509 result = defaultCase(theEObject);
510 return result;
511 }
512 case SolverLanguagePackage.METRIC: {
513 Metric metric = (Metric) theEObject;
514 T result = caseMetric(metric);
515 if (result == null)
516 result = caseFunction(metric);
517 if (result == null)
518 result = caseFunctor(metric);
519 if (result == null)
520 result = caseSymbol(metric);
521 if (result == null)
522 result = defaultCase(theEObject);
523 return result;
524 }
525 case SolverLanguagePackage.OPERATOR: {
526 Operator operator = (Operator) theEObject;
527 T result = caseOperator(operator);
528 if (result == null)
529 result = caseFunction(operator);
530 if (result == null)
531 result = caseFunctor(operator);
532 if (result == null)
533 result = caseSymbol(operator);
534 if (result == null)
535 result = defaultCase(theEObject);
536 return result;
537 }
538 case SolverLanguagePackage.NODE: {
539 Node node = (Node) theEObject;
540 T result = caseNode(node);
541 if (result == null)
542 result = caseSymbol(node);
543 if (result == null)
544 result = defaultCase(theEObject);
545 return result;
546 }
547 case SolverLanguagePackage.STATEMENT: {
548 Statement statement = (Statement) theEObject;
549 T result = caseStatement(statement);
550 if (result == null)
551 result = defaultCase(theEObject);
552 return result;
553 }
554 case SolverLanguagePackage.ABSTRACT_ASSERTION: {
555 AbstractAssertion abstractAssertion = (AbstractAssertion) theEObject;
556 T result = caseAbstractAssertion(abstractAssertion);
557 if (result == null)
558 result = caseStatement(abstractAssertion);
559 if (result == null)
560 result = defaultCase(theEObject);
561 return result;
562 }
563 case SolverLanguagePackage.FUNCTOR_DEFINITON: {
564 FunctorDefiniton functorDefiniton = (FunctorDefiniton) theEObject;
565 T result = caseFunctorDefiniton(functorDefiniton);
566 if (result == null)
567 result = caseStatement(functorDefiniton);
568 if (result == null)
569 result = defaultCase(theEObject);
570 return result;
571 }
572 case SolverLanguagePackage.PREDICATE_DEFINITION: {
573 PredicateDefinition predicateDefinition = (PredicateDefinition) theEObject;
574 T result = casePredicateDefinition(predicateDefinition);
575 if (result == null)
576 result = caseFunctorDefiniton(predicateDefinition);
577 if (result == null)
578 result = caseInlinePredicateAttrributes(predicateDefinition);
579 if (result == null)
580 result = caseStatement(predicateDefinition);
581 if (result == null)
582 result = defaultCase(theEObject);
583 return result;
584 }
585 case SolverLanguagePackage.FUNCTION_DEFINITION: {
586 FunctionDefinition functionDefinition = (FunctionDefinition) theEObject;
587 T result = caseFunctionDefinition(functionDefinition);
588 if (result == null)
589 result = caseFunctorDefiniton(functionDefinition);
590 if (result == null)
591 result = caseStatement(functionDefinition);
592 if (result == null)
593 result = defaultCase(theEObject);
594 return result;
595 }
596 case SolverLanguagePackage.ATTRIBUTE: {
597 Attribute attribute = (Attribute) theEObject;
598 T result = caseAttribute(attribute);
599 if (result == null)
600 result = caseStatement(attribute);
601 if (result == null)
602 result = defaultCase(theEObject);
603 return result;
604 }
605 case SolverLanguagePackage.EXTERN_DECLARATION: {
606 ExternDeclaration externDeclaration = (ExternDeclaration) theEObject;
607 T result = caseExternDeclaration(externDeclaration);
608 if (result == null)
609 result = caseStatement(externDeclaration);
610 if (result == null)
611 result = defaultCase(theEObject);
612 return result;
613 }
614 case SolverLanguagePackage.EXTERN_FUNCTOR_DECLARATION: {
615 ExternFunctorDeclaration externFunctorDeclaration = (ExternFunctorDeclaration) theEObject;
616 T result = caseExternFunctorDeclaration(externFunctorDeclaration);
617 if (result == null)
618 result = caseExternDeclaration(externFunctorDeclaration);
619 if (result == null)
620 result = caseStatement(externFunctorDeclaration);
621 if (result == null)
622 result = defaultCase(theEObject);
623 return result;
624 }
625 case SolverLanguagePackage.EXTERN_PREDICATE_DECLARATION: {
626 ExternPredicateDeclaration externPredicateDeclaration = (ExternPredicateDeclaration) theEObject;
627 T result = caseExternPredicateDeclaration(externPredicateDeclaration);
628 if (result == null)
629 result = caseExternFunctorDeclaration(externPredicateDeclaration);
630 if (result == null)
631 result = caseInlinePredicateAttrributes(externPredicateDeclaration);
632 if (result == null)
633 result = caseExternDeclaration(externPredicateDeclaration);
634 if (result == null)
635 result = caseStatement(externPredicateDeclaration);
636 if (result == null)
637 result = defaultCase(theEObject);
638 return result;
639 }
640 case SolverLanguagePackage.EXTERN_FUNCTION_DECLARATION: {
641 ExternFunctionDeclaration externFunctionDeclaration = (ExternFunctionDeclaration) theEObject;
642 T result = caseExternFunctionDeclaration(externFunctionDeclaration);
643 if (result == null)
644 result = caseExternFunctorDeclaration(externFunctionDeclaration);
645 if (result == null)
646 result = caseExternDeclaration(externFunctionDeclaration);
647 if (result == null)
648 result = caseStatement(externFunctionDeclaration);
649 if (result == null)
650 result = defaultCase(theEObject);
651 return result;
652 }
653 case SolverLanguagePackage.EXTERN_AGGREGATION_OPERATOR_DECLARATION: {
654 ExternAggregationOperatorDeclaration externAggregationOperatorDeclaration = (ExternAggregationOperatorDeclaration) theEObject;
655 T result = caseExternAggregationOperatorDeclaration(externAggregationOperatorDeclaration);
656 if (result == null)
657 result = caseExternDeclaration(externAggregationOperatorDeclaration);
658 if (result == null)
659 result = caseStatement(externAggregationOperatorDeclaration);
660 if (result == null)
661 result = defaultCase(theEObject);
662 return result;
663 }
664 case SolverLanguagePackage.EXTERN_DATATYPE_DECLARATION: {
665 ExternDatatypeDeclaration externDatatypeDeclaration = (ExternDatatypeDeclaration) theEObject;
666 T result = caseExternDatatypeDeclaration(externDatatypeDeclaration);
667 if (result == null)
668 result = caseExternDeclaration(externDatatypeDeclaration);
669 if (result == null)
670 result = caseStatement(externDatatypeDeclaration);
671 if (result == null)
672 result = defaultCase(theEObject);
673 return result;
674 }
675 case SolverLanguagePackage.CLASS_DECLARATION: {
676 ClassDeclaration classDeclaration = (ClassDeclaration) theEObject;
677 T result = caseClassDeclaration(classDeclaration);
678 if (result == null)
679 result = caseStatement(classDeclaration);
680 if (result == null)
681 result = defaultCase(theEObject);
682 return result;
683 }
684 case SolverLanguagePackage.ENUM_DECLARATION: {
685 EnumDeclaration enumDeclaration = (EnumDeclaration) theEObject;
686 T result = caseEnumDeclaration(enumDeclaration);
687 if (result == null)
688 result = caseStatement(enumDeclaration);
689 if (result == null)
690 result = defaultCase(theEObject);
691 return result;
692 }
693 case SolverLanguagePackage.ENUM_LITERAL: {
694 EnumLiteral enumLiteral = (EnumLiteral) theEObject;
695 T result = caseEnumLiteral(enumLiteral);
696 if (result == null)
697 result = defaultCase(theEObject);
698 return result;
699 }
700 case SolverLanguagePackage.FIELD: {
701 Field field = (Field) theEObject;
702 T result = caseField(field);
703 if (result == null)
704 result = defaultCase(theEObject);
705 return result;
706 }
707 case SolverLanguagePackage.MULTIPLICITY: {
708 Multiplicity multiplicity = (Multiplicity) theEObject;
709 T result = caseMultiplicity(multiplicity);
710 if (result == null)
711 result = defaultCase(theEObject);
712 return result;
713 }
714 case SolverLanguagePackage.DEFAULT_ASSERTION: {
715 DefaultAssertion defaultAssertion = (DefaultAssertion) theEObject;
716 T result = caseDefaultAssertion(defaultAssertion);
717 if (result == null)
718 result = caseAbstractAssertion(defaultAssertion);
719 if (result == null)
720 result = caseStatement(defaultAssertion);
721 if (result == null)
722 result = defaultCase(theEObject);
723 return result;
724 }
725 case SolverLanguagePackage.ASSERTION: {
726 Assertion assertion = (Assertion) theEObject;
727 T result = caseAssertion(assertion);
728 if (result == null)
729 result = caseAbstractAssertion(assertion);
730 if (result == null)
731 result = caseStatement(assertion);
732 if (result == null)
733 result = defaultCase(theEObject);
734 return result;
735 }
736 case SolverLanguagePackage.UNBOUNDED_MULTIPLICITY: {
737 UnboundedMultiplicity unboundedMultiplicity = (UnboundedMultiplicity) theEObject;
738 T result = caseUnboundedMultiplicity(unboundedMultiplicity);
739 if (result == null)
740 result = caseMultiplicity(unboundedMultiplicity);
741 if (result == null)
742 result = defaultCase(theEObject);
743 return result;
744 }
745 case SolverLanguagePackage.EXACT_MULTIPLICITY: {
746 ExactMultiplicity exactMultiplicity = (ExactMultiplicity) theEObject;
747 T result = caseExactMultiplicity(exactMultiplicity);
748 if (result == null)
749 result = caseMultiplicity(exactMultiplicity);
750 if (result == null)
751 result = defaultCase(theEObject);
752 return result;
753 }
754 case SolverLanguagePackage.BOUNDED_MULTIPLICITY: {
755 BoundedMultiplicity boundedMultiplicity = (BoundedMultiplicity) theEObject;
756 T result = caseBoundedMultiplicity(boundedMultiplicity);
757 if (result == null)
758 result = caseMultiplicity(boundedMultiplicity);
759 if (result == null)
760 result = defaultCase(theEObject);
761 return result;
762 }
763 case SolverLanguagePackage.INLINE_PREDICATE_ATTRRIBUTES: {
764 InlinePredicateAttrributes inlinePredicateAttrributes = (InlinePredicateAttrributes) theEObject;
765 T result = caseInlinePredicateAttrributes(inlinePredicateAttrributes);
766 if (result == null)
767 result = defaultCase(theEObject);
768 return result;
769 }
770 case SolverLanguagePackage.AGGREGATION_OPERATOR: {
771 AggregationOperator aggregationOperator = (AggregationOperator) theEObject;
772 T result = caseAggregationOperator(aggregationOperator);
773 if (result == null)
774 result = caseSymbol(aggregationOperator);
775 if (result == null)
776 result = defaultCase(theEObject);
777 return result;
778 }
779 case SolverLanguagePackage.PROBLEM: {
780 Problem problem = (Problem) theEObject;
781 T result = caseProblem(problem);
782 if (result == null)
783 result = defaultCase(theEObject);
784 return result;
785 }
786 case SolverLanguagePackage.TYPED_STAR_ARGUMENT: {
787 TypedStarArgument typedStarArgument = (TypedStarArgument) theEObject;
788 T result = caseTypedStarArgument(typedStarArgument);
789 if (result == null)
790 result = caseTypedArgument(typedStarArgument);
791 if (result == null)
792 result = caseArgument(typedStarArgument);
793 if (result == null)
794 result = defaultCase(theEObject);
795 return result;
796 }
797 case SolverLanguagePackage.TYPED_VARIABLE_ARGUMENT: {
798 TypedVariableArgument typedVariableArgument = (TypedVariableArgument) theEObject;
799 T result = caseTypedVariableArgument(typedVariableArgument);
800 if (result == null)
801 result = caseTypedArgument(typedVariableArgument);
802 if (result == null)
803 result = caseArgument(typedVariableArgument);
804 if (result == null)
805 result = defaultCase(theEObject);
806 return result;
807 }
808 case SolverLanguagePackage.UNNAMED_ERROR_PREDICATE_DEFINTION: {
809 UnnamedErrorPredicateDefintion unnamedErrorPredicateDefintion = (UnnamedErrorPredicateDefintion) theEObject;
810 T result = caseUnnamedErrorPredicateDefintion(unnamedErrorPredicateDefintion);
811 if (result == null)
812 result = caseStatement(unnamedErrorPredicateDefintion);
813 if (result == null)
814 result = defaultCase(theEObject);
815 return result;
816 }
817 case SolverLanguagePackage.OBJECTIVE_DECLARATION: {
818 ObjectiveDeclaration objectiveDeclaration = (ObjectiveDeclaration) theEObject;
819 T result = caseObjectiveDeclaration(objectiveDeclaration);
820 if (result == null)
821 result = caseStatement(objectiveDeclaration);
822 if (result == null)
823 result = defaultCase(theEObject);
824 return result;
825 }
826 case SolverLanguagePackage.SCOPE_DECLARATION: {
827 ScopeDeclaration scopeDeclaration = (ScopeDeclaration) theEObject;
828 T result = caseScopeDeclaration(scopeDeclaration);
829 if (result == null)
830 result = caseStatement(scopeDeclaration);
831 if (result == null)
832 result = defaultCase(theEObject);
833 return result;
834 }
835 case SolverLanguagePackage.EXACT_SCOPE: {
836 ExactScope exactScope = (ExactScope) theEObject;
837 T result = caseExactScope(exactScope);
838 if (result == null)
839 result = caseScopeDeclaration(exactScope);
840 if (result == null)
841 result = caseStatement(exactScope);
842 if (result == null)
843 result = defaultCase(theEObject);
844 return result;
845 }
846 case SolverLanguagePackage.BOUNDED_SCOPE: {
847 BoundedScope boundedScope = (BoundedScope) theEObject;
848 T result = caseBoundedScope(boundedScope);
849 if (result == null)
850 result = caseScopeDeclaration(boundedScope);
851 if (result == null)
852 result = caseStatement(boundedScope);
853 if (result == null)
854 result = defaultCase(theEObject);
855 return result;
856 }
857 case SolverLanguagePackage.LOWER_BOUNDED_SCOPE: {
858 LowerBoundedScope lowerBoundedScope = (LowerBoundedScope) theEObject;
859 T result = caseLowerBoundedScope(lowerBoundedScope);
860 if (result == null)
861 result = caseScopeDeclaration(lowerBoundedScope);
862 if (result == null)
863 result = caseStatement(lowerBoundedScope);
864 if (result == null)
865 result = defaultCase(theEObject);
866 return result;
867 }
868 case SolverLanguagePackage.NAMESPACE_IMPORT: {
869 NamespaceImport namespaceImport = (NamespaceImport) theEObject;
870 T result = caseNamespaceImport(namespaceImport);
871 if (result == null)
872 result = caseImport(namespaceImport);
873 if (result == null)
874 result = defaultCase(theEObject);
875 return result;
876 }
877 case SolverLanguagePackage.IMPORT: {
878 Import import_ = (Import) theEObject;
879 T result = caseImport(import_);
880 if (result == null)
881 result = defaultCase(theEObject);
882 return result;
883 }
884 case SolverLanguagePackage.URI_IMPORT: {
885 UriImport uriImport = (UriImport) theEObject;
886 T result = caseUriImport(uriImport);
887 if (result == null)
888 result = caseImport(uriImport);
889 if (result == null)
890 result = defaultCase(theEObject);
891 return result;
892 }
893 default:
894 return defaultCase(theEObject);
895 }
896 }
897
898 /**
899 * Returns the result of interpreting the object as an instance of '<em>Path Component</em>'.
900 * <!-- begin-user-doc -->
901 * This implementation returns null;
902 * returning a non-null result will terminate the switch.
903 * <!-- end-user-doc -->
904 * @param object the target of the switch.
905 * @return the result of interpreting the object as an instance of '<em>Path Component</em>'.
906 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
907 * @generated
908 */
909 public T casePathComponent(PathComponent object) {
910 return null;
911 }
912
913 /**
914 * Returns the result of interpreting the object as an instance of '<em>Symbol</em>'.
915 * <!-- begin-user-doc -->
916 * This implementation returns null;
917 * returning a non-null result will terminate the switch.
918 * <!-- end-user-doc -->
919 * @param object the target of the switch.
920 * @return the result of interpreting the object as an instance of '<em>Symbol</em>'.
921 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
922 * @generated
923 */
924 public T caseSymbol(Symbol object) {
925 return null;
926 }
927
928 /**
929 * Returns the result of interpreting the object as an instance of '<em>Call</em>'.
930 * <!-- begin-user-doc -->
931 * This implementation returns null;
932 * returning a non-null result will terminate the switch.
933 * <!-- end-user-doc -->
934 * @param object the target of the switch.
935 * @return the result of interpreting the object as an instance of '<em>Call</em>'.
936 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
937 * @generated
938 */
939 public T caseCall(Call object) {
940 return null;
941 }
942
943 /**
944 * Returns the result of interpreting the object as an instance of '<em>Reference</em>'.
945 * <!-- begin-user-doc -->
946 * This implementation returns null;
947 * returning a non-null result will terminate the switch.
948 * <!-- end-user-doc -->
949 * @param object the target of the switch.
950 * @return the result of interpreting the object as an instance of '<em>Reference</em>'.
951 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
952 * @generated
953 */
954 public T caseReference(Reference object) {
955 return null;
956 }
957
958 /**
959 * Returns the result of interpreting the object as an instance of '<em>Expression</em>'.
960 * <!-- begin-user-doc -->
961 * This implementation returns null;
962 * returning a non-null result will terminate the switch.
963 * <!-- end-user-doc -->
964 * @param object the target of the switch.
965 * @return the result of interpreting the object as an instance of '<em>Expression</em>'.
966 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
967 * @generated
968 */
969 public T caseExpression(Expression object) {
970 return null;
971 }
972
973 /**
974 * Returns the result of interpreting the object as an instance of '<em>Argument</em>'.
975 * <!-- begin-user-doc -->
976 * This implementation returns null;
977 * returning a non-null result will terminate the switch.
978 * <!-- end-user-doc -->
979 * @param object the target of the switch.
980 * @return the result of interpreting the object as an instance of '<em>Argument</em>'.
981 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
982 * @generated
983 */
984 public T caseArgument(Argument object) {
985 return null;
986 }
987
988 /**
989 * Returns the result of interpreting the object as an instance of '<em>Argument List</em>'.
990 * <!-- begin-user-doc -->
991 * This implementation returns null;
992 * returning a non-null result will terminate the switch.
993 * <!-- end-user-doc -->
994 * @param object the target of the switch.
995 * @return the result of interpreting the object as an instance of '<em>Argument List</em>'.
996 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
997 * @generated
998 */
999 public T caseArgumentList(ArgumentList object) {
1000 return null;
1001 }
1002
1003 /**
1004 * Returns the result of interpreting the object as an instance of '<em>Expression Argument</em>'.
1005 * <!-- begin-user-doc -->
1006 * This implementation returns null;
1007 * returning a non-null result will terminate the switch.
1008 * <!-- end-user-doc -->
1009 * @param object the target of the switch.
1010 * @return the result of interpreting the object as an instance of '<em>Expression Argument</em>'.
1011 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1012 * @generated
1013 */
1014 public T caseExpressionArgument(ExpressionArgument object) {
1015 return null;
1016 }
1017
1018 /**
1019 * Returns the result of interpreting the object as an instance of '<em>Star Argument</em>'.
1020 * <!-- begin-user-doc -->
1021 * This implementation returns null;
1022 * returning a non-null result will terminate the switch.
1023 * <!-- end-user-doc -->
1024 * @param object the target of the switch.
1025 * @return the result of interpreting the object as an instance of '<em>Star Argument</em>'.
1026 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1027 * @generated
1028 */
1029 public T caseStarArgument(StarArgument object) {
1030 return null;
1031 }
1032
1033 /**
1034 * Returns the result of interpreting the object as an instance of '<em>Typed Argument</em>'.
1035 * <!-- begin-user-doc -->
1036 * This implementation returns null;
1037 * returning a non-null result will terminate the switch.
1038 * <!-- end-user-doc -->
1039 * @param object the target of the switch.
1040 * @return the result of interpreting the object as an instance of '<em>Typed Argument</em>'.
1041 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1042 * @generated
1043 */
1044 public T caseTypedArgument(TypedArgument object) {
1045 return null;
1046 }
1047
1048 /**
1049 * Returns the result of interpreting the object as an instance of '<em>Multiary Expession</em>'.
1050 * <!-- begin-user-doc -->
1051 * This implementation returns null;
1052 * returning a non-null result will terminate the switch.
1053 * <!-- end-user-doc -->
1054 * @param object the target of the switch.
1055 * @return the result of interpreting the object as an instance of '<em>Multiary Expession</em>'.
1056 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1057 * @generated
1058 */
1059 public T caseMultiaryExpession(MultiaryExpession object) {
1060 return null;
1061 }
1062
1063 /**
1064 * Returns the result of interpreting the object as an instance of '<em>Variable</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>Variable</em>'.
1071 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1072 * @generated
1073 */
1074 public T caseVariable(Variable object) {
1075 return null;
1076 }
1077
1078 /**
1079 * Returns the result of interpreting the object as an instance of '<em>Unary Expression</em>'.
1080 * <!-- begin-user-doc -->
1081 * This implementation returns null;
1082 * returning a non-null result will terminate the switch.
1083 * <!-- end-user-doc -->
1084 * @param object the target of the switch.
1085 * @return the result of interpreting the object as an instance of '<em>Unary Expression</em>'.
1086 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1087 * @generated
1088 */
1089 public T caseUnaryExpression(UnaryExpression object) {
1090 return null;
1091 }
1092
1093 /**
1094 * Returns the result of interpreting the object as an instance of '<em>Binary Expression</em>'.
1095 * <!-- begin-user-doc -->
1096 * This implementation returns null;
1097 * returning a non-null result will terminate the switch.
1098 * <!-- end-user-doc -->
1099 * @param object the target of the switch.
1100 * @return the result of interpreting the object as an instance of '<em>Binary Expression</em>'.
1101 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1102 * @generated
1103 */
1104 public T caseBinaryExpression(BinaryExpression object) {
1105 return null;
1106 }
1107
1108 /**
1109 * Returns the result of interpreting the object as an instance of '<em>Disjunction</em>'.
1110 * <!-- begin-user-doc -->
1111 * This implementation returns null;
1112 * returning a non-null result will terminate the switch.
1113 * <!-- end-user-doc -->
1114 * @param object the target of the switch.
1115 * @return the result of interpreting the object as an instance of '<em>Disjunction</em>'.
1116 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1117 * @generated
1118 */
1119 public T caseDisjunction(Disjunction object) {
1120 return null;
1121 }
1122
1123 /**
1124 * Returns the result of interpreting the object as an instance of '<em>Conjunction</em>'.
1125 * <!-- begin-user-doc -->
1126 * This implementation returns null;
1127 * returning a non-null result will terminate the switch.
1128 * <!-- end-user-doc -->
1129 * @param object the target of the switch.
1130 * @return the result of interpreting the object as an instance of '<em>Conjunction</em>'.
1131 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1132 * @generated
1133 */
1134 public T caseConjunction(Conjunction object) {
1135 return null;
1136 }
1137
1138 /**
1139 * Returns the result of interpreting the object as an instance of '<em>Conditional Expression</em>'.
1140 * <!-- begin-user-doc -->
1141 * This implementation returns null;
1142 * returning a non-null result will terminate the switch.
1143 * <!-- end-user-doc -->
1144 * @param object the target of the switch.
1145 * @return the result of interpreting the object as an instance of '<em>Conditional Expression</em>'.
1146 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1147 * @generated
1148 */
1149 public T caseConditionalExpression(ConditionalExpression object) {
1150 return null;
1151 }
1152
1153 /**
1154 * Returns the result of interpreting the object as an instance of '<em>Switch</em>'.
1155 * <!-- begin-user-doc -->
1156 * This implementation returns null;
1157 * returning a non-null result will terminate the switch.
1158 * <!-- end-user-doc -->
1159 * @param object the target of the switch.
1160 * @return the result of interpreting the object as an instance of '<em>Switch</em>'.
1161 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1162 * @generated
1163 */
1164 public T caseSwitch(org.eclipse.viatra.solver.language.solverLanguage.Switch object) {
1165 return null;
1166 }
1167
1168 /**
1169 * Returns the result of interpreting the object as an instance of '<em>Case</em>'.
1170 * <!-- begin-user-doc -->
1171 * This implementation returns null;
1172 * returning a non-null result will terminate the switch.
1173 * <!-- end-user-doc -->
1174 * @param object the target of the switch.
1175 * @return the result of interpreting the object as an instance of '<em>Case</em>'.
1176 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1177 * @generated
1178 */
1179 public T caseCase(Case object) {
1180 return null;
1181 }
1182
1183 /**
1184 * Returns the result of interpreting the object as an instance of '<em>Let Expression</em>'.
1185 * <!-- begin-user-doc -->
1186 * This implementation returns null;
1187 * returning a non-null result will terminate the switch.
1188 * <!-- end-user-doc -->
1189 * @param object the target of the switch.
1190 * @return the result of interpreting the object as an instance of '<em>Let Expression</em>'.
1191 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1192 * @generated
1193 */
1194 public T caseLetExpression(LetExpression object) {
1195 return null;
1196 }
1197
1198 /**
1199 * Returns the result of interpreting the object as an instance of '<em>Let Binding</em>'.
1200 * <!-- begin-user-doc -->
1201 * This implementation returns null;
1202 * returning a non-null result will terminate the switch.
1203 * <!-- end-user-doc -->
1204 * @param object the target of the switch.
1205 * @return the result of interpreting the object as an instance of '<em>Let Binding</em>'.
1206 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1207 * @generated
1208 */
1209 public T caseLetBinding(LetBinding object) {
1210 return null;
1211 }
1212
1213 /**
1214 * Returns the result of interpreting the object as an instance of '<em>Literal</em>'.
1215 * <!-- begin-user-doc -->
1216 * This implementation returns null;
1217 * returning a non-null result will terminate the switch.
1218 * <!-- end-user-doc -->
1219 * @param object the target of the switch.
1220 * @return the result of interpreting the object as an instance of '<em>Literal</em>'.
1221 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1222 * @generated
1223 */
1224 public T caseLiteral(Literal object) {
1225 return null;
1226 }
1227
1228 /**
1229 * Returns the result of interpreting the object as an instance of '<em>Int Literal</em>'.
1230 * <!-- begin-user-doc -->
1231 * This implementation returns null;
1232 * returning a non-null result will terminate the switch.
1233 * <!-- end-user-doc -->
1234 * @param object the target of the switch.
1235 * @return the result of interpreting the object as an instance of '<em>Int Literal</em>'.
1236 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1237 * @generated
1238 */
1239 public T caseIntLiteral(IntLiteral object) {
1240 return null;
1241 }
1242
1243 /**
1244 * Returns the result of interpreting the object as an instance of '<em>Real Literal</em>'.
1245 * <!-- begin-user-doc -->
1246 * This implementation returns null;
1247 * returning a non-null result will terminate the switch.
1248 * <!-- end-user-doc -->
1249 * @param object the target of the switch.
1250 * @return the result of interpreting the object as an instance of '<em>Real Literal</em>'.
1251 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1252 * @generated
1253 */
1254 public T caseRealLiteral(RealLiteral object) {
1255 return null;
1256 }
1257
1258 /**
1259 * Returns the result of interpreting the object as an instance of '<em>String Literal</em>'.
1260 * <!-- begin-user-doc -->
1261 * This implementation returns null;
1262 * returning a non-null result will terminate the switch.
1263 * <!-- end-user-doc -->
1264 * @param object the target of the switch.
1265 * @return the result of interpreting the object as an instance of '<em>String Literal</em>'.
1266 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1267 * @generated
1268 */
1269 public T caseStringLiteral(StringLiteral object) {
1270 return null;
1271 }
1272
1273 /**
1274 * Returns the result of interpreting the object as an instance of '<em>Logic Literal</em>'.
1275 * <!-- begin-user-doc -->
1276 * This implementation returns null;
1277 * returning a non-null result will terminate the switch.
1278 * <!-- end-user-doc -->
1279 * @param object the target of the switch.
1280 * @return the result of interpreting the object as an instance of '<em>Logic Literal</em>'.
1281 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1282 * @generated
1283 */
1284 public T caseLogicLiteral(LogicLiteral object) {
1285 return null;
1286 }
1287
1288 /**
1289 * Returns the result of interpreting the object as an instance of '<em>Empty Literal</em>'.
1290 * <!-- begin-user-doc -->
1291 * This implementation returns null;
1292 * returning a non-null result will terminate the switch.
1293 * <!-- end-user-doc -->
1294 * @param object the target of the switch.
1295 * @return the result of interpreting the object as an instance of '<em>Empty Literal</em>'.
1296 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1297 * @generated
1298 */
1299 public T caseEmptyLiteral(EmptyLiteral object) {
1300 return null;
1301 }
1302
1303 /**
1304 * Returns the result of interpreting the object as an instance of '<em>Cast Expression</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>Cast Expression</em>'.
1311 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1312 * @generated
1313 */
1314 public T caseCastExpression(CastExpression object) {
1315 return null;
1316 }
1317
1318 /**
1319 * Returns the result of interpreting the object as an instance of '<em>Aggregate Expression</em>'.
1320 * <!-- begin-user-doc -->
1321 * This implementation returns null;
1322 * returning a non-null result will terminate the switch.
1323 * <!-- end-user-doc -->
1324 * @param object the target of the switch.
1325 * @return the result of interpreting the object as an instance of '<em>Aggregate Expression</em>'.
1326 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1327 * @generated
1328 */
1329 public T caseAggregateExpression(AggregateExpression object) {
1330 return null;
1331 }
1332
1333 /**
1334 * Returns the result of interpreting the object as an instance of '<em>Count</em>'.
1335 * <!-- begin-user-doc -->
1336 * This implementation returns null;
1337 * returning a non-null result will terminate the switch.
1338 * <!-- end-user-doc -->
1339 * @param object the target of the switch.
1340 * @return the result of interpreting the object as an instance of '<em>Count</em>'.
1341 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1342 * @generated
1343 */
1344 public T caseCount(Count object) {
1345 return null;
1346 }
1347
1348 /**
1349 * Returns the result of interpreting the object as an instance of '<em>Aggregation</em>'.
1350 * <!-- begin-user-doc -->
1351 * This implementation returns null;
1352 * returning a non-null result will terminate the switch.
1353 * <!-- end-user-doc -->
1354 * @param object the target of the switch.
1355 * @return the result of interpreting the object as an instance of '<em>Aggregation</em>'.
1356 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1357 * @generated
1358 */
1359 public T caseAggregation(Aggregation object) {
1360 return null;
1361 }
1362
1363 /**
1364 * Returns the result of interpreting the object as an instance of '<em>Forall</em>'.
1365 * <!-- begin-user-doc -->
1366 * This implementation returns null;
1367 * returning a non-null result will terminate the switch.
1368 * <!-- end-user-doc -->
1369 * @param object the target of the switch.
1370 * @return the result of interpreting the object as an instance of '<em>Forall</em>'.
1371 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1372 * @generated
1373 */
1374 public T caseForall(Forall object) {
1375 return null;
1376 }
1377
1378 /**
1379 * Returns the result of interpreting the object as an instance of '<em>Type Reference</em>'.
1380 * <!-- begin-user-doc -->
1381 * This implementation returns null;
1382 * returning a non-null result will terminate the switch.
1383 * <!-- end-user-doc -->
1384 * @param object the target of the switch.
1385 * @return the result of interpreting the object as an instance of '<em>Type Reference</em>'.
1386 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1387 * @generated
1388 */
1389 public T caseTypeReference(TypeReference object) {
1390 return null;
1391 }
1392
1393 /**
1394 * Returns the result of interpreting the object as an instance of '<em>Infinity Literal</em>'.
1395 * <!-- begin-user-doc -->
1396 * This implementation returns null;
1397 * returning a non-null result will terminate the switch.
1398 * <!-- end-user-doc -->
1399 * @param object the target of the switch.
1400 * @return the result of interpreting the object as an instance of '<em>Infinity Literal</em>'.
1401 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1402 * @generated
1403 */
1404 public T caseInfinityLiteral(InfinityLiteral object) {
1405 return null;
1406 }
1407
1408 /**
1409 * Returns the result of interpreting the object as an instance of '<em>Interval</em>'.
1410 * <!-- begin-user-doc -->
1411 * This implementation returns null;
1412 * returning a non-null result will terminate the switch.
1413 * <!-- end-user-doc -->
1414 * @param object the target of the switch.
1415 * @return the result of interpreting the object as an instance of '<em>Interval</em>'.
1416 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1417 * @generated
1418 */
1419 public T caseInterval(Interval object) {
1420 return null;
1421 }
1422
1423 /**
1424 * Returns the result of interpreting the object as an instance of '<em>Functor</em>'.
1425 * <!-- begin-user-doc -->
1426 * This implementation returns null;
1427 * returning a non-null result will terminate the switch.
1428 * <!-- end-user-doc -->
1429 * @param object the target of the switch.
1430 * @return the result of interpreting the object as an instance of '<em>Functor</em>'.
1431 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1432 * @generated
1433 */
1434 public T caseFunctor(Functor object) {
1435 return null;
1436 }
1437
1438 /**
1439 * Returns the result of interpreting the object as an instance of '<em>Relation</em>'.
1440 * <!-- begin-user-doc -->
1441 * This implementation returns null;
1442 * returning a non-null result will terminate the switch.
1443 * <!-- end-user-doc -->
1444 * @param object the target of the switch.
1445 * @return the result of interpreting the object as an instance of '<em>Relation</em>'.
1446 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1447 * @generated
1448 */
1449 public T caseRelation(Relation object) {
1450 return null;
1451 }
1452
1453 /**
1454 * Returns the result of interpreting the object as an instance of '<em>Base Relation</em>'.
1455 * <!-- begin-user-doc -->
1456 * This implementation returns null;
1457 * returning a non-null result will terminate the switch.
1458 * <!-- end-user-doc -->
1459 * @param object the target of the switch.
1460 * @return the result of interpreting the object as an instance of '<em>Base Relation</em>'.
1461 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1462 * @generated
1463 */
1464 public T caseBaseRelation(BaseRelation object) {
1465 return null;
1466 }
1467
1468 /**
1469 * Returns the result of interpreting the object as an instance of '<em>Predicate</em>'.
1470 * <!-- begin-user-doc -->
1471 * This implementation returns null;
1472 * returning a non-null result will terminate the switch.
1473 * <!-- end-user-doc -->
1474 * @param object the target of the switch.
1475 * @return the result of interpreting the object as an instance of '<em>Predicate</em>'.
1476 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1477 * @generated
1478 */
1479 public T casePredicate(Predicate object) {
1480 return null;
1481 }
1482
1483 /**
1484 * Returns the result of interpreting the object as an instance of '<em>Datatype</em>'.
1485 * <!-- begin-user-doc -->
1486 * This implementation returns null;
1487 * returning a non-null result will terminate the switch.
1488 * <!-- end-user-doc -->
1489 * @param object the target of the switch.
1490 * @return the result of interpreting the object as an instance of '<em>Datatype</em>'.
1491 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1492 * @generated
1493 */
1494 public T caseDatatype(Datatype object) {
1495 return null;
1496 }
1497
1498 /**
1499 * Returns the result of interpreting the object as an instance of '<em>Function</em>'.
1500 * <!-- begin-user-doc -->
1501 * This implementation returns null;
1502 * returning a non-null result will terminate the switch.
1503 * <!-- end-user-doc -->
1504 * @param object the target of the switch.
1505 * @return the result of interpreting the object as an instance of '<em>Function</em>'.
1506 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1507 * @generated
1508 */
1509 public T caseFunction(Function object) {
1510 return null;
1511 }
1512
1513 /**
1514 * Returns the result of interpreting the object as an instance of '<em>Metric</em>'.
1515 * <!-- begin-user-doc -->
1516 * This implementation returns null;
1517 * returning a non-null result will terminate the switch.
1518 * <!-- end-user-doc -->
1519 * @param object the target of the switch.
1520 * @return the result of interpreting the object as an instance of '<em>Metric</em>'.
1521 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1522 * @generated
1523 */
1524 public T caseMetric(Metric object) {
1525 return null;
1526 }
1527
1528 /**
1529 * Returns the result of interpreting the object as an instance of '<em>Operator</em>'.
1530 * <!-- begin-user-doc -->
1531 * This implementation returns null;
1532 * returning a non-null result will terminate the switch.
1533 * <!-- end-user-doc -->
1534 * @param object the target of the switch.
1535 * @return the result of interpreting the object as an instance of '<em>Operator</em>'.
1536 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1537 * @generated
1538 */
1539 public T caseOperator(Operator object) {
1540 return null;
1541 }
1542
1543 /**
1544 * Returns the result of interpreting the object as an instance of '<em>Node</em>'.
1545 * <!-- begin-user-doc -->
1546 * This implementation returns null;
1547 * returning a non-null result will terminate the switch.
1548 * <!-- end-user-doc -->
1549 * @param object the target of the switch.
1550 * @return the result of interpreting the object as an instance of '<em>Node</em>'.
1551 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1552 * @generated
1553 */
1554 public T caseNode(Node object) {
1555 return null;
1556 }
1557
1558 /**
1559 * Returns the result of interpreting the object as an instance of '<em>Statement</em>'.
1560 * <!-- begin-user-doc -->
1561 * This implementation returns null;
1562 * returning a non-null result will terminate the switch.
1563 * <!-- end-user-doc -->
1564 * @param object the target of the switch.
1565 * @return the result of interpreting the object as an instance of '<em>Statement</em>'.
1566 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1567 * @generated
1568 */
1569 public T caseStatement(Statement object) {
1570 return null;
1571 }
1572
1573 /**
1574 * Returns the result of interpreting the object as an instance of '<em>Abstract Assertion</em>'.
1575 * <!-- begin-user-doc -->
1576 * This implementation returns null;
1577 * returning a non-null result will terminate the switch.
1578 * <!-- end-user-doc -->
1579 * @param object the target of the switch.
1580 * @return the result of interpreting the object as an instance of '<em>Abstract Assertion</em>'.
1581 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1582 * @generated
1583 */
1584 public T caseAbstractAssertion(AbstractAssertion object) {
1585 return null;
1586 }
1587
1588 /**
1589 * Returns the result of interpreting the object as an instance of '<em>Functor Definiton</em>'.
1590 * <!-- begin-user-doc -->
1591 * This implementation returns null;
1592 * returning a non-null result will terminate the switch.
1593 * <!-- end-user-doc -->
1594 * @param object the target of the switch.
1595 * @return the result of interpreting the object as an instance of '<em>Functor Definiton</em>'.
1596 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1597 * @generated
1598 */
1599 public T caseFunctorDefiniton(FunctorDefiniton object) {
1600 return null;
1601 }
1602
1603 /**
1604 * Returns the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
1605 * <!-- begin-user-doc -->
1606 * This implementation returns null;
1607 * returning a non-null result will terminate the switch.
1608 * <!-- end-user-doc -->
1609 * @param object the target of the switch.
1610 * @return the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
1611 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1612 * @generated
1613 */
1614 public T casePredicateDefinition(PredicateDefinition object) {
1615 return null;
1616 }
1617
1618 /**
1619 * Returns the result of interpreting the object as an instance of '<em>Function Definition</em>'.
1620 * <!-- begin-user-doc -->
1621 * This implementation returns null;
1622 * returning a non-null result will terminate the switch.
1623 * <!-- end-user-doc -->
1624 * @param object the target of the switch.
1625 * @return the result of interpreting the object as an instance of '<em>Function Definition</em>'.
1626 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1627 * @generated
1628 */
1629 public T caseFunctionDefinition(FunctionDefinition object) {
1630 return null;
1631 }
1632
1633 /**
1634 * Returns the result of interpreting the object as an instance of '<em>Attribute</em>'.
1635 * <!-- begin-user-doc -->
1636 * This implementation returns null;
1637 * returning a non-null result will terminate the switch.
1638 * <!-- end-user-doc -->
1639 * @param object the target of the switch.
1640 * @return the result of interpreting the object as an instance of '<em>Attribute</em>'.
1641 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1642 * @generated
1643 */
1644 public T caseAttribute(Attribute object) {
1645 return null;
1646 }
1647
1648 /**
1649 * Returns the result of interpreting the object as an instance of '<em>Extern Declaration</em>'.
1650 * <!-- begin-user-doc -->
1651 * This implementation returns null;
1652 * returning a non-null result will terminate the switch.
1653 * <!-- end-user-doc -->
1654 * @param object the target of the switch.
1655 * @return the result of interpreting the object as an instance of '<em>Extern Declaration</em>'.
1656 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1657 * @generated
1658 */
1659 public T caseExternDeclaration(ExternDeclaration object) {
1660 return null;
1661 }
1662
1663 /**
1664 * Returns the result of interpreting the object as an instance of '<em>Extern Functor Declaration</em>'.
1665 * <!-- begin-user-doc -->
1666 * This implementation returns null;
1667 * returning a non-null result will terminate the switch.
1668 * <!-- end-user-doc -->
1669 * @param object the target of the switch.
1670 * @return the result of interpreting the object as an instance of '<em>Extern Functor Declaration</em>'.
1671 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1672 * @generated
1673 */
1674 public T caseExternFunctorDeclaration(ExternFunctorDeclaration object) {
1675 return null;
1676 }
1677
1678 /**
1679 * Returns the result of interpreting the object as an instance of '<em>Extern Predicate Declaration</em>'.
1680 * <!-- begin-user-doc -->
1681 * This implementation returns null;
1682 * returning a non-null result will terminate the switch.
1683 * <!-- end-user-doc -->
1684 * @param object the target of the switch.
1685 * @return the result of interpreting the object as an instance of '<em>Extern Predicate Declaration</em>'.
1686 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1687 * @generated
1688 */
1689 public T caseExternPredicateDeclaration(ExternPredicateDeclaration object) {
1690 return null;
1691 }
1692
1693 /**
1694 * Returns the result of interpreting the object as an instance of '<em>Extern Function Declaration</em>'.
1695 * <!-- begin-user-doc -->
1696 * This implementation returns null;
1697 * returning a non-null result will terminate the switch.
1698 * <!-- end-user-doc -->
1699 * @param object the target of the switch.
1700 * @return the result of interpreting the object as an instance of '<em>Extern Function Declaration</em>'.
1701 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1702 * @generated
1703 */
1704 public T caseExternFunctionDeclaration(ExternFunctionDeclaration object) {
1705 return null;
1706 }
1707
1708 /**
1709 * Returns the result of interpreting the object as an instance of '<em>Extern Aggregation Operator Declaration</em>'.
1710 * <!-- begin-user-doc -->
1711 * This implementation returns null;
1712 * returning a non-null result will terminate the switch.
1713 * <!-- end-user-doc -->
1714 * @param object the target of the switch.
1715 * @return the result of interpreting the object as an instance of '<em>Extern Aggregation Operator Declaration</em>'.
1716 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1717 * @generated
1718 */
1719 public T caseExternAggregationOperatorDeclaration(ExternAggregationOperatorDeclaration object) {
1720 return null;
1721 }
1722
1723 /**
1724 * Returns the result of interpreting the object as an instance of '<em>Extern Datatype Declaration</em>'.
1725 * <!-- begin-user-doc -->
1726 * This implementation returns null;
1727 * returning a non-null result will terminate the switch.
1728 * <!-- end-user-doc -->
1729 * @param object the target of the switch.
1730 * @return the result of interpreting the object as an instance of '<em>Extern Datatype Declaration</em>'.
1731 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1732 * @generated
1733 */
1734 public T caseExternDatatypeDeclaration(ExternDatatypeDeclaration object) {
1735 return null;
1736 }
1737
1738 /**
1739 * Returns the result of interpreting the object as an instance of '<em>Class Declaration</em>'.
1740 * <!-- begin-user-doc -->
1741 * This implementation returns null;
1742 * returning a non-null result will terminate the switch.
1743 * <!-- end-user-doc -->
1744 * @param object the target of the switch.
1745 * @return the result of interpreting the object as an instance of '<em>Class Declaration</em>'.
1746 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1747 * @generated
1748 */
1749 public T caseClassDeclaration(ClassDeclaration object) {
1750 return null;
1751 }
1752
1753 /**
1754 * Returns the result of interpreting the object as an instance of '<em>Enum Declaration</em>'.
1755 * <!-- begin-user-doc -->
1756 * This implementation returns null;
1757 * returning a non-null result will terminate the switch.
1758 * <!-- end-user-doc -->
1759 * @param object the target of the switch.
1760 * @return the result of interpreting the object as an instance of '<em>Enum Declaration</em>'.
1761 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1762 * @generated
1763 */
1764 public T caseEnumDeclaration(EnumDeclaration object) {
1765 return null;
1766 }
1767
1768 /**
1769 * Returns the result of interpreting the object as an instance of '<em>Enum Literal</em>'.
1770 * <!-- begin-user-doc -->
1771 * This implementation returns null;
1772 * returning a non-null result will terminate the switch.
1773 * <!-- end-user-doc -->
1774 * @param object the target of the switch.
1775 * @return the result of interpreting the object as an instance of '<em>Enum Literal</em>'.
1776 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1777 * @generated
1778 */
1779 public T caseEnumLiteral(EnumLiteral object) {
1780 return null;
1781 }
1782
1783 /**
1784 * Returns the result of interpreting the object as an instance of '<em>Field</em>'.
1785 * <!-- begin-user-doc -->
1786 * This implementation returns null;
1787 * returning a non-null result will terminate the switch.
1788 * <!-- end-user-doc -->
1789 * @param object the target of the switch.
1790 * @return the result of interpreting the object as an instance of '<em>Field</em>'.
1791 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1792 * @generated
1793 */
1794 public T caseField(Field object) {
1795 return null;
1796 }
1797
1798 /**
1799 * Returns the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
1800 * <!-- begin-user-doc -->
1801 * This implementation returns null;
1802 * returning a non-null result will terminate the switch.
1803 * <!-- end-user-doc -->
1804 * @param object the target of the switch.
1805 * @return the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
1806 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1807 * @generated
1808 */
1809 public T caseMultiplicity(Multiplicity object) {
1810 return null;
1811 }
1812
1813 /**
1814 * Returns the result of interpreting the object as an instance of '<em>Default Assertion</em>'.
1815 * <!-- begin-user-doc -->
1816 * This implementation returns null;
1817 * returning a non-null result will terminate the switch.
1818 * <!-- end-user-doc -->
1819 * @param object the target of the switch.
1820 * @return the result of interpreting the object as an instance of '<em>Default Assertion</em>'.
1821 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1822 * @generated
1823 */
1824 public T caseDefaultAssertion(DefaultAssertion object) {
1825 return null;
1826 }
1827
1828 /**
1829 * Returns the result of interpreting the object as an instance of '<em>Assertion</em>'.
1830 * <!-- begin-user-doc -->
1831 * This implementation returns null;
1832 * returning a non-null result will terminate the switch.
1833 * <!-- end-user-doc -->
1834 * @param object the target of the switch.
1835 * @return the result of interpreting the object as an instance of '<em>Assertion</em>'.
1836 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1837 * @generated
1838 */
1839 public T caseAssertion(Assertion object) {
1840 return null;
1841 }
1842
1843 /**
1844 * Returns the result of interpreting the object as an instance of '<em>Unbounded Multiplicity</em>'.
1845 * <!-- begin-user-doc -->
1846 * This implementation returns null;
1847 * returning a non-null result will terminate the switch.
1848 * <!-- end-user-doc -->
1849 * @param object the target of the switch.
1850 * @return the result of interpreting the object as an instance of '<em>Unbounded Multiplicity</em>'.
1851 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1852 * @generated
1853 */
1854 public T caseUnboundedMultiplicity(UnboundedMultiplicity object) {
1855 return null;
1856 }
1857
1858 /**
1859 * Returns the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
1860 * <!-- begin-user-doc -->
1861 * This implementation returns null;
1862 * returning a non-null result will terminate the switch.
1863 * <!-- end-user-doc -->
1864 * @param object the target of the switch.
1865 * @return the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
1866 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1867 * @generated
1868 */
1869 public T caseExactMultiplicity(ExactMultiplicity object) {
1870 return null;
1871 }
1872
1873 /**
1874 * Returns the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'.
1875 * <!-- begin-user-doc -->
1876 * This implementation returns null;
1877 * returning a non-null result will terminate the switch.
1878 * <!-- end-user-doc -->
1879 * @param object the target of the switch.
1880 * @return the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'.
1881 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1882 * @generated
1883 */
1884 public T caseBoundedMultiplicity(BoundedMultiplicity object) {
1885 return null;
1886 }
1887
1888 /**
1889 * Returns the result of interpreting the object as an instance of '<em>Inline Predicate Attrributes</em>'.
1890 * <!-- begin-user-doc -->
1891 * This implementation returns null;
1892 * returning a non-null result will terminate the switch.
1893 * <!-- end-user-doc -->
1894 * @param object the target of the switch.
1895 * @return the result of interpreting the object as an instance of '<em>Inline Predicate Attrributes</em>'.
1896 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1897 * @generated
1898 */
1899 public T caseInlinePredicateAttrributes(InlinePredicateAttrributes object) {
1900 return null;
1901 }
1902
1903 /**
1904 * Returns the result of interpreting the object as an instance of '<em>Aggregation Operator</em>'.
1905 * <!-- begin-user-doc -->
1906 * This implementation returns null;
1907 * returning a non-null result will terminate the switch.
1908 * <!-- end-user-doc -->
1909 * @param object the target of the switch.
1910 * @return the result of interpreting the object as an instance of '<em>Aggregation Operator</em>'.
1911 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1912 * @generated
1913 */
1914 public T caseAggregationOperator(AggregationOperator object) {
1915 return null;
1916 }
1917
1918 /**
1919 * Returns the result of interpreting the object as an instance of '<em>Problem</em>'.
1920 * <!-- begin-user-doc -->
1921 * This implementation returns null;
1922 * returning a non-null result will terminate the switch.
1923 * <!-- end-user-doc -->
1924 * @param object the target of the switch.
1925 * @return the result of interpreting the object as an instance of '<em>Problem</em>'.
1926 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1927 * @generated
1928 */
1929 public T caseProblem(Problem object) {
1930 return null;
1931 }
1932
1933 /**
1934 * Returns the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'.
1935 * <!-- begin-user-doc -->
1936 * This implementation returns null;
1937 * returning a non-null result will terminate the switch.
1938 * <!-- end-user-doc -->
1939 * @param object the target of the switch.
1940 * @return the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'.
1941 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1942 * @generated
1943 */
1944 public T caseTypedStarArgument(TypedStarArgument object) {
1945 return null;
1946 }
1947
1948 /**
1949 * Returns the result of interpreting the object as an instance of '<em>Typed Variable Argument</em>'.
1950 * <!-- begin-user-doc -->
1951 * This implementation returns null;
1952 * returning a non-null result will terminate the switch.
1953 * <!-- end-user-doc -->
1954 * @param object the target of the switch.
1955 * @return the result of interpreting the object as an instance of '<em>Typed Variable Argument</em>'.
1956 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1957 * @generated
1958 */
1959 public T caseTypedVariableArgument(TypedVariableArgument object) {
1960 return null;
1961 }
1962
1963 /**
1964 * Returns the result of interpreting the object as an instance of '<em>Unnamed Error Predicate Defintion</em>'.
1965 * <!-- begin-user-doc -->
1966 * This implementation returns null;
1967 * returning a non-null result will terminate the switch.
1968 * <!-- end-user-doc -->
1969 * @param object the target of the switch.
1970 * @return the result of interpreting the object as an instance of '<em>Unnamed Error Predicate Defintion</em>'.
1971 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1972 * @generated
1973 */
1974 public T caseUnnamedErrorPredicateDefintion(UnnamedErrorPredicateDefintion object) {
1975 return null;
1976 }
1977
1978 /**
1979 * Returns the result of interpreting the object as an instance of '<em>Objective Declaration</em>'.
1980 * <!-- begin-user-doc -->
1981 * This implementation returns null;
1982 * returning a non-null result will terminate the switch.
1983 * <!-- end-user-doc -->
1984 * @param object the target of the switch.
1985 * @return the result of interpreting the object as an instance of '<em>Objective Declaration</em>'.
1986 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1987 * @generated
1988 */
1989 public T caseObjectiveDeclaration(ObjectiveDeclaration object) {
1990 return null;
1991 }
1992
1993 /**
1994 * Returns the result of interpreting the object as an instance of '<em>Scope Declaration</em>'.
1995 * <!-- begin-user-doc -->
1996 * This implementation returns null;
1997 * returning a non-null result will terminate the switch.
1998 * <!-- end-user-doc -->
1999 * @param object the target of the switch.
2000 * @return the result of interpreting the object as an instance of '<em>Scope Declaration</em>'.
2001 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2002 * @generated
2003 */
2004 public T caseScopeDeclaration(ScopeDeclaration object) {
2005 return null;
2006 }
2007
2008 /**
2009 * Returns the result of interpreting the object as an instance of '<em>Exact Scope</em>'.
2010 * <!-- begin-user-doc -->
2011 * This implementation returns null;
2012 * returning a non-null result will terminate the switch.
2013 * <!-- end-user-doc -->
2014 * @param object the target of the switch.
2015 * @return the result of interpreting the object as an instance of '<em>Exact Scope</em>'.
2016 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2017 * @generated
2018 */
2019 public T caseExactScope(ExactScope object) {
2020 return null;
2021 }
2022
2023 /**
2024 * Returns the result of interpreting the object as an instance of '<em>Bounded Scope</em>'.
2025 * <!-- begin-user-doc -->
2026 * This implementation returns null;
2027 * returning a non-null result will terminate the switch.
2028 * <!-- end-user-doc -->
2029 * @param object the target of the switch.
2030 * @return the result of interpreting the object as an instance of '<em>Bounded Scope</em>'.
2031 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2032 * @generated
2033 */
2034 public T caseBoundedScope(BoundedScope object) {
2035 return null;
2036 }
2037
2038 /**
2039 * Returns the result of interpreting the object as an instance of '<em>Lower Bounded Scope</em>'.
2040 * <!-- begin-user-doc -->
2041 * This implementation returns null;
2042 * returning a non-null result will terminate the switch.
2043 * <!-- end-user-doc -->
2044 * @param object the target of the switch.
2045 * @return the result of interpreting the object as an instance of '<em>Lower Bounded Scope</em>'.
2046 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2047 * @generated
2048 */
2049 public T caseLowerBoundedScope(LowerBoundedScope object) {
2050 return null;
2051 }
2052
2053 /**
2054 * Returns the result of interpreting the object as an instance of '<em>Namespace Import</em>'.
2055 * <!-- begin-user-doc -->
2056 * This implementation returns null;
2057 * returning a non-null result will terminate the switch.
2058 * <!-- end-user-doc -->
2059 * @param object the target of the switch.
2060 * @return the result of interpreting the object as an instance of '<em>Namespace Import</em>'.
2061 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2062 * @generated
2063 */
2064 public T caseNamespaceImport(NamespaceImport object) {
2065 return null;
2066 }
2067
2068 /**
2069 * Returns the result of interpreting the object as an instance of '<em>Import</em>'.
2070 * <!-- begin-user-doc -->
2071 * This implementation returns null;
2072 * returning a non-null result will terminate the switch.
2073 * <!-- end-user-doc -->
2074 * @param object the target of the switch.
2075 * @return the result of interpreting the object as an instance of '<em>Import</em>'.
2076 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2077 * @generated
2078 */
2079 public T caseImport(Import object) {
2080 return null;
2081 }
2082
2083 /**
2084 * Returns the result of interpreting the object as an instance of '<em>Uri Import</em>'.
2085 * <!-- begin-user-doc -->
2086 * This implementation returns null;
2087 * returning a non-null result will terminate the switch.
2088 * <!-- end-user-doc -->
2089 * @param object the target of the switch.
2090 * @return the result of interpreting the object as an instance of '<em>Uri Import</em>'.
2091 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
2092 * @generated
2093 */
2094 public T caseUriImport(UriImport object) {
2095 return null;
2096 }
2097
2098 /**
2099 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
2100 * <!-- begin-user-doc -->
2101 * This implementation returns null;
2102 * returning a non-null result will terminate the switch, but this is the last case anyway.
2103 * <!-- end-user-doc -->
2104 * @param object the target of the switch.
2105 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
2106 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
2107 * @generated
2108 */
2109 @Override
2110 public T defaultCase(EObject object) {
2111 return null;
2112 }
2113
2114} //SolverLanguageSwitch
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 23:27:16 +0000