From 9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 29 Aug 2019 06:26:02 -0400
Subject: VAMPIRE: adapt grammar to Vampire solution + get model from text

---
 .../vampireLanguage/impl/VampireModelImpl.java     | 39 ----------------------
 1 file changed, 39 deletions(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
index e0dcd099..1e26c760 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
@@ -6,7 +6,6 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
@@ -33,7 +32,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
  * The following features are implemented:
  * </p>
  * <ul>
- *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li>
  *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li>
  *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getConfirmations <em>Confirmations</em>}</li>
  *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li>
@@ -44,16 +42,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
  */
 public class VampireModelImpl extends MinimalEObjectImpl.Container implements VampireModel
 {
-  /**
-   * The cached value of the '{@link #getIncludes() <em>Includes</em>}' containment reference list.
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @see #getIncludes()
-   * @generated
-   * @ordered
-   */
-  protected EList<VLSInclude> includes;
-
   /**
    * The cached value of the '{@link #getComments() <em>Comments</em>}' containment reference list.
    * <!-- begin-user-doc -->
@@ -115,20 +103,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
     return VampireLanguagePackage.Literals.VAMPIRE_MODEL;
   }
 
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  public EList<VLSInclude> getIncludes()
-  {
-    if (includes == null)
-    {
-      includes = new EObjectContainmentEList<VLSInclude>(VLSInclude.class, this, VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES);
-    }
-    return includes;
-  }
-
   /**
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
@@ -195,8 +169,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {
     switch (featureID)
     {
-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
-        return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs);
       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
         return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs);
       case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
@@ -219,8 +191,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {
     switch (featureID)
     {
-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
-        return getIncludes();
       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
         return getComments();
       case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
@@ -244,10 +214,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {
     switch (featureID)
     {
-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
-        getIncludes().clear();
-        getIncludes().addAll((Collection<? extends VLSInclude>)newValue);
-        return;
       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
         getComments().clear();
         getComments().addAll((Collection<? extends VLSComment>)newValue);
@@ -278,9 +244,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {
     switch (featureID)
     {
-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
-        getIncludes().clear();
-        return;
       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
         getComments().clear();
         return;
@@ -307,8 +270,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {
     switch (featureID)
     {
-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
-        return includes != null && !includes.isEmpty();
       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
         return comments != null && !comments.isEmpty();
       case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
-- 
cgit v1.2.3-54-g00ecf