From 513a5afe3a8663ad30112f7e3c0e66137938e635 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 20 Mar 2019 20:39:28 -0400 Subject: Add gitignore, commit everything --- .../vampireLanguage/VLSFiniteModel.java | 20 -- .../vampireLanguage/VLSFunctionFof.java | 69 ------ .../dslreasoner/vampireLanguage/VLSTrying.java | 52 ----- .../vampireLanguage/impl/VLSFiniteModelImpl.java | 43 ---- .../vampireLanguage/impl/VLSFunctionFofImpl.java | 240 --------------------- .../vampireLanguage/impl/VLSTryingImpl.java | 178 --------------- 6 files changed, 602 deletions(-) delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFiniteModel.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFunctionFof.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTrying.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFunctionFofImpl.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFiniteModel.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFiniteModel.java deleted file mode 100644 index bfd23d8d..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFiniteModel.java +++ /dev/null @@ -1,20 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.vampireLanguage; - -import org.eclipse.emf.ecore.EObject; - -/** - * - * A representation of the model object 'VLS Finite Model'. - * - * - * - * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSFiniteModel() - * @model - * @generated - */ -public interface VLSFiniteModel extends EObject -{ -} // VLSFiniteModel diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFunctionFof.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFunctionFof.java deleted file mode 100644 index d151685f..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSFunctionFof.java +++ /dev/null @@ -1,69 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.vampireLanguage; - -import org.eclipse.emf.common.util.EList; - -/** - * - * A representation of the model object 'VLS Function Fof'. - * - * - *

- * The following features are supported: - *

- * - * - * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSFunctionFof() - * @model - * @generated - */ -public interface VLSFunctionFof extends VLSTerm -{ - /** - * Returns the value of the 'Functor' attribute. - * - *

- * If the meaning of the 'Functor' attribute isn't clear, - * there really should be more of a description here... - *

- * - * @return the value of the 'Functor' attribute. - * @see #setFunctor(String) - * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSFunctionFof_Functor() - * @model - * @generated - */ - String getFunctor(); - - /** - * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor Functor}' attribute. - * - * - * @param value the new value of the 'Functor' attribute. - * @see #getFunctor() - * @generated - */ - void setFunctor(String value); - - /** - * Returns the value of the 'Terms' containment reference list. - * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm}. - * - *

- * If the meaning of the 'Terms' containment reference list isn't clear, - * there really should be more of a description here... - *

- * - * @return the value of the 'Terms' containment reference list. - * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSFunctionFof_Terms() - * @model containment="true" - * @generated - */ - EList getTerms(); - -} // VLSFunctionFof diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTrying.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTrying.java deleted file mode 100644 index c2080a9c..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTrying.java +++ /dev/null @@ -1,52 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.vampireLanguage; - -import org.eclipse.emf.ecore.EObject; - -/** - * - * A representation of the model object 'VLS Trying'. - * - * - *

- * The following features are supported: - *

- * - * - * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTrying() - * @model - * @generated - */ -public interface VLSTrying extends EObject -{ - /** - * Returns the value of the 'Name' attribute. - * - *

- * If the meaning of the 'Name' attribute isn't clear, - * there really should be more of a description here... - *

- * - * @return the value of the 'Name' attribute. - * @see #setName(String) - * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTrying_Name() - * @model - * @generated - */ - String getName(); - - /** - * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName Name}' attribute. - * - * - * @param value the new value of the 'Name' attribute. - * @see #getName() - * @generated - */ - void setName(String value); - -} // VLSTrying diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java deleted file mode 100644 index dfbbf6ed..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java +++ /dev/null @@ -1,43 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; - -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; - -import org.eclipse.emf.ecore.EClass; - -import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; - -/** - * - * An implementation of the model object 'VLS Finite Model'. - * - * - * @generated - */ -public class VLSFiniteModelImpl extends MinimalEObjectImpl.Container implements VLSFiniteModel -{ - /** - * - * - * @generated - */ - protected VLSFiniteModelImpl() - { - super(); - } - - /** - * - * - * @generated - */ - @Override - protected EClass eStaticClass() - { - return VampireLanguagePackage.Literals.VLS_FINITE_MODEL; - } - -} //VLSFiniteModelImpl diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFunctionFofImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFunctionFofImpl.java deleted file mode 100644 index 6d1c538b..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFunctionFofImpl.java +++ /dev/null @@ -1,240 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; - -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; - -import java.util.Collection; - -import org.eclipse.emf.common.notify.Notification; -import org.eclipse.emf.common.notify.NotificationChain; - -import org.eclipse.emf.common.util.EList; - -import org.eclipse.emf.ecore.EClass; -import org.eclipse.emf.ecore.InternalEObject; - -import org.eclipse.emf.ecore.impl.ENotificationImpl; - -import org.eclipse.emf.ecore.util.EObjectContainmentEList; -import org.eclipse.emf.ecore.util.InternalEList; - -/** - * - * An implementation of the model object 'VLS Function Fof'. - * - *

- * The following features are implemented: - *

