diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util')
2 files changed, 2466 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java new file mode 100644 index 00000000..a3372dc9 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java | |||
@@ -0,0 +1,1092 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*; | ||
6 | |||
7 | import org.eclipse.emf.common.notify.Adapter; | ||
8 | import org.eclipse.emf.common.notify.Notifier; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EObject; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * The <b>Adapter Factory</b> for the model. | ||
17 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage | ||
20 | * @generated | ||
21 | */ | ||
22 | public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { | ||
23 | /** | ||
24 | * The cached model package. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @generated | ||
28 | */ | ||
29 | protected static LogiclanguagePackage modelPackage; | ||
30 | |||
31 | /** | ||
32 | * Creates an instance of the adapter factory. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @generated | ||
36 | */ | ||
37 | public LogiclanguageAdapterFactory() { | ||
38 | if (modelPackage == null) { | ||
39 | modelPackage = LogiclanguagePackage.eINSTANCE; | ||
40 | } | ||
41 | } | ||
42 | |||
43 | /** | ||
44 | * Returns whether this factory is applicable for the type of the object. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
47 | * <!-- end-user-doc --> | ||
48 | * @return whether this factory is applicable for the type of the object. | ||
49 | * @generated | ||
50 | */ | ||
51 | @Override | ||
52 | public boolean isFactoryForType(Object object) { | ||
53 | if (object == modelPackage) { | ||
54 | return true; | ||
55 | } | ||
56 | if (object instanceof EObject) { | ||
57 | return ((EObject)object).eClass().getEPackage() == modelPackage; | ||
58 | } | ||
59 | return false; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * The switch that delegates to the <code>createXXX</code> methods. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | protected LogiclanguageSwitch<Adapter> modelSwitch = | ||
69 | new LogiclanguageSwitch<Adapter>() { | ||
70 | @Override | ||
71 | public Adapter caseType(Type object) { | ||
72 | return createTypeAdapter(); | ||
73 | } | ||
74 | @Override | ||
75 | public Adapter caseDefinedElement(DefinedElement object) { | ||
76 | return createDefinedElementAdapter(); | ||
77 | } | ||
78 | @Override | ||
79 | public Adapter caseTypeDefinition(TypeDefinition object) { | ||
80 | return createTypeDefinitionAdapter(); | ||
81 | } | ||
82 | @Override | ||
83 | public Adapter caseTypeReference(TypeReference object) { | ||
84 | return createTypeReferenceAdapter(); | ||
85 | } | ||
86 | @Override | ||
87 | public Adapter caseComplexTypeReference(ComplexTypeReference object) { | ||
88 | return createComplexTypeReferenceAdapter(); | ||
89 | } | ||
90 | @Override | ||
91 | public Adapter casePrimitiveTypeReference(PrimitiveTypeReference object) { | ||
92 | return createPrimitiveTypeReferenceAdapter(); | ||
93 | } | ||
94 | @Override | ||
95 | public Adapter caseIntTypeReference(IntTypeReference object) { | ||
96 | return createIntTypeReferenceAdapter(); | ||
97 | } | ||
98 | @Override | ||
99 | public Adapter caseBoolTypeReference(BoolTypeReference object) { | ||
100 | return createBoolTypeReferenceAdapter(); | ||
101 | } | ||
102 | @Override | ||
103 | public Adapter caseRealTypeReference(RealTypeReference object) { | ||
104 | return createRealTypeReferenceAdapter(); | ||
105 | } | ||
106 | @Override | ||
107 | public Adapter caseFunction(Function object) { | ||
108 | return createFunctionAdapter(); | ||
109 | } | ||
110 | @Override | ||
111 | public Adapter caseTerm(Term object) { | ||
112 | return createTermAdapter(); | ||
113 | } | ||
114 | @Override | ||
115 | public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) { | ||
116 | return createSymbolicDeclarationAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseSymbolicValue(SymbolicValue object) { | ||
120 | return createSymbolicValueAdapter(); | ||
121 | } | ||
122 | @Override | ||
123 | public Adapter caseAtomicTerm(AtomicTerm object) { | ||
124 | return createAtomicTermAdapter(); | ||
125 | } | ||
126 | @Override | ||
127 | public Adapter caseIntLiteral(IntLiteral object) { | ||
128 | return createIntLiteralAdapter(); | ||
129 | } | ||
130 | @Override | ||
131 | public Adapter caseBoolLiteral(BoolLiteral object) { | ||
132 | return createBoolLiteralAdapter(); | ||
133 | } | ||
134 | @Override | ||
135 | public Adapter caseRealLiteral(RealLiteral object) { | ||
136 | return createRealLiteralAdapter(); | ||
137 | } | ||
138 | @Override | ||
139 | public Adapter caseVariable(Variable object) { | ||
140 | return createVariableAdapter(); | ||
141 | } | ||
142 | @Override | ||
143 | public Adapter caseQuantifiedExpression(QuantifiedExpression object) { | ||
144 | return createQuantifiedExpressionAdapter(); | ||
145 | } | ||
146 | @Override | ||
147 | public Adapter caseExists(Exists object) { | ||
148 | return createExistsAdapter(); | ||
149 | } | ||
150 | @Override | ||
151 | public Adapter caseForall(Forall object) { | ||
152 | return createForallAdapter(); | ||
153 | } | ||
154 | @Override | ||
155 | public Adapter caseBoolOperation(BoolOperation object) { | ||
156 | return createBoolOperationAdapter(); | ||
157 | } | ||
158 | @Override | ||
159 | public Adapter caseAnd(And object) { | ||
160 | return createAndAdapter(); | ||
161 | } | ||
162 | @Override | ||
163 | public Adapter caseOr(Or object) { | ||
164 | return createOrAdapter(); | ||
165 | } | ||
166 | @Override | ||
167 | public Adapter caseImpl(Impl object) { | ||
168 | return createImplAdapter(); | ||
169 | } | ||
170 | @Override | ||
171 | public Adapter caseNot(Not object) { | ||
172 | return createNotAdapter(); | ||
173 | } | ||
174 | @Override | ||
175 | public Adapter caseIff(Iff object) { | ||
176 | return createIffAdapter(); | ||
177 | } | ||
178 | @Override | ||
179 | public Adapter casePrimitiveRelation(PrimitiveRelation object) { | ||
180 | return createPrimitiveRelationAdapter(); | ||
181 | } | ||
182 | @Override | ||
183 | public Adapter caseEquals(Equals object) { | ||
184 | return createEqualsAdapter(); | ||
185 | } | ||
186 | @Override | ||
187 | public Adapter caseDistinct(Distinct object) { | ||
188 | return createDistinctAdapter(); | ||
189 | } | ||
190 | @Override | ||
191 | public Adapter caseLessThan(LessThan object) { | ||
192 | return createLessThanAdapter(); | ||
193 | } | ||
194 | @Override | ||
195 | public Adapter caseMoreThan(MoreThan object) { | ||
196 | return createMoreThanAdapter(); | ||
197 | } | ||
198 | @Override | ||
199 | public Adapter caseLessOrEqualThan(LessOrEqualThan object) { | ||
200 | return createLessOrEqualThanAdapter(); | ||
201 | } | ||
202 | @Override | ||
203 | public Adapter caseMoreOrEqualThan(MoreOrEqualThan object) { | ||
204 | return createMoreOrEqualThanAdapter(); | ||
205 | } | ||
206 | @Override | ||
207 | public Adapter caseIntOperation(IntOperation object) { | ||
208 | return createIntOperationAdapter(); | ||
209 | } | ||
210 | @Override | ||
211 | public Adapter casePlus(Plus object) { | ||
212 | return createPlusAdapter(); | ||
213 | } | ||
214 | @Override | ||
215 | public Adapter caseMinus(Minus object) { | ||
216 | return createMinusAdapter(); | ||
217 | } | ||
218 | @Override | ||
219 | public Adapter caseMultiply(Multiply object) { | ||
220 | return createMultiplyAdapter(); | ||
221 | } | ||
222 | @Override | ||
223 | public Adapter caseDivison(Divison object) { | ||
224 | return createDivisonAdapter(); | ||
225 | } | ||
226 | @Override | ||
227 | public Adapter caseMod(Mod object) { | ||
228 | return createModAdapter(); | ||
229 | } | ||
230 | @Override | ||
231 | public Adapter caseTypeDescriptor(TypeDescriptor object) { | ||
232 | return createTypeDescriptorAdapter(); | ||
233 | } | ||
234 | @Override | ||
235 | public Adapter caseTermDescription(TermDescription object) { | ||
236 | return createTermDescriptionAdapter(); | ||
237 | } | ||
238 | @Override | ||
239 | public Adapter caseAssertion(Assertion object) { | ||
240 | return createAssertionAdapter(); | ||
241 | } | ||
242 | @Override | ||
243 | public Adapter caseRelation(Relation object) { | ||
244 | return createRelationAdapter(); | ||
245 | } | ||
246 | @Override | ||
247 | public Adapter caseConstant(Constant object) { | ||
248 | return createConstantAdapter(); | ||
249 | } | ||
250 | @Override | ||
251 | public Adapter caseConstantDefinition(ConstantDefinition object) { | ||
252 | return createConstantDefinitionAdapter(); | ||
253 | } | ||
254 | @Override | ||
255 | public Adapter caseRelationDefinition(RelationDefinition object) { | ||
256 | return createRelationDefinitionAdapter(); | ||
257 | } | ||
258 | @Override | ||
259 | public Adapter caseFunctionDefinition(FunctionDefinition object) { | ||
260 | return createFunctionDefinitionAdapter(); | ||
261 | } | ||
262 | @Override | ||
263 | public Adapter caseIfThenElse(IfThenElse object) { | ||
264 | return createIfThenElseAdapter(); | ||
265 | } | ||
266 | @Override | ||
267 | public Adapter caseConstantDeclaration(ConstantDeclaration object) { | ||
268 | return createConstantDeclarationAdapter(); | ||
269 | } | ||
270 | @Override | ||
271 | public Adapter caseRelationDeclaration(RelationDeclaration object) { | ||
272 | return createRelationDeclarationAdapter(); | ||
273 | } | ||
274 | @Override | ||
275 | public Adapter caseFunctionDeclaration(FunctionDeclaration object) { | ||
276 | return createFunctionDeclarationAdapter(); | ||
277 | } | ||
278 | @Override | ||
279 | public Adapter caseTypeDeclaration(TypeDeclaration object) { | ||
280 | return createTypeDeclarationAdapter(); | ||
281 | } | ||
282 | @Override | ||
283 | public Adapter caseUnknownBecauseUninterpreted(UnknownBecauseUninterpreted object) { | ||
284 | return createUnknownBecauseUninterpretedAdapter(); | ||
285 | } | ||
286 | @Override | ||
287 | public Adapter caseInstanceOf(InstanceOf object) { | ||
288 | return createInstanceOfAdapter(); | ||
289 | } | ||
290 | @Override | ||
291 | public Adapter defaultCase(EObject object) { | ||
292 | return createEObjectAdapter(); | ||
293 | } | ||
294 | }; | ||
295 | |||
296 | /** | ||
297 | * Creates an adapter for the <code>target</code>. | ||
298 | * <!-- begin-user-doc --> | ||
299 | * <!-- end-user-doc --> | ||
300 | * @param target the object to adapt. | ||
301 | * @return the adapter for the <code>target</code>. | ||
302 | * @generated | ||
303 | */ | ||
304 | @Override | ||
305 | public Adapter createAdapter(Notifier target) { | ||
306 | return modelSwitch.doSwitch((EObject)target); | ||
307 | } | ||
308 | |||
309 | |||
310 | /** | ||
311 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'. | ||
312 | * <!-- begin-user-doc --> | ||
313 | * This default implementation returns null so that we can easily ignore cases; | ||
314 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
315 | * <!-- end-user-doc --> | ||
316 | * @return the new adapter. | ||
317 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | ||
318 | * @generated | ||
319 | */ | ||
320 | public Adapter createTypeAdapter() { | ||
321 | return null; | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement <em>Defined Element</em>}'. | ||
326 | * <!-- begin-user-doc --> | ||
327 | * This default implementation returns null so that we can easily ignore cases; | ||
328 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
329 | * <!-- end-user-doc --> | ||
330 | * @return the new adapter. | ||
331 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement | ||
332 | * @generated | ||
333 | */ | ||
334 | public Adapter createDefinedElementAdapter() { | ||
335 | return null; | ||
336 | } | ||
337 | |||
338 | /** | ||
339 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition <em>Type Definition</em>}'. | ||
340 | * <!-- begin-user-doc --> | ||
341 | * This default implementation returns null so that we can easily ignore cases; | ||
342 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
343 | * <!-- end-user-doc --> | ||
344 | * @return the new adapter. | ||
345 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition | ||
346 | * @generated | ||
347 | */ | ||
348 | public Adapter createTypeDefinitionAdapter() { | ||
349 | return null; | ||
350 | } | ||
351 | |||
352 | /** | ||
353 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference <em>Type Reference</em>}'. | ||
354 | * <!-- begin-user-doc --> | ||
355 | * This default implementation returns null so that we can easily ignore cases; | ||
356 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
357 | * <!-- end-user-doc --> | ||
358 | * @return the new adapter. | ||
359 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference | ||
360 | * @generated | ||
361 | */ | ||
362 | public Adapter createTypeReferenceAdapter() { | ||
363 | return null; | ||
364 | } | ||
365 | |||
366 | /** | ||
367 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference <em>Complex Type Reference</em>}'. | ||
368 | * <!-- begin-user-doc --> | ||
369 | * This default implementation returns null so that we can easily ignore cases; | ||
370 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
371 | * <!-- end-user-doc --> | ||
372 | * @return the new adapter. | ||
373 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference | ||
374 | * @generated | ||
375 | */ | ||
376 | public Adapter createComplexTypeReferenceAdapter() { | ||
377 | return null; | ||
378 | } | ||
379 | |||
380 | /** | ||
381 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference <em>Primitive Type Reference</em>}'. | ||
382 | * <!-- begin-user-doc --> | ||
383 | * This default implementation returns null so that we can easily ignore cases; | ||
384 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
385 | * <!-- end-user-doc --> | ||
386 | * @return the new adapter. | ||
387 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference | ||
388 | * @generated | ||
389 | */ | ||
390 | public Adapter createPrimitiveTypeReferenceAdapter() { | ||
391 | return null; | ||
392 | } | ||
393 | |||
394 | /** | ||
395 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference <em>Int Type Reference</em>}'. | ||
396 | * <!-- begin-user-doc --> | ||
397 | * This default implementation returns null so that we can easily ignore cases; | ||
398 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
399 | * <!-- end-user-doc --> | ||
400 | * @return the new adapter. | ||
401 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference | ||
402 | * @generated | ||
403 | */ | ||
404 | public Adapter createIntTypeReferenceAdapter() { | ||
405 | return null; | ||
406 | } | ||
407 | |||
408 | /** | ||
409 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference <em>Bool Type Reference</em>}'. | ||
410 | * <!-- begin-user-doc --> | ||
411 | * This default implementation returns null so that we can easily ignore cases; | ||
412 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
413 | * <!-- end-user-doc --> | ||
414 | * @return the new adapter. | ||
415 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference | ||
416 | * @generated | ||
417 | */ | ||
418 | public Adapter createBoolTypeReferenceAdapter() { | ||
419 | return null; | ||
420 | } | ||
421 | |||
422 | /** | ||
423 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference <em>Real Type Reference</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 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference | ||
430 | * @generated | ||
431 | */ | ||
432 | public Adapter createRealTypeReferenceAdapter() { | ||
433 | return null; | ||
434 | } | ||
435 | |||
436 | /** | ||
437 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function <em>Function</em>}'. | ||
438 | * <!-- begin-user-doc --> | ||
439 | * This default implementation returns null so that we can easily ignore cases; | ||
440 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
441 | * <!-- end-user-doc --> | ||
442 | * @return the new adapter. | ||
443 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function | ||
444 | * @generated | ||
445 | */ | ||
446 | public Adapter createFunctionAdapter() { | ||
447 | return null; | ||
448 | } | ||
449 | |||
450 | /** | ||
451 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term <em>Term</em>}'. | ||
452 | * <!-- begin-user-doc --> | ||
453 | * This default implementation returns null so that we can easily ignore cases; | ||
454 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
455 | * <!-- end-user-doc --> | ||
456 | * @return the new adapter. | ||
457 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term | ||
458 | * @generated | ||
459 | */ | ||
460 | public Adapter createTermAdapter() { | ||
461 | return null; | ||
462 | } | ||
463 | |||
464 | /** | ||
465 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration <em>Symbolic Declaration</em>}'. | ||
466 | * <!-- begin-user-doc --> | ||
467 | * This default implementation returns null so that we can easily ignore cases; | ||
468 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
469 | * <!-- end-user-doc --> | ||
470 | * @return the new adapter. | ||
471 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration | ||
472 | * @generated | ||
473 | */ | ||
474 | public Adapter createSymbolicDeclarationAdapter() { | ||
475 | return null; | ||
476 | } | ||
477 | |||
478 | /** | ||
479 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue <em>Symbolic Value</em>}'. | ||
480 | * <!-- begin-user-doc --> | ||
481 | * This default implementation returns null so that we can easily ignore cases; | ||
482 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
483 | * <!-- end-user-doc --> | ||
484 | * @return the new adapter. | ||
485 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue | ||
486 | * @generated | ||
487 | */ | ||
488 | public Adapter createSymbolicValueAdapter() { | ||
489 | return null; | ||
490 | } | ||
491 | |||
492 | /** | ||
493 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm <em>Atomic Term</em>}'. | ||
494 | * <!-- begin-user-doc --> | ||
495 | * This default implementation returns null so that we can easily ignore cases; | ||
496 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
497 | * <!-- end-user-doc --> | ||
498 | * @return the new adapter. | ||
499 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm | ||
500 | * @generated | ||
501 | */ | ||
502 | public Adapter createAtomicTermAdapter() { | ||
503 | return null; | ||
504 | } | ||
505 | |||
506 | /** | ||
507 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral <em>Int Literal</em>}'. | ||
508 | * <!-- begin-user-doc --> | ||
509 | * This default implementation returns null so that we can easily ignore cases; | ||
510 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
511 | * <!-- end-user-doc --> | ||
512 | * @return the new adapter. | ||
513 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral | ||
514 | * @generated | ||
515 | */ | ||
516 | public Adapter createIntLiteralAdapter() { | ||
517 | return null; | ||
518 | } | ||
519 | |||
520 | /** | ||
521 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral <em>Bool Literal</em>}'. | ||
522 | * <!-- begin-user-doc --> | ||
523 | * This default implementation returns null so that we can easily ignore cases; | ||
524 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
525 | * <!-- end-user-doc --> | ||
526 | * @return the new adapter. | ||
527 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral | ||
528 | * @generated | ||
529 | */ | ||
530 | public Adapter createBoolLiteralAdapter() { | ||
531 | return null; | ||
532 | } | ||
533 | |||
534 | /** | ||
535 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral <em>Real Literal</em>}'. | ||
536 | * <!-- begin-user-doc --> | ||
537 | * This default implementation returns null so that we can easily ignore cases; | ||
538 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
539 | * <!-- end-user-doc --> | ||
540 | * @return the new adapter. | ||
541 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral | ||
542 | * @generated | ||
543 | */ | ||
544 | public Adapter createRealLiteralAdapter() { | ||
545 | return null; | ||
546 | } | ||
547 | |||
548 | /** | ||
549 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable <em>Variable</em>}'. | ||
550 | * <!-- begin-user-doc --> | ||
551 | * This default implementation returns null so that we can easily ignore cases; | ||
552 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
553 | * <!-- end-user-doc --> | ||
554 | * @return the new adapter. | ||
555 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable | ||
556 | * @generated | ||
557 | */ | ||
558 | public Adapter createVariableAdapter() { | ||
559 | return null; | ||
560 | } | ||
561 | |||
562 | /** | ||
563 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression <em>Quantified Expression</em>}'. | ||
564 | * <!-- begin-user-doc --> | ||
565 | * This default implementation returns null so that we can easily ignore cases; | ||
566 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
567 | * <!-- end-user-doc --> | ||
568 | * @return the new adapter. | ||
569 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression | ||
570 | * @generated | ||
571 | */ | ||
572 | public Adapter createQuantifiedExpressionAdapter() { | ||
573 | return null; | ||
574 | } | ||
575 | |||
576 | /** | ||
577 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists <em>Exists</em>}'. | ||
578 | * <!-- begin-user-doc --> | ||
579 | * This default implementation returns null so that we can easily ignore cases; | ||
580 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
581 | * <!-- end-user-doc --> | ||
582 | * @return the new adapter. | ||
583 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists | ||
584 | * @generated | ||
585 | */ | ||
586 | public Adapter createExistsAdapter() { | ||
587 | return null; | ||
588 | } | ||
589 | |||
590 | /** | ||
591 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall <em>Forall</em>}'. | ||
592 | * <!-- begin-user-doc --> | ||
593 | * This default implementation returns null so that we can easily ignore cases; | ||
594 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
595 | * <!-- end-user-doc --> | ||
596 | * @return the new adapter. | ||
597 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall | ||
598 | * @generated | ||
599 | */ | ||
600 | public Adapter createForallAdapter() { | ||
601 | return null; | ||
602 | } | ||
603 | |||
604 | /** | ||
605 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation <em>Bool Operation</em>}'. | ||
606 | * <!-- begin-user-doc --> | ||
607 | * This default implementation returns null so that we can easily ignore cases; | ||
608 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
609 | * <!-- end-user-doc --> | ||
610 | * @return the new adapter. | ||
611 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation | ||
612 | * @generated | ||
613 | */ | ||
614 | public Adapter createBoolOperationAdapter() { | ||
615 | return null; | ||
616 | } | ||
617 | |||
618 | /** | ||
619 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And <em>And</em>}'. | ||
620 | * <!-- begin-user-doc --> | ||
621 | * This default implementation returns null so that we can easily ignore cases; | ||
622 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
623 | * <!-- end-user-doc --> | ||
624 | * @return the new adapter. | ||
625 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And | ||
626 | * @generated | ||
627 | */ | ||
628 | public Adapter createAndAdapter() { | ||
629 | return null; | ||
630 | } | ||
631 | |||
632 | /** | ||
633 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or <em>Or</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 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or | ||
640 | * @generated | ||
641 | */ | ||
642 | public Adapter createOrAdapter() { | ||
643 | return null; | ||
644 | } | ||
645 | |||
646 | /** | ||
647 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl <em>Impl</em>}'. | ||
648 | * <!-- begin-user-doc --> | ||
649 | * This default implementation returns null so that we can easily ignore cases; | ||
650 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
651 | * <!-- end-user-doc --> | ||
652 | * @return the new adapter. | ||
653 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl | ||
654 | * @generated | ||
655 | */ | ||
656 | public Adapter createImplAdapter() { | ||
657 | return null; | ||
658 | } | ||
659 | |||
660 | /** | ||
661 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not <em>Not</em>}'. | ||
662 | * <!-- begin-user-doc --> | ||
663 | * This default implementation returns null so that we can easily ignore cases; | ||
664 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
665 | * <!-- end-user-doc --> | ||
666 | * @return the new adapter. | ||
667 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not | ||
668 | * @generated | ||
669 | */ | ||
670 | public Adapter createNotAdapter() { | ||
671 | return null; | ||
672 | } | ||
673 | |||
674 | /** | ||
675 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff <em>Iff</em>}'. | ||
676 | * <!-- begin-user-doc --> | ||
677 | * This default implementation returns null so that we can easily ignore cases; | ||
678 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
679 | * <!-- end-user-doc --> | ||
680 | * @return the new adapter. | ||
681 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff | ||
682 | * @generated | ||
683 | */ | ||
684 | public Adapter createIffAdapter() { | ||
685 | return null; | ||
686 | } | ||
687 | |||
688 | /** | ||
689 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation <em>Primitive Relation</em>}'. | ||
690 | * <!-- begin-user-doc --> | ||
691 | * This default implementation returns null so that we can easily ignore cases; | ||
692 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
693 | * <!-- end-user-doc --> | ||
694 | * @return the new adapter. | ||
695 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation | ||
696 | * @generated | ||
697 | */ | ||
698 | public Adapter createPrimitiveRelationAdapter() { | ||
699 | return null; | ||
700 | } | ||
701 | |||
702 | /** | ||
703 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals <em>Equals</em>}'. | ||
704 | * <!-- begin-user-doc --> | ||
705 | * This default implementation returns null so that we can easily ignore cases; | ||
706 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
707 | * <!-- end-user-doc --> | ||
708 | * @return the new adapter. | ||
709 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals | ||
710 | * @generated | ||
711 | */ | ||
712 | public Adapter createEqualsAdapter() { | ||
713 | return null; | ||
714 | } | ||
715 | |||
716 | /** | ||
717 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct <em>Distinct</em>}'. | ||
718 | * <!-- begin-user-doc --> | ||
719 | * This default implementation returns null so that we can easily ignore cases; | ||
720 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
721 | * <!-- end-user-doc --> | ||
722 | * @return the new adapter. | ||
723 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct | ||
724 | * @generated | ||
725 | */ | ||
726 | public Adapter createDistinctAdapter() { | ||
727 | return null; | ||
728 | } | ||
729 | |||
730 | /** | ||
731 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan <em>Less Than</em>}'. | ||
732 | * <!-- begin-user-doc --> | ||
733 | * This default implementation returns null so that we can easily ignore cases; | ||
734 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
735 | * <!-- end-user-doc --> | ||
736 | * @return the new adapter. | ||
737 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan | ||
738 | * @generated | ||
739 | */ | ||
740 | public Adapter createLessThanAdapter() { | ||
741 | return null; | ||
742 | } | ||
743 | |||
744 | /** | ||
745 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan <em>More Than</em>}'. | ||
746 | * <!-- begin-user-doc --> | ||
747 | * This default implementation returns null so that we can easily ignore cases; | ||
748 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
749 | * <!-- end-user-doc --> | ||
750 | * @return the new adapter. | ||
751 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan | ||
752 | * @generated | ||
753 | */ | ||
754 | public Adapter createMoreThanAdapter() { | ||
755 | return null; | ||
756 | } | ||
757 | |||
758 | /** | ||
759 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan <em>Less Or Equal Than</em>}'. | ||
760 | * <!-- begin-user-doc --> | ||
761 | * This default implementation returns null so that we can easily ignore cases; | ||
762 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
763 | * <!-- end-user-doc --> | ||
764 | * @return the new adapter. | ||
765 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan | ||
766 | * @generated | ||
767 | */ | ||
768 | public Adapter createLessOrEqualThanAdapter() { | ||
769 | return null; | ||
770 | } | ||
771 | |||
772 | /** | ||
773 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan <em>More Or Equal Than</em>}'. | ||
774 | * <!-- begin-user-doc --> | ||
775 | * This default implementation returns null so that we can easily ignore cases; | ||
776 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
777 | * <!-- end-user-doc --> | ||
778 | * @return the new adapter. | ||
779 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan | ||
780 | * @generated | ||
781 | */ | ||
782 | public Adapter createMoreOrEqualThanAdapter() { | ||
783 | return null; | ||
784 | } | ||
785 | |||
786 | /** | ||
787 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation <em>Int Operation</em>}'. | ||
788 | * <!-- begin-user-doc --> | ||
789 | * This default implementation returns null so that we can easily ignore cases; | ||
790 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
791 | * <!-- end-user-doc --> | ||
792 | * @return the new adapter. | ||
793 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation | ||
794 | * @generated | ||
795 | */ | ||
796 | public Adapter createIntOperationAdapter() { | ||
797 | return null; | ||
798 | } | ||
799 | |||
800 | /** | ||
801 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus <em>Plus</em>}'. | ||
802 | * <!-- begin-user-doc --> | ||
803 | * This default implementation returns null so that we can easily ignore cases; | ||
804 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
805 | * <!-- end-user-doc --> | ||
806 | * @return the new adapter. | ||
807 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus | ||
808 | * @generated | ||
809 | */ | ||
810 | public Adapter createPlusAdapter() { | ||
811 | return null; | ||
812 | } | ||
813 | |||
814 | /** | ||
815 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus <em>Minus</em>}'. | ||
816 | * <!-- begin-user-doc --> | ||
817 | * This default implementation returns null so that we can easily ignore cases; | ||
818 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
819 | * <!-- end-user-doc --> | ||
820 | * @return the new adapter. | ||
821 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus | ||
822 | * @generated | ||
823 | */ | ||
824 | public Adapter createMinusAdapter() { | ||
825 | return null; | ||
826 | } | ||
827 | |||
828 | /** | ||
829 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply <em>Multiply</em>}'. | ||
830 | * <!-- begin-user-doc --> | ||
831 | * This default implementation returns null so that we can easily ignore cases; | ||
832 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
833 | * <!-- end-user-doc --> | ||
834 | * @return the new adapter. | ||
835 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply | ||
836 | * @generated | ||
837 | */ | ||
838 | public Adapter createMultiplyAdapter() { | ||
839 | return null; | ||
840 | } | ||
841 | |||
842 | /** | ||
843 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison <em>Divison</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 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison | ||
850 | * @generated | ||
851 | */ | ||
852 | public Adapter createDivisonAdapter() { | ||
853 | return null; | ||
854 | } | ||
855 | |||
856 | /** | ||
857 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod <em>Mod</em>}'. | ||
858 | * <!-- begin-user-doc --> | ||
859 | * This default implementation returns null so that we can easily ignore cases; | ||
860 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
861 | * <!-- end-user-doc --> | ||
862 | * @return the new adapter. | ||
863 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod | ||
864 | * @generated | ||
865 | */ | ||
866 | public Adapter createModAdapter() { | ||
867 | return null; | ||
868 | } | ||
869 | |||
870 | /** | ||
871 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor <em>Type Descriptor</em>}'. | ||
872 | * <!-- begin-user-doc --> | ||
873 | * This default implementation returns null so that we can easily ignore cases; | ||
874 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
875 | * <!-- end-user-doc --> | ||
876 | * @return the new adapter. | ||
877 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor | ||
878 | * @generated | ||
879 | */ | ||
880 | public Adapter createTypeDescriptorAdapter() { | ||
881 | return null; | ||
882 | } | ||
883 | |||
884 | /** | ||
885 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'. | ||
886 | * <!-- begin-user-doc --> | ||
887 | * This default implementation returns null so that we can easily ignore cases; | ||
888 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
889 | * <!-- end-user-doc --> | ||
890 | * @return the new adapter. | ||
891 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription | ||
892 | * @generated | ||
893 | */ | ||
894 | public Adapter createTermDescriptionAdapter() { | ||
895 | return null; | ||
896 | } | ||
897 | |||
898 | /** | ||
899 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion <em>Assertion</em>}'. | ||
900 | * <!-- begin-user-doc --> | ||
901 | * This default implementation returns null so that we can easily ignore cases; | ||
902 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
903 | * <!-- end-user-doc --> | ||
904 | * @return the new adapter. | ||
905 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion | ||
906 | * @generated | ||
907 | */ | ||
908 | public Adapter createAssertionAdapter() { | ||
909 | return null; | ||
910 | } | ||
911 | |||
912 | /** | ||
913 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation <em>Relation</em>}'. | ||
914 | * <!-- begin-user-doc --> | ||
915 | * This default implementation returns null so that we can easily ignore cases; | ||
916 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
917 | * <!-- end-user-doc --> | ||
918 | * @return the new adapter. | ||
919 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation | ||
920 | * @generated | ||
921 | */ | ||
922 | public Adapter createRelationAdapter() { | ||
923 | return null; | ||
924 | } | ||
925 | |||
926 | /** | ||
927 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant <em>Constant</em>}'. | ||
928 | * <!-- begin-user-doc --> | ||
929 | * This default implementation returns null so that we can easily ignore cases; | ||
930 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
931 | * <!-- end-user-doc --> | ||
932 | * @return the new adapter. | ||
933 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant | ||
934 | * @generated | ||
935 | */ | ||
936 | public Adapter createConstantAdapter() { | ||
937 | return null; | ||
938 | } | ||
939 | |||
940 | /** | ||
941 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition <em>Constant Definition</em>}'. | ||
942 | * <!-- begin-user-doc --> | ||
943 | * This default implementation returns null so that we can easily ignore cases; | ||
944 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
945 | * <!-- end-user-doc --> | ||
946 | * @return the new adapter. | ||
947 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition | ||
948 | * @generated | ||
949 | */ | ||
950 | public Adapter createConstantDefinitionAdapter() { | ||
951 | return null; | ||
952 | } | ||
953 | |||
954 | /** | ||
955 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition <em>Relation Definition</em>}'. | ||
956 | * <!-- begin-user-doc --> | ||
957 | * This default implementation returns null so that we can easily ignore cases; | ||
958 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
959 | * <!-- end-user-doc --> | ||
960 | * @return the new adapter. | ||
961 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition | ||
962 | * @generated | ||
963 | */ | ||
964 | public Adapter createRelationDefinitionAdapter() { | ||
965 | return null; | ||
966 | } | ||
967 | |||
968 | /** | ||
969 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition <em>Function Definition</em>}'. | ||
970 | * <!-- begin-user-doc --> | ||
971 | * This default implementation returns null so that we can easily ignore cases; | ||
972 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
973 | * <!-- end-user-doc --> | ||
974 | * @return the new adapter. | ||
975 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition | ||
976 | * @generated | ||
977 | */ | ||
978 | public Adapter createFunctionDefinitionAdapter() { | ||
979 | return null; | ||
980 | } | ||
981 | |||
982 | /** | ||
983 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse <em>If Then Else</em>}'. | ||
984 | * <!-- begin-user-doc --> | ||
985 | * This default implementation returns null so that we can easily ignore cases; | ||
986 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
987 | * <!-- end-user-doc --> | ||
988 | * @return the new adapter. | ||
989 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse | ||
990 | * @generated | ||
991 | */ | ||
992 | public Adapter createIfThenElseAdapter() { | ||
993 | return null; | ||
994 | } | ||
995 | |||
996 | /** | ||
997 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration <em>Constant Declaration</em>}'. | ||
998 | * <!-- begin-user-doc --> | ||
999 | * This default implementation returns null so that we can easily ignore cases; | ||
1000 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1001 | * <!-- end-user-doc --> | ||
1002 | * @return the new adapter. | ||
1003 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration | ||
1004 | * @generated | ||
1005 | */ | ||
1006 | public Adapter createConstantDeclarationAdapter() { | ||
1007 | return null; | ||
1008 | } | ||
1009 | |||
1010 | /** | ||
1011 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration <em>Relation Declaration</em>}'. | ||
1012 | * <!-- begin-user-doc --> | ||
1013 | * This default implementation returns null so that we can easily ignore cases; | ||
1014 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1015 | * <!-- end-user-doc --> | ||
1016 | * @return the new adapter. | ||
1017 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration | ||
1018 | * @generated | ||
1019 | */ | ||
1020 | public Adapter createRelationDeclarationAdapter() { | ||
1021 | return null; | ||
1022 | } | ||
1023 | |||
1024 | /** | ||
1025 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration <em>Function Declaration</em>}'. | ||
1026 | * <!-- begin-user-doc --> | ||
1027 | * This default implementation returns null so that we can easily ignore cases; | ||
1028 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1029 | * <!-- end-user-doc --> | ||
1030 | * @return the new adapter. | ||
1031 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration | ||
1032 | * @generated | ||
1033 | */ | ||
1034 | public Adapter createFunctionDeclarationAdapter() { | ||
1035 | return null; | ||
1036 | } | ||
1037 | |||
1038 | /** | ||
1039 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration <em>Type Declaration</em>}'. | ||
1040 | * <!-- begin-user-doc --> | ||
1041 | * This default implementation returns null so that we can easily ignore cases; | ||
1042 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1043 | * <!-- end-user-doc --> | ||
1044 | * @return the new adapter. | ||
1045 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration | ||
1046 | * @generated | ||
1047 | */ | ||
1048 | public Adapter createTypeDeclarationAdapter() { | ||
1049 | return null; | ||
1050 | } | ||
1051 | |||
1052 | /** | ||
1053 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted <em>Unknown Because Uninterpreted</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 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted | ||
1060 | * @generated | ||
1061 | */ | ||
1062 | public Adapter createUnknownBecauseUninterpretedAdapter() { | ||
1063 | return null; | ||
1064 | } | ||
1065 | |||
1066 | /** | ||
1067 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf <em>Instance Of</em>}'. | ||
1068 | * <!-- begin-user-doc --> | ||
1069 | * This default implementation returns null so that we can easily ignore cases; | ||
1070 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1071 | * <!-- end-user-doc --> | ||
1072 | * @return the new adapter. | ||
1073 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf | ||
1074 | * @generated | ||
1075 | */ | ||
1076 | public Adapter createInstanceOfAdapter() { | ||
1077 | return null; | ||
1078 | } | ||
1079 | |||
1080 | /** | ||
1081 | * Creates a new adapter for the default case. | ||
1082 | * <!-- begin-user-doc --> | ||
1083 | * This default implementation returns null. | ||
1084 | * <!-- end-user-doc --> | ||
1085 | * @return the new adapter. | ||
1086 | * @generated | ||
1087 | */ | ||
1088 | public Adapter createEObjectAdapter() { | ||
1089 | return null; | ||
1090 | } | ||
1091 | |||
1092 | } //LogiclanguageAdapterFactory | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java new file mode 100644 index 00000000..a2a1e10a --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java | |||
@@ -0,0 +1,1374 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | |||
10 | import org.eclipse.emf.ecore.util.Switch; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * The <b>Switch</b> for the model's inheritance hierarchy. | ||
15 | * It supports the call {@link #doSwitch(EObject) doSwitch(object)} | ||
16 | * to invoke the <code>caseXXX</code> method for each class of the model, | ||
17 | * starting with the actual class of the object | ||
18 | * and proceeding up the inheritance hierarchy | ||
19 | * until a non-null result is returned, | ||
20 | * which is the result of the switch. | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class LogiclanguageSwitch<T> extends Switch<T> { | ||
26 | /** | ||
27 | * The cached model package | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static LogiclanguagePackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the switch. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public LogiclanguageSwitch() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = LogiclanguagePackage.eINSTANCE; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * Checks whether this is a switch for the given package. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @param ePackage the package in question. | ||
51 | * @return whether this is a switch for the given package. | ||
52 | * @generated | ||
53 | */ | ||
54 | @Override | ||
55 | protected boolean isSwitchFor(EPackage ePackage) { | ||
56 | return ePackage == modelPackage; | ||
57 | } | ||
58 | |||
59 | /** | ||
60 | * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @return the first non-null result returned by a <code>caseXXX</code> call. | ||
64 | * @generated | ||
65 | */ | ||
66 | @Override | ||
67 | protected T doSwitch(int classifierID, EObject theEObject) { | ||
68 | switch (classifierID) { | ||
69 | case LogiclanguagePackage.TYPE: { | ||
70 | Type type = (Type)theEObject; | ||
71 | T result = caseType(type); | ||
72 | if (result == null) result = caseTypeDescriptor(type); | ||
73 | if (result == null) result = defaultCase(theEObject); | ||
74 | return result; | ||
75 | } | ||
76 | case LogiclanguagePackage.DEFINED_ELEMENT: { | ||
77 | DefinedElement definedElement = (DefinedElement)theEObject; | ||
78 | T result = caseDefinedElement(definedElement); | ||
79 | if (result == null) result = caseSymbolicDeclaration(definedElement); | ||
80 | if (result == null) result = caseTermDescription(definedElement); | ||
81 | if (result == null) result = defaultCase(theEObject); | ||
82 | return result; | ||
83 | } | ||
84 | case LogiclanguagePackage.TYPE_DEFINITION: { | ||
85 | TypeDefinition typeDefinition = (TypeDefinition)theEObject; | ||
86 | T result = caseTypeDefinition(typeDefinition); | ||
87 | if (result == null) result = caseType(typeDefinition); | ||
88 | if (result == null) result = caseTypeDescriptor(typeDefinition); | ||
89 | if (result == null) result = defaultCase(theEObject); | ||
90 | return result; | ||
91 | } | ||
92 | case LogiclanguagePackage.TYPE_REFERENCE: { | ||
93 | TypeReference typeReference = (TypeReference)theEObject; | ||
94 | T result = caseTypeReference(typeReference); | ||
95 | if (result == null) result = caseTypeDescriptor(typeReference); | ||
96 | if (result == null) result = defaultCase(theEObject); | ||
97 | return result; | ||
98 | } | ||
99 | case LogiclanguagePackage.COMPLEX_TYPE_REFERENCE: { | ||
100 | ComplexTypeReference complexTypeReference = (ComplexTypeReference)theEObject; | ||
101 | T result = caseComplexTypeReference(complexTypeReference); | ||
102 | if (result == null) result = caseTypeReference(complexTypeReference); | ||
103 | if (result == null) result = caseTypeDescriptor(complexTypeReference); | ||
104 | if (result == null) result = defaultCase(theEObject); | ||
105 | return result; | ||
106 | } | ||
107 | case LogiclanguagePackage.PRIMITIVE_TYPE_REFERENCE: { | ||
108 | PrimitiveTypeReference primitiveTypeReference = (PrimitiveTypeReference)theEObject; | ||
109 | T result = casePrimitiveTypeReference(primitiveTypeReference); | ||
110 | if (result == null) result = caseTypeReference(primitiveTypeReference); | ||
111 | if (result == null) result = caseTypeDescriptor(primitiveTypeReference); | ||
112 | if (result == null) result = defaultCase(theEObject); | ||
113 | return result; | ||
114 | } | ||
115 | case LogiclanguagePackage.INT_TYPE_REFERENCE: { | ||
116 | IntTypeReference intTypeReference = (IntTypeReference)theEObject; | ||
117 | T result = caseIntTypeReference(intTypeReference); | ||
118 | if (result == null) result = casePrimitiveTypeReference(intTypeReference); | ||
119 | if (result == null) result = caseTypeReference(intTypeReference); | ||
120 | if (result == null) result = caseTypeDescriptor(intTypeReference); | ||
121 | if (result == null) result = defaultCase(theEObject); | ||
122 | return result; | ||
123 | } | ||
124 | case LogiclanguagePackage.BOOL_TYPE_REFERENCE: { | ||
125 | BoolTypeReference boolTypeReference = (BoolTypeReference)theEObject; | ||
126 | T result = caseBoolTypeReference(boolTypeReference); | ||
127 | if (result == null) result = casePrimitiveTypeReference(boolTypeReference); | ||
128 | if (result == null) result = caseTypeReference(boolTypeReference); | ||
129 | if (result == null) result = caseTypeDescriptor(boolTypeReference); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
133 | case LogiclanguagePackage.REAL_TYPE_REFERENCE: { | ||
134 | RealTypeReference realTypeReference = (RealTypeReference)theEObject; | ||
135 | T result = caseRealTypeReference(realTypeReference); | ||
136 | if (result == null) result = casePrimitiveTypeReference(realTypeReference); | ||
137 | if (result == null) result = caseTypeReference(realTypeReference); | ||
138 | if (result == null) result = caseTypeDescriptor(realTypeReference); | ||
139 | if (result == null) result = defaultCase(theEObject); | ||
140 | return result; | ||
141 | } | ||
142 | case LogiclanguagePackage.FUNCTION: { | ||
143 | Function function = (Function)theEObject; | ||
144 | T result = caseFunction(function); | ||
145 | if (result == null) result = caseSymbolicDeclaration(function); | ||
146 | if (result == null) result = caseTermDescription(function); | ||
147 | if (result == null) result = defaultCase(theEObject); | ||
148 | return result; | ||
149 | } | ||
150 | case LogiclanguagePackage.TERM: { | ||
151 | Term term = (Term)theEObject; | ||
152 | T result = caseTerm(term); | ||
153 | if (result == null) result = caseTermDescription(term); | ||
154 | if (result == null) result = defaultCase(theEObject); | ||
155 | return result; | ||
156 | } | ||
157 | case LogiclanguagePackage.SYMBOLIC_DECLARATION: { | ||
158 | SymbolicDeclaration symbolicDeclaration = (SymbolicDeclaration)theEObject; | ||
159 | T result = caseSymbolicDeclaration(symbolicDeclaration); | ||
160 | if (result == null) result = caseTermDescription(symbolicDeclaration); | ||
161 | if (result == null) result = defaultCase(theEObject); | ||
162 | return result; | ||
163 | } | ||
164 | case LogiclanguagePackage.SYMBOLIC_VALUE: { | ||
165 | SymbolicValue symbolicValue = (SymbolicValue)theEObject; | ||
166 | T result = caseSymbolicValue(symbolicValue); | ||
167 | if (result == null) result = caseTerm(symbolicValue); | ||
168 | if (result == null) result = caseTermDescription(symbolicValue); | ||
169 | if (result == null) result = defaultCase(theEObject); | ||
170 | return result; | ||
171 | } | ||
172 | case LogiclanguagePackage.ATOMIC_TERM: { | ||
173 | AtomicTerm atomicTerm = (AtomicTerm)theEObject; | ||
174 | T result = caseAtomicTerm(atomicTerm); | ||
175 | if (result == null) result = caseTerm(atomicTerm); | ||
176 | if (result == null) result = caseTermDescription(atomicTerm); | ||
177 | if (result == null) result = defaultCase(theEObject); | ||
178 | return result; | ||
179 | } | ||
180 | case LogiclanguagePackage.INT_LITERAL: { | ||
181 | IntLiteral intLiteral = (IntLiteral)theEObject; | ||
182 | T result = caseIntLiteral(intLiteral); | ||
183 | if (result == null) result = caseAtomicTerm(intLiteral); | ||
184 | if (result == null) result = caseTerm(intLiteral); | ||
185 | if (result == null) result = caseTermDescription(intLiteral); | ||
186 | if (result == null) result = defaultCase(theEObject); | ||
187 | return result; | ||
188 | } | ||
189 | case LogiclanguagePackage.BOOL_LITERAL: { | ||
190 | BoolLiteral boolLiteral = (BoolLiteral)theEObject; | ||
191 | T result = caseBoolLiteral(boolLiteral); | ||
192 | if (result == null) result = caseAtomicTerm(boolLiteral); | ||
193 | if (result == null) result = caseTerm(boolLiteral); | ||
194 | if (result == null) result = caseTermDescription(boolLiteral); | ||
195 | if (result == null) result = defaultCase(theEObject); | ||
196 | return result; | ||
197 | } | ||
198 | case LogiclanguagePackage.REAL_LITERAL: { | ||
199 | RealLiteral realLiteral = (RealLiteral)theEObject; | ||
200 | T result = caseRealLiteral(realLiteral); | ||
201 | if (result == null) result = caseAtomicTerm(realLiteral); | ||
202 | if (result == null) result = caseTerm(realLiteral); | ||
203 | if (result == null) result = caseTermDescription(realLiteral); | ||
204 | if (result == null) result = defaultCase(theEObject); | ||
205 | return result; | ||
206 | } | ||
207 | case LogiclanguagePackage.VARIABLE: { | ||
208 | Variable variable = (Variable)theEObject; | ||
209 | T result = caseVariable(variable); | ||
210 | if (result == null) result = caseSymbolicDeclaration(variable); | ||
211 | if (result == null) result = caseTermDescription(variable); | ||
212 | if (result == null) result = defaultCase(theEObject); | ||
213 | return result; | ||
214 | } | ||
215 | case LogiclanguagePackage.QUANTIFIED_EXPRESSION: { | ||
216 | QuantifiedExpression quantifiedExpression = (QuantifiedExpression)theEObject; | ||
217 | T result = caseQuantifiedExpression(quantifiedExpression); | ||
218 | if (result == null) result = caseTerm(quantifiedExpression); | ||
219 | if (result == null) result = caseTermDescription(quantifiedExpression); | ||
220 | if (result == null) result = defaultCase(theEObject); | ||
221 | return result; | ||
222 | } | ||
223 | case LogiclanguagePackage.EXISTS: { | ||
224 | Exists exists = (Exists)theEObject; | ||
225 | T result = caseExists(exists); | ||
226 | if (result == null) result = caseQuantifiedExpression(exists); | ||
227 | if (result == null) result = caseTerm(exists); | ||
228 | if (result == null) result = caseTermDescription(exists); | ||
229 | if (result == null) result = defaultCase(theEObject); | ||
230 | return result; | ||
231 | } | ||
232 | case LogiclanguagePackage.FORALL: { | ||
233 | Forall forall = (Forall)theEObject; | ||
234 | T result = caseForall(forall); | ||
235 | if (result == null) result = caseQuantifiedExpression(forall); | ||
236 | if (result == null) result = caseTerm(forall); | ||
237 | if (result == null) result = caseTermDescription(forall); | ||
238 | if (result == null) result = defaultCase(theEObject); | ||
239 | return result; | ||
240 | } | ||
241 | case LogiclanguagePackage.BOOL_OPERATION: { | ||
242 | BoolOperation boolOperation = (BoolOperation)theEObject; | ||
243 | T result = caseBoolOperation(boolOperation); | ||
244 | if (result == null) result = caseTerm(boolOperation); | ||
245 | if (result == null) result = caseTermDescription(boolOperation); | ||
246 | if (result == null) result = defaultCase(theEObject); | ||
247 | return result; | ||
248 | } | ||
249 | case LogiclanguagePackage.AND: { | ||
250 | And and = (And)theEObject; | ||
251 | T result = caseAnd(and); | ||
252 | if (result == null) result = caseBoolOperation(and); | ||
253 | if (result == null) result = caseTerm(and); | ||
254 | if (result == null) result = caseTermDescription(and); | ||
255 | if (result == null) result = defaultCase(theEObject); | ||
256 | return result; | ||
257 | } | ||
258 | case LogiclanguagePackage.OR: { | ||
259 | Or or = (Or)theEObject; | ||
260 | T result = caseOr(or); | ||
261 | if (result == null) result = caseBoolOperation(or); | ||
262 | if (result == null) result = caseTerm(or); | ||
263 | if (result == null) result = caseTermDescription(or); | ||
264 | if (result == null) result = defaultCase(theEObject); | ||
265 | return result; | ||
266 | } | ||
267 | case LogiclanguagePackage.IMPL: { | ||
268 | Impl impl = (Impl)theEObject; | ||
269 | T result = caseImpl(impl); | ||
270 | if (result == null) result = caseBoolOperation(impl); | ||
271 | if (result == null) result = caseTerm(impl); | ||
272 | if (result == null) result = caseTermDescription(impl); | ||
273 | if (result == null) result = defaultCase(theEObject); | ||
274 | return result; | ||
275 | } | ||
276 | case LogiclanguagePackage.NOT: { | ||
277 | Not not = (Not)theEObject; | ||
278 | T result = caseNot(not); | ||
279 | if (result == null) result = caseBoolOperation(not); | ||
280 | if (result == null) result = caseTerm(not); | ||
281 | if (result == null) result = caseTermDescription(not); | ||
282 | if (result == null) result = defaultCase(theEObject); | ||
283 | return result; | ||
284 | } | ||
285 | case LogiclanguagePackage.IFF: { | ||
286 | Iff iff = (Iff)theEObject; | ||
287 | T result = caseIff(iff); | ||
288 | if (result == null) result = caseBoolOperation(iff); | ||
289 | if (result == null) result = caseTerm(iff); | ||
290 | if (result == null) result = caseTermDescription(iff); | ||
291 | if (result == null) result = defaultCase(theEObject); | ||
292 | return result; | ||
293 | } | ||
294 | case LogiclanguagePackage.PRIMITIVE_RELATION: { | ||
295 | PrimitiveRelation primitiveRelation = (PrimitiveRelation)theEObject; | ||
296 | T result = casePrimitiveRelation(primitiveRelation); | ||
297 | if (result == null) result = caseTerm(primitiveRelation); | ||
298 | if (result == null) result = caseTermDescription(primitiveRelation); | ||
299 | if (result == null) result = defaultCase(theEObject); | ||
300 | return result; | ||
301 | } | ||
302 | case LogiclanguagePackage.EQUALS: { | ||
303 | Equals equals = (Equals)theEObject; | ||
304 | T result = caseEquals(equals); | ||
305 | if (result == null) result = casePrimitiveRelation(equals); | ||
306 | if (result == null) result = caseTerm(equals); | ||
307 | if (result == null) result = caseTermDescription(equals); | ||
308 | if (result == null) result = defaultCase(theEObject); | ||
309 | return result; | ||
310 | } | ||
311 | case LogiclanguagePackage.DISTINCT: { | ||
312 | Distinct distinct = (Distinct)theEObject; | ||
313 | T result = caseDistinct(distinct); | ||
314 | if (result == null) result = casePrimitiveRelation(distinct); | ||
315 | if (result == null) result = caseTerm(distinct); | ||
316 | if (result == null) result = caseTermDescription(distinct); | ||
317 | if (result == null) result = defaultCase(theEObject); | ||
318 | return result; | ||
319 | } | ||
320 | case LogiclanguagePackage.LESS_THAN: { | ||
321 | LessThan lessThan = (LessThan)theEObject; | ||
322 | T result = caseLessThan(lessThan); | ||
323 | if (result == null) result = casePrimitiveRelation(lessThan); | ||
324 | if (result == null) result = caseTerm(lessThan); | ||
325 | if (result == null) result = caseTermDescription(lessThan); | ||
326 | if (result == null) result = defaultCase(theEObject); | ||
327 | return result; | ||
328 | } | ||
329 | case LogiclanguagePackage.MORE_THAN: { | ||
330 | MoreThan moreThan = (MoreThan)theEObject; | ||
331 | T result = caseMoreThan(moreThan); | ||
332 | if (result == null) result = casePrimitiveRelation(moreThan); | ||
333 | if (result == null) result = caseTerm(moreThan); | ||
334 | if (result == null) result = caseTermDescription(moreThan); | ||
335 | if (result == null) result = defaultCase(theEObject); | ||
336 | return result; | ||
337 | } | ||
338 | case LogiclanguagePackage.LESS_OR_EQUAL_THAN: { | ||
339 | LessOrEqualThan lessOrEqualThan = (LessOrEqualThan)theEObject; | ||
340 | T result = caseLessOrEqualThan(lessOrEqualThan); | ||
341 | if (result == null) result = casePrimitiveRelation(lessOrEqualThan); | ||
342 | if (result == null) result = caseTerm(lessOrEqualThan); | ||
343 | if (result == null) result = caseTermDescription(lessOrEqualThan); | ||
344 | if (result == null) result = defaultCase(theEObject); | ||
345 | return result; | ||
346 | } | ||
347 | case LogiclanguagePackage.MORE_OR_EQUAL_THAN: { | ||
348 | MoreOrEqualThan moreOrEqualThan = (MoreOrEqualThan)theEObject; | ||
349 | T result = caseMoreOrEqualThan(moreOrEqualThan); | ||
350 | if (result == null) result = casePrimitiveRelation(moreOrEqualThan); | ||
351 | if (result == null) result = caseTerm(moreOrEqualThan); | ||
352 | if (result == null) result = caseTermDescription(moreOrEqualThan); | ||
353 | if (result == null) result = defaultCase(theEObject); | ||
354 | return result; | ||
355 | } | ||
356 | case LogiclanguagePackage.INT_OPERATION: { | ||
357 | IntOperation intOperation = (IntOperation)theEObject; | ||
358 | T result = caseIntOperation(intOperation); | ||
359 | if (result == null) result = caseTerm(intOperation); | ||
360 | if (result == null) result = caseTermDescription(intOperation); | ||
361 | if (result == null) result = defaultCase(theEObject); | ||
362 | return result; | ||
363 | } | ||
364 | case LogiclanguagePackage.PLUS: { | ||
365 | Plus plus = (Plus)theEObject; | ||
366 | T result = casePlus(plus); | ||
367 | if (result == null) result = caseIntOperation(plus); | ||
368 | if (result == null) result = caseTerm(plus); | ||
369 | if (result == null) result = caseTermDescription(plus); | ||
370 | if (result == null) result = defaultCase(theEObject); | ||
371 | return result; | ||
372 | } | ||
373 | case LogiclanguagePackage.MINUS: { | ||
374 | Minus minus = (Minus)theEObject; | ||
375 | T result = caseMinus(minus); | ||
376 | if (result == null) result = caseIntOperation(minus); | ||
377 | if (result == null) result = caseTerm(minus); | ||
378 | if (result == null) result = caseTermDescription(minus); | ||
379 | if (result == null) result = defaultCase(theEObject); | ||
380 | return result; | ||
381 | } | ||
382 | case LogiclanguagePackage.MULTIPLY: { | ||
383 | Multiply multiply = (Multiply)theEObject; | ||
384 | T result = caseMultiply(multiply); | ||
385 | if (result == null) result = caseIntOperation(multiply); | ||
386 | if (result == null) result = caseTerm(multiply); | ||
387 | if (result == null) result = caseTermDescription(multiply); | ||
388 | if (result == null) result = defaultCase(theEObject); | ||
389 | return result; | ||
390 | } | ||
391 | case LogiclanguagePackage.DIVISON: { | ||
392 | Divison divison = (Divison)theEObject; | ||
393 | T result = caseDivison(divison); | ||
394 | if (result == null) result = caseIntOperation(divison); | ||
395 | if (result == null) result = caseTerm(divison); | ||
396 | if (result == null) result = caseTermDescription(divison); | ||
397 | if (result == null) result = defaultCase(theEObject); | ||
398 | return result; | ||
399 | } | ||
400 | case LogiclanguagePackage.MOD: { | ||
401 | Mod mod = (Mod)theEObject; | ||
402 | T result = caseMod(mod); | ||
403 | if (result == null) result = caseIntOperation(mod); | ||
404 | if (result == null) result = caseTerm(mod); | ||
405 | if (result == null) result = caseTermDescription(mod); | ||
406 | if (result == null) result = defaultCase(theEObject); | ||
407 | return result; | ||
408 | } | ||
409 | case LogiclanguagePackage.TYPE_DESCRIPTOR: { | ||
410 | TypeDescriptor typeDescriptor = (TypeDescriptor)theEObject; | ||
411 | T result = caseTypeDescriptor(typeDescriptor); | ||
412 | if (result == null) result = defaultCase(theEObject); | ||
413 | return result; | ||
414 | } | ||
415 | case LogiclanguagePackage.TERM_DESCRIPTION: { | ||
416 | TermDescription termDescription = (TermDescription)theEObject; | ||
417 | T result = caseTermDescription(termDescription); | ||
418 | if (result == null) result = defaultCase(theEObject); | ||
419 | return result; | ||
420 | } | ||
421 | case LogiclanguagePackage.ASSERTION: { | ||
422 | Assertion assertion = (Assertion)theEObject; | ||
423 | T result = caseAssertion(assertion); | ||
424 | if (result == null) result = defaultCase(theEObject); | ||
425 | return result; | ||
426 | } | ||
427 | case LogiclanguagePackage.RELATION: { | ||
428 | Relation relation = (Relation)theEObject; | ||
429 | T result = caseRelation(relation); | ||
430 | if (result == null) result = caseSymbolicDeclaration(relation); | ||
431 | if (result == null) result = caseTermDescription(relation); | ||
432 | if (result == null) result = defaultCase(theEObject); | ||
433 | return result; | ||
434 | } | ||
435 | case LogiclanguagePackage.CONSTANT: { | ||
436 | Constant constant = (Constant)theEObject; | ||
437 | T result = caseConstant(constant); | ||
438 | if (result == null) result = caseSymbolicDeclaration(constant); | ||
439 | if (result == null) result = caseTermDescription(constant); | ||
440 | if (result == null) result = defaultCase(theEObject); | ||
441 | return result; | ||
442 | } | ||
443 | case LogiclanguagePackage.CONSTANT_DEFINITION: { | ||
444 | ConstantDefinition constantDefinition = (ConstantDefinition)theEObject; | ||
445 | T result = caseConstantDefinition(constantDefinition); | ||
446 | if (result == null) result = caseConstant(constantDefinition); | ||
447 | if (result == null) result = caseSymbolicDeclaration(constantDefinition); | ||
448 | if (result == null) result = caseTermDescription(constantDefinition); | ||
449 | if (result == null) result = defaultCase(theEObject); | ||
450 | return result; | ||
451 | } | ||
452 | case LogiclanguagePackage.RELATION_DEFINITION: { | ||
453 | RelationDefinition relationDefinition = (RelationDefinition)theEObject; | ||
454 | T result = caseRelationDefinition(relationDefinition); | ||
455 | if (result == null) result = caseRelation(relationDefinition); | ||
456 | if (result == null) result = caseSymbolicDeclaration(relationDefinition); | ||
457 | if (result == null) result = caseTermDescription(relationDefinition); | ||
458 | if (result == null) result = defaultCase(theEObject); | ||
459 | return result; | ||
460 | } | ||
461 | case LogiclanguagePackage.FUNCTION_DEFINITION: { | ||
462 | FunctionDefinition functionDefinition = (FunctionDefinition)theEObject; | ||
463 | T result = caseFunctionDefinition(functionDefinition); | ||
464 | if (result == null) result = caseFunction(functionDefinition); | ||
465 | if (result == null) result = caseSymbolicDeclaration(functionDefinition); | ||
466 | if (result == null) result = caseTermDescription(functionDefinition); | ||
467 | if (result == null) result = defaultCase(theEObject); | ||
468 | return result; | ||
469 | } | ||
470 | case LogiclanguagePackage.IF_THEN_ELSE: { | ||
471 | IfThenElse ifThenElse = (IfThenElse)theEObject; | ||
472 | T result = caseIfThenElse(ifThenElse); | ||
473 | if (result == null) result = caseTerm(ifThenElse); | ||
474 | if (result == null) result = caseTermDescription(ifThenElse); | ||
475 | if (result == null) result = defaultCase(theEObject); | ||
476 | return result; | ||
477 | } | ||
478 | case LogiclanguagePackage.CONSTANT_DECLARATION: { | ||
479 | ConstantDeclaration constantDeclaration = (ConstantDeclaration)theEObject; | ||
480 | T result = caseConstantDeclaration(constantDeclaration); | ||
481 | if (result == null) result = caseConstant(constantDeclaration); | ||
482 | if (result == null) result = caseSymbolicDeclaration(constantDeclaration); | ||
483 | if (result == null) result = caseTermDescription(constantDeclaration); | ||
484 | if (result == null) result = defaultCase(theEObject); | ||
485 | return result; | ||
486 | } | ||
487 | case LogiclanguagePackage.RELATION_DECLARATION: { | ||
488 | RelationDeclaration relationDeclaration = (RelationDeclaration)theEObject; | ||
489 | T result = caseRelationDeclaration(relationDeclaration); | ||
490 | if (result == null) result = caseRelation(relationDeclaration); | ||
491 | if (result == null) result = caseSymbolicDeclaration(relationDeclaration); | ||
492 | if (result == null) result = caseTermDescription(relationDeclaration); | ||
493 | if (result == null) result = defaultCase(theEObject); | ||
494 | return result; | ||
495 | } | ||
496 | case LogiclanguagePackage.FUNCTION_DECLARATION: { | ||
497 | FunctionDeclaration functionDeclaration = (FunctionDeclaration)theEObject; | ||
498 | T result = caseFunctionDeclaration(functionDeclaration); | ||
499 | if (result == null) result = caseFunction(functionDeclaration); | ||
500 | if (result == null) result = caseSymbolicDeclaration(functionDeclaration); | ||
501 | if (result == null) result = caseTermDescription(functionDeclaration); | ||
502 | if (result == null) result = defaultCase(theEObject); | ||
503 | return result; | ||
504 | } | ||
505 | case LogiclanguagePackage.TYPE_DECLARATION: { | ||
506 | TypeDeclaration typeDeclaration = (TypeDeclaration)theEObject; | ||
507 | T result = caseTypeDeclaration(typeDeclaration); | ||
508 | if (result == null) result = caseType(typeDeclaration); | ||
509 | if (result == null) result = caseTypeDescriptor(typeDeclaration); | ||
510 | if (result == null) result = defaultCase(theEObject); | ||
511 | return result; | ||
512 | } | ||
513 | case LogiclanguagePackage.UNKNOWN_BECAUSE_UNINTERPRETED: { | ||
514 | UnknownBecauseUninterpreted unknownBecauseUninterpreted = (UnknownBecauseUninterpreted)theEObject; | ||
515 | T result = caseUnknownBecauseUninterpreted(unknownBecauseUninterpreted); | ||
516 | if (result == null) result = caseTerm(unknownBecauseUninterpreted); | ||
517 | if (result == null) result = caseTermDescription(unknownBecauseUninterpreted); | ||
518 | if (result == null) result = defaultCase(theEObject); | ||
519 | return result; | ||
520 | } | ||
521 | case LogiclanguagePackage.INSTANCE_OF: { | ||
522 | InstanceOf instanceOf = (InstanceOf)theEObject; | ||
523 | T result = caseInstanceOf(instanceOf); | ||
524 | if (result == null) result = caseTerm(instanceOf); | ||
525 | if (result == null) result = caseTermDescription(instanceOf); | ||
526 | if (result == null) result = defaultCase(theEObject); | ||
527 | return result; | ||
528 | } | ||
529 | default: return defaultCase(theEObject); | ||
530 | } | ||
531 | } | ||
532 | |||
533 | /** | ||
534 | * Returns the result of interpreting the object as an instance of '<em>Type</em>'. | ||
535 | * <!-- begin-user-doc --> | ||
536 | * This implementation returns null; | ||
537 | * returning a non-null result will terminate the switch. | ||
538 | * <!-- end-user-doc --> | ||
539 | * @param object the target of the switch. | ||
540 | * @return the result of interpreting the object as an instance of '<em>Type</em>'. | ||
541 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
542 | * @generated | ||
543 | */ | ||
544 | public T caseType(Type object) { | ||
545 | return null; | ||
546 | } | ||
547 | |||
548 | /** | ||
549 | * Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'. | ||
550 | * <!-- begin-user-doc --> | ||
551 | * This implementation returns null; | ||
552 | * returning a non-null result will terminate the switch. | ||
553 | * <!-- end-user-doc --> | ||
554 | * @param object the target of the switch. | ||
555 | * @return the result of interpreting the object as an instance of '<em>Defined Element</em>'. | ||
556 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
557 | * @generated | ||
558 | */ | ||
559 | public T caseDefinedElement(DefinedElement object) { | ||
560 | return null; | ||
561 | } | ||
562 | |||
563 | /** | ||
564 | * Returns the result of interpreting the object as an instance of '<em>Type Definition</em>'. | ||
565 | * <!-- begin-user-doc --> | ||
566 | * This implementation returns null; | ||
567 | * returning a non-null result will terminate the switch. | ||
568 | * <!-- end-user-doc --> | ||
569 | * @param object the target of the switch. | ||
570 | * @return the result of interpreting the object as an instance of '<em>Type Definition</em>'. | ||
571 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
572 | * @generated | ||
573 | */ | ||
574 | public T caseTypeDefinition(TypeDefinition object) { | ||
575 | return null; | ||
576 | } | ||
577 | |||
578 | /** | ||
579 | * Returns the result of interpreting the object as an instance of '<em>Type Reference</em>'. | ||
580 | * <!-- begin-user-doc --> | ||
581 | * This implementation returns null; | ||
582 | * returning a non-null result will terminate the switch. | ||
583 | * <!-- end-user-doc --> | ||
584 | * @param object the target of the switch. | ||
585 | * @return the result of interpreting the object as an instance of '<em>Type Reference</em>'. | ||
586 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
587 | * @generated | ||
588 | */ | ||
589 | public T caseTypeReference(TypeReference object) { | ||
590 | return null; | ||
591 | } | ||
592 | |||
593 | /** | ||
594 | * Returns the result of interpreting the object as an instance of '<em>Complex Type Reference</em>'. | ||
595 | * <!-- begin-user-doc --> | ||
596 | * This implementation returns null; | ||
597 | * returning a non-null result will terminate the switch. | ||
598 | * <!-- end-user-doc --> | ||
599 | * @param object the target of the switch. | ||
600 | * @return the result of interpreting the object as an instance of '<em>Complex Type Reference</em>'. | ||
601 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
602 | * @generated | ||
603 | */ | ||
604 | public T caseComplexTypeReference(ComplexTypeReference object) { | ||
605 | return null; | ||
606 | } | ||
607 | |||
608 | /** | ||
609 | * Returns the result of interpreting the object as an instance of '<em>Primitive Type Reference</em>'. | ||
610 | * <!-- begin-user-doc --> | ||
611 | * This implementation returns null; | ||
612 | * returning a non-null result will terminate the switch. | ||
613 | * <!-- end-user-doc --> | ||
614 | * @param object the target of the switch. | ||
615 | * @return the result of interpreting the object as an instance of '<em>Primitive Type Reference</em>'. | ||
616 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
617 | * @generated | ||
618 | */ | ||
619 | public T casePrimitiveTypeReference(PrimitiveTypeReference object) { | ||
620 | return null; | ||
621 | } | ||
622 | |||
623 | /** | ||
624 | * Returns the result of interpreting the object as an instance of '<em>Int Type Reference</em>'. | ||
625 | * <!-- begin-user-doc --> | ||
626 | * This implementation returns null; | ||
627 | * returning a non-null result will terminate the switch. | ||
628 | * <!-- end-user-doc --> | ||
629 | * @param object the target of the switch. | ||
630 | * @return the result of interpreting the object as an instance of '<em>Int Type Reference</em>'. | ||
631 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
632 | * @generated | ||
633 | */ | ||
634 | public T caseIntTypeReference(IntTypeReference object) { | ||
635 | return null; | ||
636 | } | ||
637 | |||
638 | /** | ||
639 | * Returns the result of interpreting the object as an instance of '<em>Bool Type Reference</em>'. | ||
640 | * <!-- begin-user-doc --> | ||
641 | * This implementation returns null; | ||
642 | * returning a non-null result will terminate the switch. | ||
643 | * <!-- end-user-doc --> | ||
644 | * @param object the target of the switch. | ||
645 | * @return the result of interpreting the object as an instance of '<em>Bool Type Reference</em>'. | ||
646 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
647 | * @generated | ||
648 | */ | ||
649 | public T caseBoolTypeReference(BoolTypeReference object) { | ||
650 | return null; | ||
651 | } | ||
652 | |||
653 | /** | ||
654 | * Returns the result of interpreting the object as an instance of '<em>Real Type Reference</em>'. | ||
655 | * <!-- begin-user-doc --> | ||
656 | * This implementation returns null; | ||
657 | * returning a non-null result will terminate the switch. | ||
658 | * <!-- end-user-doc --> | ||
659 | * @param object the target of the switch. | ||
660 | * @return the result of interpreting the object as an instance of '<em>Real Type Reference</em>'. | ||
661 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
662 | * @generated | ||
663 | */ | ||
664 | public T caseRealTypeReference(RealTypeReference object) { | ||
665 | return null; | ||
666 | } | ||
667 | |||
668 | /** | ||
669 | * Returns the result of interpreting the object as an instance of '<em>Function</em>'. | ||
670 | * <!-- begin-user-doc --> | ||
671 | * This implementation returns null; | ||
672 | * returning a non-null result will terminate the switch. | ||
673 | * <!-- end-user-doc --> | ||
674 | * @param object the target of the switch. | ||
675 | * @return the result of interpreting the object as an instance of '<em>Function</em>'. | ||
676 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
677 | * @generated | ||
678 | */ | ||
679 | public T caseFunction(Function object) { | ||
680 | return null; | ||
681 | } | ||
682 | |||
683 | /** | ||
684 | * Returns the result of interpreting the object as an instance of '<em>Term</em>'. | ||
685 | * <!-- begin-user-doc --> | ||
686 | * This implementation returns null; | ||
687 | * returning a non-null result will terminate the switch. | ||
688 | * <!-- end-user-doc --> | ||
689 | * @param object the target of the switch. | ||
690 | * @return the result of interpreting the object as an instance of '<em>Term</em>'. | ||
691 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
692 | * @generated | ||
693 | */ | ||
694 | public T caseTerm(Term object) { | ||
695 | return null; | ||
696 | } | ||
697 | |||
698 | /** | ||
699 | * Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'. | ||
700 | * <!-- begin-user-doc --> | ||
701 | * This implementation returns null; | ||
702 | * returning a non-null result will terminate the switch. | ||
703 | * <!-- end-user-doc --> | ||
704 | * @param object the target of the switch. | ||
705 | * @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'. | ||
706 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
707 | * @generated | ||
708 | */ | ||
709 | public T caseSymbolicDeclaration(SymbolicDeclaration object) { | ||
710 | return null; | ||
711 | } | ||
712 | |||
713 | /** | ||
714 | * Returns the result of interpreting the object as an instance of '<em>Symbolic Value</em>'. | ||
715 | * <!-- begin-user-doc --> | ||
716 | * This implementation returns null; | ||
717 | * returning a non-null result will terminate the switch. | ||
718 | * <!-- end-user-doc --> | ||
719 | * @param object the target of the switch. | ||
720 | * @return the result of interpreting the object as an instance of '<em>Symbolic Value</em>'. | ||
721 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
722 | * @generated | ||
723 | */ | ||
724 | public T caseSymbolicValue(SymbolicValue object) { | ||
725 | return null; | ||
726 | } | ||
727 | |||
728 | /** | ||
729 | * Returns the result of interpreting the object as an instance of '<em>Atomic Term</em>'. | ||
730 | * <!-- begin-user-doc --> | ||
731 | * This implementation returns null; | ||
732 | * returning a non-null result will terminate the switch. | ||
733 | * <!-- end-user-doc --> | ||
734 | * @param object the target of the switch. | ||
735 | * @return the result of interpreting the object as an instance of '<em>Atomic Term</em>'. | ||
736 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
737 | * @generated | ||
738 | */ | ||
739 | public T caseAtomicTerm(AtomicTerm object) { | ||
740 | return null; | ||
741 | } | ||
742 | |||
743 | /** | ||
744 | * Returns the result of interpreting the object as an instance of '<em>Int Literal</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>Int Literal</em>'. | ||
751 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
752 | * @generated | ||
753 | */ | ||
754 | public T caseIntLiteral(IntLiteral object) { | ||
755 | return null; | ||
756 | } | ||
757 | |||
758 | /** | ||
759 | * Returns the result of interpreting the object as an instance of '<em>Bool Literal</em>'. | ||
760 | * <!-- begin-user-doc --> | ||
761 | * This implementation returns null; | ||
762 | * returning a non-null result will terminate the switch. | ||
763 | * <!-- end-user-doc --> | ||
764 | * @param object the target of the switch. | ||
765 | * @return the result of interpreting the object as an instance of '<em>Bool Literal</em>'. | ||
766 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
767 | * @generated | ||
768 | */ | ||
769 | public T caseBoolLiteral(BoolLiteral object) { | ||
770 | return null; | ||
771 | } | ||
772 | |||
773 | /** | ||
774 | * Returns the result of interpreting the object as an instance of '<em>Real Literal</em>'. | ||
775 | * <!-- begin-user-doc --> | ||
776 | * This implementation returns null; | ||
777 | * returning a non-null result will terminate the switch. | ||
778 | * <!-- end-user-doc --> | ||
779 | * @param object the target of the switch. | ||
780 | * @return the result of interpreting the object as an instance of '<em>Real Literal</em>'. | ||
781 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
782 | * @generated | ||
783 | */ | ||
784 | public T caseRealLiteral(RealLiteral object) { | ||
785 | return null; | ||
786 | } | ||
787 | |||
788 | /** | ||
789 | * Returns the result of interpreting the object as an instance of '<em>Variable</em>'. | ||
790 | * <!-- begin-user-doc --> | ||
791 | * This implementation returns null; | ||
792 | * returning a non-null result will terminate the switch. | ||
793 | * <!-- end-user-doc --> | ||
794 | * @param object the target of the switch. | ||
795 | * @return the result of interpreting the object as an instance of '<em>Variable</em>'. | ||
796 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
797 | * @generated | ||
798 | */ | ||
799 | public T caseVariable(Variable object) { | ||
800 | return null; | ||
801 | } | ||
802 | |||
803 | /** | ||
804 | * Returns the result of interpreting the object as an instance of '<em>Quantified Expression</em>'. | ||
805 | * <!-- begin-user-doc --> | ||
806 | * This implementation returns null; | ||
807 | * returning a non-null result will terminate the switch. | ||
808 | * <!-- end-user-doc --> | ||
809 | * @param object the target of the switch. | ||
810 | * @return the result of interpreting the object as an instance of '<em>Quantified Expression</em>'. | ||
811 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
812 | * @generated | ||
813 | */ | ||
814 | public T caseQuantifiedExpression(QuantifiedExpression object) { | ||
815 | return null; | ||
816 | } | ||
817 | |||
818 | /** | ||
819 | * Returns the result of interpreting the object as an instance of '<em>Exists</em>'. | ||
820 | * <!-- begin-user-doc --> | ||
821 | * This implementation returns null; | ||
822 | * returning a non-null result will terminate the switch. | ||
823 | * <!-- end-user-doc --> | ||
824 | * @param object the target of the switch. | ||
825 | * @return the result of interpreting the object as an instance of '<em>Exists</em>'. | ||
826 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
827 | * @generated | ||
828 | */ | ||
829 | public T caseExists(Exists object) { | ||
830 | return null; | ||
831 | } | ||
832 | |||
833 | /** | ||
834 | * Returns the result of interpreting the object as an instance of '<em>Forall</em>'. | ||
835 | * <!-- begin-user-doc --> | ||
836 | * This implementation returns null; | ||
837 | * returning a non-null result will terminate the switch. | ||
838 | * <!-- end-user-doc --> | ||
839 | * @param object the target of the switch. | ||
840 | * @return the result of interpreting the object as an instance of '<em>Forall</em>'. | ||
841 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
842 | * @generated | ||
843 | */ | ||
844 | public T caseForall(Forall object) { | ||
845 | return null; | ||
846 | } | ||
847 | |||
848 | /** | ||
849 | * Returns the result of interpreting the object as an instance of '<em>Bool Operation</em>'. | ||
850 | * <!-- begin-user-doc --> | ||
851 | * This implementation returns null; | ||
852 | * returning a non-null result will terminate the switch. | ||
853 | * <!-- end-user-doc --> | ||
854 | * @param object the target of the switch. | ||
855 | * @return the result of interpreting the object as an instance of '<em>Bool Operation</em>'. | ||
856 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
857 | * @generated | ||
858 | */ | ||
859 | public T caseBoolOperation(BoolOperation object) { | ||
860 | return null; | ||
861 | } | ||
862 | |||
863 | /** | ||
864 | * Returns the result of interpreting the object as an instance of '<em>And</em>'. | ||
865 | * <!-- begin-user-doc --> | ||
866 | * This implementation returns null; | ||
867 | * returning a non-null result will terminate the switch. | ||
868 | * <!-- end-user-doc --> | ||
869 | * @param object the target of the switch. | ||
870 | * @return the result of interpreting the object as an instance of '<em>And</em>'. | ||
871 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
872 | * @generated | ||
873 | */ | ||
874 | public T caseAnd(And object) { | ||
875 | return null; | ||
876 | } | ||
877 | |||
878 | /** | ||
879 | * Returns the result of interpreting the object as an instance of '<em>Or</em>'. | ||
880 | * <!-- begin-user-doc --> | ||
881 | * This implementation returns null; | ||
882 | * returning a non-null result will terminate the switch. | ||
883 | * <!-- end-user-doc --> | ||
884 | * @param object the target of the switch. | ||
885 | * @return the result of interpreting the object as an instance of '<em>Or</em>'. | ||
886 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
887 | * @generated | ||
888 | */ | ||
889 | public T caseOr(Or object) { | ||
890 | return null; | ||
891 | } | ||
892 | |||
893 | /** | ||
894 | * Returns the result of interpreting the object as an instance of '<em>Impl</em>'. | ||
895 | * <!-- begin-user-doc --> | ||
896 | * This implementation returns null; | ||
897 | * returning a non-null result will terminate the switch. | ||
898 | * <!-- end-user-doc --> | ||
899 | * @param object the target of the switch. | ||
900 | * @return the result of interpreting the object as an instance of '<em>Impl</em>'. | ||
901 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
902 | * @generated | ||
903 | */ | ||
904 | public T caseImpl(Impl object) { | ||
905 | return null; | ||
906 | } | ||
907 | |||
908 | /** | ||
909 | * Returns the result of interpreting the object as an instance of '<em>Not</em>'. | ||
910 | * <!-- begin-user-doc --> | ||
911 | * This implementation returns null; | ||
912 | * returning a non-null result will terminate the switch. | ||
913 | * <!-- end-user-doc --> | ||
914 | * @param object the target of the switch. | ||
915 | * @return the result of interpreting the object as an instance of '<em>Not</em>'. | ||
916 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
917 | * @generated | ||
918 | */ | ||
919 | public T caseNot(Not object) { | ||
920 | return null; | ||
921 | } | ||
922 | |||
923 | /** | ||
924 | * Returns the result of interpreting the object as an instance of '<em>Iff</em>'. | ||
925 | * <!-- begin-user-doc --> | ||
926 | * This implementation returns null; | ||
927 | * returning a non-null result will terminate the switch. | ||
928 | * <!-- end-user-doc --> | ||
929 | * @param object the target of the switch. | ||
930 | * @return the result of interpreting the object as an instance of '<em>Iff</em>'. | ||
931 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
932 | * @generated | ||
933 | */ | ||
934 | public T caseIff(Iff object) { | ||
935 | return null; | ||
936 | } | ||
937 | |||
938 | /** | ||
939 | * Returns the result of interpreting the object as an instance of '<em>Primitive Relation</em>'. | ||
940 | * <!-- begin-user-doc --> | ||
941 | * This implementation returns null; | ||
942 | * returning a non-null result will terminate the switch. | ||
943 | * <!-- end-user-doc --> | ||
944 | * @param object the target of the switch. | ||
945 | * @return the result of interpreting the object as an instance of '<em>Primitive Relation</em>'. | ||
946 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
947 | * @generated | ||
948 | */ | ||
949 | public T casePrimitiveRelation(PrimitiveRelation object) { | ||
950 | return null; | ||
951 | } | ||
952 | |||
953 | /** | ||
954 | * Returns the result of interpreting the object as an instance of '<em>Equals</em>'. | ||
955 | * <!-- begin-user-doc --> | ||
956 | * This implementation returns null; | ||
957 | * returning a non-null result will terminate the switch. | ||
958 | * <!-- end-user-doc --> | ||
959 | * @param object the target of the switch. | ||
960 | * @return the result of interpreting the object as an instance of '<em>Equals</em>'. | ||
961 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
962 | * @generated | ||
963 | */ | ||
964 | public T caseEquals(Equals object) { | ||
965 | return null; | ||
966 | } | ||
967 | |||
968 | /** | ||
969 | * Returns the result of interpreting the object as an instance of '<em>Distinct</em>'. | ||
970 | * <!-- begin-user-doc --> | ||
971 | * This implementation returns null; | ||
972 | * returning a non-null result will terminate the switch. | ||
973 | * <!-- end-user-doc --> | ||
974 | * @param object the target of the switch. | ||
975 | * @return the result of interpreting the object as an instance of '<em>Distinct</em>'. | ||
976 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
977 | * @generated | ||
978 | */ | ||
979 | public T caseDistinct(Distinct object) { | ||
980 | return null; | ||
981 | } | ||
982 | |||
983 | /** | ||
984 | * Returns the result of interpreting the object as an instance of '<em>Less Than</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>Less Than</em>'. | ||
991 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
992 | * @generated | ||
993 | */ | ||
994 | public T caseLessThan(LessThan object) { | ||
995 | return null; | ||
996 | } | ||
997 | |||
998 | /** | ||
999 | * Returns the result of interpreting the object as an instance of '<em>More Than</em>'. | ||
1000 | * <!-- begin-user-doc --> | ||
1001 | * This implementation returns null; | ||
1002 | * returning a non-null result will terminate the switch. | ||
1003 | * <!-- end-user-doc --> | ||
1004 | * @param object the target of the switch. | ||
1005 | * @return the result of interpreting the object as an instance of '<em>More Than</em>'. | ||
1006 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1007 | * @generated | ||
1008 | */ | ||
1009 | public T caseMoreThan(MoreThan object) { | ||
1010 | return null; | ||
1011 | } | ||
1012 | |||
1013 | /** | ||
1014 | * Returns the result of interpreting the object as an instance of '<em>Less Or Equal Than</em>'. | ||
1015 | * <!-- begin-user-doc --> | ||
1016 | * This implementation returns null; | ||
1017 | * returning a non-null result will terminate the switch. | ||
1018 | * <!-- end-user-doc --> | ||
1019 | * @param object the target of the switch. | ||
1020 | * @return the result of interpreting the object as an instance of '<em>Less Or Equal Than</em>'. | ||
1021 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1022 | * @generated | ||
1023 | */ | ||
1024 | public T caseLessOrEqualThan(LessOrEqualThan object) { | ||
1025 | return null; | ||
1026 | } | ||
1027 | |||
1028 | /** | ||
1029 | * Returns the result of interpreting the object as an instance of '<em>More Or Equal Than</em>'. | ||
1030 | * <!-- begin-user-doc --> | ||
1031 | * This implementation returns null; | ||
1032 | * returning a non-null result will terminate the switch. | ||
1033 | * <!-- end-user-doc --> | ||
1034 | * @param object the target of the switch. | ||
1035 | * @return the result of interpreting the object as an instance of '<em>More Or Equal Than</em>'. | ||
1036 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1037 | * @generated | ||
1038 | */ | ||
1039 | public T caseMoreOrEqualThan(MoreOrEqualThan object) { | ||
1040 | return null; | ||
1041 | } | ||
1042 | |||
1043 | /** | ||
1044 | * Returns the result of interpreting the object as an instance of '<em>Int Operation</em>'. | ||
1045 | * <!-- begin-user-doc --> | ||
1046 | * This implementation returns null; | ||
1047 | * returning a non-null result will terminate the switch. | ||
1048 | * <!-- end-user-doc --> | ||
1049 | * @param object the target of the switch. | ||
1050 | * @return the result of interpreting the object as an instance of '<em>Int Operation</em>'. | ||
1051 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1052 | * @generated | ||
1053 | */ | ||
1054 | public T caseIntOperation(IntOperation object) { | ||
1055 | return null; | ||
1056 | } | ||
1057 | |||
1058 | /** | ||
1059 | * Returns the result of interpreting the object as an instance of '<em>Plus</em>'. | ||
1060 | * <!-- begin-user-doc --> | ||
1061 | * This implementation returns null; | ||
1062 | * returning a non-null result will terminate the switch. | ||
1063 | * <!-- end-user-doc --> | ||
1064 | * @param object the target of the switch. | ||
1065 | * @return the result of interpreting the object as an instance of '<em>Plus</em>'. | ||
1066 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1067 | * @generated | ||
1068 | */ | ||
1069 | public T casePlus(Plus object) { | ||
1070 | return null; | ||
1071 | } | ||
1072 | |||
1073 | /** | ||
1074 | * Returns the result of interpreting the object as an instance of '<em>Minus</em>'. | ||
1075 | * <!-- begin-user-doc --> | ||
1076 | * This implementation returns null; | ||
1077 | * returning a non-null result will terminate the switch. | ||
1078 | * <!-- end-user-doc --> | ||
1079 | * @param object the target of the switch. | ||
1080 | * @return the result of interpreting the object as an instance of '<em>Minus</em>'. | ||
1081 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1082 | * @generated | ||
1083 | */ | ||
1084 | public T caseMinus(Minus object) { | ||
1085 | return null; | ||
1086 | } | ||
1087 | |||
1088 | /** | ||
1089 | * Returns the result of interpreting the object as an instance of '<em>Multiply</em>'. | ||
1090 | * <!-- begin-user-doc --> | ||
1091 | * This implementation returns null; | ||
1092 | * returning a non-null result will terminate the switch. | ||
1093 | * <!-- end-user-doc --> | ||
1094 | * @param object the target of the switch. | ||
1095 | * @return the result of interpreting the object as an instance of '<em>Multiply</em>'. | ||
1096 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1097 | * @generated | ||
1098 | */ | ||
1099 | public T caseMultiply(Multiply object) { | ||
1100 | return null; | ||
1101 | } | ||
1102 | |||
1103 | /** | ||
1104 | * Returns the result of interpreting the object as an instance of '<em>Divison</em>'. | ||
1105 | * <!-- begin-user-doc --> | ||
1106 | * This implementation returns null; | ||
1107 | * returning a non-null result will terminate the switch. | ||
1108 | * <!-- end-user-doc --> | ||
1109 | * @param object the target of the switch. | ||
1110 | * @return the result of interpreting the object as an instance of '<em>Divison</em>'. | ||
1111 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1112 | * @generated | ||
1113 | */ | ||
1114 | public T caseDivison(Divison object) { | ||
1115 | return null; | ||
1116 | } | ||
1117 | |||
1118 | /** | ||
1119 | * Returns the result of interpreting the object as an instance of '<em>Mod</em>'. | ||
1120 | * <!-- begin-user-doc --> | ||
1121 | * This implementation returns null; | ||
1122 | * returning a non-null result will terminate the switch. | ||
1123 | * <!-- end-user-doc --> | ||
1124 | * @param object the target of the switch. | ||
1125 | * @return the result of interpreting the object as an instance of '<em>Mod</em>'. | ||
1126 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1127 | * @generated | ||
1128 | */ | ||
1129 | public T caseMod(Mod object) { | ||
1130 | return null; | ||
1131 | } | ||
1132 | |||
1133 | /** | ||
1134 | * Returns the result of interpreting the object as an instance of '<em>Type Descriptor</em>'. | ||
1135 | * <!-- begin-user-doc --> | ||
1136 | * This implementation returns null; | ||
1137 | * returning a non-null result will terminate the switch. | ||
1138 | * <!-- end-user-doc --> | ||
1139 | * @param object the target of the switch. | ||
1140 | * @return the result of interpreting the object as an instance of '<em>Type Descriptor</em>'. | ||
1141 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1142 | * @generated | ||
1143 | */ | ||
1144 | public T caseTypeDescriptor(TypeDescriptor object) { | ||
1145 | return null; | ||
1146 | } | ||
1147 | |||
1148 | /** | ||
1149 | * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'. | ||
1150 | * <!-- begin-user-doc --> | ||
1151 | * This implementation returns null; | ||
1152 | * returning a non-null result will terminate the switch. | ||
1153 | * <!-- end-user-doc --> | ||
1154 | * @param object the target of the switch. | ||
1155 | * @return the result of interpreting the object as an instance of '<em>Term Description</em>'. | ||
1156 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1157 | * @generated | ||
1158 | */ | ||
1159 | public T caseTermDescription(TermDescription object) { | ||
1160 | return null; | ||
1161 | } | ||
1162 | |||
1163 | /** | ||
1164 | * Returns the result of interpreting the object as an instance of '<em>Assertion</em>'. | ||
1165 | * <!-- begin-user-doc --> | ||
1166 | * This implementation returns null; | ||
1167 | * returning a non-null result will terminate the switch. | ||
1168 | * <!-- end-user-doc --> | ||
1169 | * @param object the target of the switch. | ||
1170 | * @return the result of interpreting the object as an instance of '<em>Assertion</em>'. | ||
1171 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1172 | * @generated | ||
1173 | */ | ||
1174 | public T caseAssertion(Assertion object) { | ||
1175 | return null; | ||
1176 | } | ||
1177 | |||
1178 | /** | ||
1179 | * Returns the result of interpreting the object as an instance of '<em>Relation</em>'. | ||
1180 | * <!-- begin-user-doc --> | ||
1181 | * This implementation returns null; | ||
1182 | * returning a non-null result will terminate the switch. | ||
1183 | * <!-- end-user-doc --> | ||
1184 | * @param object the target of the switch. | ||
1185 | * @return the result of interpreting the object as an instance of '<em>Relation</em>'. | ||
1186 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1187 | * @generated | ||
1188 | */ | ||
1189 | public T caseRelation(Relation object) { | ||
1190 | return null; | ||
1191 | } | ||
1192 | |||
1193 | /** | ||
1194 | * Returns the result of interpreting the object as an instance of '<em>Constant</em>'. | ||
1195 | * <!-- begin-user-doc --> | ||
1196 | * This implementation returns null; | ||
1197 | * returning a non-null result will terminate the switch. | ||
1198 | * <!-- end-user-doc --> | ||
1199 | * @param object the target of the switch. | ||
1200 | * @return the result of interpreting the object as an instance of '<em>Constant</em>'. | ||
1201 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1202 | * @generated | ||
1203 | */ | ||
1204 | public T caseConstant(Constant object) { | ||
1205 | return null; | ||
1206 | } | ||
1207 | |||
1208 | /** | ||
1209 | * Returns the result of interpreting the object as an instance of '<em>Constant Definition</em>'. | ||
1210 | * <!-- begin-user-doc --> | ||
1211 | * This implementation returns null; | ||
1212 | * returning a non-null result will terminate the switch. | ||
1213 | * <!-- end-user-doc --> | ||
1214 | * @param object the target of the switch. | ||
1215 | * @return the result of interpreting the object as an instance of '<em>Constant Definition</em>'. | ||
1216 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1217 | * @generated | ||
1218 | */ | ||
1219 | public T caseConstantDefinition(ConstantDefinition object) { | ||
1220 | return null; | ||
1221 | } | ||
1222 | |||
1223 | /** | ||
1224 | * Returns the result of interpreting the object as an instance of '<em>Relation Definition</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>Relation Definition</em>'. | ||
1231 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1232 | * @generated | ||
1233 | */ | ||
1234 | public T caseRelationDefinition(RelationDefinition object) { | ||
1235 | return null; | ||
1236 | } | ||
1237 | |||
1238 | /** | ||
1239 | * Returns the result of interpreting the object as an instance of '<em>Function Definition</em>'. | ||
1240 | * <!-- begin-user-doc --> | ||
1241 | * This implementation returns null; | ||
1242 | * returning a non-null result will terminate the switch. | ||
1243 | * <!-- end-user-doc --> | ||
1244 | * @param object the target of the switch. | ||
1245 | * @return the result of interpreting the object as an instance of '<em>Function Definition</em>'. | ||
1246 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1247 | * @generated | ||
1248 | */ | ||
1249 | public T caseFunctionDefinition(FunctionDefinition object) { | ||
1250 | return null; | ||
1251 | } | ||
1252 | |||
1253 | /** | ||
1254 | * Returns the result of interpreting the object as an instance of '<em>If Then Else</em>'. | ||
1255 | * <!-- begin-user-doc --> | ||
1256 | * This implementation returns null; | ||
1257 | * returning a non-null result will terminate the switch. | ||
1258 | * <!-- end-user-doc --> | ||
1259 | * @param object the target of the switch. | ||
1260 | * @return the result of interpreting the object as an instance of '<em>If Then Else</em>'. | ||
1261 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1262 | * @generated | ||
1263 | */ | ||
1264 | public T caseIfThenElse(IfThenElse object) { | ||
1265 | return null; | ||
1266 | } | ||
1267 | |||
1268 | /** | ||
1269 | * Returns the result of interpreting the object as an instance of '<em>Constant Declaration</em>'. | ||
1270 | * <!-- begin-user-doc --> | ||
1271 | * This implementation returns null; | ||
1272 | * returning a non-null result will terminate the switch. | ||
1273 | * <!-- end-user-doc --> | ||
1274 | * @param object the target of the switch. | ||
1275 | * @return the result of interpreting the object as an instance of '<em>Constant Declaration</em>'. | ||
1276 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1277 | * @generated | ||
1278 | */ | ||
1279 | public T caseConstantDeclaration(ConstantDeclaration object) { | ||
1280 | return null; | ||
1281 | } | ||
1282 | |||
1283 | /** | ||
1284 | * Returns the result of interpreting the object as an instance of '<em>Relation Declaration</em>'. | ||
1285 | * <!-- begin-user-doc --> | ||
1286 | * This implementation returns null; | ||
1287 | * returning a non-null result will terminate the switch. | ||
1288 | * <!-- end-user-doc --> | ||
1289 | * @param object the target of the switch. | ||
1290 | * @return the result of interpreting the object as an instance of '<em>Relation Declaration</em>'. | ||
1291 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1292 | * @generated | ||
1293 | */ | ||
1294 | public T caseRelationDeclaration(RelationDeclaration object) { | ||
1295 | return null; | ||
1296 | } | ||
1297 | |||
1298 | /** | ||
1299 | * Returns the result of interpreting the object as an instance of '<em>Function Declaration</em>'. | ||
1300 | * <!-- begin-user-doc --> | ||
1301 | * This implementation returns null; | ||
1302 | * returning a non-null result will terminate the switch. | ||
1303 | * <!-- end-user-doc --> | ||
1304 | * @param object the target of the switch. | ||
1305 | * @return the result of interpreting the object as an instance of '<em>Function Declaration</em>'. | ||
1306 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1307 | * @generated | ||
1308 | */ | ||
1309 | public T caseFunctionDeclaration(FunctionDeclaration object) { | ||
1310 | return null; | ||
1311 | } | ||
1312 | |||
1313 | /** | ||
1314 | * Returns the result of interpreting the object as an instance of '<em>Type Declaration</em>'. | ||
1315 | * <!-- begin-user-doc --> | ||
1316 | * This implementation returns null; | ||
1317 | * returning a non-null result will terminate the switch. | ||
1318 | * <!-- end-user-doc --> | ||
1319 | * @param object the target of the switch. | ||
1320 | * @return the result of interpreting the object as an instance of '<em>Type Declaration</em>'. | ||
1321 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1322 | * @generated | ||
1323 | */ | ||
1324 | public T caseTypeDeclaration(TypeDeclaration object) { | ||
1325 | return null; | ||
1326 | } | ||
1327 | |||
1328 | /** | ||
1329 | * Returns the result of interpreting the object as an instance of '<em>Unknown Because Uninterpreted</em>'. | ||
1330 | * <!-- begin-user-doc --> | ||
1331 | * This implementation returns null; | ||
1332 | * returning a non-null result will terminate the switch. | ||
1333 | * <!-- end-user-doc --> | ||
1334 | * @param object the target of the switch. | ||
1335 | * @return the result of interpreting the object as an instance of '<em>Unknown Because Uninterpreted</em>'. | ||
1336 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1337 | * @generated | ||
1338 | */ | ||
1339 | public T caseUnknownBecauseUninterpreted(UnknownBecauseUninterpreted object) { | ||
1340 | return null; | ||
1341 | } | ||
1342 | |||
1343 | /** | ||
1344 | * Returns the result of interpreting the object as an instance of '<em>Instance Of</em>'. | ||
1345 | * <!-- begin-user-doc --> | ||
1346 | * This implementation returns null; | ||
1347 | * returning a non-null result will terminate the switch. | ||
1348 | * <!-- end-user-doc --> | ||
1349 | * @param object the target of the switch. | ||
1350 | * @return the result of interpreting the object as an instance of '<em>Instance Of</em>'. | ||
1351 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1352 | * @generated | ||
1353 | */ | ||
1354 | public T caseInstanceOf(InstanceOf object) { | ||
1355 | return null; | ||
1356 | } | ||
1357 | |||
1358 | /** | ||
1359 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
1360 | * <!-- begin-user-doc --> | ||
1361 | * This implementation returns null; | ||
1362 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
1363 | * <!-- end-user-doc --> | ||
1364 | * @param object the target of the switch. | ||
1365 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
1366 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
1367 | * @generated | ||
1368 | */ | ||
1369 | @Override | ||
1370 | public T defaultCase(EObject object) { | ||
1371 | return null; | ||
1372 | } | ||
1373 | |||
1374 | } //LogiclanguageSwitch | ||