diff options
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.java | 1374 |
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 | */ | ||
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 | ||