aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java1374
1 files changed, 1374 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/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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*;
6
7import org.eclipse.emf.ecore.EObject;
8import org.eclipse.emf.ecore.EPackage;
9
10import 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 */
25public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:46:18 +0000