aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java886
1 files changed, 886 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
new file mode 100644
index 00000000..8d70157d
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
@@ -0,0 +1,886 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.*;
7
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.util.Switch;
12
13/**
14 * <!-- begin-user-doc -->
15 * The <b>Switch</b> for the model's inheritance hierarchy.
16 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
17 * to invoke the <code>caseXXX</code> method for each class of the model,
18 * starting with the actual class of the object
19 * and proceeding up the inheritance hierarchy
20 * until a non-null result is returned,
21 * which is the result of the switch.
22 * <!-- end-user-doc -->
23 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
24 * @generated
25 */
26public class VampireLanguageSwitch<T> extends Switch<T>
27{
28 /**
29 * The cached model package
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 protected static VampireLanguagePackage modelPackage;
35
36 /**
37 * Creates an instance of the switch.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 public VampireLanguageSwitch()
43 {
44 if (modelPackage == null)
45 {
46 modelPackage = VampireLanguagePackage.eINSTANCE;
47 }
48 }
49
50 /**
51 * Checks whether this is a switch for the given package.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @param ePackage the package in question.
55 * @return whether this is a switch for the given package.
56 * @generated
57 */
58 @Override
59 protected boolean isSwitchFor(EPackage ePackage)
60 {
61 return ePackage == modelPackage;
62 }
63
64 /**
65 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
66 * <!-- begin-user-doc -->
67 * <!-- end-user-doc -->
68 * @return the first non-null result returned by a <code>caseXXX</code> call.
69 * @generated
70 */
71 @Override
72 protected T doSwitch(int classifierID, EObject theEObject)
73 {
74 switch (classifierID)
75 {
76 case VampireLanguagePackage.VAMPIRE_MODEL:
77 {
78 VampireModel vampireModel = (VampireModel)theEObject;
79 T result = caseVampireModel(vampireModel);
80 if (result == null) result = defaultCase(theEObject);
81 return result;
82 }
83 case VampireLanguagePackage.VLS_INCLUDE:
84 {
85 VLSInclude vlsInclude = (VLSInclude)theEObject;
86 T result = caseVLSInclude(vlsInclude);
87 if (result == null) result = defaultCase(theEObject);
88 return result;
89 }
90 case VampireLanguagePackage.VLS_NAME:
91 {
92 VLSName vlsName = (VLSName)theEObject;
93 T result = caseVLSName(vlsName);
94 if (result == null) result = defaultCase(theEObject);
95 return result;
96 }
97 case VampireLanguagePackage.VLS_COMMENT:
98 {
99 VLSComment vlsComment = (VLSComment)theEObject;
100 T result = caseVLSComment(vlsComment);
101 if (result == null) result = defaultCase(theEObject);
102 return result;
103 }
104 case VampireLanguagePackage.VLS_FOF_FORMULA:
105 {
106 VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
107 T result = caseVLSFofFormula(vlsFofFormula);
108 if (result == null) result = defaultCase(theEObject);
109 return result;
110 }
111 case VampireLanguagePackage.VLS_ANNOTATION:
112 {
113 VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;
114 T result = caseVLSAnnotation(vlsAnnotation);
115 if (result == null) result = defaultCase(theEObject);
116 return result;
117 }
118 case VampireLanguagePackage.VLS_TERM:
119 {
120 VLSTerm vlsTerm = (VLSTerm)theEObject;
121 T result = caseVLSTerm(vlsTerm);
122 if (result == null) result = defaultCase(theEObject);
123 return result;
124 }
125 case VampireLanguagePackage.VLS_VARIABLE:
126 {
127 VLSVariable vlsVariable = (VLSVariable)theEObject;
128 T result = caseVLSVariable(vlsVariable);
129 if (result == null) result = caseVLSTerm(vlsVariable);
130 if (result == null) result = defaultCase(theEObject);
131 return result;
132 }
133 case VampireLanguagePackage.VLS_FUNCTION_FOF:
134 {
135 VLSFunctionFof vlsFunctionFof = (VLSFunctionFof)theEObject;
136 T result = caseVLSFunctionFof(vlsFunctionFof);
137 if (result == null) result = caseVLSTerm(vlsFunctionFof);
138 if (result == null) result = defaultCase(theEObject);
139 return result;
140 }
141 case VampireLanguagePackage.VLS_DEFINED_TERM:
142 {
143 VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject;
144 T result = caseVLSDefinedTerm(vlsDefinedTerm);
145 if (result == null) result = caseVLSTerm(vlsDefinedTerm);
146 if (result == null) result = defaultCase(theEObject);
147 return result;
148 }
149 case VampireLanguagePackage.VLS_EQUIVALENT:
150 {
151 VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject;
152 T result = caseVLSEquivalent(vlsEquivalent);
153 if (result == null) result = caseVLSTerm(vlsEquivalent);
154 if (result == null) result = defaultCase(theEObject);
155 return result;
156 }
157 case VampireLanguagePackage.VLS_IMPLIES:
158 {
159 VLSImplies vlsImplies = (VLSImplies)theEObject;
160 T result = caseVLSImplies(vlsImplies);
161 if (result == null) result = caseVLSTerm(vlsImplies);
162 if (result == null) result = defaultCase(theEObject);
163 return result;
164 }
165 case VampireLanguagePackage.VLS_REV_IMPLIES:
166 {
167 VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject;
168 T result = caseVLSRevImplies(vlsRevImplies);
169 if (result == null) result = caseVLSTerm(vlsRevImplies);
170 if (result == null) result = defaultCase(theEObject);
171 return result;
172 }
173 case VampireLanguagePackage.VLS_XNOR:
174 {
175 VLSXnor vlsXnor = (VLSXnor)theEObject;
176 T result = caseVLSXnor(vlsXnor);
177 if (result == null) result = caseVLSTerm(vlsXnor);
178 if (result == null) result = defaultCase(theEObject);
179 return result;
180 }
181 case VampireLanguagePackage.VLS_NOR:
182 {
183 VLSNor vlsNor = (VLSNor)theEObject;
184 T result = caseVLSNor(vlsNor);
185 if (result == null) result = caseVLSTerm(vlsNor);
186 if (result == null) result = defaultCase(theEObject);
187 return result;
188 }
189 case VampireLanguagePackage.VLS_NAND:
190 {
191 VLSNand vlsNand = (VLSNand)theEObject;
192 T result = caseVLSNand(vlsNand);
193 if (result == null) result = caseVLSTerm(vlsNand);
194 if (result == null) result = defaultCase(theEObject);
195 return result;
196 }
197 case VampireLanguagePackage.VLS_AND:
198 {
199 VLSAnd vlsAnd = (VLSAnd)theEObject;
200 T result = caseVLSAnd(vlsAnd);
201 if (result == null) result = caseVLSTerm(vlsAnd);
202 if (result == null) result = defaultCase(theEObject);
203 return result;
204 }
205 case VampireLanguagePackage.VLS_OR:
206 {
207 VLSOr vlsOr = (VLSOr)theEObject;
208 T result = caseVLSOr(vlsOr);
209 if (result == null) result = caseVLSTerm(vlsOr);
210 if (result == null) result = defaultCase(theEObject);
211 return result;
212 }
213 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER:
214 {
215 VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject;
216 T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier);
217 if (result == null) result = caseVLSTerm(vlsUniversalQuantifier);
218 if (result == null) result = defaultCase(theEObject);
219 return result;
220 }
221 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER:
222 {
223 VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject;
224 T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier);
225 if (result == null) result = caseVLSTerm(vlsExistentialQuantifier);
226 if (result == null) result = defaultCase(theEObject);
227 return result;
228 }
229 case VampireLanguagePackage.VLS_UNARY_NEGATION:
230 {
231 VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject;
232 T result = caseVLSUnaryNegation(vlsUnaryNegation);
233 if (result == null) result = caseVLSTerm(vlsUnaryNegation);
234 if (result == null) result = defaultCase(theEObject);
235 return result;
236 }
237 case VampireLanguagePackage.VLS_INEQUALITY:
238 {
239 VLSInequality vlsInequality = (VLSInequality)theEObject;
240 T result = caseVLSInequality(vlsInequality);
241 if (result == null) result = caseVLSTerm(vlsInequality);
242 if (result == null) result = defaultCase(theEObject);
243 return result;
244 }
245 case VampireLanguagePackage.VLS_EQUALITY:
246 {
247 VLSEquality vlsEquality = (VLSEquality)theEObject;
248 T result = caseVLSEquality(vlsEquality);
249 if (result == null) result = caseVLSTerm(vlsEquality);
250 if (result == null) result = defaultCase(theEObject);
251 return result;
252 }
253 case VampireLanguagePackage.VLS_ASSIGNMENT:
254 {
255 VLSAssignment vlsAssignment = (VLSAssignment)theEObject;
256 T result = caseVLSAssignment(vlsAssignment);
257 if (result == null) result = caseVLSTerm(vlsAssignment);
258 if (result == null) result = defaultCase(theEObject);
259 return result;
260 }
261 case VampireLanguagePackage.VLS_CONSTANT:
262 {
263 VLSConstant vlsConstant = (VLSConstant)theEObject;
264 T result = caseVLSConstant(vlsConstant);
265 if (result == null) result = caseVLSTerm(vlsConstant);
266 if (result == null) result = defaultCase(theEObject);
267 return result;
268 }
269 case VampireLanguagePackage.VLS_TRUE:
270 {
271 VLSTrue vlsTrue = (VLSTrue)theEObject;
272 T result = caseVLSTrue(vlsTrue);
273 if (result == null) result = caseVLSTerm(vlsTrue);
274 if (result == null) result = defaultCase(theEObject);
275 return result;
276 }
277 case VampireLanguagePackage.VLS_FALSE:
278 {
279 VLSFalse vlsFalse = (VLSFalse)theEObject;
280 T result = caseVLSFalse(vlsFalse);
281 if (result == null) result = caseVLSTerm(vlsFalse);
282 if (result == null) result = defaultCase(theEObject);
283 return result;
284 }
285 case VampireLanguagePackage.VLS_FUNCTION:
286 {
287 VLSFunction vlsFunction = (VLSFunction)theEObject;
288 T result = caseVLSFunction(vlsFunction);
289 if (result == null) result = caseVLSTerm(vlsFunction);
290 if (result == null) result = defaultCase(theEObject);
291 return result;
292 }
293 case VampireLanguagePackage.VLS_LESS:
294 {
295 VLSLess vlsLess = (VLSLess)theEObject;
296 T result = caseVLSLess(vlsLess);
297 if (result == null) result = caseVLSTerm(vlsLess);
298 if (result == null) result = defaultCase(theEObject);
299 return result;
300 }
301 case VampireLanguagePackage.VLS_INT:
302 {
303 VLSInt vlsInt = (VLSInt)theEObject;
304 T result = caseVLSInt(vlsInt);
305 if (result == null) result = caseVLSDefinedTerm(vlsInt);
306 if (result == null) result = caseVLSTerm(vlsInt);
307 if (result == null) result = defaultCase(theEObject);
308 return result;
309 }
310 case VampireLanguagePackage.VLS_REAL:
311 {
312 VLSReal vlsReal = (VLSReal)theEObject;
313 T result = caseVLSReal(vlsReal);
314 if (result == null) result = caseVLSDefinedTerm(vlsReal);
315 if (result == null) result = caseVLSTerm(vlsReal);
316 if (result == null) result = defaultCase(theEObject);
317 return result;
318 }
319 case VampireLanguagePackage.VLS_RATIONAL:
320 {
321 VLSRational vlsRational = (VLSRational)theEObject;
322 T result = caseVLSRational(vlsRational);
323 if (result == null) result = caseVLSDefinedTerm(vlsRational);
324 if (result == null) result = caseVLSTerm(vlsRational);
325 if (result == null) result = defaultCase(theEObject);
326 return result;
327 }
328 case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
329 {
330 VLSDoubleQuote vlsDoubleQuote = (VLSDoubleQuote)theEObject;
331 T result = caseVLSDoubleQuote(vlsDoubleQuote);
332 if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote);
333 if (result == null) result = caseVLSTerm(vlsDoubleQuote);
334 if (result == null) result = defaultCase(theEObject);
335 return result;
336 }
337 default: return defaultCase(theEObject);
338 }
339 }
340
341 /**
342 * Returns the result of interpreting the object as an instance of '<em>Vampire Model</em>'.
343 * <!-- begin-user-doc -->
344 * This implementation returns null;
345 * returning a non-null result will terminate the switch.
346 * <!-- end-user-doc -->
347 * @param object the target of the switch.
348 * @return the result of interpreting the object as an instance of '<em>Vampire Model</em>'.
349 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
350 * @generated
351 */
352 public T caseVampireModel(VampireModel object)
353 {
354 return null;
355 }
356
357 /**
358 * Returns the result of interpreting the object as an instance of '<em>VLS Include</em>'.
359 * <!-- begin-user-doc -->
360 * This implementation returns null;
361 * returning a non-null result will terminate the switch.
362 * <!-- end-user-doc -->
363 * @param object the target of the switch.
364 * @return the result of interpreting the object as an instance of '<em>VLS Include</em>'.
365 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
366 * @generated
367 */
368 public T caseVLSInclude(VLSInclude object)
369 {
370 return null;
371 }
372
373 /**
374 * Returns the result of interpreting the object as an instance of '<em>VLS Name</em>'.
375 * <!-- begin-user-doc -->
376 * This implementation returns null;
377 * returning a non-null result will terminate the switch.
378 * <!-- end-user-doc -->
379 * @param object the target of the switch.
380 * @return the result of interpreting the object as an instance of '<em>VLS Name</em>'.
381 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
382 * @generated
383 */
384 public T caseVLSName(VLSName object)
385 {
386 return null;
387 }
388
389 /**
390 * Returns the result of interpreting the object as an instance of '<em>VLS Comment</em>'.
391 * <!-- begin-user-doc -->
392 * This implementation returns null;
393 * returning a non-null result will terminate the switch.
394 * <!-- end-user-doc -->
395 * @param object the target of the switch.
396 * @return the result of interpreting the object as an instance of '<em>VLS Comment</em>'.
397 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
398 * @generated
399 */
400 public T caseVLSComment(VLSComment object)
401 {
402 return null;
403 }
404
405 /**
406 * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
407 * <!-- begin-user-doc -->
408 * This implementation returns null;
409 * returning a non-null result will terminate the switch.
410 * <!-- end-user-doc -->
411 * @param object the target of the switch.
412 * @return the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
413 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
414 * @generated
415 */
416 public T caseVLSFofFormula(VLSFofFormula object)
417 {
418 return null;
419 }
420
421 /**
422 * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
423 * <!-- begin-user-doc -->
424 * This implementation returns null;
425 * returning a non-null result will terminate the switch.
426 * <!-- end-user-doc -->
427 * @param object the target of the switch.
428 * @return the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
429 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
430 * @generated
431 */
432 public T caseVLSAnnotation(VLSAnnotation object)
433 {
434 return null;
435 }
436
437 /**
438 * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'.
439 * <!-- begin-user-doc -->
440 * This implementation returns null;
441 * returning a non-null result will terminate the switch.
442 * <!-- end-user-doc -->
443 * @param object the target of the switch.
444 * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'.
445 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
446 * @generated
447 */
448 public T caseVLSTerm(VLSTerm object)
449 {
450 return null;
451 }
452
453 /**
454 * Returns the result of interpreting the object as an instance of '<em>VLS Variable</em>'.
455 * <!-- begin-user-doc -->
456 * This implementation returns null;
457 * returning a non-null result will terminate the switch.
458 * <!-- end-user-doc -->
459 * @param object the target of the switch.
460 * @return the result of interpreting the object as an instance of '<em>VLS Variable</em>'.
461 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
462 * @generated
463 */
464 public T caseVLSVariable(VLSVariable object)
465 {
466 return null;
467 }
468
469 /**
470 * Returns the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'.
471 * <!-- begin-user-doc -->
472 * This implementation returns null;
473 * returning a non-null result will terminate the switch.
474 * <!-- end-user-doc -->
475 * @param object the target of the switch.
476 * @return the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'.
477 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
478 * @generated
479 */
480 public T caseVLSFunctionFof(VLSFunctionFof object)
481 {
482 return null;
483 }
484
485 /**
486 * Returns the result of interpreting the object as an instance of '<em>VLS Defined Term</em>'.
487 * <!-- begin-user-doc -->
488 * This implementation returns null;
489 * returning a non-null result will terminate the switch.
490 * <!-- end-user-doc -->
491 * @param object the target of the switch.
492 * @return the result of interpreting the object as an instance of '<em>VLS Defined Term</em>'.
493 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
494 * @generated
495 */
496 public T caseVLSDefinedTerm(VLSDefinedTerm object)
497 {
498 return null;
499 }
500
501 /**
502 * Returns the result of interpreting the object as an instance of '<em>VLS Equivalent</em>'.
503 * <!-- begin-user-doc -->
504 * This implementation returns null;
505 * returning a non-null result will terminate the switch.
506 * <!-- end-user-doc -->
507 * @param object the target of the switch.
508 * @return the result of interpreting the object as an instance of '<em>VLS Equivalent</em>'.
509 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
510 * @generated
511 */
512 public T caseVLSEquivalent(VLSEquivalent object)
513 {
514 return null;
515 }
516
517 /**
518 * Returns the result of interpreting the object as an instance of '<em>VLS Implies</em>'.
519 * <!-- begin-user-doc -->
520 * This implementation returns null;
521 * returning a non-null result will terminate the switch.
522 * <!-- end-user-doc -->
523 * @param object the target of the switch.
524 * @return the result of interpreting the object as an instance of '<em>VLS Implies</em>'.
525 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
526 * @generated
527 */
528 public T caseVLSImplies(VLSImplies object)
529 {
530 return null;
531 }
532
533 /**
534 * Returns the result of interpreting the object as an instance of '<em>VLS Rev Implies</em>'.
535 * <!-- begin-user-doc -->
536 * This implementation returns null;
537 * returning a non-null result will terminate the switch.
538 * <!-- end-user-doc -->
539 * @param object the target of the switch.
540 * @return the result of interpreting the object as an instance of '<em>VLS Rev Implies</em>'.
541 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
542 * @generated
543 */
544 public T caseVLSRevImplies(VLSRevImplies object)
545 {
546 return null;
547 }
548
549 /**
550 * Returns the result of interpreting the object as an instance of '<em>VLS Xnor</em>'.
551 * <!-- begin-user-doc -->
552 * This implementation returns null;
553 * returning a non-null result will terminate the switch.
554 * <!-- end-user-doc -->
555 * @param object the target of the switch.
556 * @return the result of interpreting the object as an instance of '<em>VLS Xnor</em>'.
557 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
558 * @generated
559 */
560 public T caseVLSXnor(VLSXnor object)
561 {
562 return null;
563 }
564
565 /**
566 * Returns the result of interpreting the object as an instance of '<em>VLS Nor</em>'.
567 * <!-- begin-user-doc -->
568 * This implementation returns null;
569 * returning a non-null result will terminate the switch.
570 * <!-- end-user-doc -->
571 * @param object the target of the switch.
572 * @return the result of interpreting the object as an instance of '<em>VLS Nor</em>'.
573 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
574 * @generated
575 */
576 public T caseVLSNor(VLSNor object)
577 {
578 return null;
579 }
580
581 /**
582 * Returns the result of interpreting the object as an instance of '<em>VLS Nand</em>'.
583 * <!-- begin-user-doc -->
584 * This implementation returns null;
585 * returning a non-null result will terminate the switch.
586 * <!-- end-user-doc -->
587 * @param object the target of the switch.
588 * @return the result of interpreting the object as an instance of '<em>VLS Nand</em>'.
589 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
590 * @generated
591 */
592 public T caseVLSNand(VLSNand object)
593 {
594 return null;
595 }
596
597 /**
598 * Returns the result of interpreting the object as an instance of '<em>VLS And</em>'.
599 * <!-- begin-user-doc -->
600 * This implementation returns null;
601 * returning a non-null result will terminate the switch.
602 * <!-- end-user-doc -->
603 * @param object the target of the switch.
604 * @return the result of interpreting the object as an instance of '<em>VLS And</em>'.
605 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
606 * @generated
607 */
608 public T caseVLSAnd(VLSAnd object)
609 {
610 return null;
611 }
612
613 /**
614 * Returns the result of interpreting the object as an instance of '<em>VLS Or</em>'.
615 * <!-- begin-user-doc -->
616 * This implementation returns null;
617 * returning a non-null result will terminate the switch.
618 * <!-- end-user-doc -->
619 * @param object the target of the switch.
620 * @return the result of interpreting the object as an instance of '<em>VLS Or</em>'.
621 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
622 * @generated
623 */
624 public T caseVLSOr(VLSOr object)
625 {
626 return null;
627 }
628
629 /**
630 * Returns the result of interpreting the object as an instance of '<em>VLS Universal Quantifier</em>'.
631 * <!-- begin-user-doc -->
632 * This implementation returns null;
633 * returning a non-null result will terminate the switch.
634 * <!-- end-user-doc -->
635 * @param object the target of the switch.
636 * @return the result of interpreting the object as an instance of '<em>VLS Universal Quantifier</em>'.
637 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
638 * @generated
639 */
640 public T caseVLSUniversalQuantifier(VLSUniversalQuantifier object)
641 {
642 return null;
643 }
644
645 /**
646 * Returns the result of interpreting the object as an instance of '<em>VLS Existential Quantifier</em>'.
647 * <!-- begin-user-doc -->
648 * This implementation returns null;
649 * returning a non-null result will terminate the switch.
650 * <!-- end-user-doc -->
651 * @param object the target of the switch.
652 * @return the result of interpreting the object as an instance of '<em>VLS Existential Quantifier</em>'.
653 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
654 * @generated
655 */
656 public T caseVLSExistentialQuantifier(VLSExistentialQuantifier object)
657 {
658 return null;
659 }
660
661 /**
662 * Returns the result of interpreting the object as an instance of '<em>VLS Unary Negation</em>'.
663 * <!-- begin-user-doc -->
664 * This implementation returns null;
665 * returning a non-null result will terminate the switch.
666 * <!-- end-user-doc -->
667 * @param object the target of the switch.
668 * @return the result of interpreting the object as an instance of '<em>VLS Unary Negation</em>'.
669 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
670 * @generated
671 */
672 public T caseVLSUnaryNegation(VLSUnaryNegation object)
673 {
674 return null;
675 }
676
677 /**
678 * Returns the result of interpreting the object as an instance of '<em>VLS Inequality</em>'.
679 * <!-- begin-user-doc -->
680 * This implementation returns null;
681 * returning a non-null result will terminate the switch.
682 * <!-- end-user-doc -->
683 * @param object the target of the switch.
684 * @return the result of interpreting the object as an instance of '<em>VLS Inequality</em>'.
685 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
686 * @generated
687 */
688 public T caseVLSInequality(VLSInequality object)
689 {
690 return null;
691 }
692
693 /**
694 * Returns the result of interpreting the object as an instance of '<em>VLS Equality</em>'.
695 * <!-- begin-user-doc -->
696 * This implementation returns null;
697 * returning a non-null result will terminate the switch.
698 * <!-- end-user-doc -->
699 * @param object the target of the switch.
700 * @return the result of interpreting the object as an instance of '<em>VLS Equality</em>'.
701 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
702 * @generated
703 */
704 public T caseVLSEquality(VLSEquality object)
705 {
706 return null;
707 }
708
709 /**
710 * Returns the result of interpreting the object as an instance of '<em>VLS Assignment</em>'.
711 * <!-- begin-user-doc -->
712 * This implementation returns null;
713 * returning a non-null result will terminate the switch.
714 * <!-- end-user-doc -->
715 * @param object the target of the switch.
716 * @return the result of interpreting the object as an instance of '<em>VLS Assignment</em>'.
717 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
718 * @generated
719 */
720 public T caseVLSAssignment(VLSAssignment object)
721 {
722 return null;
723 }
724
725 /**
726 * Returns the result of interpreting the object as an instance of '<em>VLS Constant</em>'.
727 * <!-- begin-user-doc -->
728 * This implementation returns null;
729 * returning a non-null result will terminate the switch.
730 * <!-- end-user-doc -->
731 * @param object the target of the switch.
732 * @return the result of interpreting the object as an instance of '<em>VLS Constant</em>'.
733 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
734 * @generated
735 */
736 public T caseVLSConstant(VLSConstant object)
737 {
738 return null;
739 }
740
741 /**
742 * Returns the result of interpreting the object as an instance of '<em>VLS True</em>'.
743 * <!-- begin-user-doc -->
744 * This implementation returns null;
745 * returning a non-null result will terminate the switch.
746 * <!-- end-user-doc -->
747 * @param object the target of the switch.
748 * @return the result of interpreting the object as an instance of '<em>VLS True</em>'.
749 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
750 * @generated
751 */
752 public T caseVLSTrue(VLSTrue object)
753 {
754 return null;
755 }
756
757 /**
758 * Returns the result of interpreting the object as an instance of '<em>VLS False</em>'.
759 * <!-- begin-user-doc -->
760 * This implementation returns null;
761 * returning a non-null result will terminate the switch.
762 * <!-- end-user-doc -->
763 * @param object the target of the switch.
764 * @return the result of interpreting the object as an instance of '<em>VLS False</em>'.
765 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
766 * @generated
767 */
768 public T caseVLSFalse(VLSFalse object)
769 {
770 return null;
771 }
772
773 /**
774 * Returns the result of interpreting the object as an instance of '<em>VLS Function</em>'.
775 * <!-- begin-user-doc -->
776 * This implementation returns null;
777 * returning a non-null result will terminate the switch.
778 * <!-- end-user-doc -->
779 * @param object the target of the switch.
780 * @return the result of interpreting the object as an instance of '<em>VLS Function</em>'.
781 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
782 * @generated
783 */
784 public T caseVLSFunction(VLSFunction object)
785 {
786 return null;
787 }
788
789 /**
790 * Returns the result of interpreting the object as an instance of '<em>VLS Less</em>'.
791 * <!-- begin-user-doc -->
792 * This implementation returns null;
793 * returning a non-null result will terminate the switch.
794 * <!-- end-user-doc -->
795 * @param object the target of the switch.
796 * @return the result of interpreting the object as an instance of '<em>VLS Less</em>'.
797 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
798 * @generated
799 */
800 public T caseVLSLess(VLSLess object)
801 {
802 return null;
803 }
804
805 /**
806 * Returns the result of interpreting the object as an instance of '<em>VLS Int</em>'.
807 * <!-- begin-user-doc -->
808 * This implementation returns null;
809 * returning a non-null result will terminate the switch.
810 * <!-- end-user-doc -->
811 * @param object the target of the switch.
812 * @return the result of interpreting the object as an instance of '<em>VLS Int</em>'.
813 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
814 * @generated
815 */
816 public T caseVLSInt(VLSInt object)
817 {
818 return null;
819 }
820
821 /**
822 * Returns the result of interpreting the object as an instance of '<em>VLS Real</em>'.
823 * <!-- begin-user-doc -->
824 * This implementation returns null;
825 * returning a non-null result will terminate the switch.
826 * <!-- end-user-doc -->
827 * @param object the target of the switch.
828 * @return the result of interpreting the object as an instance of '<em>VLS Real</em>'.
829 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
830 * @generated
831 */
832 public T caseVLSReal(VLSReal object)
833 {
834 return null;
835 }
836
837 /**
838 * Returns the result of interpreting the object as an instance of '<em>VLS Rational</em>'.
839 * <!-- begin-user-doc -->
840 * This implementation returns null;
841 * returning a non-null result will terminate the switch.
842 * <!-- end-user-doc -->
843 * @param object the target of the switch.
844 * @return the result of interpreting the object as an instance of '<em>VLS Rational</em>'.
845 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
846 * @generated
847 */
848 public T caseVLSRational(VLSRational object)
849 {
850 return null;
851 }
852
853 /**
854 * Returns the result of interpreting the object as an instance of '<em>VLS Double Quote</em>'.
855 * <!-- begin-user-doc -->
856 * This implementation returns null;
857 * returning a non-null result will terminate the switch.
858 * <!-- end-user-doc -->
859 * @param object the target of the switch.
860 * @return the result of interpreting the object as an instance of '<em>VLS Double Quote</em>'.
861 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
862 * @generated
863 */
864 public T caseVLSDoubleQuote(VLSDoubleQuote object)
865 {
866 return null;
867 }
868
869 /**
870 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
871 * <!-- begin-user-doc -->
872 * This implementation returns null;
873 * returning a non-null result will terminate the switch, but this is the last case anyway.
874 * <!-- end-user-doc -->
875 * @param object the target of the switch.
876 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
877 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
878 * @generated
879 */
880 @Override
881 public T defaultCase(EObject object)
882 {
883 return null;
884 }
885
886} //VampireLanguageSwitch
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-04 22:58:25 +0000