1 files changed, 172 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java
new file mode 100644
index 00000000..5338604b
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java
@@ -0,0 +1,172 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
+import org.eclipse.emf.common.notify.Notification;
+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>SMT Complex Type Reference</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl#getReferred <em>Referred</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @generated
+ */
+public class SMTComplexTypeReferenceImpl extends SMTTypeReferenceImpl implements SMTComplexTypeReference
+{
+  /**
+   * The cached value of the '{@link #getReferred() <em>Referred</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getReferred()
+   * @generated
+   * @ordered
+   */
+  protected SMTType referred;
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected SMTComplexTypeReferenceImpl()
+  {
+    super();
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return SmtLanguagePackage.Literals.SMT_COMPLEX_TYPE_REFERENCE;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public SMTType getReferred()
+  {
+    if (referred != null && referred.eIsProxy())
+    {
+      InternalEObject oldReferred = (InternalEObject)referred;
+      referred = (SMTType)eResolveProxy(oldReferred);
+      if (referred != oldReferred)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED, oldReferred, referred));
+      }
+    }
+    return referred;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public SMTType basicGetReferred()
+  {
+    return referred;
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public void setReferred(SMTType newReferred)
+  {
+    SMTType oldReferred = referred;
+    referred = newReferred;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED, oldReferred, referred));
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
+        if (resolve) return getReferred();
+        return basicGetReferred();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
+        setReferred((SMTType)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
+        setReferred((SMTType)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
+        return referred != null;
+    }
+    return super.eIsSet(featureID);
+  }
+} //SMTComplexTypeReferenceImpl

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java new file mode 100644 index 00000000..5338604b --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SMTComplexTypeReferenceImpl.java
@@ -0,0 +1,172 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
	4
	5	import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference;
	6	import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType;
	7	import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage;
	8
	9	import org.eclipse.emf.common.notify.Notification;
	10
	11	import org.eclipse.emf.ecore.EClass;
	12	import org.eclipse.emf.ecore.InternalEObject;
	13
	14	import org.eclipse.emf.ecore.impl.ENotificationImpl;
	15
	16	/**
	17	* <!-- begin-user-doc -->
	18	* An implementation of the model object '<em><b>SMT Complex Type Reference</b></em>'.
	19	* <!-- end-user-doc -->
	20	* <p>
	21	* The following features are implemented:
	22	* <ul>
	23	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl#getReferred <em>Referred</em>}</li>
	24	* </ul>
	25	* </p>
	26	*
	27	* @generated
	28	*/
	29	public class SMTComplexTypeReferenceImpl extends SMTTypeReferenceImpl implements SMTComplexTypeReference
	30	{
	31	/**
	32	* The cached value of the '{@link #getReferred() <em>Referred</em>}' reference.
	33	* <!-- begin-user-doc -->
	34	* <!-- end-user-doc -->
	35	* @see #getReferred()
	36	* @generated
	37	* @ordered
	38	*/
	39	protected SMTType referred;
	40
	41	/**
	42	* <!-- begin-user-doc -->
	43	* <!-- end-user-doc -->
	44	* @generated
	45	*/
	46	protected SMTComplexTypeReferenceImpl()
	47	{
	48	super();
	49	}
	50
	51	/**
	52	* <!-- begin-user-doc -->
	53	* <!-- end-user-doc -->
	54	* @generated
	55	*/
	56	@Override
	57	protected EClass eStaticClass()
	58	{
	59	return SmtLanguagePackage.Literals.SMT_COMPLEX_TYPE_REFERENCE;
	60	}
	61
	62	/**
	63	* <!-- begin-user-doc -->
	64	* <!-- end-user-doc -->
	65	* @generated
	66	*/
	67	public SMTType getReferred()
	68	{
	69	if (referred != null && referred.eIsProxy())
	70	{
	71	InternalEObject oldReferred = (InternalEObject)referred;
	72	referred = (SMTType)eResolveProxy(oldReferred);
	73	if (referred != oldReferred)
	74	{
	75	if (eNotificationRequired())
	76	eNotify(new ENotificationImpl(this, Notification.RESOLVE, SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED, oldReferred, referred));
	77	}
	78	}
	79	return referred;
	80	}
	81
	82	/**
	83	* <!-- begin-user-doc -->
	84	* <!-- end-user-doc -->
	85	* @generated
	86	*/
	87	public SMTType basicGetReferred()
	88	{
	89	return referred;
	90	}
	91
	92	/**
	93	* <!-- begin-user-doc -->
	94	* <!-- end-user-doc -->
	95	* @generated
	96	*/
	97	public void setReferred(SMTType newReferred)
	98	{
	99	SMTType oldReferred = referred;
	100	referred = newReferred;
	101	if (eNotificationRequired())
	102	eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED, oldReferred, referred));
	103	}
	104
	105	/**
	106	* <!-- begin-user-doc -->
	107	* <!-- end-user-doc -->
	108	* @generated
	109	*/
	110	@Override
	111	public Object eGet(int featureID, boolean resolve, boolean coreType)
	112	{
	113	switch (featureID)
	114	{
	115	case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
	116	if (resolve) return getReferred();
	117	return basicGetReferred();
	118	}
	119	return super.eGet(featureID, resolve, coreType);
	120	}
	121
	122	/**
	123	* <!-- begin-user-doc -->
	124	* <!-- end-user-doc -->
	125	* @generated
	126	*/
	127	@Override
	128	public void eSet(int featureID, Object newValue)
	129	{
	130	switch (featureID)
	131	{
	132	case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
	133	setReferred((SMTType)newValue);
	134	return;
	135	}
	136	super.eSet(featureID, newValue);
	137	}
	138
	139	/**
	140	* <!-- begin-user-doc -->
	141	* <!-- end-user-doc -->
	142	* @generated
	143	*/
	144	@Override
	145	public void eUnset(int featureID)
	146	{
	147	switch (featureID)
	148	{
	149	case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
	150	setReferred((SMTType)null);
	151	return;
	152	}
	153	super.eUnset(featureID);
	154	}
	155
	156	/**
	157	* <!-- begin-user-doc -->
	158	* <!-- end-user-doc -->
	159	* @generated
	160	*/
	161	@Override
	162	public boolean eIsSet(int featureID)
	163	{
	164	switch (featureID)
	165	{
	166	case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE__REFERRED:
	167	return referred != null;
	168	}
	169	return super.eIsSet(featureID);
	170	}
	171
	172	} //SMTComplexTypeReferenceImpl