- * - * - * @generated - */ -public class VLSFunctionFofImpl extends VLSTermImpl implements VLSFunctionFof -{ - /** - * The default value of the '{@link #getFunctor() Functor}' attribute. - * - * - * @see #getFunctor() - * @generated - * @ordered - */ - protected static final String FUNCTOR_EDEFAULT = null; - - /** - * The cached value of the '{@link #getFunctor() Functor}' attribute. - * - * - * @see #getFunctor() - * @generated - * @ordered - */ - protected String functor = FUNCTOR_EDEFAULT; - - /** - * The cached value of the '{@link #getTerms() Terms}' containment reference list. - * - * - * @see #getTerms() - * @generated - * @ordered - */ - protected EList terms; - - /** - * - * - * @generated - */ - protected VLSFunctionFofImpl() - { - super(); - } - - /** - * - * - * @generated - */ - @Override - protected EClass eStaticClass() - { - return VampireLanguagePackage.Literals.VLS_FUNCTION_FOF; - } - - /** - * - * - * @generated - */ - public String getFunctor() - { - return functor; - } - - /** - * - * - * @generated - */ - public void setFunctor(String newFunctor) - { - String oldFunctor = functor; - functor = newFunctor; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FUNCTION_FOF__FUNCTOR, oldFunctor, functor)); - } - - /** - * - * - * @generated - */ - public EList getTerms() - { - if (terms == null) - { - terms = new EObjectContainmentEList(VLSTerm.class, this, VampireLanguagePackage.VLS_FUNCTION_FOF__TERMS); - } - return terms; - } - - /** - * - * - * @generated - */ - @Override - public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_FUNCTION_FOF__TERMS: - return ((InternalEList)getTerms()).basicRemove(otherEnd, msgs); - } - return super.eInverseRemove(otherEnd, featureID, msgs); - } - - /** - * - * - * @generated - */ - @Override - public Object eGet(int featureID, boolean resolve, boolean coreType) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_FUNCTION_FOF__FUNCTOR: - return getFunctor(); - case VampireLanguagePackage.VLS_FUNCTION_FOF__TERMS: - return getTerms(); - } - return super.eGet(featureID, resolve, coreType); - } - - /** - * - * - * @generated - */ - @SuppressWarnings("unchecked") - @Override - public void eSet(int featureID, Object newValue) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_FUNCTION_FOF__FUNCTOR: - setFunctor((String)newValue); - return; - case VampireLanguagePackage.VLS_FUNCTION_FOF__TERMS: - getTerms().clear(); - getTerms().addAll((Collection)newValue); - return; - } - super.eSet(featureID, newValue); - } - - /** - * - * - * @generated - */ - @Override - public void eUnset(int featureID) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_FUNCTION_FOF__FUNCTOR: - setFunctor(FUNCTOR_EDEFAULT); - return; - case VampireLanguagePackage.VLS_FUNCTION_FOF__TERMS: - getTerms().clear(); - return; - } - super.eUnset(featureID); - } - - /** - * - * - * @generated - */ - @Override - public boolean eIsSet(int featureID) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_FUNCTION_FOF__FUNCTOR: - return FUNCTOR_EDEFAULT == null ? functor != null : !FUNCTOR_EDEFAULT.equals(functor); - case VampireLanguagePackage.VLS_FUNCTION_FOF__TERMS: - return terms != null && !terms.isEmpty(); - } - return super.eIsSet(featureID); - } - - /** - * - * - * @generated - */ - @Override - public String toString() - { - if (eIsProxy()) return super.toString(); - - StringBuffer result = new StringBuffer(super.toString()); - result.append(" (functor: "); - result.append(functor); - result.append(')'); - return result.toString(); - } - -} //VLSFunctionFofImpl diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java deleted file mode 100644 index 40e62d9e..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java +++ /dev/null @@ -1,178 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; - -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; -import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; - -import org.eclipse.emf.common.notify.Notification; - -import org.eclipse.emf.ecore.EClass; - -import org.eclipse.emf.ecore.impl.ENotificationImpl; -import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; - -/** - * - * An implementation of the model object 'VLS Trying'. - * - *

- * The following features are implemented: - *

- *
    - *
  • {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl#getName Name}
    • - *
- * - * @generated - */ -public class VLSTryingImpl extends MinimalEObjectImpl.Container implements VLSTrying -{ - /** - * The default value of the '{@link #getName() Name}' attribute. - * - * - * @see #getName() - * @generated - * @ordered - */ - protected static final String NAME_EDEFAULT = null; - - /** - * The cached value of the '{@link #getName() Name}' attribute. - * - * - * @see #getName() - * @generated - * @ordered - */ - protected String name = NAME_EDEFAULT; - - /** - * - * - * @generated - */ - protected VLSTryingImpl() - { - super(); - } - - /** - * - * - * @generated - */ - @Override - protected EClass eStaticClass() - { - return VampireLanguagePackage.Literals.VLS_TRYING; - } - - /** - * - * - * @generated - */ - public String getName() - { - return name; - } - - /** - * - * - * @generated - */ - public void setName(String newName) - { - String oldName = name; - name = newName; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TRYING__NAME, oldName, name)); - } - - /** - * - * - * @generated - */ - @Override - public Object eGet(int featureID, boolean resolve, boolean coreType) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_TRYING__NAME: - return getName(); - } - return super.eGet(featureID, resolve, coreType); - } - - /** - * - * - * @generated - */ - @Override - public void eSet(int featureID, Object newValue) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_TRYING__NAME: - setName((String)newValue); - return; - } - super.eSet(featureID, newValue); - } - - /** - * - * - * @generated - */ - @Override - public void eUnset(int featureID) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_TRYING__NAME: - setName(NAME_EDEFAULT); - return; - } - super.eUnset(featureID); - } - - /** - * - * - * @generated - */ - @Override - public boolean eIsSet(int featureID) - { - switch (featureID) - { - case VampireLanguagePackage.VLS_TRYING__NAME: - return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); - } - return super.eIsSet(featureID); - } - - /** - * - * - * @generated - */ - @Override - public String toString() - { - if (eIsProxy()) return super.toString(); - - StringBuffer result = new StringBuffer(super.toString()); - result.append(" (name: "); - result.append(name); - result.append(')'); - return result.toString(); - } - -} //VLSTryingImpl -- cgit v1.2.3-54-g00ecf