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 | 16 |
1 files changed, 8 insertions, 8 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 24ad4238..3b7106f8 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 | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.util; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.util; |
5 | 5 | ||
@@ -152,11 +152,11 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
152 | if (result == null) result = defaultCase(theEObject); | 152 | if (result == null) result = defaultCase(theEObject); |
153 | return result; | 153 | return result; |
154 | } | 154 | } |
155 | case VampireLanguagePackage.VLS_FUNCTION_FOF: | 155 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: |
156 | { | 156 | { |
157 | VLSFunctionFof vlsFunctionFof = (VLSFunctionFof)theEObject; | 157 | VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject; |
158 | T result = caseVLSFunctionFof(vlsFunctionFof); | 158 | T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm); |
159 | if (result == null) result = caseVLSTerm(vlsFunctionFof); | 159 | if (result == null) result = caseVLSTerm(vlsFunctionAsTerm); |
160 | if (result == null) result = defaultCase(theEObject); | 160 | if (result == null) result = defaultCase(theEObject); |
161 | return result; | 161 | return result; |
162 | } | 162 | } |
@@ -537,17 +537,17 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
537 | } | 537 | } |
538 | 538 | ||
539 | /** | 539 | /** |
540 | * Returns the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'. | 540 | * Returns the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'. |
541 | * <!-- begin-user-doc --> | 541 | * <!-- begin-user-doc --> |
542 | * This implementation returns null; | 542 | * This implementation returns null; |
543 | * returning a non-null result will terminate the switch. | 543 | * returning a non-null result will terminate the switch. |
544 | * <!-- end-user-doc --> | 544 | * <!-- end-user-doc --> |
545 | * @param object the target of the switch. | 545 | * @param object the target of the switch. |
546 | * @return the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'. | 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) | 547 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
548 | * @generated | 548 | * @generated |
549 | */ | 549 | */ |
550 | public T caseVLSFunctionFof(VLSFunctionFof object) | 550 | public T caseVLSFunctionAsTerm(VLSFunctionAsTerm object) |
551 | { | 551 | { |
552 | return null; | 552 | return null; |
553 | } | 553 | } |