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