Fix FAM Test. Begin Grammar Fix.

1 files changed, 116 insertions, 0 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 8d70157d..eddb3b4c 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
@@ -101,6 +101,35 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case VampireLanguagePackage.VLS_CONFIRMATIONS:

+      {

+        VLSConfirmations vlsConfirmations = (VLSConfirmations)theEObject;

+        T result = caseVLSConfirmations(vlsConfirmations);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_SATISFIABLE:

+      {

+        VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;

+        T result = caseVLSSatisfiable(vlsSatisfiable);

+        if (result == null) result = caseVLSConfirmations(vlsSatisfiable);

+        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;

@@ -108,6 +137,13 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case VampireLanguagePackage.VLS_TFF_FORMULA:

+      {

+        VLSTffFormula vlsTffFormula = (VLSTffFormula)theEObject;

+        T result = caseVLSTffFormula(vlsTffFormula);

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

+        return result;

+      }

       case VampireLanguagePackage.VLS_ANNOTATION:

       {

         VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;

@@ -403,6 +439,70 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

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

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

+   * @generated

+   */

+  public T caseVLSConfirmations(VLSConfirmations object)

+  {

+    return null;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public T caseVLSSatisfiable(VLSSatisfiable object)

+  {

+    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 -->

    * This implementation returns null;

@@ -419,6 +519,22 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

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

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

+   * @generated

+   */

+  public T caseVLSTffFormula(VLSTffFormula object)

+  {

+    return null;

+  }

+

+  /**

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

    * <!-- begin-user-doc -->

    * This implementation returns null;