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.java956
1 files changed, 956 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..3b7106f8
--- /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,956 @@
1/**
2 * generated by Xtext 2.14.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_CONFIRMATIONS:
105 {
106 VLSConfirmations vlsConfirmations = (VLSConfirmations)theEObject;
107 T result = caseVLSConfirmations(vlsConfirmations);
108 if (result == null) result = defaultCase(theEObject);
109 return result;
110 }
111 case VampireLanguagePackage.VLS_SATISFIABLE:
112 {
113 VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;
114 T result = caseVLSSatisfiable(vlsSatisfiable);
115 if (result == null) result = caseVLSConfirmations(vlsSatisfiable);
116 if (result == null) result = defaultCase(theEObject);
117 return result;
118 }
119 case VampireLanguagePackage.VLS_FOF_FORMULA:
120 {
121 VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
122 T result = caseVLSFofFormula(vlsFofFormula);
123 if (result == null) result = defaultCase(theEObject);
124 return result;
125 }
126 case VampireLanguagePackage.VLS_TFF_FORMULA:
127 {
128 VLSTffFormula vlsTffFormula = (VLSTffFormula)theEObject;
129 T result = caseVLSTffFormula(vlsTffFormula);
130 if (result == null) result = defaultCase(theEObject);
131 return result;
132 }
133 case VampireLanguagePackage.VLS_ANNOTATION:
134 {
135 VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;
136 T result = caseVLSAnnotation(vlsAnnotation);
137 if (result == null) result = defaultCase(theEObject);
138 return result;
139 }
140 case VampireLanguagePackage.VLS_TERM:
141 {
142 VLSTerm vlsTerm = (VLSTerm)theEObject;
143 T result = caseVLSTerm(vlsTerm);
144 if (result == null) result = defaultCase(theEObject);
145 return result;
146 }
147 case VampireLanguagePackage.VLS_VARIABLE:
148 {
149 VLSVariable vlsVariable = (VLSVariable)theEObject;
150 T result = caseVLSVariable(vlsVariable);
151 if (result == null) result = caseVLSTerm(vlsVariable);
152 if (result == null) result = defaultCase(theEObject);
153 return result;
154 }
155 case VampireLanguagePackage.VLS_FUNCTION_AS_TERM:
156 {
157 VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject;
158 T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm);
159 if (result == null) result = caseVLSTerm(vlsFunctionAsTerm);
160 if (result == null) result = defaultCase(theEObject);
161 return result;
162 }
163 case VampireLanguagePackage.VLS_DEFINED_TERM:
164 {
165 VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject;
166 T result = caseVLSDefinedTerm(vlsDefinedTerm);
167 if (result == null) result = caseVLSTerm(vlsDefinedTerm);
168 if (result == null) result = defaultCase(theEObject);
169 return result;
170 }
171 case VampireLanguagePackage.VLS_EQUIVALENT:
172 {
173 VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject;
174 T result = caseVLSEquivalent(vlsEquivalent);
175 if (result == null) result = caseVLSTerm(vlsEquivalent);
176 if (result == null) result = defaultCase(theEObject);
177 return result;
178 }
179 case VampireLanguagePackage.VLS_IMPLIES:
180 {
181 VLSImplies vlsImplies = (VLSImplies)theEObject;
182 T result = caseVLSImplies(vlsImplies);
183 if (result == null) result = caseVLSTerm(vlsImplies);
184 if (result == null) result = defaultCase(theEObject);
185 return result;
186 }
187 case VampireLanguagePackage.VLS_REV_IMPLIES:
188 {
189 VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject;
190 T result = caseVLSRevImplies(vlsRevImplies);
191 if (result == null) result = caseVLSTerm(vlsRevImplies);
192 if (result == null) result = defaultCase(theEObject);
193 return result;
194 }
195 case VampireLanguagePackage.VLS_XNOR:
196 {
197 VLSXnor vlsXnor = (VLSXnor)theEObject;
198 T result = caseVLSXnor(vlsXnor);
199 if (result == null) result = caseVLSTerm(vlsXnor);
200 if (result == null) result = defaultCase(theEObject);
201 return result;
202 }
203 case VampireLanguagePackage.VLS_NOR:
204 {
205 VLSNor vlsNor = (VLSNor)theEObject;
206 T result = caseVLSNor(vlsNor);
207 if (result == null) result = caseVLSTerm(vlsNor);
208 if (result == null) result = defaultCase(theEObject);
209 return result;
210 }
211 case VampireLanguagePackage.VLS_NAND:
212 {
213 VLSNand vlsNand = (VLSNand)theEObject;
214 T result = caseVLSNand(vlsNand);
215 if (result == null) result = caseVLSTerm(vlsNand);
216 if (result == null) result = defaultCase(theEObject);
217 return result;
218 }
219 case VampireLanguagePackage.VLS_AND:
220 {
221 VLSAnd vlsAnd = (VLSAnd)theEObject;
222 T result = caseVLSAnd(vlsAnd);
223 if (result == null) result = caseVLSTerm(vlsAnd);
224 if (result == null) result = defaultCase(theEObject);
225 return result;
226 }
227 case VampireLanguagePackage.VLS_OR:
228 {
229 VLSOr vlsOr = (VLSOr)theEObject;
230 T result = caseVLSOr(vlsOr);
231 if (result == null) result = caseVLSTerm(vlsOr);
232 if (result == null) result = defaultCase(theEObject);
233 return result;
234 }
235 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER:
236 {
237 VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject;
238 T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier);
239 if (result == null) result = caseVLSTerm(vlsUniversalQuantifier);
240 if (result == null) result = defaultCase(theEObject);
241 return result;
242 }
243 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER:
244 {
245 VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject;
246 T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier);
247 if (result == null) result = caseVLSTerm(vlsExistentialQuantifier);
248 if (result == null) result = defaultCase(theEObject);
249 return result;
250 }
251 case VampireLanguagePackage.VLS_UNARY_NEGATION:
252 {
253 VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject;
254 T result = caseVLSUnaryNegation(vlsUnaryNegation);
255 if (result == null) result = caseVLSTerm(vlsUnaryNegation);
256 if (result == null) result = defaultCase(theEObject);
257 return result;
258 }
259 case VampireLanguagePackage.VLS_INEQUALITY:
260 {
261 VLSInequality vlsInequality = (VLSInequality)theEObject;
262 T result = caseVLSInequality(vlsInequality);
263 if (result == null) result = caseVLSTerm(vlsInequality);
264 if (result == null) result = defaultCase(theEObject);
265 return result;
266 }
267 case VampireLanguagePackage.VLS_EQUALITY:
268 {
269 VLSEquality vlsEquality = (VLSEquality)theEObject;
270 T result = caseVLSEquality(vlsEquality);
271 if (result == null) result = caseVLSTerm(vlsEquality);
272 if (result == null) result = defaultCase(theEObject);
273 return result;
274 }
275 case VampireLanguagePackage.VLS_ASSIGNMENT:
276 {
277 VLSAssignment vlsAssignment = (VLSAssignment)theEObject;
278 T result = caseVLSAssignment(vlsAssignment);
279 if (result == null) result = caseVLSTerm(vlsAssignment);
280 if (result == null) result = defaultCase(theEObject);
281 return result;
282 }
283 case VampireLanguagePackage.VLS_CONSTANT:
284 {
285 VLSConstant vlsConstant = (VLSConstant)theEObject;
286 T result = caseVLSConstant(vlsConstant);
287 if (result == null) result = caseVLSTerm(vlsConstant);
288 if (result == null) result = defaultCase(theEObject);
289 return result;
290 }
291 case VampireLanguagePackage.VLS_TRUE:
292 {
293 VLSTrue vlsTrue = (VLSTrue)theEObject;
294 T result = caseVLSTrue(vlsTrue);
295 if (result == null) result = caseVLSTerm(vlsTrue);
296 if (result == null) result = defaultCase(theEObject);
297 return result;
298 }
299 case VampireLanguagePackage.VLS_FALSE:
300 {
301 VLSFalse vlsFalse = (VLSFalse)theEObject;
302 T result = caseVLSFalse(vlsFalse);
303 if (result == null) result = caseVLSTerm(vlsFalse);
304 if (result == null) result = defaultCase(theEObject);
305 return result;
306 }
307 case VampireLanguagePackage.VLS_FUNCTION:
308 {
309 VLSFunction vlsFunction = (VLSFunction)theEObject;
310 T result = caseVLSFunction(vlsFunction);
311 if (result == null) result = caseVLSTerm(vlsFunction);
312 if (result == null) result = defaultCase(theEObject);
313 return result;
314 }
315 case VampireLanguagePackage.VLS_LESS:
316 {
317 VLSLess vlsLess = (VLSLess)theEObject;
318 T result = caseVLSLess(vlsLess);
319 if (result == null) result = caseVLSTerm(vlsLess);
320 if (result == null) result = defaultCase(theEObject);
321 return result;
322 }
323 case VampireLanguagePackage.VLS_INT:
324 {
325 VLSInt vlsInt = (VLSInt)theEObject;
326 T result = caseVLSInt(vlsInt);
327 if (result == null) result = caseVLSDefinedTerm(vlsInt);
328 if (result == null) result = caseVLSTerm(vlsInt);
329 if (result == null) result = defaultCase(theEObject);
330 return result;
331 }
332 case VampireLanguagePackage.VLS_REAL:
333 {
334 VLSReal vlsReal = (VLSReal)theEObject;
335 T result = caseVLSReal(vlsReal);
336 if (result == null) result = caseVLSDefinedTerm(vlsReal);
337 if (result == null) result = caseVLSTerm(vlsReal);
338 if (result == null) result = defaultCase(theEObject);
339 return result;
340 }
341 case VampireLanguagePackage.VLS_RATIONAL:
342 {
343 VLSRational vlsRational = (VLSRational)theEObject;
344 T result = caseVLSRational(vlsRational);
345 if (result == null) result = caseVLSDefinedTerm(vlsRational);
346 if (result == null) result = caseVLSTerm(vlsRational);
347 if (result == null) result = defaultCase(theEObject);
348 return result;
349 }
350 case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
351 {
352 VLSDoubleQuote vlsDoubleQuote = (VLSDoubleQuote)theEObject;
353 T result = caseVLSDoubleQuote(vlsDoubleQuote);
354 if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote);
355 if (result == null) result = caseVLSTerm(vlsDoubleQuote);
356 if (result == null) result = defaultCase(theEObject);
357 return result;
358 }
359 default: return defaultCase(theEObject);
360 }
361 }
362
363 /**
364 * Returns the result of interpreting the object as an instance of '<em>Vampire Model</em>'.
365 * <!-- begin-user-doc -->
366 * This implementation returns null;
367 * returning a non-null result will terminate the switch.
368 * <!-- end-user-doc -->
369 * @param object the target of the switch.
370 * @return the result of interpreting the object as an instance of '<em>Vampire Model</em>'.
371 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
372 * @generated
373 */
374 public T caseVampireModel(VampireModel object)
375 {
376 return null;
377 }
378
379 /**
380 * Returns the result of interpreting the object as an instance of '<em>VLS Include</em>'.
381 * <!-- begin-user-doc -->
382 * This implementation returns null;
383 * returning a non-null result will terminate the switch.
384 * <!-- end-user-doc -->
385 * @param object the target of the switch.
386 * @return the result of interpreting the object as an instance of '<em>VLS Include</em>'.
387 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
388 * @generated
389 */
390 public T caseVLSInclude(VLSInclude object)
391 {
392 return null;
393 }
394
395 /**
396 * Returns the result of interpreting the object as an instance of '<em>VLS Name</em>'.
397 * <!-- begin-user-doc -->
398 * This implementation returns null;
399 * returning a non-null result will terminate the switch.
400 * <!-- end-user-doc -->
401 * @param object the target of the switch.
402 * @return the result of interpreting the object as an instance of '<em>VLS Name</em>'.
403 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
404 * @generated
405 */
406 public T caseVLSName(VLSName object)
407 {
408 return null;
409 }
410
411 /**
412 * Returns the result of interpreting the object as an instance of '<em>VLS Comment</em>'.
413 * <!-- begin-user-doc -->
414 * This implementation returns null;
415 * returning a non-null result will terminate the switch.
416 * <!-- end-user-doc -->
417 * @param object the target of the switch.
418 * @return the result of interpreting the object as an instance of '<em>VLS Comment</em>'.
419 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
420 * @generated
421 */
422 public T caseVLSComment(VLSComment object)
423 {
424 return null;
425 }
426
427 /**
428 * Returns the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'.
429 * <!-- begin-user-doc -->
430 * This implementation returns null;
431 * returning a non-null result will terminate the switch.
432 * <!-- end-user-doc -->
433 * @param object the target of the switch.
434 * @return the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'.
435 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
436 * @generated
437 */
438 public T caseVLSConfirmations(VLSConfirmations object)
439 {
440 return null;
441 }
442
443 /**
444 * Returns the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'.
445 * <!-- begin-user-doc -->
446 * This implementation returns null;
447 * returning a non-null result will terminate the switch.
448 * <!-- end-user-doc -->
449 * @param object the target of the switch.
450 * @return the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'.
451 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
452 * @generated
453 */
454 public T caseVLSSatisfiable(VLSSatisfiable object)
455 {
456 return null;
457 }
458
459 /**
460 * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
461 * <!-- begin-user-doc -->
462 * This implementation returns null;
463 * returning a non-null result will terminate the switch.
464 * <!-- end-user-doc -->
465 * @param object the target of the switch.
466 * @return the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
467 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
468 * @generated
469 */
470 public T caseVLSFofFormula(VLSFofFormula object)
471 {
472 return null;
473 }
474
475 /**
476 * Returns the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.
477 * <!-- begin-user-doc -->
478 * This implementation returns null;
479 * returning a non-null result will terminate the switch.
480 * <!-- end-user-doc -->
481 * @param object the target of the switch.
482 * @return the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.
483 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
484 * @generated
485 */
486 public T caseVLSTffFormula(VLSTffFormula object)
487 {
488 return null;
489 }
490
491 /**
492 * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
493 * <!-- begin-user-doc -->
494 * This implementation returns null;
495 * returning a non-null result will terminate the switch.
496 * <!-- end-user-doc -->
497 * @param object the target of the switch.
498 * @return the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
499 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
500 * @generated
501 */
502 public T caseVLSAnnotation(VLSAnnotation object)
503 {
504 return null;
505 }
506
507 /**
508 * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'.
509 * <!-- begin-user-doc -->
510 * This implementation returns null;
511 * returning a non-null result will terminate the switch.
512 * <!-- end-user-doc -->
513 * @param object the target of the switch.
514 * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'.
515 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
516 * @generated
517 */
518 public T caseVLSTerm(VLSTerm object)
519 {
520 return null;
521 }
522
523 /**
524 * Returns the result of interpreting the object as an instance of '<em>VLS Variable</em>'.
525 * <!-- begin-user-doc -->
526 * This implementation returns null;
527 * returning a non-null result will terminate the switch.
528 * <!-- end-user-doc -->
529 * @param object the target of the switch.
530 * @return the result of interpreting the object as an instance of '<em>VLS Variable</em>'.
531 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
532 * @generated
533 */
534 public T caseVLSVariable(VLSVariable object)
535 {
536 return null;
537 }
538
539 /**
540 * Returns the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'.
541 * <!-- begin-user-doc -->
542 * This implementation returns null;
543 * returning a non-null result will terminate the switch.
544 * <!-- end-user-doc -->
545 * @param object the target of the switch.
546 * @return the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'.
547 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
548 * @generated
549 */
550 public T caseVLSFunctionAsTerm(VLSFunctionAsTerm object)
551 {
552 return null;
553 }
554
555 /**
556 * Returns the result of interpreting the object as an instance of '<em>VLS Defined Term</em>'.
557 * <!-- begin-user-doc -->
558 * This implementation returns null;
559 * returning a non-null result will terminate the switch.
560 * <!-- end-user-doc -->
561 * @param object the target of the switch.
562 * @return the result of interpreting the object as an instance of '<em>VLS Defined Term</em>'.
563 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
564 * @generated
565 */
566 public T caseVLSDefinedTerm(VLSDefinedTerm object)
567 {
568 return null;
569 }
570
571 /**
572 * Returns the result of interpreting the object as an instance of '<em>VLS Equivalent</em>'.
573 * <!-- begin-user-doc -->
574 * This implementation returns null;
575 * returning a non-null result will terminate the switch.
576 * <!-- end-user-doc -->
577 * @param object the target of the switch.
578 * @return the result of interpreting the object as an instance of '<em>VLS Equivalent</em>'.
579 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
580 * @generated
581 */
582 public T caseVLSEquivalent(VLSEquivalent object)
583 {
584 return null;
585 }
586
587 /**
588 * Returns the result of interpreting the object as an instance of '<em>VLS Implies</em>'.
589 * <!-- begin-user-doc -->
590 * This implementation returns null;
591 * returning a non-null result will terminate the switch.
592 * <!-- end-user-doc -->
593 * @param object the target of the switch.
594 * @return the result of interpreting the object as an instance of '<em>VLS Implies</em>'.
595 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
596 * @generated
597 */
598 public T caseVLSImplies(VLSImplies object)
599 {
600 return null;
601 }
602
603 /**
604 * Returns the result of interpreting the object as an instance of '<em>VLS Rev Implies</em>'.
605 * <!-- begin-user-doc -->
606 * This implementation returns null;
607 * returning a non-null result will terminate the switch.
608 * <!-- end-user-doc -->
609 * @param object the target of the switch.
610 * @return the result of interpreting the object as an instance of '<em>VLS Rev Implies</em>'.
611 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
612 * @generated
613 */
614 public T caseVLSRevImplies(VLSRevImplies object)
615 {
616 return null;
617 }
618
619 /**
620 * Returns the result of interpreting the object as an instance of '<em>VLS Xnor</em>'.
621 * <!-- begin-user-doc -->
622 * This implementation returns null;
623 * returning a non-null result will terminate the switch.
624 * <!-- end-user-doc -->
625 * @param object the target of the switch.
626 * @return the result of interpreting the object as an instance of '<em>VLS Xnor</em>'.
627 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
628 * @generated
629 */
630 public T caseVLSXnor(VLSXnor object)
631 {
632 return null;
633 }
634
635 /**
636 * Returns the result of interpreting the object as an instance of '<em>VLS Nor</em>'.
637 * <!-- begin-user-doc -->
638 * This implementation returns null;
639 * returning a non-null result will terminate the switch.
640 * <!-- end-user-doc -->
641 * @param object the target of the switch.
642 * @return the result of interpreting the object as an instance of '<em>VLS Nor</em>'.
643 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
644 * @generated
645 */
646 public T caseVLSNor(VLSNor object)
647 {
648 return null;
649 }
650
651 /**
652 * Returns the result of interpreting the object as an instance of '<em>VLS Nand</em>'.
653 * <!-- begin-user-doc -->
654 * This implementation returns null;
655 * returning a non-null result will terminate the switch.
656 * <!-- end-user-doc -->
657 * @param object the target of the switch.
658 * @return the result of interpreting the object as an instance of '<em>VLS Nand</em>'.
659 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
660 * @generated
661 */
662 public T caseVLSNand(VLSNand object)
663 {
664 return null;
665 }
666
667 /**
668 * Returns the result of interpreting the object as an instance of '<em>VLS And</em>'.
669 * <!-- begin-user-doc -->
670 * This implementation returns null;
671 * returning a non-null result will terminate the switch.
672 * <!-- end-user-doc -->
673 * @param object the target of the switch.
674 * @return the result of interpreting the object as an instance of '<em>VLS And</em>'.
675 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
676 * @generated
677 */
678 public T caseVLSAnd(VLSAnd object)
679 {
680 return null;
681 }
682
683 /**
684 * Returns the result of interpreting the object as an instance of '<em>VLS Or</em>'.
685 * <!-- begin-user-doc -->
686 * This implementation returns null;
687 * returning a non-null result will terminate the switch.
688 * <!-- end-user-doc -->
689 * @param object the target of the switch.
690 * @return the result of interpreting the object as an instance of '<em>VLS Or</em>'.
691 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
692 * @generated
693 */
694 public T caseVLSOr(VLSOr object)
695 {
696 return null;
697 }
698
699 /**
700 * Returns the result of interpreting the object as an instance of '<em>VLS Universal Quantifier</em>'.
701 * <!-- begin-user-doc -->
702 * This implementation returns null;
703 * returning a non-null result will terminate the switch.
704 * <!-- end-user-doc -->
705 * @param object the target of the switch.
706 * @return the result of interpreting the object as an instance of '<em>VLS Universal Quantifier</em>'.
707 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
708 * @generated
709 */
710 public T caseVLSUniversalQuantifier(VLSUniversalQuantifier object)
711 {
712 return null;
713 }
714
715 /**
716 * Returns the result of interpreting the object as an instance of '<em>VLS Existential Quantifier</em>'.
717 * <!-- begin-user-doc -->
718 * This implementation returns null;
719 * returning a non-null result will terminate the switch.
720 * <!-- end-user-doc -->
721 * @param object the target of the switch.
722 * @return the result of interpreting the object as an instance of '<em>VLS Existential Quantifier</em>'.
723 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
724 * @generated
725 */
726 public T caseVLSExistentialQuantifier(VLSExistentialQuantifier object)
727 {
728 return null;
729 }
730
731 /**
732 * Returns the result of interpreting the object as an instance of '<em>VLS Unary Negation</em>'.
733 * <!-- begin-user-doc -->
734 * This implementation returns null;
735 * returning a non-null result will terminate the switch.
736 * <!-- end-user-doc -->
737 * @param object the target of the switch.
738 * @return the result of interpreting the object as an instance of '<em>VLS Unary Negation</em>'.
739 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
740 * @generated
741 */
742 public T caseVLSUnaryNegation(VLSUnaryNegation object)
743 {
744 return null;
745 }
746
747 /**
748 * Returns the result of interpreting the object as an instance of '<em>VLS Inequality</em>'.
749 * <!-- begin-user-doc -->
750 * This implementation returns null;
751 * returning a non-null result will terminate the switch.
752 * <!-- end-user-doc -->
753 * @param object the target of the switch.
754 * @return the result of interpreting the object as an instance of '<em>VLS Inequality</em>'.
755 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
756 * @generated
757 */
758 public T caseVLSInequality(VLSInequality object)
759 {
760 return null;
761 }
762
763 /**
764 * Returns the result of interpreting the object as an instance of '<em>VLS Equality</em>'.
765 * <!-- begin-user-doc -->
766 * This implementation returns null;
767 * returning a non-null result will terminate the switch.
768 * <!-- end-user-doc -->
769 * @param object the target of the switch.
770 * @return the result of interpreting the object as an instance of '<em>VLS Equality</em>'.
771 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
772 * @generated
773 */
774 public T caseVLSEquality(VLSEquality object)
775 {
776 return null;
777 }
778
779 /**
780 * Returns the result of interpreting the object as an instance of '<em>VLS Assignment</em>'.
781 * <!-- begin-user-doc -->
782 * This implementation returns null;
783 * returning a non-null result will terminate the switch.
784 * <!-- end-user-doc -->
785 * @param object the target of the switch.
786 * @return the result of interpreting the object as an instance of '<em>VLS Assignment</em>'.
787 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
788 * @generated
789 */
790 public T caseVLSAssignment(VLSAssignment object)
791 {
792 return null;
793 }
794
795 /**
796 * Returns the result of interpreting the object as an instance of '<em>VLS Constant</em>'.
797 * <!-- begin-user-doc -->
798 * This implementation returns null;
799 * returning a non-null result will terminate the switch.
800 * <!-- end-user-doc -->
801 * @param object the target of the switch.
802 * @return the result of interpreting the object as an instance of '<em>VLS Constant</em>'.
803 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
804 * @generated
805 */
806 public T caseVLSConstant(VLSConstant object)
807 {
808 return null;
809 }
810
811 /**
812 * Returns the result of interpreting the object as an instance of '<em>VLS True</em>'.
813 * <!-- begin-user-doc -->
814 * This implementation returns null;
815 * returning a non-null result will terminate the switch.
816 * <!-- end-user-doc -->
817 * @param object the target of the switch.
818 * @return the result of interpreting the object as an instance of '<em>VLS True</em>'.
819 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
820 * @generated
821 */
822 public T caseVLSTrue(VLSTrue object)
823 {
824 return null;
825 }
826
827 /**
828 * Returns the result of interpreting the object as an instance of '<em>VLS False</em>'.
829 * <!-- begin-user-doc -->
830 * This implementation returns null;
831 * returning a non-null result will terminate the switch.
832 * <!-- end-user-doc -->
833 * @param object the target of the switch.
834 * @return the result of interpreting the object as an instance of '<em>VLS False</em>'.
835 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
836 * @generated
837 */
838 public T caseVLSFalse(VLSFalse object)
839 {
840 return null;
841 }
842
843 /**
844 * Returns the result of interpreting the object as an instance of '<em>VLS Function</em>'.
845 * <!-- begin-user-doc -->
846 * This implementation returns null;
847 * returning a non-null result will terminate the switch.
848 * <!-- end-user-doc -->
849 * @param object the target of the switch.
850 * @return the result of interpreting the object as an instance of '<em>VLS Function</em>'.
851 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
852 * @generated
853 */
854 public T caseVLSFunction(VLSFunction object)
855 {
856 return null;
857 }
858
859 /**
860 * Returns the result of interpreting the object as an instance of '<em>VLS Less</em>'.
861 * <!-- begin-user-doc -->
862 * This implementation returns null;
863 * returning a non-null result will terminate the switch.
864 * <!-- end-user-doc -->
865 * @param object the target of the switch.
866 * @return the result of interpreting the object as an instance of '<em>VLS Less</em>'.
867 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
868 * @generated
869 */
870 public T caseVLSLess(VLSLess object)
871 {
872 return null;
873 }
874
875 /**
876 * Returns the result of interpreting the object as an instance of '<em>VLS Int</em>'.
877 * <!-- begin-user-doc -->
878 * This implementation returns null;
879 * returning a non-null result will terminate the switch.
880 * <!-- end-user-doc -->
881 * @param object the target of the switch.
882 * @return the result of interpreting the object as an instance of '<em>VLS Int</em>'.
883 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
884 * @generated
885 */
886 public T caseVLSInt(VLSInt object)
887 {
888 return null;
889 }
890
891 /**
892 * Returns the result of interpreting the object as an instance of '<em>VLS Real</em>'.
893 * <!-- begin-user-doc -->
894 * This implementation returns null;
895 * returning a non-null result will terminate the switch.
896 * <!-- end-user-doc -->
897 * @param object the target of the switch.
898 * @return the result of interpreting the object as an instance of '<em>VLS Real</em>'.
899 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
900 * @generated
901 */
902 public T caseVLSReal(VLSReal object)
903 {
904 return null;
905 }
906
907 /**
908 * Returns the result of interpreting the object as an instance of '<em>VLS Rational</em>'.
909 * <!-- begin-user-doc -->
910 * This implementation returns null;
911 * returning a non-null result will terminate the switch.
912 * <!-- end-user-doc -->
913 * @param object the target of the switch.
914 * @return the result of interpreting the object as an instance of '<em>VLS Rational</em>'.
915 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
916 * @generated
917 */
918 public T caseVLSRational(VLSRational object)
919 {
920 return null;
921 }
922
923 /**
924 * Returns the result of interpreting the object as an instance of '<em>VLS Double Quote</em>'.
925 * <!-- begin-user-doc -->
926 * This implementation returns null;
927 * returning a non-null result will terminate the switch.
928 * <!-- end-user-doc -->
929 * @param object the target of the switch.
930 * @return the result of interpreting the object as an instance of '<em>VLS Double Quote</em>'.
931 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
932 * @generated
933 */
934 public T caseVLSDoubleQuote(VLSDoubleQuote object)
935 {
936 return null;
937 }
938
939 /**
940 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
941 * <!-- begin-user-doc -->
942 * This implementation returns null;
943 * returning a non-null result will terminate the switch, but this is the last case anyway.
944 * <!-- end-user-doc -->
945 * @param object the target of the switch.
946 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
947 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
948 * @generated
949 */
950 @Override
951 public T defaultCase(EObject object)
952 {
953 return null;
954 }
955
956} //VampireLanguageSwitch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-12 09:56:25 +0000