From 5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 6 Mar 2019 17:26:43 -0500
Subject: Implement Enum handling and study hierarchy handling

---
 .../vampireLanguage/util/VampireLanguageSwitch.java      | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java')

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 @@
 /**
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.14.0
  */
 package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
 
@@ -152,11 +152,11 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);
         return result;
       }
-      case VampireLanguagePackage.VLS_FUNCTION_FOF:
+      case VampireLanguagePackage.VLS_FUNCTION_AS_TERM:
       {
-        VLSFunctionFof vlsFunctionFof = (VLSFunctionFof)theEObject;
-        T result = caseVLSFunctionFof(vlsFunctionFof);
-        if (result == null) result = caseVLSTerm(vlsFunctionFof);
+        VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject;
+        T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm);
+        if (result == null) result = caseVLSTerm(vlsFunctionAsTerm);
         if (result == null) result = defaultCase(theEObject);
         return result;
       }
@@ -537,17 +537,17 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }
 
   /**
-   * Returns the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'.
+   * Returns the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'.
    * <!-- begin-user-doc -->
    * This implementation returns null;
    * returning a non-null result will terminate the switch.
    * <!-- end-user-doc -->
    * @param object the target of the switch.
-   * @return the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'.
+   * @return the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'.
    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
    * @generated
    */
-  public T caseVLSFunctionFof(VLSFunctionFof object)
+  public T caseVLSFunctionAsTerm(VLSFunctionAsTerm object)
   {
     return null;
   }
-- 
cgit v1.2.3-54-g00ecf