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