diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
commit | 10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch) | |
tree | 0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageSwitch.java | |
parent | Migrating Additional projects (diff) | |
download | VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip |
Added generated Xtext artefacts
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.java | 2008 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.*; | ||
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.smtLanguage.SmtLanguagePackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public 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 | ||