diff options
author | 2020-05-19 21:18:06 +0200 | |
---|---|---|
committer | 2020-05-19 21:18:06 +0200 | |
commit | b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b (patch) | |
tree | ad3222182065b8fac7d9b3d528c4efabf2aa0dd2 /Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java | |
parent | Merge branch 'master' of github.com:viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.gz VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.zst VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.zip |
Config language WIP
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.java | 1388 |
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 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage.util; | ||
5 | |||
6 | import org.eclipse.emf.ecore.EObject; | ||
7 | import org.eclipse.emf.ecore.EPackage; | ||
8 | |||
9 | import org.eclipse.emf.ecore.util.Switch; | ||
10 | |||
11 | import 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 | */ | ||
26 | public 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 | ||