diff options
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.java | 116 |
1 files changed, 116 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 index 8d70157d..eddb3b4c 100644 --- 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 | |||
@@ -101,6 +101,35 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
101 | if (result == null) result = defaultCase(theEObject); | 101 | if (result == null) result = defaultCase(theEObject); |
102 | return result; | 102 | return result; |
103 | } | 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_TRYING: | ||
120 | { | ||
121 | VLSTrying vlsTrying = (VLSTrying)theEObject; | ||
122 | T result = caseVLSTrying(vlsTrying); | ||
123 | if (result == null) result = defaultCase(theEObject); | ||
124 | return result; | ||
125 | } | ||
126 | case VampireLanguagePackage.VLS_FINITE_MODEL: | ||
127 | { | ||
128 | VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject; | ||
129 | T result = caseVLSFiniteModel(vlsFiniteModel); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
104 | case VampireLanguagePackage.VLS_FOF_FORMULA: | 133 | case VampireLanguagePackage.VLS_FOF_FORMULA: |
105 | { | 134 | { |
106 | VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; | 135 | VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; |
@@ -108,6 +137,13 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
108 | if (result == null) result = defaultCase(theEObject); | 137 | if (result == null) result = defaultCase(theEObject); |
109 | return result; | 138 | return result; |
110 | } | 139 | } |
140 | case VampireLanguagePackage.VLS_TFF_FORMULA: | ||
141 | { | ||
142 | VLSTffFormula vlsTffFormula = (VLSTffFormula)theEObject; | ||
143 | T result = caseVLSTffFormula(vlsTffFormula); | ||
144 | if (result == null) result = defaultCase(theEObject); | ||
145 | return result; | ||
146 | } | ||
111 | case VampireLanguagePackage.VLS_ANNOTATION: | 147 | case VampireLanguagePackage.VLS_ANNOTATION: |
112 | { | 148 | { |
113 | VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject; | 149 | VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject; |
@@ -403,6 +439,70 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
403 | } | 439 | } |
404 | 440 | ||
405 | /** | 441 | /** |
442 | * Returns the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'. | ||
443 | * <!-- begin-user-doc --> | ||
444 | * This implementation returns null; | ||
445 | * returning a non-null result will terminate the switch. | ||
446 | * <!-- end-user-doc --> | ||
447 | * @param object the target of the switch. | ||
448 | * @return the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'. | ||
449 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
450 | * @generated | ||
451 | */ | ||
452 | public T caseVLSConfirmations(VLSConfirmations object) | ||
453 | { | ||
454 | return null; | ||
455 | } | ||
456 | |||
457 | /** | ||
458 | * Returns the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'. | ||
459 | * <!-- begin-user-doc --> | ||
460 | * This implementation returns null; | ||
461 | * returning a non-null result will terminate the switch. | ||
462 | * <!-- end-user-doc --> | ||
463 | * @param object the target of the switch. | ||
464 | * @return the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'. | ||
465 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
466 | * @generated | ||
467 | */ | ||
468 | public T caseVLSSatisfiable(VLSSatisfiable object) | ||
469 | { | ||
470 | return null; | ||
471 | } | ||
472 | |||
473 | /** | ||
474 | * Returns the result of interpreting the object as an instance of '<em>VLS Trying</em>'. | ||
475 | * <!-- begin-user-doc --> | ||
476 | * This implementation returns null; | ||
477 | * returning a non-null result will terminate the switch. | ||
478 | * <!-- end-user-doc --> | ||
479 | * @param object the target of the switch. | ||
480 | * @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'. | ||
481 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
482 | * @generated | ||
483 | */ | ||
484 | public T caseVLSTrying(VLSTrying object) | ||
485 | { | ||
486 | return null; | ||
487 | } | ||
488 | |||
489 | /** | ||
490 | * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'. | ||
491 | * <!-- begin-user-doc --> | ||
492 | * This implementation returns null; | ||
493 | * returning a non-null result will terminate the switch. | ||
494 | * <!-- end-user-doc --> | ||
495 | * @param object the target of the switch. | ||
496 | * @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'. | ||
497 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
498 | * @generated | ||
499 | */ | ||
500 | public T caseVLSFiniteModel(VLSFiniteModel object) | ||
501 | { | ||
502 | return null; | ||
503 | } | ||
504 | |||
505 | /** | ||
406 | * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. | 506 | * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. |
407 | * <!-- begin-user-doc --> | 507 | * <!-- begin-user-doc --> |
408 | * This implementation returns null; | 508 | * This implementation returns null; |
@@ -419,6 +519,22 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
419 | } | 519 | } |
420 | 520 | ||
421 | /** | 521 | /** |
522 | * Returns the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'. | ||
523 | * <!-- begin-user-doc --> | ||
524 | * This implementation returns null; | ||
525 | * returning a non-null result will terminate the switch. | ||
526 | * <!-- end-user-doc --> | ||
527 | * @param object the target of the switch. | ||
528 | * @return the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'. | ||
529 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
530 | * @generated | ||
531 | */ | ||
532 | public T caseVLSTffFormula(VLSTffFormula object) | ||
533 | { | ||
534 | return null; | ||
535 | } | ||
536 | |||
537 | /** | ||
422 | * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'. | 538 | * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'. |
423 | * <!-- begin-user-doc --> | 539 | * <!-- begin-user-doc --> |
424 | * This implementation returns null; | 540 | * This implementation returns null; |