aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java2008
1 files changed, 2008 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java
new file mode 100644
index 00000000..c5beb264
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java
@@ -0,0 +1,2008 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.util;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.*;
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.smtLanguage.SmtLanguagePackage
23 * @generated
24 */
25public class SmtLanguageSwitch<T> extends Switch<T>
26{
27 /**
28 * The cached model package
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 protected static SmtLanguagePackage modelPackage;
34
35 /**
36 * Creates an instance of the switch.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 public SmtLanguageSwitch()
42 {
43 if (modelPackage == null)
44 {
45 modelPackage = SmtLanguagePackage.eINSTANCE;
46 }
47 }
48
49 /**
50 * Checks whether this is a switch for the given package.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @parameter ePackage the package in question.
54 * @return whether this is a switch for the given package.
55 * @generated
56 */
57 @Override
58 protected boolean isSwitchFor(EPackage ePackage)
59 {
60 return ePackage == modelPackage;
61 }
62
63 /**
64 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @return the first non-null result returned by a <code>caseXXX</code> call.
68 * @generated
69 */
70 @Override
71 protected T doSwitch(int classifierID, EObject theEObject)
72 {
73 switch (classifierID)
74 {
75 case SmtLanguagePackage.SMT_DOCUMENT:
76 {
77 SMTDocument smtDocument = (SMTDocument)theEObject;
78 T result = caseSMTDocument(smtDocument);
79 if (result == null) result = defaultCase(theEObject);
80 return result;
81 }
82 case SmtLanguagePackage.SMT_INPUT:
83 {
84 SMTInput smtInput = (SMTInput)theEObject;
85 T result = caseSMTInput(smtInput);
86 if (result == null) result = defaultCase(theEObject);
87 return result;
88 }
89 case SmtLanguagePackage.SMT_OUTPUT:
90 {
91 SMTOutput smtOutput = (SMTOutput)theEObject;
92 T result = caseSMTOutput(smtOutput);
93 if (result == null) result = defaultCase(theEObject);
94 return result;
95 }
96 case SmtLanguagePackage.SMT_OPTION:
97 {
98 SMTOption smtOption = (SMTOption)theEObject;
99 T result = caseSMTOption(smtOption);
100 if (result == null) result = defaultCase(theEObject);
101 return result;
102 }
103 case SmtLanguagePackage.SMT_TYPE:
104 {
105 SMTType smtType = (SMTType)theEObject;
106 T result = caseSMTType(smtType);
107 if (result == null) result = defaultCase(theEObject);
108 return result;
109 }
110 case SmtLanguagePackage.SMT_ENUM_LITERAL:
111 {
112 SMTEnumLiteral smtEnumLiteral = (SMTEnumLiteral)theEObject;
113 T result = caseSMTEnumLiteral(smtEnumLiteral);
114 if (result == null) result = caseSMTSymbolicDeclaration(smtEnumLiteral);
115 if (result == null) result = defaultCase(theEObject);
116 return result;
117 }
118 case SmtLanguagePackage.SMT_ENUMERATED_TYPE_DECLARATION:
119 {
120 SMTEnumeratedTypeDeclaration smtEnumeratedTypeDeclaration = (SMTEnumeratedTypeDeclaration)theEObject;
121 T result = caseSMTEnumeratedTypeDeclaration(smtEnumeratedTypeDeclaration);
122 if (result == null) result = caseSMTType(smtEnumeratedTypeDeclaration);
123 if (result == null) result = defaultCase(theEObject);
124 return result;
125 }
126 case SmtLanguagePackage.SMT_SET_TYPE_DECLARATION:
127 {
128 SMTSetTypeDeclaration smtSetTypeDeclaration = (SMTSetTypeDeclaration)theEObject;
129 T result = caseSMTSetTypeDeclaration(smtSetTypeDeclaration);
130 if (result == null) result = caseSMTType(smtSetTypeDeclaration);
131 if (result == null) result = defaultCase(theEObject);
132 return result;
133 }
134 case SmtLanguagePackage.SMT_TYPE_REFERENCE:
135 {
136 SMTTypeReference smtTypeReference = (SMTTypeReference)theEObject;
137 T result = caseSMTTypeReference(smtTypeReference);
138 if (result == null) result = defaultCase(theEObject);
139 return result;
140 }
141 case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE:
142 {
143 SMTComplexTypeReference smtComplexTypeReference = (SMTComplexTypeReference)theEObject;
144 T result = caseSMTComplexTypeReference(smtComplexTypeReference);
145 if (result == null) result = caseSMTTypeReference(smtComplexTypeReference);
146 if (result == null) result = defaultCase(theEObject);
147 return result;
148 }
149 case SmtLanguagePackage.SMT_PRIMITIVE_TYPE_REFERENCE:
150 {
151 SMTPrimitiveTypeReference smtPrimitiveTypeReference = (SMTPrimitiveTypeReference)theEObject;
152 T result = caseSMTPrimitiveTypeReference(smtPrimitiveTypeReference);
153 if (result == null) result = caseSMTTypeReference(smtPrimitiveTypeReference);
154 if (result == null) result = defaultCase(theEObject);
155 return result;
156 }
157 case SmtLanguagePackage.SMT_INT_TYPE_REFERENCE:
158 {
159 SMTIntTypeReference smtIntTypeReference = (SMTIntTypeReference)theEObject;
160 T result = caseSMTIntTypeReference(smtIntTypeReference);
161 if (result == null) result = caseSMTPrimitiveTypeReference(smtIntTypeReference);
162 if (result == null) result = caseSMTTypeReference(smtIntTypeReference);
163 if (result == null) result = defaultCase(theEObject);
164 return result;
165 }
166 case SmtLanguagePackage.SMT_BOOL_TYPE_REFERENCE:
167 {
168 SMTBoolTypeReference smtBoolTypeReference = (SMTBoolTypeReference)theEObject;
169 T result = caseSMTBoolTypeReference(smtBoolTypeReference);
170 if (result == null) result = caseSMTPrimitiveTypeReference(smtBoolTypeReference);
171 if (result == null) result = caseSMTTypeReference(smtBoolTypeReference);
172 if (result == null) result = defaultCase(theEObject);
173 return result;
174 }
175 case SmtLanguagePackage.SMT_REAL_TYPE_REFERENCE:
176 {
177 SMTRealTypeReference smtRealTypeReference = (SMTRealTypeReference)theEObject;
178 T result = caseSMTRealTypeReference(smtRealTypeReference);
179 if (result == null) result = caseSMTPrimitiveTypeReference(smtRealTypeReference);
180 if (result == null) result = caseSMTTypeReference(smtRealTypeReference);
181 if (result == null) result = defaultCase(theEObject);
182 return result;
183 }
184 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION:
185 {
186 SMTFunctionDeclaration smtFunctionDeclaration = (SMTFunctionDeclaration)theEObject;
187 T result = caseSMTFunctionDeclaration(smtFunctionDeclaration);
188 if (result == null) result = caseSMTSymbolicDeclaration(smtFunctionDeclaration);
189 if (result == null) result = defaultCase(theEObject);
190 return result;
191 }
192 case SmtLanguagePackage.SMT_FUNCTION_DEFINITION:
193 {
194 SMTFunctionDefinition smtFunctionDefinition = (SMTFunctionDefinition)theEObject;
195 T result = caseSMTFunctionDefinition(smtFunctionDefinition);
196 if (result == null) result = caseSMTSymbolicDeclaration(smtFunctionDefinition);
197 if (result == null) result = defaultCase(theEObject);
198 return result;
199 }
200 case SmtLanguagePackage.SMT_TERM:
201 {
202 SMTTerm smtTerm = (SMTTerm)theEObject;
203 T result = caseSMTTerm(smtTerm);
204 if (result == null) result = defaultCase(theEObject);
205 return result;
206 }
207 case SmtLanguagePackage.SMT_SYMBOLIC_DECLARATION:
208 {
209 SMTSymbolicDeclaration smtSymbolicDeclaration = (SMTSymbolicDeclaration)theEObject;
210 T result = caseSMTSymbolicDeclaration(smtSymbolicDeclaration);
211 if (result == null) result = defaultCase(theEObject);
212 return result;
213 }
214 case SmtLanguagePackage.SMT_SYMBOLIC_VALUE:
215 {
216 SMTSymbolicValue smtSymbolicValue = (SMTSymbolicValue)theEObject;
217 T result = caseSMTSymbolicValue(smtSymbolicValue);
218 if (result == null) result = caseSMTTerm(smtSymbolicValue);
219 if (result == null) result = defaultCase(theEObject);
220 return result;
221 }
222 case SmtLanguagePackage.SMT_ATOMIC_TERM:
223 {
224 SMTAtomicTerm smtAtomicTerm = (SMTAtomicTerm)theEObject;
225 T result = caseSMTAtomicTerm(smtAtomicTerm);
226 if (result == null) result = caseSMTTerm(smtAtomicTerm);
227 if (result == null) result = defaultCase(theEObject);
228 return result;
229 }
230 case SmtLanguagePackage.SMT_INT_LITERAL:
231 {
232 SMTIntLiteral smtIntLiteral = (SMTIntLiteral)theEObject;
233 T result = caseSMTIntLiteral(smtIntLiteral);
234 if (result == null) result = caseSMTAtomicTerm(smtIntLiteral);
235 if (result == null) result = caseSMTTerm(smtIntLiteral);
236 if (result == null) result = defaultCase(theEObject);
237 return result;
238 }
239 case SmtLanguagePackage.SMT_BOOL_LITERAL:
240 {
241 SMTBoolLiteral smtBoolLiteral = (SMTBoolLiteral)theEObject;
242 T result = caseSMTBoolLiteral(smtBoolLiteral);
243 if (result == null) result = caseSMTAtomicTerm(smtBoolLiteral);
244 if (result == null) result = caseSMTTerm(smtBoolLiteral);
245 if (result == null) result = defaultCase(theEObject);
246 return result;
247 }
248 case SmtLanguagePackage.SMT_REAL_LITERAL:
249 {
250 SMTRealLiteral smtRealLiteral = (SMTRealLiteral)theEObject;
251 T result = caseSMTRealLiteral(smtRealLiteral);
252 if (result == null) result = caseSMTAtomicTerm(smtRealLiteral);
253 if (result == null) result = caseSMTTerm(smtRealLiteral);
254 if (result == null) result = defaultCase(theEObject);
255 return result;
256 }
257 case SmtLanguagePackage.SMT_SORTED_VARIABLE:
258 {
259 SMTSortedVariable smtSortedVariable = (SMTSortedVariable)theEObject;
260 T result = caseSMTSortedVariable(smtSortedVariable);
261 if (result == null) result = caseSMTSymbolicDeclaration(smtSortedVariable);
262 if (result == null) result = defaultCase(theEObject);
263 return result;
264 }
265 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION:
266 {
267 SMTQuantifiedExpression smtQuantifiedExpression = (SMTQuantifiedExpression)theEObject;
268 T result = caseSMTQuantifiedExpression(smtQuantifiedExpression);
269 if (result == null) result = caseSMTTerm(smtQuantifiedExpression);
270 if (result == null) result = defaultCase(theEObject);
271 return result;
272 }
273 case SmtLanguagePackage.SMT_EXISTS:
274 {
275 SMTExists smtExists = (SMTExists)theEObject;
276 T result = caseSMTExists(smtExists);
277 if (result == null) result = caseSMTQuantifiedExpression(smtExists);
278 if (result == null) result = caseSMTTerm(smtExists);
279 if (result == null) result = defaultCase(theEObject);
280 return result;
281 }
282 case SmtLanguagePackage.SMT_FORALL:
283 {
284 SMTForall smtForall = (SMTForall)theEObject;
285 T result = caseSMTForall(smtForall);
286 if (result == null) result = caseSMTQuantifiedExpression(smtForall);
287 if (result == null) result = caseSMTTerm(smtForall);
288 if (result == null) result = defaultCase(theEObject);
289 return result;
290 }
291 case SmtLanguagePackage.SMT_BOOL_OPERATION:
292 {
293 SMTBoolOperation smtBoolOperation = (SMTBoolOperation)theEObject;
294 T result = caseSMTBoolOperation(smtBoolOperation);
295 if (result == null) result = caseSMTTerm(smtBoolOperation);
296 if (result == null) result = defaultCase(theEObject);
297 return result;
298 }
299 case SmtLanguagePackage.SMT_AND:
300 {
301 SMTAnd smtAnd = (SMTAnd)theEObject;
302 T result = caseSMTAnd(smtAnd);
303 if (result == null) result = caseSMTBoolOperation(smtAnd);
304 if (result == null) result = caseSMTTerm(smtAnd);
305 if (result == null) result = defaultCase(theEObject);
306 return result;
307 }
308 case SmtLanguagePackage.SMT_OR:
309 {
310 SMTOr smtOr = (SMTOr)theEObject;
311 T result = caseSMTOr(smtOr);
312 if (result == null) result = caseSMTBoolOperation(smtOr);
313 if (result == null) result = caseSMTTerm(smtOr);
314 if (result == null) result = defaultCase(theEObject);
315 return result;
316 }
317 case SmtLanguagePackage.SMT_IMPL:
318 {
319 SMTImpl smtImpl = (SMTImpl)theEObject;
320 T result = caseSMTImpl(smtImpl);
321 if (result == null) result = caseSMTBoolOperation(smtImpl);
322 if (result == null) result = caseSMTTerm(smtImpl);
323 if (result == null) result = defaultCase(theEObject);
324 return result;
325 }
326 case SmtLanguagePackage.SMT_NOT:
327 {
328 SMTNot smtNot = (SMTNot)theEObject;
329 T result = caseSMTNot(smtNot);
330 if (result == null) result = caseSMTBoolOperation(smtNot);
331 if (result == null) result = caseSMTTerm(smtNot);
332 if (result == null) result = defaultCase(theEObject);
333 return result;
334 }
335 case SmtLanguagePackage.SMT_IFF:
336 {
337 SMTIff smtIff = (SMTIff)theEObject;
338 T result = caseSMTIff(smtIff);
339 if (result == null) result = caseSMTBoolOperation(smtIff);
340 if (result == null) result = caseSMTTerm(smtIff);
341 if (result == null) result = defaultCase(theEObject);
342 return result;
343 }
344 case SmtLanguagePackage.SMTITE:
345 {
346 SMTITE smtite = (SMTITE)theEObject;
347 T result = caseSMTITE(smtite);
348 if (result == null) result = caseSMTTerm(smtite);
349 if (result == null) result = defaultCase(theEObject);
350 return result;
351 }
352 case SmtLanguagePackage.SMT_LET:
353 {
354 SMTLet smtLet = (SMTLet)theEObject;
355 T result = caseSMTLet(smtLet);
356 if (result == null) result = caseSMTTerm(smtLet);
357 if (result == null) result = defaultCase(theEObject);
358 return result;
359 }
360 case SmtLanguagePackage.SMT_INLINE_CONSTANT_DEFINITION:
361 {
362 SMTInlineConstantDefinition smtInlineConstantDefinition = (SMTInlineConstantDefinition)theEObject;
363 T result = caseSMTInlineConstantDefinition(smtInlineConstantDefinition);
364 if (result == null) result = caseSMTSymbolicDeclaration(smtInlineConstantDefinition);
365 if (result == null) result = defaultCase(theEObject);
366 return result;
367 }
368 case SmtLanguagePackage.SMT_RELATION:
369 {
370 SMTRelation smtRelation = (SMTRelation)theEObject;
371 T result = caseSMTRelation(smtRelation);
372 if (result == null) result = caseSMTTerm(smtRelation);
373 if (result == null) result = defaultCase(theEObject);
374 return result;
375 }
376 case SmtLanguagePackage.SMT_EQUALS:
377 {
378 SMTEquals smtEquals = (SMTEquals)theEObject;
379 T result = caseSMTEquals(smtEquals);
380 if (result == null) result = caseSMTRelation(smtEquals);
381 if (result == null) result = caseSMTTerm(smtEquals);
382 if (result == null) result = defaultCase(theEObject);
383 return result;
384 }
385 case SmtLanguagePackage.SMT_DISTINCT:
386 {
387 SMTDistinct smtDistinct = (SMTDistinct)theEObject;
388 T result = caseSMTDistinct(smtDistinct);
389 if (result == null) result = caseSMTRelation(smtDistinct);
390 if (result == null) result = caseSMTTerm(smtDistinct);
391 if (result == null) result = defaultCase(theEObject);
392 return result;
393 }
394 case SmtLanguagePackage.SMTLT:
395 {
396 SMTLT smtlt = (SMTLT)theEObject;
397 T result = caseSMTLT(smtlt);
398 if (result == null) result = caseSMTRelation(smtlt);
399 if (result == null) result = caseSMTTerm(smtlt);
400 if (result == null) result = defaultCase(theEObject);
401 return result;
402 }
403 case SmtLanguagePackage.SMTMT:
404 {
405 SMTMT smtmt = (SMTMT)theEObject;
406 T result = caseSMTMT(smtmt);
407 if (result == null) result = caseSMTRelation(smtmt);
408 if (result == null) result = caseSMTTerm(smtmt);
409 if (result == null) result = defaultCase(theEObject);
410 return result;
411 }
412 case SmtLanguagePackage.SMTLEQ:
413 {
414 SMTLEQ smtleq = (SMTLEQ)theEObject;
415 T result = caseSMTLEQ(smtleq);
416 if (result == null) result = caseSMTRelation(smtleq);
417 if (result == null) result = caseSMTTerm(smtleq);
418 if (result == null) result = defaultCase(theEObject);
419 return result;
420 }
421 case SmtLanguagePackage.SMTMEQ:
422 {
423 SMTMEQ smtmeq = (SMTMEQ)theEObject;
424 T result = caseSMTMEQ(smtmeq);
425 if (result == null) result = caseSMTRelation(smtmeq);
426 if (result == null) result = caseSMTTerm(smtmeq);
427 if (result == null) result = defaultCase(theEObject);
428 return result;
429 }
430 case SmtLanguagePackage.SMT_INT_OPERATION:
431 {
432 SMTIntOperation smtIntOperation = (SMTIntOperation)theEObject;
433 T result = caseSMTIntOperation(smtIntOperation);
434 if (result == null) result = caseSMTTerm(smtIntOperation);
435 if (result == null) result = defaultCase(theEObject);
436 return result;
437 }
438 case SmtLanguagePackage.SMT_PLUS:
439 {
440 SMTPlus smtPlus = (SMTPlus)theEObject;
441 T result = caseSMTPlus(smtPlus);
442 if (result == null) result = caseSMTIntOperation(smtPlus);
443 if (result == null) result = caseSMTTerm(smtPlus);
444 if (result == null) result = defaultCase(theEObject);
445 return result;
446 }
447 case SmtLanguagePackage.SMT_MINUS:
448 {
449 SMTMinus smtMinus = (SMTMinus)theEObject;
450 T result = caseSMTMinus(smtMinus);
451 if (result == null) result = caseSMTIntOperation(smtMinus);
452 if (result == null) result = caseSMTTerm(smtMinus);
453 if (result == null) result = defaultCase(theEObject);
454 return result;
455 }
456 case SmtLanguagePackage.SMT_MULTIPLY:
457 {
458 SMTMultiply smtMultiply = (SMTMultiply)theEObject;
459 T result = caseSMTMultiply(smtMultiply);
460 if (result == null) result = caseSMTIntOperation(smtMultiply);
461 if (result == null) result = caseSMTTerm(smtMultiply);
462 if (result == null) result = defaultCase(theEObject);
463 return result;
464 }
465 case SmtLanguagePackage.SMT_DIVISON:
466 {
467 SMTDivison smtDivison = (SMTDivison)theEObject;
468 T result = caseSMTDivison(smtDivison);
469 if (result == null) result = caseSMTIntOperation(smtDivison);
470 if (result == null) result = caseSMTTerm(smtDivison);
471 if (result == null) result = defaultCase(theEObject);
472 return result;
473 }
474 case SmtLanguagePackage.SMT_DIV:
475 {
476 SMTDiv smtDiv = (SMTDiv)theEObject;
477 T result = caseSMTDiv(smtDiv);
478 if (result == null) result = caseSMTIntOperation(smtDiv);
479 if (result == null) result = caseSMTTerm(smtDiv);
480 if (result == null) result = defaultCase(theEObject);
481 return result;
482 }
483 case SmtLanguagePackage.SMT_MOD:
484 {
485 SMTMod smtMod = (SMTMod)theEObject;
486 T result = caseSMTMod(smtMod);
487 if (result == null) result = caseSMTIntOperation(smtMod);
488 if (result == null) result = caseSMTTerm(smtMod);
489 if (result == null) result = defaultCase(theEObject);
490 return result;
491 }
492 case SmtLanguagePackage.SMT_ASSERTION:
493 {
494 SMTAssertion smtAssertion = (SMTAssertion)theEObject;
495 T result = caseSMTAssertion(smtAssertion);
496 if (result == null) result = defaultCase(theEObject);
497 return result;
498 }
499 case SmtLanguagePackage.SMT_CARDINALITY_CONSTRAINT:
500 {
501 SMTCardinalityConstraint smtCardinalityConstraint = (SMTCardinalityConstraint)theEObject;
502 T result = caseSMTCardinalityConstraint(smtCardinalityConstraint);
503 if (result == null) result = defaultCase(theEObject);
504 return result;
505 }
506 case SmtLanguagePackage.SMT_SAT_COMMAND:
507 {
508 SMTSatCommand smtSatCommand = (SMTSatCommand)theEObject;
509 T result = caseSMTSatCommand(smtSatCommand);
510 if (result == null) result = defaultCase(theEObject);
511 return result;
512 }
513 case SmtLanguagePackage.SMT_SIMPLE_SAT_COMMAND:
514 {
515 SMTSimpleSatCommand smtSimpleSatCommand = (SMTSimpleSatCommand)theEObject;
516 T result = caseSMTSimpleSatCommand(smtSimpleSatCommand);
517 if (result == null) result = caseSMTSatCommand(smtSimpleSatCommand);
518 if (result == null) result = defaultCase(theEObject);
519 return result;
520 }
521 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND:
522 {
523 SMTComplexSatCommand smtComplexSatCommand = (SMTComplexSatCommand)theEObject;
524 T result = caseSMTComplexSatCommand(smtComplexSatCommand);
525 if (result == null) result = caseSMTSatCommand(smtComplexSatCommand);
526 if (result == null) result = defaultCase(theEObject);
527 return result;
528 }
529 case SmtLanguagePackage.SMT_GET_MODEL_COMMAND:
530 {
531 SMTGetModelCommand smtGetModelCommand = (SMTGetModelCommand)theEObject;
532 T result = caseSMTGetModelCommand(smtGetModelCommand);
533 if (result == null) result = defaultCase(theEObject);
534 return result;
535 }
536 case SmtLanguagePackage.SMT_REASONING_TACTIC:
537 {
538 SMTReasoningTactic smtReasoningTactic = (SMTReasoningTactic)theEObject;
539 T result = caseSMTReasoningTactic(smtReasoningTactic);
540 if (result == null) result = defaultCase(theEObject);
541 return result;
542 }
543 case SmtLanguagePackage.SMT_BUILTIN_TACTIC:
544 {
545 SMTBuiltinTactic smtBuiltinTactic = (SMTBuiltinTactic)theEObject;
546 T result = caseSMTBuiltinTactic(smtBuiltinTactic);
547 if (result == null) result = caseSMTReasoningTactic(smtBuiltinTactic);
548 if (result == null) result = defaultCase(theEObject);
549 return result;
550 }
551 case SmtLanguagePackage.SMT_REASONING_COMBINATOR:
552 {
553 SMTReasoningCombinator smtReasoningCombinator = (SMTReasoningCombinator)theEObject;
554 T result = caseSMTReasoningCombinator(smtReasoningCombinator);
555 if (result == null) result = caseSMTReasoningTactic(smtReasoningCombinator);
556 if (result == null) result = defaultCase(theEObject);
557 return result;
558 }
559 case SmtLanguagePackage.SMT_AND_THEN_COMBINATOR:
560 {
561 SMTAndThenCombinator smtAndThenCombinator = (SMTAndThenCombinator)theEObject;
562 T result = caseSMTAndThenCombinator(smtAndThenCombinator);
563 if (result == null) result = caseSMTReasoningCombinator(smtAndThenCombinator);
564 if (result == null) result = caseSMTReasoningTactic(smtAndThenCombinator);
565 if (result == null) result = defaultCase(theEObject);
566 return result;
567 }
568 case SmtLanguagePackage.SMT_OR_ELSE_COMBINATOR:
569 {
570 SMTOrElseCombinator smtOrElseCombinator = (SMTOrElseCombinator)theEObject;
571 T result = caseSMTOrElseCombinator(smtOrElseCombinator);
572 if (result == null) result = caseSMTReasoningCombinator(smtOrElseCombinator);
573 if (result == null) result = caseSMTReasoningTactic(smtOrElseCombinator);
574 if (result == null) result = defaultCase(theEObject);
575 return result;
576 }
577 case SmtLanguagePackage.SMT_PAR_OR_COMBINATOR:
578 {
579 SMTParOrCombinator smtParOrCombinator = (SMTParOrCombinator)theEObject;
580 T result = caseSMTParOrCombinator(smtParOrCombinator);
581 if (result == null) result = caseSMTReasoningCombinator(smtParOrCombinator);
582 if (result == null) result = caseSMTReasoningTactic(smtParOrCombinator);
583 if (result == null) result = defaultCase(theEObject);
584 return result;
585 }
586 case SmtLanguagePackage.SMT_PAR_THEN_COMBINATOR:
587 {
588 SMTParThenCombinator smtParThenCombinator = (SMTParThenCombinator)theEObject;
589 T result = caseSMTParThenCombinator(smtParThenCombinator);
590 if (result == null) result = caseSMTReasoningCombinator(smtParThenCombinator);
591 if (result == null) result = caseSMTReasoningTactic(smtParThenCombinator);
592 if (result == null) result = defaultCase(theEObject);
593 return result;
594 }
595 case SmtLanguagePackage.SMT_TRY_FOR_COMBINATOR:
596 {
597 SMTTryForCombinator smtTryForCombinator = (SMTTryForCombinator)theEObject;
598 T result = caseSMTTryForCombinator(smtTryForCombinator);
599 if (result == null) result = caseSMTReasoningCombinator(smtTryForCombinator);
600 if (result == null) result = caseSMTReasoningTactic(smtTryForCombinator);
601 if (result == null) result = defaultCase(theEObject);
602 return result;
603 }
604 case SmtLanguagePackage.SMT_IF_COMBINATOR:
605 {
606 SMTIfCombinator smtIfCombinator = (SMTIfCombinator)theEObject;
607 T result = caseSMTIfCombinator(smtIfCombinator);
608 if (result == null) result = caseSMTReasoningCombinator(smtIfCombinator);
609 if (result == null) result = caseSMTReasoningTactic(smtIfCombinator);
610 if (result == null) result = defaultCase(theEObject);
611 return result;
612 }
613 case SmtLanguagePackage.SMT_WHEN_COMBINATOR:
614 {
615 SMTWhenCombinator smtWhenCombinator = (SMTWhenCombinator)theEObject;
616 T result = caseSMTWhenCombinator(smtWhenCombinator);
617 if (result == null) result = caseSMTReasoningCombinator(smtWhenCombinator);
618 if (result == null) result = caseSMTReasoningTactic(smtWhenCombinator);
619 if (result == null) result = defaultCase(theEObject);
620 return result;
621 }
622 case SmtLanguagePackage.SMT_FAIL_IF_COMBINATOR:
623 {
624 SMTFailIfCombinator smtFailIfCombinator = (SMTFailIfCombinator)theEObject;
625 T result = caseSMTFailIfCombinator(smtFailIfCombinator);
626 if (result == null) result = caseSMTReasoningCombinator(smtFailIfCombinator);
627 if (result == null) result = caseSMTReasoningTactic(smtFailIfCombinator);
628 if (result == null) result = defaultCase(theEObject);
629 return result;
630 }
631 case SmtLanguagePackage.SMT_USING_PARAM_COMBINATOR:
632 {
633 SMTUsingParamCombinator smtUsingParamCombinator = (SMTUsingParamCombinator)theEObject;
634 T result = caseSMTUsingParamCombinator(smtUsingParamCombinator);
635 if (result == null) result = caseSMTReasoningCombinator(smtUsingParamCombinator);
636 if (result == null) result = caseSMTReasoningTactic(smtUsingParamCombinator);
637 if (result == null) result = defaultCase(theEObject);
638 return result;
639 }
640 case SmtLanguagePackage.REASONING_PROBE:
641 {
642 ReasoningProbe reasoningProbe = (ReasoningProbe)theEObject;
643 T result = caseReasoningProbe(reasoningProbe);
644 if (result == null) result = defaultCase(theEObject);
645 return result;
646 }
647 case SmtLanguagePackage.REASONING_TACTIC_PARAMETER:
648 {
649 ReasoningTacticParameter reasoningTacticParameter = (ReasoningTacticParameter)theEObject;
650 T result = caseReasoningTacticParameter(reasoningTacticParameter);
651 if (result == null) result = defaultCase(theEObject);
652 return result;
653 }
654 case SmtLanguagePackage.SMT_RESULT:
655 {
656 SMTResult smtResult = (SMTResult)theEObject;
657 T result = caseSMTResult(smtResult);
658 if (result == null) result = defaultCase(theEObject);
659 return result;
660 }
661 case SmtLanguagePackage.SMT_ERROR_RESULT:
662 {
663 SMTErrorResult smtErrorResult = (SMTErrorResult)theEObject;
664 T result = caseSMTErrorResult(smtErrorResult);
665 if (result == null) result = caseSMTResult(smtErrorResult);
666 if (result == null) result = defaultCase(theEObject);
667 return result;
668 }
669 case SmtLanguagePackage.SMT_UNSUPPORTED_RESULT:
670 {
671 SMTUnsupportedResult smtUnsupportedResult = (SMTUnsupportedResult)theEObject;
672 T result = caseSMTUnsupportedResult(smtUnsupportedResult);
673 if (result == null) result = caseSMTResult(smtUnsupportedResult);
674 if (result == null) result = defaultCase(theEObject);
675 return result;
676 }
677 case SmtLanguagePackage.SMT_SAT_RESULT:
678 {
679 SMTSatResult smtSatResult = (SMTSatResult)theEObject;
680 T result = caseSMTSatResult(smtSatResult);
681 if (result == null) result = caseSMTResult(smtSatResult);
682 if (result == null) result = defaultCase(theEObject);
683 return result;
684 }
685 case SmtLanguagePackage.SMT_MODEL_RESULT:
686 {
687 SMTModelResult smtModelResult = (SMTModelResult)theEObject;
688 T result = caseSMTModelResult(smtModelResult);
689 if (result == null) result = caseSMTResult(smtModelResult);
690 if (result == null) result = defaultCase(theEObject);
691 return result;
692 }
693 case SmtLanguagePackage.SMT_STATISTIC_VALUE:
694 {
695 SMTStatisticValue smtStatisticValue = (SMTStatisticValue)theEObject;
696 T result = caseSMTStatisticValue(smtStatisticValue);
697 if (result == null) result = defaultCase(theEObject);
698 return result;
699 }
700 case SmtLanguagePackage.SMT_STATISTIC_INT_VALUE:
701 {
702 SMTStatisticIntValue smtStatisticIntValue = (SMTStatisticIntValue)theEObject;
703 T result = caseSMTStatisticIntValue(smtStatisticIntValue);
704 if (result == null) result = caseSMTStatisticValue(smtStatisticIntValue);
705 if (result == null) result = defaultCase(theEObject);
706 return result;
707 }
708 case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE:
709 {
710 SMTStatisticDoubleValue smtStatisticDoubleValue = (SMTStatisticDoubleValue)theEObject;
711 T result = caseSMTStatisticDoubleValue(smtStatisticDoubleValue);
712 if (result == null) result = caseSMTStatisticValue(smtStatisticDoubleValue);
713 if (result == null) result = defaultCase(theEObject);
714 return result;
715 }
716 case SmtLanguagePackage.SMT_STATISTICS_SECTION:
717 {
718 SMTStatisticsSection smtStatisticsSection = (SMTStatisticsSection)theEObject;
719 T result = caseSMTStatisticsSection(smtStatisticsSection);
720 if (result == null) result = defaultCase(theEObject);
721 return result;
722 }
723 default: return defaultCase(theEObject);
724 }
725 }
726
727 /**
728 * Returns the result of interpreting the object as an instance of '<em>SMT Document</em>'.
729 * <!-- begin-user-doc -->
730 * This implementation returns null;
731 * returning a non-null result will terminate the switch.
732 * <!-- end-user-doc -->
733 * @param object the target of the switch.
734 * @return the result of interpreting the object as an instance of '<em>SMT Document</em>'.
735 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
736 * @generated
737 */
738 public T caseSMTDocument(SMTDocument object)
739 {
740 return null;
741 }
742
743 /**
744 * Returns the result of interpreting the object as an instance of '<em>SMT Input</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>SMT Input</em>'.
751 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
752 * @generated
753 */
754 public T caseSMTInput(SMTInput object)
755 {
756 return null;
757 }
758
759 /**
760 * Returns the result of interpreting the object as an instance of '<em>SMT Output</em>'.
761 * <!-- begin-user-doc -->
762 * This implementation returns null;
763 * returning a non-null result will terminate the switch.
764 * <!-- end-user-doc -->
765 * @param object the target of the switch.
766 * @return the result of interpreting the object as an instance of '<em>SMT Output</em>'.
767 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
768 * @generated
769 */
770 public T caseSMTOutput(SMTOutput object)
771 {
772 return null;
773 }
774
775 /**
776 * Returns the result of interpreting the object as an instance of '<em>SMT Option</em>'.
777 * <!-- begin-user-doc -->
778 * This implementation returns null;
779 * returning a non-null result will terminate the switch.
780 * <!-- end-user-doc -->
781 * @param object the target of the switch.
782 * @return the result of interpreting the object as an instance of '<em>SMT Option</em>'.
783 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
784 * @generated
785 */
786 public T caseSMTOption(SMTOption object)
787 {
788 return null;
789 }
790
791 /**
792 * Returns the result of interpreting the object as an instance of '<em>SMT Type</em>'.
793 * <!-- begin-user-doc -->
794 * This implementation returns null;
795 * returning a non-null result will terminate the switch.
796 * <!-- end-user-doc -->
797 * @param object the target of the switch.
798 * @return the result of interpreting the object as an instance of '<em>SMT Type</em>'.
799 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
800 * @generated
801 */
802 public T caseSMTType(SMTType object)
803 {
804 return null;
805 }
806
807 /**
808 * Returns the result of interpreting the object as an instance of '<em>SMT Enum Literal</em>'.
809 * <!-- begin-user-doc -->
810 * This implementation returns null;
811 * returning a non-null result will terminate the switch.
812 * <!-- end-user-doc -->
813 * @param object the target of the switch.
814 * @return the result of interpreting the object as an instance of '<em>SMT Enum Literal</em>'.
815 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
816 * @generated
817 */
818 public T caseSMTEnumLiteral(SMTEnumLiteral object)
819 {
820 return null;
821 }
822
823 /**
824 * Returns the result of interpreting the object as an instance of '<em>SMT Enumerated Type Declaration</em>'.
825 * <!-- begin-user-doc -->
826 * This implementation returns null;
827 * returning a non-null result will terminate the switch.
828 * <!-- end-user-doc -->
829 * @param object the target of the switch.
830 * @return the result of interpreting the object as an instance of '<em>SMT Enumerated Type Declaration</em>'.
831 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
832 * @generated
833 */
834 public T caseSMTEnumeratedTypeDeclaration(SMTEnumeratedTypeDeclaration object)
835 {
836 return null;
837 }
838
839 /**
840 * Returns the result of interpreting the object as an instance of '<em>SMT Set Type Declaration</em>'.
841 * <!-- begin-user-doc -->
842 * This implementation returns null;
843 * returning a non-null result will terminate the switch.
844 * <!-- end-user-doc -->
845 * @param object the target of the switch.
846 * @return the result of interpreting the object as an instance of '<em>SMT Set Type Declaration</em>'.
847 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
848 * @generated
849 */
850 public T caseSMTSetTypeDeclaration(SMTSetTypeDeclaration object)
851 {
852 return null;
853 }
854
855 /**
856 * Returns the result of interpreting the object as an instance of '<em>SMT Type Reference</em>'.
857 * <!-- begin-user-doc -->
858 * This implementation returns null;
859 * returning a non-null result will terminate the switch.
860 * <!-- end-user-doc -->
861 * @param object the target of the switch.
862 * @return the result of interpreting the object as an instance of '<em>SMT Type Reference</em>'.
863 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
864 * @generated
865 */
866 public T caseSMTTypeReference(SMTTypeReference object)
867 {
868 return null;
869 }
870
871 /**
872 * Returns the result of interpreting the object as an instance of '<em>SMT Complex Type Reference</em>'.
873 * <!-- begin-user-doc -->
874 * This implementation returns null;
875 * returning a non-null result will terminate the switch.
876 * <!-- end-user-doc -->
877 * @param object the target of the switch.
878 * @return the result of interpreting the object as an instance of '<em>SMT Complex Type Reference</em>'.
879 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
880 * @generated
881 */
882 public T caseSMTComplexTypeReference(SMTComplexTypeReference object)
883 {
884 return null;
885 }
886
887 /**
888 * Returns the result of interpreting the object as an instance of '<em>SMT Primitive Type Reference</em>'.
889 * <!-- begin-user-doc -->
890 * This implementation returns null;
891 * returning a non-null result will terminate the switch.
892 * <!-- end-user-doc -->
893 * @param object the target of the switch.
894 * @return the result of interpreting the object as an instance of '<em>SMT Primitive Type Reference</em>'.
895 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
896 * @generated
897 */
898 public T caseSMTPrimitiveTypeReference(SMTPrimitiveTypeReference object)
899 {
900 return null;
901 }
902
903 /**
904 * Returns the result of interpreting the object as an instance of '<em>SMT Int Type Reference</em>'.
905 * <!-- begin-user-doc -->
906 * This implementation returns null;
907 * returning a non-null result will terminate the switch.
908 * <!-- end-user-doc -->
909 * @param object the target of the switch.
910 * @return the result of interpreting the object as an instance of '<em>SMT Int Type Reference</em>'.
911 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
912 * @generated
913 */
914 public T caseSMTIntTypeReference(SMTIntTypeReference object)
915 {
916 return null;
917 }
918
919 /**
920 * Returns the result of interpreting the object as an instance of '<em>SMT Bool Type Reference</em>'.
921 * <!-- begin-user-doc -->
922 * This implementation returns null;
923 * returning a non-null result will terminate the switch.
924 * <!-- end-user-doc -->
925 * @param object the target of the switch.
926 * @return the result of interpreting the object as an instance of '<em>SMT Bool Type Reference</em>'.
927 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
928 * @generated
929 */
930 public T caseSMTBoolTypeReference(SMTBoolTypeReference object)
931 {
932 return null;
933 }
934
935 /**
936 * Returns the result of interpreting the object as an instance of '<em>SMT Real Type Reference</em>'.
937 * <!-- begin-user-doc -->
938 * This implementation returns null;
939 * returning a non-null result will terminate the switch.
940 * <!-- end-user-doc -->
941 * @param object the target of the switch.
942 * @return the result of interpreting the object as an instance of '<em>SMT Real Type Reference</em>'.
943 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
944 * @generated
945 */
946 public T caseSMTRealTypeReference(SMTRealTypeReference object)
947 {
948 return null;
949 }
950
951 /**
952 * Returns the result of interpreting the object as an instance of '<em>SMT Function Declaration</em>'.
953 * <!-- begin-user-doc -->
954 * This implementation returns null;
955 * returning a non-null result will terminate the switch.
956 * <!-- end-user-doc -->
957 * @param object the target of the switch.
958 * @return the result of interpreting the object as an instance of '<em>SMT Function Declaration</em>'.
959 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
960 * @generated
961 */
962 public T caseSMTFunctionDeclaration(SMTFunctionDeclaration object)
963 {
964 return null;
965 }
966
967 /**
968 * Returns the result of interpreting the object as an instance of '<em>SMT Function Definition</em>'.
969 * <!-- begin-user-doc -->
970 * This implementation returns null;
971 * returning a non-null result will terminate the switch.
972 * <!-- end-user-doc -->
973 * @param object the target of the switch.
974 * @return the result of interpreting the object as an instance of '<em>SMT Function Definition</em>'.
975 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
976 * @generated
977 */
978 public T caseSMTFunctionDefinition(SMTFunctionDefinition object)
979 {
980 return null;
981 }
982
983 /**
984 * Returns the result of interpreting the object as an instance of '<em>SMT Term</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>SMT Term</em>'.
991 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
992 * @generated
993 */
994 public T caseSMTTerm(SMTTerm object)
995 {
996 return null;
997 }
998
999 /**
1000 * Returns the result of interpreting the object as an instance of '<em>SMT Symbolic Declaration</em>'.
1001 * <!-- begin-user-doc -->
1002 * This implementation returns null;
1003 * returning a non-null result will terminate the switch.
1004 * <!-- end-user-doc -->
1005 * @param object the target of the switch.
1006 * @return the result of interpreting the object as an instance of '<em>SMT Symbolic Declaration</em>'.
1007 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1008 * @generated
1009 */
1010 public T caseSMTSymbolicDeclaration(SMTSymbolicDeclaration object)
1011 {
1012 return null;
1013 }
1014
1015 /**
1016 * Returns the result of interpreting the object as an instance of '<em>SMT Symbolic Value</em>'.
1017 * <!-- begin-user-doc -->
1018 * This implementation returns null;
1019 * returning a non-null result will terminate the switch.
1020 * <!-- end-user-doc -->
1021 * @param object the target of the switch.
1022 * @return the result of interpreting the object as an instance of '<em>SMT Symbolic Value</em>'.
1023 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1024 * @generated
1025 */
1026 public T caseSMTSymbolicValue(SMTSymbolicValue object)
1027 {
1028 return null;
1029 }
1030
1031 /**
1032 * Returns the result of interpreting the object as an instance of '<em>SMT Atomic Term</em>'.
1033 * <!-- begin-user-doc -->
1034 * This implementation returns null;
1035 * returning a non-null result will terminate the switch.
1036 * <!-- end-user-doc -->
1037 * @param object the target of the switch.
1038 * @return the result of interpreting the object as an instance of '<em>SMT Atomic Term</em>'.
1039 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1040 * @generated
1041 */
1042 public T caseSMTAtomicTerm(SMTAtomicTerm object)
1043 {
1044 return null;
1045 }
1046
1047 /**
1048 * Returns the result of interpreting the object as an instance of '<em>SMT Int Literal</em>'.
1049 * <!-- begin-user-doc -->
1050 * This implementation returns null;
1051 * returning a non-null result will terminate the switch.
1052 * <!-- end-user-doc -->
1053 * @param object the target of the switch.
1054 * @return the result of interpreting the object as an instance of '<em>SMT Int Literal</em>'.
1055 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1056 * @generated
1057 */
1058 public T caseSMTIntLiteral(SMTIntLiteral object)
1059 {
1060 return null;
1061 }
1062
1063 /**
1064 * Returns the result of interpreting the object as an instance of '<em>SMT Bool Literal</em>'.
1065 * <!-- begin-user-doc -->
1066 * This implementation returns null;
1067 * returning a non-null result will terminate the switch.
1068 * <!-- end-user-doc -->
1069 * @param object the target of the switch.
1070 * @return the result of interpreting the object as an instance of '<em>SMT Bool Literal</em>'.
1071 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1072 * @generated
1073 */
1074 public T caseSMTBoolLiteral(SMTBoolLiteral object)
1075 {
1076 return null;
1077 }
1078
1079 /**
1080 * Returns the result of interpreting the object as an instance of '<em>SMT Real Literal</em>'.
1081 * <!-- begin-user-doc -->
1082 * This implementation returns null;
1083 * returning a non-null result will terminate the switch.
1084 * <!-- end-user-doc -->
1085 * @param object the target of the switch.
1086 * @return the result of interpreting the object as an instance of '<em>SMT Real Literal</em>'.
1087 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1088 * @generated
1089 */
1090 public T caseSMTRealLiteral(SMTRealLiteral object)
1091 {
1092 return null;
1093 }
1094
1095 /**
1096 * Returns the result of interpreting the object as an instance of '<em>SMT Sorted Variable</em>'.
1097 * <!-- begin-user-doc -->
1098 * This implementation returns null;
1099 * returning a non-null result will terminate the switch.
1100 * <!-- end-user-doc -->
1101 * @param object the target of the switch.
1102 * @return the result of interpreting the object as an instance of '<em>SMT Sorted Variable</em>'.
1103 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1104 * @generated
1105 */
1106 public T caseSMTSortedVariable(SMTSortedVariable object)
1107 {
1108 return null;
1109 }
1110
1111 /**
1112 * Returns the result of interpreting the object as an instance of '<em>SMT Quantified Expression</em>'.
1113 * <!-- begin-user-doc -->
1114 * This implementation returns null;
1115 * returning a non-null result will terminate the switch.
1116 * <!-- end-user-doc -->
1117 * @param object the target of the switch.
1118 * @return the result of interpreting the object as an instance of '<em>SMT Quantified Expression</em>'.
1119 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1120 * @generated
1121 */
1122 public T caseSMTQuantifiedExpression(SMTQuantifiedExpression object)
1123 {
1124 return null;
1125 }
1126
1127 /**
1128 * Returns the result of interpreting the object as an instance of '<em>SMT Exists</em>'.
1129 * <!-- begin-user-doc -->
1130 * This implementation returns null;
1131 * returning a non-null result will terminate the switch.
1132 * <!-- end-user-doc -->
1133 * @param object the target of the switch.
1134 * @return the result of interpreting the object as an instance of '<em>SMT Exists</em>'.
1135 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1136 * @generated
1137 */
1138 public T caseSMTExists(SMTExists object)
1139 {
1140 return null;
1141 }
1142
1143 /**
1144 * Returns the result of interpreting the object as an instance of '<em>SMT Forall</em>'.
1145 * <!-- begin-user-doc -->
1146 * This implementation returns null;
1147 * returning a non-null result will terminate the switch.
1148 * <!-- end-user-doc -->
1149 * @param object the target of the switch.
1150 * @return the result of interpreting the object as an instance of '<em>SMT Forall</em>'.
1151 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1152 * @generated
1153 */
1154 public T caseSMTForall(SMTForall object)
1155 {
1156 return null;
1157 }
1158
1159 /**
1160 * Returns the result of interpreting the object as an instance of '<em>SMT Bool Operation</em>'.
1161 * <!-- begin-user-doc -->
1162 * This implementation returns null;
1163 * returning a non-null result will terminate the switch.
1164 * <!-- end-user-doc -->
1165 * @param object the target of the switch.
1166 * @return the result of interpreting the object as an instance of '<em>SMT Bool Operation</em>'.
1167 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1168 * @generated
1169 */
1170 public T caseSMTBoolOperation(SMTBoolOperation object)
1171 {
1172 return null;
1173 }
1174
1175 /**
1176 * Returns the result of interpreting the object as an instance of '<em>SMT And</em>'.
1177 * <!-- begin-user-doc -->
1178 * This implementation returns null;
1179 * returning a non-null result will terminate the switch.
1180 * <!-- end-user-doc -->
1181 * @param object the target of the switch.
1182 * @return the result of interpreting the object as an instance of '<em>SMT And</em>'.
1183 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1184 * @generated
1185 */
1186 public T caseSMTAnd(SMTAnd object)
1187 {
1188 return null;
1189 }
1190
1191 /**
1192 * Returns the result of interpreting the object as an instance of '<em>SMT Or</em>'.
1193 * <!-- begin-user-doc -->
1194 * This implementation returns null;
1195 * returning a non-null result will terminate the switch.
1196 * <!-- end-user-doc -->
1197 * @param object the target of the switch.
1198 * @return the result of interpreting the object as an instance of '<em>SMT Or</em>'.
1199 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1200 * @generated
1201 */
1202 public T caseSMTOr(SMTOr object)
1203 {
1204 return null;
1205 }
1206
1207 /**
1208 * Returns the result of interpreting the object as an instance of '<em>SMT Impl</em>'.
1209 * <!-- begin-user-doc -->
1210 * This implementation returns null;
1211 * returning a non-null result will terminate the switch.
1212 * <!-- end-user-doc -->
1213 * @param object the target of the switch.
1214 * @return the result of interpreting the object as an instance of '<em>SMT Impl</em>'.
1215 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1216 * @generated
1217 */
1218 public T caseSMTImpl(SMTImpl object)
1219 {
1220 return null;
1221 }
1222
1223 /**
1224 * Returns the result of interpreting the object as an instance of '<em>SMT Not</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>SMT Not</em>'.
1231 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1232 * @generated
1233 */
1234 public T caseSMTNot(SMTNot object)
1235 {
1236 return null;
1237 }
1238
1239 /**
1240 * Returns the result of interpreting the object as an instance of '<em>SMT Iff</em>'.
1241 * <!-- begin-user-doc -->
1242 * This implementation returns null;
1243 * returning a non-null result will terminate the switch.
1244 * <!-- end-user-doc -->
1245 * @param object the target of the switch.
1246 * @return the result of interpreting the object as an instance of '<em>SMT Iff</em>'.
1247 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1248 * @generated
1249 */
1250 public T caseSMTIff(SMTIff object)
1251 {
1252 return null;
1253 }
1254
1255 /**
1256 * Returns the result of interpreting the object as an instance of '<em>SMTITE</em>'.
1257 * <!-- begin-user-doc -->
1258 * This implementation returns null;
1259 * returning a non-null result will terminate the switch.
1260 * <!-- end-user-doc -->
1261 * @param object the target of the switch.
1262 * @return the result of interpreting the object as an instance of '<em>SMTITE</em>'.
1263 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1264 * @generated
1265 */
1266 public T caseSMTITE(SMTITE object)
1267 {
1268 return null;
1269 }
1270
1271 /**
1272 * Returns the result of interpreting the object as an instance of '<em>SMT Let</em>'.
1273 * <!-- begin-user-doc -->
1274 * This implementation returns null;
1275 * returning a non-null result will terminate the switch.
1276 * <!-- end-user-doc -->
1277 * @param object the target of the switch.
1278 * @return the result of interpreting the object as an instance of '<em>SMT Let</em>'.
1279 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1280 * @generated
1281 */
1282 public T caseSMTLet(SMTLet object)
1283 {
1284 return null;
1285 }
1286
1287 /**
1288 * Returns the result of interpreting the object as an instance of '<em>SMT Inline Constant Definition</em>'.
1289 * <!-- begin-user-doc -->
1290 * This implementation returns null;
1291 * returning a non-null result will terminate the switch.
1292 * <!-- end-user-doc -->
1293 * @param object the target of the switch.
1294 * @return the result of interpreting the object as an instance of '<em>SMT Inline Constant Definition</em>'.
1295 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1296 * @generated
1297 */
1298 public T caseSMTInlineConstantDefinition(SMTInlineConstantDefinition object)
1299 {
1300 return null;
1301 }
1302
1303 /**
1304 * Returns the result of interpreting the object as an instance of '<em>SMT Relation</em>'.
1305 * <!-- begin-user-doc -->
1306 * This implementation returns null;
1307 * returning a non-null result will terminate the switch.
1308 * <!-- end-user-doc -->
1309 * @param object the target of the switch.
1310 * @return the result of interpreting the object as an instance of '<em>SMT Relation</em>'.
1311 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1312 * @generated
1313 */
1314 public T caseSMTRelation(SMTRelation object)
1315 {
1316 return null;
1317 }
1318
1319 /**
1320 * Returns the result of interpreting the object as an instance of '<em>SMT Equals</em>'.
1321 * <!-- begin-user-doc -->
1322 * This implementation returns null;
1323 * returning a non-null result will terminate the switch.
1324 * <!-- end-user-doc -->
1325 * @param object the target of the switch.
1326 * @return the result of interpreting the object as an instance of '<em>SMT Equals</em>'.
1327 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1328 * @generated
1329 */
1330 public T caseSMTEquals(SMTEquals object)
1331 {
1332 return null;
1333 }
1334
1335 /**
1336 * Returns the result of interpreting the object as an instance of '<em>SMT Distinct</em>'.
1337 * <!-- begin-user-doc -->
1338 * This implementation returns null;
1339 * returning a non-null result will terminate the switch.
1340 * <!-- end-user-doc -->
1341 * @param object the target of the switch.
1342 * @return the result of interpreting the object as an instance of '<em>SMT Distinct</em>'.
1343 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1344 * @generated
1345 */
1346 public T caseSMTDistinct(SMTDistinct object)
1347 {
1348 return null;
1349 }
1350
1351 /**
1352 * Returns the result of interpreting the object as an instance of '<em>SMTLT</em>'.
1353 * <!-- begin-user-doc -->
1354 * This implementation returns null;
1355 * returning a non-null result will terminate the switch.
1356 * <!-- end-user-doc -->
1357 * @param object the target of the switch.
1358 * @return the result of interpreting the object as an instance of '<em>SMTLT</em>'.
1359 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1360 * @generated
1361 */
1362 public T caseSMTLT(SMTLT object)
1363 {
1364 return null;
1365 }
1366
1367 /**
1368 * Returns the result of interpreting the object as an instance of '<em>SMTMT</em>'.
1369 * <!-- begin-user-doc -->
1370 * This implementation returns null;
1371 * returning a non-null result will terminate the switch.
1372 * <!-- end-user-doc -->
1373 * @param object the target of the switch.
1374 * @return the result of interpreting the object as an instance of '<em>SMTMT</em>'.
1375 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1376 * @generated
1377 */
1378 public T caseSMTMT(SMTMT object)
1379 {
1380 return null;
1381 }
1382
1383 /**
1384 * Returns the result of interpreting the object as an instance of '<em>SMTLEQ</em>'.
1385 * <!-- begin-user-doc -->
1386 * This implementation returns null;
1387 * returning a non-null result will terminate the switch.
1388 * <!-- end-user-doc -->
1389 * @param object the target of the switch.
1390 * @return the result of interpreting the object as an instance of '<em>SMTLEQ</em>'.
1391 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1392 * @generated
1393 */
1394 public T caseSMTLEQ(SMTLEQ object)
1395 {
1396 return null;
1397 }
1398
1399 /**
1400 * Returns the result of interpreting the object as an instance of '<em>SMTMEQ</em>'.
1401 * <!-- begin-user-doc -->
1402 * This implementation returns null;
1403 * returning a non-null result will terminate the switch.
1404 * <!-- end-user-doc -->
1405 * @param object the target of the switch.
1406 * @return the result of interpreting the object as an instance of '<em>SMTMEQ</em>'.
1407 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1408 * @generated
1409 */
1410 public T caseSMTMEQ(SMTMEQ object)
1411 {
1412 return null;
1413 }
1414
1415 /**
1416 * Returns the result of interpreting the object as an instance of '<em>SMT Int Operation</em>'.
1417 * <!-- begin-user-doc -->
1418 * This implementation returns null;
1419 * returning a non-null result will terminate the switch.
1420 * <!-- end-user-doc -->
1421 * @param object the target of the switch.
1422 * @return the result of interpreting the object as an instance of '<em>SMT Int Operation</em>'.
1423 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1424 * @generated
1425 */
1426 public T caseSMTIntOperation(SMTIntOperation object)
1427 {
1428 return null;
1429 }
1430
1431 /**
1432 * Returns the result of interpreting the object as an instance of '<em>SMT Plus</em>'.
1433 * <!-- begin-user-doc -->
1434 * This implementation returns null;
1435 * returning a non-null result will terminate the switch.
1436 * <!-- end-user-doc -->
1437 * @param object the target of the switch.
1438 * @return the result of interpreting the object as an instance of '<em>SMT Plus</em>'.
1439 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1440 * @generated
1441 */
1442 public T caseSMTPlus(SMTPlus object)
1443 {
1444 return null;
1445 }
1446
1447 /**
1448 * Returns the result of interpreting the object as an instance of '<em>SMT Minus</em>'.
1449 * <!-- begin-user-doc -->
1450 * This implementation returns null;
1451 * returning a non-null result will terminate the switch.
1452 * <!-- end-user-doc -->
1453 * @param object the target of the switch.
1454 * @return the result of interpreting the object as an instance of '<em>SMT Minus</em>'.
1455 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1456 * @generated
1457 */
1458 public T caseSMTMinus(SMTMinus object)
1459 {
1460 return null;
1461 }
1462
1463 /**
1464 * Returns the result of interpreting the object as an instance of '<em>SMT Multiply</em>'.
1465 * <!-- begin-user-doc -->
1466 * This implementation returns null;
1467 * returning a non-null result will terminate the switch.
1468 * <!-- end-user-doc -->
1469 * @param object the target of the switch.
1470 * @return the result of interpreting the object as an instance of '<em>SMT Multiply</em>'.
1471 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1472 * @generated
1473 */
1474 public T caseSMTMultiply(SMTMultiply object)
1475 {
1476 return null;
1477 }
1478
1479 /**
1480 * Returns the result of interpreting the object as an instance of '<em>SMT Divison</em>'.
1481 * <!-- begin-user-doc -->
1482 * This implementation returns null;
1483 * returning a non-null result will terminate the switch.
1484 * <!-- end-user-doc -->
1485 * @param object the target of the switch.
1486 * @return the result of interpreting the object as an instance of '<em>SMT Divison</em>'.
1487 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1488 * @generated
1489 */
1490 public T caseSMTDivison(SMTDivison object)
1491 {
1492 return null;
1493 }
1494
1495 /**
1496 * Returns the result of interpreting the object as an instance of '<em>SMT Div</em>'.
1497 * <!-- begin-user-doc -->
1498 * This implementation returns null;
1499 * returning a non-null result will terminate the switch.
1500 * <!-- end-user-doc -->
1501 * @param object the target of the switch.
1502 * @return the result of interpreting the object as an instance of '<em>SMT Div</em>'.
1503 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1504 * @generated
1505 */
1506 public T caseSMTDiv(SMTDiv object)
1507 {
1508 return null;
1509 }
1510
1511 /**
1512 * Returns the result of interpreting the object as an instance of '<em>SMT Mod</em>'.
1513 * <!-- begin-user-doc -->
1514 * This implementation returns null;
1515 * returning a non-null result will terminate the switch.
1516 * <!-- end-user-doc -->
1517 * @param object the target of the switch.
1518 * @return the result of interpreting the object as an instance of '<em>SMT Mod</em>'.
1519 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1520 * @generated
1521 */
1522 public T caseSMTMod(SMTMod object)
1523 {
1524 return null;
1525 }
1526
1527 /**
1528 * Returns the result of interpreting the object as an instance of '<em>SMT Assertion</em>'.
1529 * <!-- begin-user-doc -->
1530 * This implementation returns null;
1531 * returning a non-null result will terminate the switch.
1532 * <!-- end-user-doc -->
1533 * @param object the target of the switch.
1534 * @return the result of interpreting the object as an instance of '<em>SMT Assertion</em>'.
1535 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1536 * @generated
1537 */
1538 public T caseSMTAssertion(SMTAssertion object)
1539 {
1540 return null;
1541 }
1542
1543 /**
1544 * Returns the result of interpreting the object as an instance of '<em>SMT Cardinality Constraint</em>'.
1545 * <!-- begin-user-doc -->
1546 * This implementation returns null;
1547 * returning a non-null result will terminate the switch.
1548 * <!-- end-user-doc -->
1549 * @param object the target of the switch.
1550 * @return the result of interpreting the object as an instance of '<em>SMT Cardinality Constraint</em>'.
1551 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1552 * @generated
1553 */
1554 public T caseSMTCardinalityConstraint(SMTCardinalityConstraint object)
1555 {
1556 return null;
1557 }
1558
1559 /**
1560 * Returns the result of interpreting the object as an instance of '<em>SMT Sat Command</em>'.
1561 * <!-- begin-user-doc -->
1562 * This implementation returns null;
1563 * returning a non-null result will terminate the switch.
1564 * <!-- end-user-doc -->
1565 * @param object the target of the switch.
1566 * @return the result of interpreting the object as an instance of '<em>SMT Sat Command</em>'.
1567 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1568 * @generated
1569 */
1570 public T caseSMTSatCommand(SMTSatCommand object)
1571 {
1572 return null;
1573 }
1574
1575 /**
1576 * Returns the result of interpreting the object as an instance of '<em>SMT Simple Sat Command</em>'.
1577 * <!-- begin-user-doc -->
1578 * This implementation returns null;
1579 * returning a non-null result will terminate the switch.
1580 * <!-- end-user-doc -->
1581 * @param object the target of the switch.
1582 * @return the result of interpreting the object as an instance of '<em>SMT Simple Sat Command</em>'.
1583 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1584 * @generated
1585 */
1586 public T caseSMTSimpleSatCommand(SMTSimpleSatCommand object)
1587 {
1588 return null;
1589 }
1590
1591 /**
1592 * Returns the result of interpreting the object as an instance of '<em>SMT Complex Sat Command</em>'.
1593 * <!-- begin-user-doc -->
1594 * This implementation returns null;
1595 * returning a non-null result will terminate the switch.
1596 * <!-- end-user-doc -->
1597 * @param object the target of the switch.
1598 * @return the result of interpreting the object as an instance of '<em>SMT Complex Sat Command</em>'.
1599 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1600 * @generated
1601 */
1602 public T caseSMTComplexSatCommand(SMTComplexSatCommand object)
1603 {
1604 return null;
1605 }
1606
1607 /**
1608 * Returns the result of interpreting the object as an instance of '<em>SMT Get Model Command</em>'.
1609 * <!-- begin-user-doc -->
1610 * This implementation returns null;
1611 * returning a non-null result will terminate the switch.
1612 * <!-- end-user-doc -->
1613 * @param object the target of the switch.
1614 * @return the result of interpreting the object as an instance of '<em>SMT Get Model Command</em>'.
1615 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1616 * @generated
1617 */
1618 public T caseSMTGetModelCommand(SMTGetModelCommand object)
1619 {
1620 return null;
1621 }
1622
1623 /**
1624 * Returns the result of interpreting the object as an instance of '<em>SMT Reasoning Tactic</em>'.
1625 * <!-- begin-user-doc -->
1626 * This implementation returns null;
1627 * returning a non-null result will terminate the switch.
1628 * <!-- end-user-doc -->
1629 * @param object the target of the switch.
1630 * @return the result of interpreting the object as an instance of '<em>SMT Reasoning Tactic</em>'.
1631 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1632 * @generated
1633 */
1634 public T caseSMTReasoningTactic(SMTReasoningTactic object)
1635 {
1636 return null;
1637 }
1638
1639 /**
1640 * Returns the result of interpreting the object as an instance of '<em>SMT Builtin Tactic</em>'.
1641 * <!-- begin-user-doc -->
1642 * This implementation returns null;
1643 * returning a non-null result will terminate the switch.
1644 * <!-- end-user-doc -->
1645 * @param object the target of the switch.
1646 * @return the result of interpreting the object as an instance of '<em>SMT Builtin Tactic</em>'.
1647 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1648 * @generated
1649 */
1650 public T caseSMTBuiltinTactic(SMTBuiltinTactic object)
1651 {
1652 return null;
1653 }
1654
1655 /**
1656 * Returns the result of interpreting the object as an instance of '<em>SMT Reasoning Combinator</em>'.
1657 * <!-- begin-user-doc -->
1658 * This implementation returns null;
1659 * returning a non-null result will terminate the switch.
1660 * <!-- end-user-doc -->
1661 * @param object the target of the switch.
1662 * @return the result of interpreting the object as an instance of '<em>SMT Reasoning Combinator</em>'.
1663 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1664 * @generated
1665 */
1666 public T caseSMTReasoningCombinator(SMTReasoningCombinator object)
1667 {
1668 return null;
1669 }
1670
1671 /**
1672 * Returns the result of interpreting the object as an instance of '<em>SMT And Then Combinator</em>'.
1673 * <!-- begin-user-doc -->
1674 * This implementation returns null;
1675 * returning a non-null result will terminate the switch.
1676 * <!-- end-user-doc -->
1677 * @param object the target of the switch.
1678 * @return the result of interpreting the object as an instance of '<em>SMT And Then Combinator</em>'.
1679 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1680 * @generated
1681 */
1682 public T caseSMTAndThenCombinator(SMTAndThenCombinator object)
1683 {
1684 return null;
1685 }
1686
1687 /**
1688 * Returns the result of interpreting the object as an instance of '<em>SMT Or Else Combinator</em>'.
1689 * <!-- begin-user-doc -->
1690 * This implementation returns null;
1691 * returning a non-null result will terminate the switch.
1692 * <!-- end-user-doc -->
1693 * @param object the target of the switch.
1694 * @return the result of interpreting the object as an instance of '<em>SMT Or Else Combinator</em>'.
1695 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1696 * @generated
1697 */
1698 public T caseSMTOrElseCombinator(SMTOrElseCombinator object)
1699 {
1700 return null;
1701 }
1702
1703 /**
1704 * Returns the result of interpreting the object as an instance of '<em>SMT Par Or Combinator</em>'.
1705 * <!-- begin-user-doc -->
1706 * This implementation returns null;
1707 * returning a non-null result will terminate the switch.
1708 * <!-- end-user-doc -->
1709 * @param object the target of the switch.
1710 * @return the result of interpreting the object as an instance of '<em>SMT Par Or Combinator</em>'.
1711 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1712 * @generated
1713 */
1714 public T caseSMTParOrCombinator(SMTParOrCombinator object)
1715 {
1716 return null;
1717 }
1718
1719 /**
1720 * Returns the result of interpreting the object as an instance of '<em>SMT Par Then Combinator</em>'.
1721 * <!-- begin-user-doc -->
1722 * This implementation returns null;
1723 * returning a non-null result will terminate the switch.
1724 * <!-- end-user-doc -->
1725 * @param object the target of the switch.
1726 * @return the result of interpreting the object as an instance of '<em>SMT Par Then Combinator</em>'.
1727 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1728 * @generated
1729 */
1730 public T caseSMTParThenCombinator(SMTParThenCombinator object)
1731 {
1732 return null;
1733 }
1734
1735 /**
1736 * Returns the result of interpreting the object as an instance of '<em>SMT Try For Combinator</em>'.
1737 * <!-- begin-user-doc -->
1738 * This implementation returns null;
1739 * returning a non-null result will terminate the switch.
1740 * <!-- end-user-doc -->
1741 * @param object the target of the switch.
1742 * @return the result of interpreting the object as an instance of '<em>SMT Try For Combinator</em>'.
1743 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1744 * @generated
1745 */
1746 public T caseSMTTryForCombinator(SMTTryForCombinator object)
1747 {
1748 return null;
1749 }
1750
1751 /**
1752 * Returns the result of interpreting the object as an instance of '<em>SMT If Combinator</em>'.
1753 * <!-- begin-user-doc -->
1754 * This implementation returns null;
1755 * returning a non-null result will terminate the switch.
1756 * <!-- end-user-doc -->
1757 * @param object the target of the switch.
1758 * @return the result of interpreting the object as an instance of '<em>SMT If Combinator</em>'.
1759 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1760 * @generated
1761 */
1762 public T caseSMTIfCombinator(SMTIfCombinator object)
1763 {
1764 return null;
1765 }
1766
1767 /**
1768 * Returns the result of interpreting the object as an instance of '<em>SMT When Combinator</em>'.
1769 * <!-- begin-user-doc -->
1770 * This implementation returns null;
1771 * returning a non-null result will terminate the switch.
1772 * <!-- end-user-doc -->
1773 * @param object the target of the switch.
1774 * @return the result of interpreting the object as an instance of '<em>SMT When Combinator</em>'.
1775 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1776 * @generated
1777 */
1778 public T caseSMTWhenCombinator(SMTWhenCombinator object)
1779 {
1780 return null;
1781 }
1782
1783 /**
1784 * Returns the result of interpreting the object as an instance of '<em>SMT Fail If Combinator</em>'.
1785 * <!-- begin-user-doc -->
1786 * This implementation returns null;
1787 * returning a non-null result will terminate the switch.
1788 * <!-- end-user-doc -->
1789 * @param object the target of the switch.
1790 * @return the result of interpreting the object as an instance of '<em>SMT Fail If Combinator</em>'.
1791 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1792 * @generated
1793 */
1794 public T caseSMTFailIfCombinator(SMTFailIfCombinator object)
1795 {
1796 return null;
1797 }
1798
1799 /**
1800 * Returns the result of interpreting the object as an instance of '<em>SMT Using Param Combinator</em>'.
1801 * <!-- begin-user-doc -->
1802 * This implementation returns null;
1803 * returning a non-null result will terminate the switch.
1804 * <!-- end-user-doc -->
1805 * @param object the target of the switch.
1806 * @return the result of interpreting the object as an instance of '<em>SMT Using Param Combinator</em>'.
1807 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1808 * @generated
1809 */
1810 public T caseSMTUsingParamCombinator(SMTUsingParamCombinator object)
1811 {
1812 return null;
1813 }
1814
1815 /**
1816 * Returns the result of interpreting the object as an instance of '<em>Reasoning Probe</em>'.
1817 * <!-- begin-user-doc -->
1818 * This implementation returns null;
1819 * returning a non-null result will terminate the switch.
1820 * <!-- end-user-doc -->
1821 * @param object the target of the switch.
1822 * @return the result of interpreting the object as an instance of '<em>Reasoning Probe</em>'.
1823 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1824 * @generated
1825 */
1826 public T caseReasoningProbe(ReasoningProbe object)
1827 {
1828 return null;
1829 }
1830
1831 /**
1832 * Returns the result of interpreting the object as an instance of '<em>Reasoning Tactic Parameter</em>'.
1833 * <!-- begin-user-doc -->
1834 * This implementation returns null;
1835 * returning a non-null result will terminate the switch.
1836 * <!-- end-user-doc -->
1837 * @param object the target of the switch.
1838 * @return the result of interpreting the object as an instance of '<em>Reasoning Tactic Parameter</em>'.
1839 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1840 * @generated
1841 */
1842 public T caseReasoningTacticParameter(ReasoningTacticParameter object)
1843 {
1844 return null;
1845 }
1846
1847 /**
1848 * Returns the result of interpreting the object as an instance of '<em>SMT Result</em>'.
1849 * <!-- begin-user-doc -->
1850 * This implementation returns null;
1851 * returning a non-null result will terminate the switch.
1852 * <!-- end-user-doc -->
1853 * @param object the target of the switch.
1854 * @return the result of interpreting the object as an instance of '<em>SMT Result</em>'.
1855 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1856 * @generated
1857 */
1858 public T caseSMTResult(SMTResult object)
1859 {
1860 return null;
1861 }
1862
1863 /**
1864 * Returns the result of interpreting the object as an instance of '<em>SMT Error Result</em>'.
1865 * <!-- begin-user-doc -->
1866 * This implementation returns null;
1867 * returning a non-null result will terminate the switch.
1868 * <!-- end-user-doc -->
1869 * @param object the target of the switch.
1870 * @return the result of interpreting the object as an instance of '<em>SMT Error Result</em>'.
1871 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1872 * @generated
1873 */
1874 public T caseSMTErrorResult(SMTErrorResult object)
1875 {
1876 return null;
1877 }
1878
1879 /**
1880 * Returns the result of interpreting the object as an instance of '<em>SMT Unsupported Result</em>'.
1881 * <!-- begin-user-doc -->
1882 * This implementation returns null;
1883 * returning a non-null result will terminate the switch.
1884 * <!-- end-user-doc -->
1885 * @param object the target of the switch.
1886 * @return the result of interpreting the object as an instance of '<em>SMT Unsupported Result</em>'.
1887 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1888 * @generated
1889 */
1890 public T caseSMTUnsupportedResult(SMTUnsupportedResult object)
1891 {
1892 return null;
1893 }
1894
1895 /**
1896 * Returns the result of interpreting the object as an instance of '<em>SMT Sat Result</em>'.
1897 * <!-- begin-user-doc -->
1898 * This implementation returns null;
1899 * returning a non-null result will terminate the switch.
1900 * <!-- end-user-doc -->
1901 * @param object the target of the switch.
1902 * @return the result of interpreting the object as an instance of '<em>SMT Sat Result</em>'.
1903 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1904 * @generated
1905 */
1906 public T caseSMTSatResult(SMTSatResult object)
1907 {
1908 return null;
1909 }
1910
1911 /**
1912 * Returns the result of interpreting the object as an instance of '<em>SMT Model Result</em>'.
1913 * <!-- begin-user-doc -->
1914 * This implementation returns null;
1915 * returning a non-null result will terminate the switch.
1916 * <!-- end-user-doc -->
1917 * @param object the target of the switch.
1918 * @return the result of interpreting the object as an instance of '<em>SMT Model Result</em>'.
1919 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1920 * @generated
1921 */
1922 public T caseSMTModelResult(SMTModelResult object)
1923 {
1924 return null;
1925 }
1926
1927 /**
1928 * Returns the result of interpreting the object as an instance of '<em>SMT Statistic Value</em>'.
1929 * <!-- begin-user-doc -->
1930 * This implementation returns null;
1931 * returning a non-null result will terminate the switch.
1932 * <!-- end-user-doc -->
1933 * @param object the target of the switch.
1934 * @return the result of interpreting the object as an instance of '<em>SMT Statistic Value</em>'.
1935 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1936 * @generated
1937 */
1938 public T caseSMTStatisticValue(SMTStatisticValue object)
1939 {
1940 return null;
1941 }
1942
1943 /**
1944 * Returns the result of interpreting the object as an instance of '<em>SMT Statistic Int Value</em>'.
1945 * <!-- begin-user-doc -->
1946 * This implementation returns null;
1947 * returning a non-null result will terminate the switch.
1948 * <!-- end-user-doc -->
1949 * @param object the target of the switch.
1950 * @return the result of interpreting the object as an instance of '<em>SMT Statistic Int Value</em>'.
1951 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1952 * @generated
1953 */
1954 public T caseSMTStatisticIntValue(SMTStatisticIntValue object)
1955 {
1956 return null;
1957 }
1958
1959 /**
1960 * Returns the result of interpreting the object as an instance of '<em>SMT Statistic Double Value</em>'.
1961 * <!-- begin-user-doc -->
1962 * This implementation returns null;
1963 * returning a non-null result will terminate the switch.
1964 * <!-- end-user-doc -->
1965 * @param object the target of the switch.
1966 * @return the result of interpreting the object as an instance of '<em>SMT Statistic Double Value</em>'.
1967 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1968 * @generated
1969 */
1970 public T caseSMTStatisticDoubleValue(SMTStatisticDoubleValue object)
1971 {
1972 return null;
1973 }
1974
1975 /**
1976 * Returns the result of interpreting the object as an instance of '<em>SMT Statistics Section</em>'.
1977 * <!-- begin-user-doc -->
1978 * This implementation returns null;
1979 * returning a non-null result will terminate the switch.
1980 * <!-- end-user-doc -->
1981 * @param object the target of the switch.
1982 * @return the result of interpreting the object as an instance of '<em>SMT Statistics Section</em>'.
1983 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1984 * @generated
1985 */
1986 public T caseSMTStatisticsSection(SMTStatisticsSection object)
1987 {
1988 return null;
1989 }
1990
1991 /**
1992 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
1993 * <!-- begin-user-doc -->
1994 * This implementation returns null;
1995 * returning a non-null result will terminate the switch, but this is the last case anyway.
1996 * <!-- end-user-doc -->
1997 * @param object the target of the switch.
1998 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
1999 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
2000 * @generated
2001 */
2002 @Override
2003 public T defaultCase(EObject object)
2004 {
2005 return null;
2006 }
2007
2008} //SmtLanguageSwitch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 13:38:42 +0000