1 files changed, 158 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialConstantInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialConstantInterpretationImpl.java
new file mode 100644
index 00000000..81b2ce8d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialConstantInterpretationImpl.java
@@ -0,0 +1,158 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+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;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Partial Constant Interpretation</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl#getInterpretationOf <em>Interpretation Of</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PartialConstantInterpretationImpl extends MinimalEObjectImpl.Container implements PartialConstantInterpretation {
+        /**
+         * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getInterpretationOf()
+         * @generated
+         * @ordered
+         */
+        protected ConstantDeclaration interpretationOf;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected PartialConstantInterpretationImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return PartialinterpretationPackage.Literals.PARTIAL_CONSTANT_INTERPRETATION;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public ConstantDeclaration getInterpretationOf() {
+                if (interpretationOf != null && interpretationOf.eIsProxy()) {
+                        InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;
+                        interpretationOf = (ConstantDeclaration)eResolveProxy(oldInterpretationOf);
+                        if (interpretationOf != oldInterpretationOf) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
+                        }
+                }
+                return interpretationOf;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public ConstantDeclaration basicGetInterpretationOf() {
+                return interpretationOf;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setInterpretationOf(ConstantDeclaration newInterpretationOf) {
+                ConstantDeclaration oldInterpretationOf = interpretationOf;
+                interpretationOf = newInterpretationOf;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:
+                                if (resolve) return getInterpretationOf();
+                                return basicGetInterpretationOf();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:
+                                setInterpretationOf((ConstantDeclaration)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:
+                                setInterpretationOf((ConstantDeclaration)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:
+                                return interpretationOf != null;
+                }
+                return super.eIsSet(featureID);
+        }
+} //PartialConstantInterpretationImpl

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