From 717916e99b2c8e7965fb31f4448b4336d8c2f19a Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 1 Feb 2019 16:03:30 -0500
Subject: Fix FAM Test. Begin Grammar Fix.

---
 .../util/VampireLanguageSwitch.java                | 116 +++++++++++++++++++++
 1 file changed, 116 insertions(+)

(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 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;
@@ -402,6 +438,70 @@ public class VampireLanguageSwitch<T> extends Switch<T>
     return null;
   }
 
+  /**
+   * 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 -->
@@ -418,6 +518,22 @@ public class VampireLanguageSwitch<T> extends Switch<T>
     return null;
   }
 
+  /**
+   * 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 -->
-- 
cgit v1.2.3-54-g00ecf