diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:18:06 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 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 | |
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')
2 files changed, 2535 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java new file mode 100644 index 00000000..23971e9d --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java | |||
@@ -0,0 +1,1147 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage.util; | ||
5 | |||
6 | import org.eclipse.emf.common.notify.Adapter; | ||
7 | import org.eclipse.emf.common.notify.Notifier; | ||
8 | |||
9 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
10 | |||
11 | import org.eclipse.emf.ecore.EObject; | ||
12 | |||
13 | import org.eclipse.viatra.solver.language.solverLanguage.*; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * The <b>Adapter Factory</b> for the model. | ||
18 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
19 | * <!-- end-user-doc --> | ||
20 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage | ||
21 | * @generated | ||
22 | */ | ||
23 | public class SolverLanguageAdapterFactory extends AdapterFactoryImpl { | ||
24 | /** | ||
25 | * The cached model package. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @generated | ||
29 | */ | ||
30 | protected static SolverLanguagePackage modelPackage; | ||
31 | |||
32 | /** | ||
33 | * Creates an instance of the adapter factory. | ||
34 | * <!-- begin-user-doc --> | ||
35 | * <!-- end-user-doc --> | ||
36 | * @generated | ||
37 | */ | ||
38 | public SolverLanguageAdapterFactory() { | ||
39 | if (modelPackage == null) { | ||
40 | modelPackage = SolverLanguagePackage.eINSTANCE; | ||
41 | } | ||
42 | } | ||
43 | |||
44 | /** | ||
45 | * Returns whether this factory is applicable for the type of the object. | ||
46 | * <!-- begin-user-doc --> | ||
47 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
48 | * <!-- end-user-doc --> | ||
49 | * @return whether this factory is applicable for the type of the object. | ||
50 | * @generated | ||
51 | */ | ||
52 | @Override | ||
53 | public boolean isFactoryForType(Object object) { | ||
54 | if (object == modelPackage) { | ||
55 | return true; | ||
56 | } | ||
57 | if (object instanceof EObject) { | ||
58 | return ((EObject)object).eClass().getEPackage() == modelPackage; | ||
59 | } | ||
60 | return false; | ||
61 | } | ||
62 | |||
63 | /** | ||
64 | * The switch that delegates to the <code>createXXX</code> methods. | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | protected SolverLanguageSwitch<Adapter> modelSwitch = | ||
70 | new SolverLanguageSwitch<Adapter>() { | ||
71 | @Override | ||
72 | public Adapter caseProblem(Problem object) { | ||
73 | return createProblemAdapter(); | ||
74 | } | ||
75 | @Override | ||
76 | public Adapter caseStatement(Statement object) { | ||
77 | return createStatementAdapter(); | ||
78 | } | ||
79 | @Override | ||
80 | public Adapter casePredicateDefinition(PredicateDefinition object) { | ||
81 | return createPredicateDefinitionAdapter(); | ||
82 | } | ||
83 | @Override | ||
84 | public Adapter caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object) { | ||
85 | return createUnnamedErrorPrediateDefinitionAdapter(); | ||
86 | } | ||
87 | @Override | ||
88 | public Adapter caseDefaultDefinition(DefaultDefinition object) { | ||
89 | return createDefaultDefinitionAdapter(); | ||
90 | } | ||
91 | @Override | ||
92 | public Adapter caseMetricDefinition(MetricDefinition object) { | ||
93 | return createMetricDefinitionAdapter(); | ||
94 | } | ||
95 | @Override | ||
96 | public Adapter caseExternPredicateDefinition(ExternPredicateDefinition object) { | ||
97 | return createExternPredicateDefinitionAdapter(); | ||
98 | } | ||
99 | @Override | ||
100 | public Adapter caseExternMetricDefinition(ExternMetricDefinition object) { | ||
101 | return createExternMetricDefinitionAdapter(); | ||
102 | } | ||
103 | @Override | ||
104 | public Adapter caseExternAggregatorDefinition(ExternAggregatorDefinition object) { | ||
105 | return createExternAggregatorDefinitionAdapter(); | ||
106 | } | ||
107 | @Override | ||
108 | public Adapter caseExternDatatypeDefinition(ExternDatatypeDefinition object) { | ||
109 | return createExternDatatypeDefinitionAdapter(); | ||
110 | } | ||
111 | @Override | ||
112 | public Adapter caseNamedElement(NamedElement object) { | ||
113 | return createNamedElementAdapter(); | ||
114 | } | ||
115 | @Override | ||
116 | public Adapter caseExpression(Expression object) { | ||
117 | return createExpressionAdapter(); | ||
118 | } | ||
119 | @Override | ||
120 | public Adapter caseIfElse(IfElse object) { | ||
121 | return createIfElseAdapter(); | ||
122 | } | ||
123 | @Override | ||
124 | public Adapter caseLet(Let object) { | ||
125 | return createLetAdapter(); | ||
126 | } | ||
127 | @Override | ||
128 | public Adapter caseLetBinding(LetBinding object) { | ||
129 | return createLetBindingAdapter(); | ||
130 | } | ||
131 | @Override | ||
132 | public Adapter caseCase(Case object) { | ||
133 | return createCaseAdapter(); | ||
134 | } | ||
135 | @Override | ||
136 | public Adapter caseLocalVariables(LocalVariables object) { | ||
137 | return createLocalVariablesAdapter(); | ||
138 | } | ||
139 | @Override | ||
140 | public Adapter caseQuantifiedExpression(QuantifiedExpression object) { | ||
141 | return createQuantifiedExpressionAdapter(); | ||
142 | } | ||
143 | @Override | ||
144 | public Adapter caseAggregation(Aggregation object) { | ||
145 | return createAggregationAdapter(); | ||
146 | } | ||
147 | @Override | ||
148 | public Adapter caseCall(Call object) { | ||
149 | return createCallAdapter(); | ||
150 | } | ||
151 | @Override | ||
152 | public Adapter caseArgumentList(ArgumentList object) { | ||
153 | return createArgumentListAdapter(); | ||
154 | } | ||
155 | @Override | ||
156 | public Adapter caseArgument(Argument object) { | ||
157 | return createArgumentAdapter(); | ||
158 | } | ||
159 | @Override | ||
160 | public Adapter caseExpressionArgument(ExpressionArgument object) { | ||
161 | return createExpressionArgumentAdapter(); | ||
162 | } | ||
163 | @Override | ||
164 | public Adapter caseStarArgument(StarArgument object) { | ||
165 | return createStarArgumentAdapter(); | ||
166 | } | ||
167 | @Override | ||
168 | public Adapter caseTypedArgument(TypedArgument object) { | ||
169 | return createTypedArgumentAdapter(); | ||
170 | } | ||
171 | @Override | ||
172 | public Adapter caseTypedStarArgument(TypedStarArgument object) { | ||
173 | return createTypedStarArgumentAdapter(); | ||
174 | } | ||
175 | @Override | ||
176 | public Adapter caseReference(Reference object) { | ||
177 | return createReferenceAdapter(); | ||
178 | } | ||
179 | @Override | ||
180 | public Adapter caseInterval(Interval object) { | ||
181 | return createIntervalAdapter(); | ||
182 | } | ||
183 | @Override | ||
184 | public Adapter caseLiteral(Literal object) { | ||
185 | return createLiteralAdapter(); | ||
186 | } | ||
187 | @Override | ||
188 | public Adapter caseLogicLiteral(LogicLiteral object) { | ||
189 | return createLogicLiteralAdapter(); | ||
190 | } | ||
191 | @Override | ||
192 | public Adapter caseNumericLiteral(NumericLiteral object) { | ||
193 | return createNumericLiteralAdapter(); | ||
194 | } | ||
195 | @Override | ||
196 | public Adapter caseInfinityLiteral(InfinityLiteral object) { | ||
197 | return createInfinityLiteralAdapter(); | ||
198 | } | ||
199 | @Override | ||
200 | public Adapter caseEmptyIntervalLiteral(EmptyIntervalLiteral object) { | ||
201 | return createEmptyIntervalLiteralAdapter(); | ||
202 | } | ||
203 | @Override | ||
204 | public Adapter caseStringLiteral(StringLiteral object) { | ||
205 | return createStringLiteralAdapter(); | ||
206 | } | ||
207 | @Override | ||
208 | public Adapter caseClassDefinition(ClassDefinition object) { | ||
209 | return createClassDefinitionAdapter(); | ||
210 | } | ||
211 | @Override | ||
212 | public Adapter caseMemberDefinition(MemberDefinition object) { | ||
213 | return createMemberDefinitionAdapter(); | ||
214 | } | ||
215 | @Override | ||
216 | public Adapter caseMultiplicity(Multiplicity object) { | ||
217 | return createMultiplicityAdapter(); | ||
218 | } | ||
219 | @Override | ||
220 | public Adapter caseManyMultiplicity(ManyMultiplicity object) { | ||
221 | return createManyMultiplicityAdapter(); | ||
222 | } | ||
223 | @Override | ||
224 | public Adapter caseExactMultiplicity(ExactMultiplicity object) { | ||
225 | return createExactMultiplicityAdapter(); | ||
226 | } | ||
227 | @Override | ||
228 | public Adapter caseBoundedMultiplicity(BoundedMultiplicity object) { | ||
229 | return createBoundedMultiplicityAdapter(); | ||
230 | } | ||
231 | @Override | ||
232 | public Adapter caseScopeDefinition(ScopeDefinition object) { | ||
233 | return createScopeDefinitionAdapter(); | ||
234 | } | ||
235 | @Override | ||
236 | public Adapter caseExactScopeDefinition(ExactScopeDefinition object) { | ||
237 | return createExactScopeDefinitionAdapter(); | ||
238 | } | ||
239 | @Override | ||
240 | public Adapter caseBoundedScopeDefinition(BoundedScopeDefinition object) { | ||
241 | return createBoundedScopeDefinitionAdapter(); | ||
242 | } | ||
243 | @Override | ||
244 | public Adapter caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object) { | ||
245 | return createLowerBoundedScopeDefinitionAdapter(); | ||
246 | } | ||
247 | @Override | ||
248 | public Adapter caseObjectiveDefinition(ObjectiveDefinition object) { | ||
249 | return createObjectiveDefinitionAdapter(); | ||
250 | } | ||
251 | @Override | ||
252 | public Adapter caseInterpretation(Interpretation object) { | ||
253 | return createInterpretationAdapter(); | ||
254 | } | ||
255 | @Override | ||
256 | public Adapter caseVariable(Variable object) { | ||
257 | return createVariableAdapter(); | ||
258 | } | ||
259 | @Override | ||
260 | public Adapter caseDisjunction(Disjunction object) { | ||
261 | return createDisjunctionAdapter(); | ||
262 | } | ||
263 | @Override | ||
264 | public Adapter caseSwitch(Switch object) { | ||
265 | return createSwitchAdapter(); | ||
266 | } | ||
267 | @Override | ||
268 | public Adapter caseConjunction(Conjunction object) { | ||
269 | return createConjunctionAdapter(); | ||
270 | } | ||
271 | @Override | ||
272 | public Adapter caseComparison(Comparison object) { | ||
273 | return createComparisonAdapter(); | ||
274 | } | ||
275 | @Override | ||
276 | public Adapter caseBinaryExpression(BinaryExpression object) { | ||
277 | return createBinaryExpressionAdapter(); | ||
278 | } | ||
279 | @Override | ||
280 | public Adapter caseCastExpression(CastExpression object) { | ||
281 | return createCastExpressionAdapter(); | ||
282 | } | ||
283 | @Override | ||
284 | public Adapter caseUnaryExpression(UnaryExpression object) { | ||
285 | return createUnaryExpressionAdapter(); | ||
286 | } | ||
287 | @Override | ||
288 | public Adapter caseNode(Node object) { | ||
289 | return createNodeAdapter(); | ||
290 | } | ||
291 | @Override | ||
292 | public Adapter caseFunctor(Functor object) { | ||
293 | return createFunctorAdapter(); | ||
294 | } | ||
295 | @Override | ||
296 | public Adapter casePredicate(Predicate object) { | ||
297 | return createPredicateAdapter(); | ||
298 | } | ||
299 | @Override | ||
300 | public Adapter caseMetric(Metric object) { | ||
301 | return createMetricAdapter(); | ||
302 | } | ||
303 | @Override | ||
304 | public Adapter defaultCase(EObject object) { | ||
305 | return createEObjectAdapter(); | ||
306 | } | ||
307 | }; | ||
308 | |||
309 | /** | ||
310 | * Creates an adapter for the <code>target</code>. | ||
311 | * <!-- begin-user-doc --> | ||
312 | * <!-- end-user-doc --> | ||
313 | * @param target the object to adapt. | ||
314 | * @return the adapter for the <code>target</code>. | ||
315 | * @generated | ||
316 | */ | ||
317 | @Override | ||
318 | public Adapter createAdapter(Notifier target) { | ||
319 | return modelSwitch.doSwitch((EObject)target); | ||
320 | } | ||
321 | |||
322 | |||
323 | /** | ||
324 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem <em>Problem</em>}'. | ||
325 | * <!-- begin-user-doc --> | ||
326 | * This default implementation returns null so that we can easily ignore cases; | ||
327 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
328 | * <!-- end-user-doc --> | ||
329 | * @return the new adapter. | ||
330 | * @see org.eclipse.viatra.solver.language.solverLanguage.Problem | ||
331 | * @generated | ||
332 | */ | ||
333 | public Adapter createProblemAdapter() { | ||
334 | return null; | ||
335 | } | ||
336 | |||
337 | /** | ||
338 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement <em>Statement</em>}'. | ||
339 | * <!-- begin-user-doc --> | ||
340 | * This default implementation returns null so that we can easily ignore cases; | ||
341 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
342 | * <!-- end-user-doc --> | ||
343 | * @return the new adapter. | ||
344 | * @see org.eclipse.viatra.solver.language.solverLanguage.Statement | ||
345 | * @generated | ||
346 | */ | ||
347 | public Adapter createStatementAdapter() { | ||
348 | return null; | ||
349 | } | ||
350 | |||
351 | /** | ||
352 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'. | ||
353 | * <!-- begin-user-doc --> | ||
354 | * This default implementation returns null so that we can easily ignore cases; | ||
355 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
356 | * <!-- end-user-doc --> | ||
357 | * @return the new adapter. | ||
358 | * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition | ||
359 | * @generated | ||
360 | */ | ||
361 | public Adapter createPredicateDefinitionAdapter() { | ||
362 | return null; | ||
363 | } | ||
364 | |||
365 | /** | ||
366 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate Definition</em>}'. | ||
367 | * <!-- begin-user-doc --> | ||
368 | * This default implementation returns null so that we can easily ignore cases; | ||
369 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
370 | * <!-- end-user-doc --> | ||
371 | * @return the new adapter. | ||
372 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition | ||
373 | * @generated | ||
374 | */ | ||
375 | public Adapter createUnnamedErrorPrediateDefinitionAdapter() { | ||
376 | return null; | ||
377 | } | ||
378 | |||
379 | /** | ||
380 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default Definition</em>}'. | ||
381 | * <!-- begin-user-doc --> | ||
382 | * This default implementation returns null so that we can easily ignore cases; | ||
383 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
384 | * <!-- end-user-doc --> | ||
385 | * @return the new adapter. | ||
386 | * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition | ||
387 | * @generated | ||
388 | */ | ||
389 | public Adapter createDefaultDefinitionAdapter() { | ||
390 | return null; | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric Definition</em>}'. | ||
395 | * <!-- begin-user-doc --> | ||
396 | * This default implementation returns null so that we can easily ignore cases; | ||
397 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
398 | * <!-- end-user-doc --> | ||
399 | * @return the new adapter. | ||
400 | * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition | ||
401 | * @generated | ||
402 | */ | ||
403 | public Adapter createMetricDefinitionAdapter() { | ||
404 | return null; | ||
405 | } | ||
406 | |||
407 | /** | ||
408 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate Definition</em>}'. | ||
409 | * <!-- begin-user-doc --> | ||
410 | * This default implementation returns null so that we can easily ignore cases; | ||
411 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
412 | * <!-- end-user-doc --> | ||
413 | * @return the new adapter. | ||
414 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition | ||
415 | * @generated | ||
416 | */ | ||
417 | public Adapter createExternPredicateDefinitionAdapter() { | ||
418 | return null; | ||
419 | } | ||
420 | |||
421 | /** | ||
422 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric Definition</em>}'. | ||
423 | * <!-- begin-user-doc --> | ||
424 | * This default implementation returns null so that we can easily ignore cases; | ||
425 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
426 | * <!-- end-user-doc --> | ||
427 | * @return the new adapter. | ||
428 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition | ||
429 | * @generated | ||
430 | */ | ||
431 | public Adapter createExternMetricDefinitionAdapter() { | ||
432 | return null; | ||
433 | } | ||
434 | |||
435 | /** | ||
436 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition <em>Extern Aggregator Definition</em>}'. | ||
437 | * <!-- begin-user-doc --> | ||
438 | * This default implementation returns null so that we can easily ignore cases; | ||
439 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
440 | * <!-- end-user-doc --> | ||
441 | * @return the new adapter. | ||
442 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition | ||
443 | * @generated | ||
444 | */ | ||
445 | public Adapter createExternAggregatorDefinitionAdapter() { | ||
446 | return null; | ||
447 | } | ||
448 | |||
449 | /** | ||
450 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition <em>Extern Datatype Definition</em>}'. | ||
451 | * <!-- begin-user-doc --> | ||
452 | * This default implementation returns null so that we can easily ignore cases; | ||
453 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
454 | * <!-- end-user-doc --> | ||
455 | * @return the new adapter. | ||
456 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition | ||
457 | * @generated | ||
458 | */ | ||
459 | public Adapter createExternDatatypeDefinitionAdapter() { | ||
460 | return null; | ||
461 | } | ||
462 | |||
463 | /** | ||
464 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named Element</em>}'. | ||
465 | * <!-- begin-user-doc --> | ||
466 | * This default implementation returns null so that we can easily ignore cases; | ||
467 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
468 | * <!-- end-user-doc --> | ||
469 | * @return the new adapter. | ||
470 | * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement | ||
471 | * @generated | ||
472 | */ | ||
473 | public Adapter createNamedElementAdapter() { | ||
474 | return null; | ||
475 | } | ||
476 | |||
477 | /** | ||
478 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>Expression</em>}'. | ||
479 | * <!-- begin-user-doc --> | ||
480 | * This default implementation returns null so that we can easily ignore cases; | ||
481 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
482 | * <!-- end-user-doc --> | ||
483 | * @return the new adapter. | ||
484 | * @see org.eclipse.viatra.solver.language.solverLanguage.Expression | ||
485 | * @generated | ||
486 | */ | ||
487 | public Adapter createExpressionAdapter() { | ||
488 | return null; | ||
489 | } | ||
490 | |||
491 | /** | ||
492 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If Else</em>}'. | ||
493 | * <!-- begin-user-doc --> | ||
494 | * This default implementation returns null so that we can easily ignore cases; | ||
495 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
496 | * <!-- end-user-doc --> | ||
497 | * @return the new adapter. | ||
498 | * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse | ||
499 | * @generated | ||
500 | */ | ||
501 | public Adapter createIfElseAdapter() { | ||
502 | return null; | ||
503 | } | ||
504 | |||
505 | /** | ||
506 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Let <em>Let</em>}'. | ||
507 | * <!-- begin-user-doc --> | ||
508 | * This default implementation returns null so that we can easily ignore cases; | ||
509 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
510 | * <!-- end-user-doc --> | ||
511 | * @return the new adapter. | ||
512 | * @see org.eclipse.viatra.solver.language.solverLanguage.Let | ||
513 | * @generated | ||
514 | */ | ||
515 | public Adapter createLetAdapter() { | ||
516 | return null; | ||
517 | } | ||
518 | |||
519 | /** | ||
520 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding <em>Let Binding</em>}'. | ||
521 | * <!-- begin-user-doc --> | ||
522 | * This default implementation returns null so that we can easily ignore cases; | ||
523 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
524 | * <!-- end-user-doc --> | ||
525 | * @return the new adapter. | ||
526 | * @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding | ||
527 | * @generated | ||
528 | */ | ||
529 | public Adapter createLetBindingAdapter() { | ||
530 | return null; | ||
531 | } | ||
532 | |||
533 | /** | ||
534 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</em>}'. | ||
535 | * <!-- begin-user-doc --> | ||
536 | * This default implementation returns null so that we can easily ignore cases; | ||
537 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
538 | * <!-- end-user-doc --> | ||
539 | * @return the new adapter. | ||
540 | * @see org.eclipse.viatra.solver.language.solverLanguage.Case | ||
541 | * @generated | ||
542 | */ | ||
543 | public Adapter createCaseAdapter() { | ||
544 | return null; | ||
545 | } | ||
546 | |||
547 | /** | ||
548 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LocalVariables <em>Local Variables</em>}'. | ||
549 | * <!-- begin-user-doc --> | ||
550 | * This default implementation returns null so that we can easily ignore cases; | ||
551 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
552 | * <!-- end-user-doc --> | ||
553 | * @return the new adapter. | ||
554 | * @see org.eclipse.viatra.solver.language.solverLanguage.LocalVariables | ||
555 | * @generated | ||
556 | */ | ||
557 | public Adapter createLocalVariablesAdapter() { | ||
558 | return null; | ||
559 | } | ||
560 | |||
561 | /** | ||
562 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression <em>Quantified Expression</em>}'. | ||
563 | * <!-- begin-user-doc --> | ||
564 | * This default implementation returns null so that we can easily ignore cases; | ||
565 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
566 | * <!-- end-user-doc --> | ||
567 | * @return the new adapter. | ||
568 | * @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression | ||
569 | * @generated | ||
570 | */ | ||
571 | public Adapter createQuantifiedExpressionAdapter() { | ||
572 | return null; | ||
573 | } | ||
574 | |||
575 | /** | ||
576 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</em>}'. | ||
577 | * <!-- begin-user-doc --> | ||
578 | * This default implementation returns null so that we can easily ignore cases; | ||
579 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
580 | * <!-- end-user-doc --> | ||
581 | * @return the new adapter. | ||
582 | * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation | ||
583 | * @generated | ||
584 | */ | ||
585 | public Adapter createAggregationAdapter() { | ||
586 | return null; | ||
587 | } | ||
588 | |||
589 | /** | ||
590 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</em>}'. | ||
591 | * <!-- begin-user-doc --> | ||
592 | * This default implementation returns null so that we can easily ignore cases; | ||
593 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
594 | * <!-- end-user-doc --> | ||
595 | * @return the new adapter. | ||
596 | * @see org.eclipse.viatra.solver.language.solverLanguage.Call | ||
597 | * @generated | ||
598 | */ | ||
599 | public Adapter createCallAdapter() { | ||
600 | return null; | ||
601 | } | ||
602 | |||
603 | /** | ||
604 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'. | ||
605 | * <!-- begin-user-doc --> | ||
606 | * This default implementation returns null so that we can easily ignore cases; | ||
607 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
608 | * <!-- end-user-doc --> | ||
609 | * @return the new adapter. | ||
610 | * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList | ||
611 | * @generated | ||
612 | */ | ||
613 | public Adapter createArgumentListAdapter() { | ||
614 | return null; | ||
615 | } | ||
616 | |||
617 | /** | ||
618 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</em>}'. | ||
619 | * <!-- begin-user-doc --> | ||
620 | * This default implementation returns null so that we can easily ignore cases; | ||
621 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
622 | * <!-- end-user-doc --> | ||
623 | * @return the new adapter. | ||
624 | * @see org.eclipse.viatra.solver.language.solverLanguage.Argument | ||
625 | * @generated | ||
626 | */ | ||
627 | public Adapter createArgumentAdapter() { | ||
628 | return null; | ||
629 | } | ||
630 | |||
631 | /** | ||
632 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</em>}'. | ||
633 | * <!-- begin-user-doc --> | ||
634 | * This default implementation returns null so that we can easily ignore cases; | ||
635 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
636 | * <!-- end-user-doc --> | ||
637 | * @return the new adapter. | ||
638 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument | ||
639 | * @generated | ||
640 | */ | ||
641 | public Adapter createExpressionArgumentAdapter() { | ||
642 | return null; | ||
643 | } | ||
644 | |||
645 | /** | ||
646 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</em>}'. | ||
647 | * <!-- begin-user-doc --> | ||
648 | * This default implementation returns null so that we can easily ignore cases; | ||
649 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
650 | * <!-- end-user-doc --> | ||
651 | * @return the new adapter. | ||
652 | * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument | ||
653 | * @generated | ||
654 | */ | ||
655 | public Adapter createStarArgumentAdapter() { | ||
656 | return null; | ||
657 | } | ||
658 | |||
659 | /** | ||
660 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</em>}'. | ||
661 | * <!-- begin-user-doc --> | ||
662 | * This default implementation returns null so that we can easily ignore cases; | ||
663 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
664 | * <!-- end-user-doc --> | ||
665 | * @return the new adapter. | ||
666 | * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument | ||
667 | * @generated | ||
668 | */ | ||
669 | public Adapter createTypedArgumentAdapter() { | ||
670 | return null; | ||
671 | } | ||
672 | |||
673 | /** | ||
674 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</em>}'. | ||
675 | * <!-- begin-user-doc --> | ||
676 | * This default implementation returns null so that we can easily ignore cases; | ||
677 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
678 | * <!-- end-user-doc --> | ||
679 | * @return the new adapter. | ||
680 | * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument | ||
681 | * @generated | ||
682 | */ | ||
683 | public Adapter createTypedStarArgumentAdapter() { | ||
684 | return null; | ||
685 | } | ||
686 | |||
687 | /** | ||
688 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>Reference</em>}'. | ||
689 | * <!-- begin-user-doc --> | ||
690 | * This default implementation returns null so that we can easily ignore cases; | ||
691 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
692 | * <!-- end-user-doc --> | ||
693 | * @return the new adapter. | ||
694 | * @see org.eclipse.viatra.solver.language.solverLanguage.Reference | ||
695 | * @generated | ||
696 | */ | ||
697 | public Adapter createReferenceAdapter() { | ||
698 | return null; | ||
699 | } | ||
700 | |||
701 | /** | ||
702 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</em>}'. | ||
703 | * <!-- begin-user-doc --> | ||
704 | * This default implementation returns null so that we can easily ignore cases; | ||
705 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
706 | * <!-- end-user-doc --> | ||
707 | * @return the new adapter. | ||
708 | * @see org.eclipse.viatra.solver.language.solverLanguage.Interval | ||
709 | * @generated | ||
710 | */ | ||
711 | public Adapter createIntervalAdapter() { | ||
712 | return null; | ||
713 | } | ||
714 | |||
715 | /** | ||
716 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'. | ||
717 | * <!-- begin-user-doc --> | ||
718 | * This default implementation returns null so that we can easily ignore cases; | ||
719 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
720 | * <!-- end-user-doc --> | ||
721 | * @return the new adapter. | ||
722 | * @see org.eclipse.viatra.solver.language.solverLanguage.Literal | ||
723 | * @generated | ||
724 | */ | ||
725 | public Adapter createLiteralAdapter() { | ||
726 | return null; | ||
727 | } | ||
728 | |||
729 | /** | ||
730 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic Literal</em>}'. | ||
731 | * <!-- begin-user-doc --> | ||
732 | * This default implementation returns null so that we can easily ignore cases; | ||
733 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
734 | * <!-- end-user-doc --> | ||
735 | * @return the new adapter. | ||
736 | * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral | ||
737 | * @generated | ||
738 | */ | ||
739 | public Adapter createLogicLiteralAdapter() { | ||
740 | return null; | ||
741 | } | ||
742 | |||
743 | /** | ||
744 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric Literal</em>}'. | ||
745 | * <!-- begin-user-doc --> | ||
746 | * This default implementation returns null so that we can easily ignore cases; | ||
747 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
748 | * <!-- end-user-doc --> | ||
749 | * @return the new adapter. | ||
750 | * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral | ||
751 | * @generated | ||
752 | */ | ||
753 | public Adapter createNumericLiteralAdapter() { | ||
754 | return null; | ||
755 | } | ||
756 | |||
757 | /** | ||
758 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity Literal</em>}'. | ||
759 | * <!-- begin-user-doc --> | ||
760 | * This default implementation returns null so that we can easily ignore cases; | ||
761 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
762 | * <!-- end-user-doc --> | ||
763 | * @return the new adapter. | ||
764 | * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral | ||
765 | * @generated | ||
766 | */ | ||
767 | public Adapter createInfinityLiteralAdapter() { | ||
768 | return null; | ||
769 | } | ||
770 | |||
771 | /** | ||
772 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval Literal</em>}'. | ||
773 | * <!-- begin-user-doc --> | ||
774 | * This default implementation returns null so that we can easily ignore cases; | ||
775 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
776 | * <!-- end-user-doc --> | ||
777 | * @return the new adapter. | ||
778 | * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral | ||
779 | * @generated | ||
780 | */ | ||
781 | public Adapter createEmptyIntervalLiteralAdapter() { | ||
782 | return null; | ||
783 | } | ||
784 | |||
785 | /** | ||
786 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String Literal</em>}'. | ||
787 | * <!-- begin-user-doc --> | ||
788 | * This default implementation returns null so that we can easily ignore cases; | ||
789 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
790 | * <!-- end-user-doc --> | ||
791 | * @return the new adapter. | ||
792 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral | ||
793 | * @generated | ||
794 | */ | ||
795 | public Adapter createStringLiteralAdapter() { | ||
796 | return null; | ||
797 | } | ||
798 | |||
799 | /** | ||
800 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition <em>Class Definition</em>}'. | ||
801 | * <!-- begin-user-doc --> | ||
802 | * This default implementation returns null so that we can easily ignore cases; | ||
803 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
804 | * <!-- end-user-doc --> | ||
805 | * @return the new adapter. | ||
806 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition | ||
807 | * @generated | ||
808 | */ | ||
809 | public Adapter createClassDefinitionAdapter() { | ||
810 | return null; | ||
811 | } | ||
812 | |||
813 | /** | ||
814 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'. | ||
815 | * <!-- begin-user-doc --> | ||
816 | * This default implementation returns null so that we can easily ignore cases; | ||
817 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
818 | * <!-- end-user-doc --> | ||
819 | * @return the new adapter. | ||
820 | * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition | ||
821 | * @generated | ||
822 | */ | ||
823 | public Adapter createMemberDefinitionAdapter() { | ||
824 | return null; | ||
825 | } | ||
826 | |||
827 | /** | ||
828 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</em>}'. | ||
829 | * <!-- begin-user-doc --> | ||
830 | * This default implementation returns null so that we can easily ignore cases; | ||
831 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
832 | * <!-- end-user-doc --> | ||
833 | * @return the new adapter. | ||
834 | * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity | ||
835 | * @generated | ||
836 | */ | ||
837 | public Adapter createMultiplicityAdapter() { | ||
838 | return null; | ||
839 | } | ||
840 | |||
841 | /** | ||
842 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</em>}'. | ||
843 | * <!-- begin-user-doc --> | ||
844 | * This default implementation returns null so that we can easily ignore cases; | ||
845 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
846 | * <!-- end-user-doc --> | ||
847 | * @return the new adapter. | ||
848 | * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity | ||
849 | * @generated | ||
850 | */ | ||
851 | public Adapter createManyMultiplicityAdapter() { | ||
852 | return null; | ||
853 | } | ||
854 | |||
855 | /** | ||
856 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</em>}'. | ||
857 | * <!-- begin-user-doc --> | ||
858 | * This default implementation returns null so that we can easily ignore cases; | ||
859 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
860 | * <!-- end-user-doc --> | ||
861 | * @return the new adapter. | ||
862 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity | ||
863 | * @generated | ||
864 | */ | ||
865 | public Adapter createExactMultiplicityAdapter() { | ||
866 | return null; | ||
867 | } | ||
868 | |||
869 | /** | ||
870 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</em>}'. | ||
871 | * <!-- begin-user-doc --> | ||
872 | * This default implementation returns null so that we can easily ignore cases; | ||
873 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
874 | * <!-- end-user-doc --> | ||
875 | * @return the new adapter. | ||
876 | * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity | ||
877 | * @generated | ||
878 | */ | ||
879 | public Adapter createBoundedMultiplicityAdapter() { | ||
880 | return null; | ||
881 | } | ||
882 | |||
883 | /** | ||
884 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope Definition</em>}'. | ||
885 | * <!-- begin-user-doc --> | ||
886 | * This default implementation returns null so that we can easily ignore cases; | ||
887 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
888 | * <!-- end-user-doc --> | ||
889 | * @return the new adapter. | ||
890 | * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition | ||
891 | * @generated | ||
892 | */ | ||
893 | public Adapter createScopeDefinitionAdapter() { | ||
894 | return null; | ||
895 | } | ||
896 | |||
897 | /** | ||
898 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope Definition</em>}'. | ||
899 | * <!-- begin-user-doc --> | ||
900 | * This default implementation returns null so that we can easily ignore cases; | ||
901 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
902 | * <!-- end-user-doc --> | ||
903 | * @return the new adapter. | ||
904 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition | ||
905 | * @generated | ||
906 | */ | ||
907 | public Adapter createExactScopeDefinitionAdapter() { | ||
908 | return null; | ||
909 | } | ||
910 | |||
911 | /** | ||
912 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope Definition</em>}'. | ||
913 | * <!-- begin-user-doc --> | ||
914 | * This default implementation returns null so that we can easily ignore cases; | ||
915 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
916 | * <!-- end-user-doc --> | ||
917 | * @return the new adapter. | ||
918 | * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition | ||
919 | * @generated | ||
920 | */ | ||
921 | public Adapter createBoundedScopeDefinitionAdapter() { | ||
922 | return null; | ||
923 | } | ||
924 | |||
925 | /** | ||
926 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope Definition</em>}'. | ||
927 | * <!-- begin-user-doc --> | ||
928 | * This default implementation returns null so that we can easily ignore cases; | ||
929 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
930 | * <!-- end-user-doc --> | ||
931 | * @return the new adapter. | ||
932 | * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition | ||
933 | * @generated | ||
934 | */ | ||
935 | public Adapter createLowerBoundedScopeDefinitionAdapter() { | ||
936 | return null; | ||
937 | } | ||
938 | |||
939 | /** | ||
940 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective Definition</em>}'. | ||
941 | * <!-- begin-user-doc --> | ||
942 | * This default implementation returns null so that we can easily ignore cases; | ||
943 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
944 | * <!-- end-user-doc --> | ||
945 | * @return the new adapter. | ||
946 | * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition | ||
947 | * @generated | ||
948 | */ | ||
949 | public Adapter createObjectiveDefinitionAdapter() { | ||
950 | return null; | ||
951 | } | ||
952 | |||
953 | /** | ||
954 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'. | ||
955 | * <!-- begin-user-doc --> | ||
956 | * This default implementation returns null so that we can easily ignore cases; | ||
957 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
958 | * <!-- end-user-doc --> | ||
959 | * @return the new adapter. | ||
960 | * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation | ||
961 | * @generated | ||
962 | */ | ||
963 | public Adapter createInterpretationAdapter() { | ||
964 | return null; | ||
965 | } | ||
966 | |||
967 | /** | ||
968 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'. | ||
969 | * <!-- begin-user-doc --> | ||
970 | * This default implementation returns null so that we can easily ignore cases; | ||
971 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
972 | * <!-- end-user-doc --> | ||
973 | * @return the new adapter. | ||
974 | * @see org.eclipse.viatra.solver.language.solverLanguage.Variable | ||
975 | * @generated | ||
976 | */ | ||
977 | public Adapter createVariableAdapter() { | ||
978 | return null; | ||
979 | } | ||
980 | |||
981 | /** | ||
982 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</em>}'. | ||
983 | * <!-- begin-user-doc --> | ||
984 | * This default implementation returns null so that we can easily ignore cases; | ||
985 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
986 | * <!-- end-user-doc --> | ||
987 | * @return the new adapter. | ||
988 | * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction | ||
989 | * @generated | ||
990 | */ | ||
991 | public Adapter createDisjunctionAdapter() { | ||
992 | return null; | ||
993 | } | ||
994 | |||
995 | /** | ||
996 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</em>}'. | ||
997 | * <!-- begin-user-doc --> | ||
998 | * This default implementation returns null so that we can easily ignore cases; | ||
999 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1000 | * <!-- end-user-doc --> | ||
1001 | * @return the new adapter. | ||
1002 | * @see org.eclipse.viatra.solver.language.solverLanguage.Switch | ||
1003 | * @generated | ||
1004 | */ | ||
1005 | public Adapter createSwitchAdapter() { | ||
1006 | return null; | ||
1007 | } | ||
1008 | |||
1009 | /** | ||
1010 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</em>}'. | ||
1011 | * <!-- begin-user-doc --> | ||
1012 | * This default implementation returns null so that we can easily ignore cases; | ||
1013 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1014 | * <!-- end-user-doc --> | ||
1015 | * @return the new adapter. | ||
1016 | * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction | ||
1017 | * @generated | ||
1018 | */ | ||
1019 | public Adapter createConjunctionAdapter() { | ||
1020 | return null; | ||
1021 | } | ||
1022 | |||
1023 | /** | ||
1024 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</em>}'. | ||
1025 | * <!-- begin-user-doc --> | ||
1026 | * This default implementation returns null so that we can easily ignore cases; | ||
1027 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1028 | * <!-- end-user-doc --> | ||
1029 | * @return the new adapter. | ||
1030 | * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison | ||
1031 | * @generated | ||
1032 | */ | ||
1033 | public Adapter createComparisonAdapter() { | ||
1034 | return null; | ||
1035 | } | ||
1036 | |||
1037 | /** | ||
1038 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary Expression</em>}'. | ||
1039 | * <!-- begin-user-doc --> | ||
1040 | * This default implementation returns null so that we can easily ignore cases; | ||
1041 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1042 | * <!-- end-user-doc --> | ||
1043 | * @return the new adapter. | ||
1044 | * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression | ||
1045 | * @generated | ||
1046 | */ | ||
1047 | public Adapter createBinaryExpressionAdapter() { | ||
1048 | return null; | ||
1049 | } | ||
1050 | |||
1051 | /** | ||
1052 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.CastExpression <em>Cast Expression</em>}'. | ||
1053 | * <!-- begin-user-doc --> | ||
1054 | * This default implementation returns null so that we can easily ignore cases; | ||
1055 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1056 | * <!-- end-user-doc --> | ||
1057 | * @return the new adapter. | ||
1058 | * @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression | ||
1059 | * @generated | ||
1060 | */ | ||
1061 | public Adapter createCastExpressionAdapter() { | ||
1062 | return null; | ||
1063 | } | ||
1064 | |||
1065 | /** | ||
1066 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary Expression</em>}'. | ||
1067 | * <!-- begin-user-doc --> | ||
1068 | * This default implementation returns null so that we can easily ignore cases; | ||
1069 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1070 | * <!-- end-user-doc --> | ||
1071 | * @return the new adapter. | ||
1072 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression | ||
1073 | * @generated | ||
1074 | */ | ||
1075 | public Adapter createUnaryExpressionAdapter() { | ||
1076 | return null; | ||
1077 | } | ||
1078 | |||
1079 | /** | ||
1080 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Node <em>Node</em>}'. | ||
1081 | * <!-- begin-user-doc --> | ||
1082 | * This default implementation returns null so that we can easily ignore cases; | ||
1083 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1084 | * <!-- end-user-doc --> | ||
1085 | * @return the new adapter. | ||
1086 | * @see org.eclipse.viatra.solver.language.solverLanguage.Node | ||
1087 | * @generated | ||
1088 | */ | ||
1089 | public Adapter createNodeAdapter() { | ||
1090 | return null; | ||
1091 | } | ||
1092 | |||
1093 | /** | ||
1094 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Functor <em>Functor</em>}'. | ||
1095 | * <!-- begin-user-doc --> | ||
1096 | * This default implementation returns null so that we can easily ignore cases; | ||
1097 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1098 | * <!-- end-user-doc --> | ||
1099 | * @return the new adapter. | ||
1100 | * @see org.eclipse.viatra.solver.language.solverLanguage.Functor | ||
1101 | * @generated | ||
1102 | */ | ||
1103 | public Adapter createFunctorAdapter() { | ||
1104 | return null; | ||
1105 | } | ||
1106 | |||
1107 | /** | ||
1108 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'. | ||
1109 | * <!-- begin-user-doc --> | ||
1110 | * This default implementation returns null so that we can easily ignore cases; | ||
1111 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1112 | * <!-- end-user-doc --> | ||
1113 | * @return the new adapter. | ||
1114 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate | ||
1115 | * @generated | ||
1116 | */ | ||
1117 | public Adapter createPredicateAdapter() { | ||
1118 | return null; | ||
1119 | } | ||
1120 | |||
1121 | /** | ||
1122 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Metric <em>Metric</em>}'. | ||
1123 | * <!-- begin-user-doc --> | ||
1124 | * This default implementation returns null so that we can easily ignore cases; | ||
1125 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1126 | * <!-- end-user-doc --> | ||
1127 | * @return the new adapter. | ||
1128 | * @see org.eclipse.viatra.solver.language.solverLanguage.Metric | ||
1129 | * @generated | ||
1130 | */ | ||
1131 | public Adapter createMetricAdapter() { | ||
1132 | return null; | ||
1133 | } | ||
1134 | |||
1135 | /** | ||
1136 | * Creates a new adapter for the default case. | ||
1137 | * <!-- begin-user-doc --> | ||
1138 | * This default implementation returns null. | ||
1139 | * <!-- end-user-doc --> | ||
1140 | * @return the new adapter. | ||
1141 | * @generated | ||
1142 | */ | ||
1143 | public Adapter createEObjectAdapter() { | ||
1144 | return null; | ||
1145 | } | ||
1146 | |||
1147 | } //SolverLanguageAdapterFactory | ||
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 | ||