1 files changed, 178 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java
new file mode 100644
index 00000000..5217696e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java
@@ -0,0 +1,178 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
+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;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>VLS Name</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl#getName <em>Name</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class VLSNameImpl extends MinimalEObjectImpl.Container implements VLSName
+{
+  /**
+   * The default value of the '{@link #getName() <em>Name</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getName()
+   * @generated
+   * @ordered
+   */
+  protected static final String NAME_EDEFAULT = null;
+  /**
+   * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getName()
+   * @generated
+   * @ordered
+   */
+  protected String name = NAME_EDEFAULT;
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected VLSNameImpl()
+  {
+    super();
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return VampireLanguagePackage.Literals.VLS_NAME;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public String getName()
+  {
+    return name;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setName(String newName)
+  {
+    String oldName = name;
+    name = newName;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_NAME__NAME, oldName, name));
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_NAME__NAME:
+        return getName();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_NAME__NAME:
+        setName((String)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_NAME__NAME:
+        setName(NAME_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_NAME__NAME:
+        return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
+    }
+    return super.eIsSet(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @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();
+  }
+} //VLSNameImpl

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java new file mode 100644 index 00000000..5217696e --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java
@@ -0,0 +1,178 @@
	1	/**
	2	* generated by Xtext 2.12.0
	3	*/
	4	package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
	5
	6	import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
	7	import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
	8
	9	import org.eclipse.emf.common.notify.Notification;
	10
	11	import org.eclipse.emf.ecore.EClass;
	12
	13	import org.eclipse.emf.ecore.impl.ENotificationImpl;
	14	import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
	15
	16	/**
	17	* <!-- begin-user-doc -->
	18	* An implementation of the model object '<em><b>VLS Name</b></em>'.
	19	* <!-- end-user-doc -->
	20	* <p>
	21	* The following features are implemented:
	22	* </p>
	23	* <ul>
	24	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl#getName <em>Name</em>}</li>
	25	* </ul>
	26	*
	27	* @generated
	28	*/
	29	public class VLSNameImpl extends MinimalEObjectImpl.Container implements VLSName
	30	{
	31	/**
	32	* The default value of the '{@link #getName() <em>Name</em>}' attribute.
	33	* <!-- begin-user-doc -->
	34	* <!-- end-user-doc -->
	35	* @see #getName()
	36	* @generated
	37	* @ordered
	38	*/
	39	protected static final String NAME_EDEFAULT = null;
	40
	41	/**
	42	* The cached value of the '{@link #getName() <em>Name</em>}' attribute.
	43	* <!-- begin-user-doc -->
	44	* <!-- end-user-doc -->
	45	* @see #getName()
	46	* @generated
	47	* @ordered
	48	*/
	49	protected String name = NAME_EDEFAULT;
	50
	51	/**
	52	* <!-- begin-user-doc -->
	53	* <!-- end-user-doc -->
	54	* @generated
	55	*/
	56	protected VLSNameImpl()
	57	{
	58	super();
	59	}
	60
	61	/**
	62	* <!-- begin-user-doc -->
	63	* <!-- end-user-doc -->
	64	* @generated
	65	*/
	66	@Override
	67	protected EClass eStaticClass()
	68	{
	69	return VampireLanguagePackage.Literals.VLS_NAME;
	70	}
	71
	72	/**
	73	* <!-- begin-user-doc -->
	74	* <!-- end-user-doc -->
	75	* @generated
	76	*/
	77	public String getName()
	78	{
	79	return name;
	80	}
	81
	82	/**
	83	* <!-- begin-user-doc -->
	84	* <!-- end-user-doc -->
	85	* @generated
	86	*/
	87	public void setName(String newName)
	88	{
	89	String oldName = name;
	90	name = newName;
	91	if (eNotificationRequired())
	92	eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_NAME__NAME, oldName, name));
	93	}
	94
	95	/**
	96	* <!-- begin-user-doc -->
	97	* <!-- end-user-doc -->
	98	* @generated
	99	*/
	100	@Override
	101	public Object eGet(int featureID, boolean resolve, boolean coreType)
	102	{
	103	switch (featureID)
	104	{
	105	case VampireLanguagePackage.VLS_NAME__NAME:
	106	return getName();
	107	}
	108	return super.eGet(featureID, resolve, coreType);
	109	}
	110
	111	/**
	112	* <!-- begin-user-doc -->
	113	* <!-- end-user-doc -->
	114	* @generated
	115	*/
	116	@Override
	117	public void eSet(int featureID, Object newValue)
	118	{
	119	switch (featureID)
	120	{
	121	case VampireLanguagePackage.VLS_NAME__NAME:
	122	setName((String)newValue);
	123	return;
	124	}
	125	super.eSet(featureID, newValue);
	126	}
	127
	128	/**
	129	* <!-- begin-user-doc -->
	130	* <!-- end-user-doc -->
	131	* @generated
	132	*/
	133	@Override
	134	public void eUnset(int featureID)
	135	{
	136	switch (featureID)
	137	{
	138	case VampireLanguagePackage.VLS_NAME__NAME:
	139	setName(NAME_EDEFAULT);
	140	return;
	141	}
	142	super.eUnset(featureID);
	143	}
	144
	145	/**
	146	* <!-- begin-user-doc -->
	147	* <!-- end-user-doc -->
	148	* @generated
	149	*/
	150	@Override
	151	public boolean eIsSet(int featureID)
	152	{
	153	switch (featureID)
	154	{
	155	case VampireLanguagePackage.VLS_NAME__NAME:
	156	return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
	157	}
	158	return super.eIsSet(featureID);
	159	}
	160
	161	/**
	162	* <!-- begin-user-doc -->
	163	* <!-- end-user-doc -->
	164	* @generated
	165	*/
	166	@Override
	167	public String toString()
	168	{
	169	if (eIsProxy()) return super.toString();
	170
	171	StringBuffer result = new StringBuffer(super.toString());
	172	result.append(" (name: ");
	173	result.append(name);
	174	result.append(')');
	175	return result.toString();
	176	}
	177
	178	} //VLSNameImpl