From 2c05097ccbeeadd70b20f5001ebeb22ffdc465de Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 4 Mar 2019 17:31:16 -0500
Subject: Begin handing of scope and fix type definitions.

---
 .../util/VampireLanguageSwitch.java                | 46 ----------------------
 1 file changed, 46 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 eddb3b4c..24ad4238 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
@@ -116,20 +116,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);
         return result;
       }
-      case VampireLanguagePackage.VLS_TRYING:
-      {
-        VLSTrying vlsTrying = (VLSTrying)theEObject;
-        T result = caseVLSTrying(vlsTrying);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case VampireLanguagePackage.VLS_FINITE_MODEL:
-      {
-        VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject;
-        T result = caseVLSFiniteModel(vlsFiniteModel);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
       case VampireLanguagePackage.VLS_FOF_FORMULA:
       {
         VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
@@ -470,38 +456,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
     return null;
   }
 
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>VLS Trying</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 Trying</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseVLSTrying(VLSTrying object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</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 Finite Model</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseVLSFiniteModel(VLSFiniteModel object)
-  {
-    return null;
-  }
-
   /**
    * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
    * <!-- begin-user-doc -->
-- 
cgit v1.2.3-54-g00ecf