1 files changed, 194 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUnaryNegationImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUnaryNegationImpl.java
new file mode 100644
index 00000000..85dc0b1b
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUnaryNegationImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>VLS Unary Negation</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl#getOperand <em>Operand</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class VLSUnaryNegationImpl extends VLSTermImpl implements VLSUnaryNegation
+{
+  /**
+   * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getOperand()
+   * @generated
+   * @ordered
+   */
+  protected VLSTerm operand;
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected VLSUnaryNegationImpl()
+  {
+    super();
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return VampireLanguagePackage.Literals.VLS_UNARY_NEGATION;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VLSTerm getOperand()
+  {
+    return operand;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public NotificationChain basicSetOperand(VLSTerm newOperand, NotificationChain msgs)
+  {
+    VLSTerm oldOperand = operand;
+    operand = newOperand;
+    if (eNotificationRequired())
+    {
+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, oldOperand, newOperand);
+      if (msgs == null) msgs = notification; else msgs.add(notification);
+    }
+    return msgs;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setOperand(VLSTerm newOperand)
+  {
+    if (newOperand != operand)
+    {
+      NotificationChain msgs = null;
+      if (operand != null)
+        msgs = ((InternalEObject)operand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, null, msgs);
+      if (newOperand != null)
+        msgs = ((InternalEObject)newOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, null, msgs);
+      msgs = basicSetOperand(newOperand, msgs);
+      if (msgs != null) msgs.dispatch();
+    }
+    else if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, newOperand, newOperand));
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
+        return basicSetOperand(null, msgs);
+    }
+    return super.eInverseRemove(otherEnd, featureID, msgs);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
+        return getOperand();
+    }
+    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_UNARY_NEGATION__OPERAND:
+        setOperand((VLSTerm)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
+        setOperand((VLSTerm)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
+        return operand != null;
+    }
+    return super.eIsSet(featureID);
+  }
+} //VLSUnaryNegationImpl

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUnaryNegationImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUnaryNegationImpl.java new file mode 100644 index 00000000..85dc0b1b --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUnaryNegationImpl.java
@@ -0,0 +1,194 @@
	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.VLSTerm;
	7	import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
	8	import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
	9
	10	import org.eclipse.emf.common.notify.Notification;
	11	import org.eclipse.emf.common.notify.NotificationChain;
	12
	13	import org.eclipse.emf.ecore.EClass;
	14	import org.eclipse.emf.ecore.InternalEObject;
	15
	16	import org.eclipse.emf.ecore.impl.ENotificationImpl;
	17
	18	/**
	19	* <!-- begin-user-doc -->
	20	* An implementation of the model object '<em><b>VLS Unary Negation</b></em>'.
	21	* <!-- end-user-doc -->
	22	* <p>
	23	* The following features are implemented:
	24	* </p>
	25	* <ul>
	26	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl#getOperand <em>Operand</em>}</li>
	27	* </ul>
	28	*
	29	* @generated
	30	*/
	31	public class VLSUnaryNegationImpl extends VLSTermImpl implements VLSUnaryNegation
	32	{
	33	/**
	34	* The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference.
	35	* <!-- begin-user-doc -->
	36	* <!-- end-user-doc -->
	37	* @see #getOperand()
	38	* @generated
	39	* @ordered
	40	*/
	41	protected VLSTerm operand;
	42
	43	/**
	44	* <!-- begin-user-doc -->
	45	* <!-- end-user-doc -->
	46	* @generated
	47	*/
	48	protected VLSUnaryNegationImpl()
	49	{
	50	super();
	51	}
	52
	53	/**
	54	* <!-- begin-user-doc -->
	55	* <!-- end-user-doc -->
	56	* @generated
	57	*/
	58	@Override
	59	protected EClass eStaticClass()
	60	{
	61	return VampireLanguagePackage.Literals.VLS_UNARY_NEGATION;
	62	}
	63
	64	/**
	65	* <!-- begin-user-doc -->
	66	* <!-- end-user-doc -->
	67	* @generated
	68	*/
	69	public VLSTerm getOperand()
	70	{
	71	return operand;
	72	}
	73
	74	/**
	75	* <!-- begin-user-doc -->
	76	* <!-- end-user-doc -->
	77	* @generated
	78	*/
	79	public NotificationChain basicSetOperand(VLSTerm newOperand, NotificationChain msgs)
	80	{
	81	VLSTerm oldOperand = operand;
	82	operand = newOperand;
	83	if (eNotificationRequired())
	84	{
	85	ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, oldOperand, newOperand);
	86	if (msgs == null) msgs = notification; else msgs.add(notification);
	87	}
	88	return msgs;
	89	}
	90
	91	/**
	92	* <!-- begin-user-doc -->
	93	* <!-- end-user-doc -->
	94	* @generated
	95	*/
	96	public void setOperand(VLSTerm newOperand)
	97	{
	98	if (newOperand != operand)
	99	{
	100	NotificationChain msgs = null;
	101	if (operand != null)
	102	msgs = ((InternalEObject)operand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, null, msgs);
	103	if (newOperand != null)
	104	msgs = ((InternalEObject)newOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, null, msgs);
	105	msgs = basicSetOperand(newOperand, msgs);
	106	if (msgs != null) msgs.dispatch();
	107	}
	108	else if (eNotificationRequired())
	109	eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND, newOperand, newOperand));
	110	}
	111
	112	/**
	113	* <!-- begin-user-doc -->
	114	* <!-- end-user-doc -->
	115	* @generated
	116	*/
	117	@Override
	118	public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
	119	{
	120	switch (featureID)
	121	{
	122	case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
	123	return basicSetOperand(null, msgs);
	124	}
	125	return super.eInverseRemove(otherEnd, featureID, msgs);
	126	}
	127
	128	/**
	129	* <!-- begin-user-doc -->
	130	* <!-- end-user-doc -->
	131	* @generated
	132	*/
	133	@Override
	134	public Object eGet(int featureID, boolean resolve, boolean coreType)
	135	{
	136	switch (featureID)
	137	{
	138	case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
	139	return getOperand();
	140	}
	141	return super.eGet(featureID, resolve, coreType);
	142	}
	143
	144	/**
	145	* <!-- begin-user-doc -->
	146	* <!-- end-user-doc -->
	147	* @generated
	148	*/
	149	@Override
	150	public void eSet(int featureID, Object newValue)
	151	{
	152	switch (featureID)
	153	{
	154	case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
	155	setOperand((VLSTerm)newValue);
	156	return;
	157	}
	158	super.eSet(featureID, newValue);
	159	}
	160
	161	/**
	162	* <!-- begin-user-doc -->
	163	* <!-- end-user-doc -->
	164	* @generated
	165	*/
	166	@Override
	167	public void eUnset(int featureID)
	168	{
	169	switch (featureID)
	170	{
	171	case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
	172	setOperand((VLSTerm)null);
	173	return;
	174	}
	175	super.eUnset(featureID);
	176	}
	177
	178	/**
	179	* <!-- begin-user-doc -->
	180	* <!-- end-user-doc -->
	181	* @generated
	182	*/
	183	@Override
	184	public boolean eIsSet(int featureID)
	185	{
	186	switch (featureID)
	187	{
	188	case VampireLanguagePackage.VLS_UNARY_NEGATION__OPERAND:
	189	return operand != null;
	190	}
	191	return super.eIsSet(featureID);
	192	}
	193
	194	} //VLSUnaryNegationImpl