VAMPIRE: Implement Vampire measurement code

1 files changed, 20 insertions, 20 deletions

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 92b5a89d..9156e24f 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
@@ -111,6 +111,11 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
         return createVLSTffTermAdapter();

       }

       @Override

+      public Adapter caseVLSTerm(VLSTerm object)

+      {

+        return createVLSTermAdapter();

+      }

+      @Override

       public Adapter caseVLSDeclaration(VLSDeclaration object)

       {

         return createVLSDeclarationAdapter();

@@ -131,11 +136,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
         return createVLSTypeDefAdapter();

       }

       @Override

-      public Adapter caseVLSTerm(VLSTerm object)

-      {

-        return createVLSTermAdapter();

-      }

-      @Override

       public Adapter caseVLSVariable(VLSVariable object)

       {

         return createVLSVariableAdapter();

@@ -403,76 +403,76 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'.

+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS 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.VLSDeclaration

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm

    * @generated

    */

-  public Adapter createVLSDeclarationAdapter()

+  public Adapter createVLSTermAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'.

+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</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.VLSOtherDeclaration

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration

    * @generated

    */

-  public Adapter createVLSOtherDeclarationAdapter()

+  public Adapter createVLSDeclarationAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'.

+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</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.VLSVariableDeclaration

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration

    * @generated

    */

-  public Adapter createVLSVariableDeclarationAdapter()

+  public Adapter createVLSOtherDeclarationAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'.

+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</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.VLSTypeDef

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration

    * @generated

    */

-  public Adapter createVLSTypeDefAdapter()

+  public Adapter createVLSVariableDeclarationAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'.

+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</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.VLSTerm

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef

    * @generated

    */

-  public Adapter createVLSTermAdapter()

+  public Adapter createVLSTypeDefAdapter()

   {

     return null;

   }