VAMPIRE: Implement Vampire measurement code

1 files changed, 23 insertions, 23 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 193ac81b..e8c0fde1 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
@@ -122,6 +122,14 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case VampireLanguagePackage.VLS_TERM:

+      {

+        VLSTerm vlsTerm = (VLSTerm)theEObject;

+        T result = caseVLSTerm(vlsTerm);

+        if (result == null) result = caseVLSTffTerm(vlsTerm);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

       case VampireLanguagePackage.VLS_DECLARATION:

       {

         VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject;

@@ -155,14 +163,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

-      case VampireLanguagePackage.VLS_TERM:

-      {

-        VLSTerm vlsTerm = (VLSTerm)theEObject;

-        T result = caseVLSTerm(vlsTerm);

-        if (result == null) result = caseVLSTffTerm(vlsTerm);

-        if (result == null) result = defaultCase(theEObject);

-        return result;

-      }

       case VampireLanguagePackage.VLS_VARIABLE:

       {

         VLSVariable vlsVariable = (VLSVariable)theEObject;

@@ -530,81 +530,81 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</em>'.

+   * Returns the result of interpreting the object as an instance of '<em>VLS 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 Declaration</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'.

    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

    * @generated

    */

-  public T caseVLSDeclaration(VLSDeclaration object)

+  public T caseVLSTerm(VLSTerm object)

   {

     return null;

   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'.

+   * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</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 Other Declaration</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Declaration</em>'.

    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

    * @generated

    */

-  public T caseVLSOtherDeclaration(VLSOtherDeclaration object)

+  public T caseVLSDeclaration(VLSDeclaration object)

   {

     return null;

   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'.

+   * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</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 Variable Declaration</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'.

    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

    * @generated

    */

-  public T caseVLSVariableDeclaration(VLSVariableDeclaration object)

+  public T caseVLSOtherDeclaration(VLSOtherDeclaration object)

   {

     return null;

   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</em>'.

+   * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</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 Type Def</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'.

    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

    * @generated

    */

-  public T caseVLSTypeDef(VLSTypeDef object)

+  public T caseVLSVariableDeclaration(VLSVariableDeclaration object)

   {

     return null;

   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'.

+   * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</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 Term</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Type Def</em>'.

    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

    * @generated

    */

-  public T caseVLSTerm(VLSTerm object)

+  public T caseVLSTypeDef(VLSTypeDef object)

   {

     return null;

   }