From 6cac004e4935f4cdbfaf1004c74ba7604f990ddc 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

---
 .../util/VampireLanguageAdapterFactory.java              | 12 ++++++------
 .../vampireLanguage/util/VampireLanguageSwitch.java      | 16 ++++++++--------
 2 files changed, 14 insertions(+), 14 deletions(-)

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

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
index 41e073ca..1d9a6b22 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
@@ -1,5 +1,5 @@
 /**
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.14.0
  */
 package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
 
@@ -131,9 +131,9 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
         return createVLSVariableAdapter();
       }
       @Override
-      public Adapter caseVLSFunctionFof(VLSFunctionFof object)
+      public Adapter caseVLSFunctionAsTerm(VLSFunctionAsTerm object)
       {
-        return createVLSFunctionFofAdapter();
+        return createVLSFunctionAsTermAdapter();
       }
       @Override
       public Adapter caseVLSDefinedTerm(VLSDefinedTerm object)
@@ -443,16 +443,16 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
   }
 
   /**
-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof <em>VLS Function Fof</em>}'.
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm <em>VLS Function As Term</em>}'.
    * <!-- begin-user-doc -->
    * This default implementation returns null so that we can easily ignore cases;
    * it's useful to ignore a case when inheritance will catch all the cases anyway.
    * <!-- end-user-doc -->
    * @return the new adapter.
-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm
    * @generated
    */
-  public Adapter createVLSFunctionFofAdapter()
+  public Adapter createVLSFunctionAsTermAdapter()
   {
     return null;
   }
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