From 9e39671e47b12ef63178715b19d2ab23a9acdc11 Mon Sep 17 00:00:00 2001
From: OszkarSemerath
Date: Wed, 13 Jun 2018 11:15:12 +0200
Subject: Updated partial model representation
---
.../impl/NaryRelationLinkElementImpl.java | 62 +++
.../impl/PartialBooleanInterpretationImpl.java | 37 ++
.../impl/PartialComplexTypeInterpretationImpl.java | 198 +++++++
.../impl/PartialIntegerInterpretationImpl.java | 37 ++
.../impl/PartialInterpretationImpl.java | 571 +++------------------
.../impl/PartialPrimitiveInterpretationImpl.java | 37 ++
.../impl/PartialRealInterpretationImpl.java | 37 ++
.../impl/PartialStringInterpretationImpl.java | 37 ++
.../impl/PartialTypeInterpratationImpl.java | 103 +---
.../impl/PartialinterpretationFactoryImpl.java | 77 ++-
.../impl/PartialinterpretationPackageImpl.java | 341 +++++++-----
.../partialinterpretation/impl/ScopeImpl.java | 279 ++++++++++
12 files changed, 1081 insertions(+), 735 deletions(-)
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl')
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
index 40e6549d..749a03c5 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
@@ -2,6 +2,7 @@
*/
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
@@ -9,6 +10,7 @@ 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;
@@ -21,6 +23,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getIndex Index}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getParam Param}
*
*
* @generated
@@ -46,6 +49,16 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
*/
protected int index = INDEX_EDEFAULT;
+ /**
+ * The cached value of the '{@link #getParam() Param}' reference.
+ *
+ *
+ * @see #getParam()
+ * @generated
+ * @ordered
+ */
+ protected DefinedElement param;
+
/**
*
*
@@ -86,6 +99,44 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX, oldIndex, index));
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public DefinedElement getParam() {
+ if (param != null && param.eIsProxy()) {
+ InternalEObject oldParam = (InternalEObject)param;
+ param = (DefinedElement)eResolveProxy(oldParam);
+ if (param != oldParam) {
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param));
+ }
+ }
+ return param;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public DefinedElement basicGetParam() {
+ return param;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setParam(DefinedElement newParam) {
+ DefinedElement oldParam = param;
+ param = newParam;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param));
+ }
+
/**
*
*
@@ -96,6 +147,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
switch (featureID) {
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
return getIndex();
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ if (resolve) return getParam();
+ return basicGetParam();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -111,6 +165,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
setIndex((Integer)newValue);
return;
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ setParam((DefinedElement)newValue);
+ return;
}
super.eSet(featureID, newValue);
}
@@ -126,6 +183,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
setIndex(INDEX_EDEFAULT);
return;
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ setParam((DefinedElement)null);
+ return;
}
super.eUnset(featureID);
}
@@ -140,6 +200,8 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
switch (featureID) {
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
return index != INDEX_EDEFAULT;
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ return param != null;
}
return super.eIsSet(featureID);
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
new file mode 100644
index 00000000..6c549300
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Boolean Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialBooleanInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialBooleanInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialBooleanInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_BOOLEAN_INTERPRETATION;
+ }
+
+} //PartialBooleanInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
new file mode 100644
index 00000000..07ee282d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
@@ -0,0 +1,198 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+
+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.EObjectResolvingEList;
+
+/**
+ *
+ * An implementation of the model object 'Partial Complex Type Interpretation'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getSupertypeInterpretation Supertype Interpretation}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getInterpretationOf Interpretation Of}
+ *
+ *
+ * @generated
+ */
+public class PartialComplexTypeInterpretationImpl extends PartialTypeInterpratationImpl implements PartialComplexTypeInterpretation {
+ /**
+ * The cached value of the '{@link #getSupertypeInterpretation() Supertype Interpretation}' reference list.
+ *
+ *
+ * @see #getSupertypeInterpretation()
+ * @generated
+ * @ordered
+ */
+ protected EList supertypeInterpretation;
+
+ /**
+ * The cached value of the '{@link #getInterpretationOf() Interpretation Of}' reference.
+ *
+ *
+ * @see #getInterpretationOf()
+ * @generated
+ * @ordered
+ */
+ protected TypeDeclaration interpretationOf;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialComplexTypeInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_COMPLEX_TYPE_INTERPRETATION;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EList getSupertypeInterpretation() {
+ if (supertypeInterpretation == null) {
+ supertypeInterpretation = new EObjectResolvingEList(PartialComplexTypeInterpretation.class, this, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION);
+ }
+ return supertypeInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public TypeDeclaration getInterpretationOf() {
+ if (interpretationOf != null && interpretationOf.eIsProxy()) {
+ InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;
+ interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf);
+ if (interpretationOf != oldInterpretationOf) {
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
+ }
+ }
+ return interpretationOf;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public TypeDeclaration basicGetInterpretationOf() {
+ return interpretationOf;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setInterpretationOf(TypeDeclaration newInterpretationOf) {
+ TypeDeclaration oldInterpretationOf = interpretationOf;
+ interpretationOf = newInterpretationOf;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ return getSupertypeInterpretation();
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ if (resolve) return getInterpretationOf();
+ return basicGetInterpretationOf();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @SuppressWarnings("unchecked")
+ @Override
+ public void eSet(int featureID, Object newValue) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ getSupertypeInterpretation().clear();
+ getSupertypeInterpretation().addAll((Collection extends PartialComplexTypeInterpretation>)newValue);
+ return;
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ setInterpretationOf((TypeDeclaration)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ getSupertypeInterpretation().clear();
+ return;
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ setInterpretationOf((TypeDeclaration)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ return supertypeInterpretation != null && !supertypeInterpretation.isEmpty();
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ return interpretationOf != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //PartialComplexTypeInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
new file mode 100644
index 00000000..d3e034c3
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Integer Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialIntegerInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialIntegerInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialIntegerInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_INTEGER_INTERPRETATION;
+ }
+
+} //PartialIntegerInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
index dd744606..bce3e2e0 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
@@ -5,18 +5,13 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.pa
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
-
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
-
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
import java.util.Collection;
import org.eclipse.emf.common.notify.Notification;
@@ -47,21 +42,11 @@ import org.eclipse.emf.ecore.util.InternalEList;
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation Partialfunctioninterpretation}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements New Elements}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation Partialtypeinterpratation}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElements Open World Elements}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer Problem Conainer}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes Scopes}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements Min New Elements}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements Max New Elements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes Open World Element Prototypes}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer Problem Conainer}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement Stringelement}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements Stringelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements Realelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements Integerelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements Booleanelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers Max New Integers}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals Max New Reals}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings Max New Strings}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings New Strings}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals New Reals}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers New Integers}
*
*
* @generated
@@ -128,54 +113,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
protected EList partialtypeinterpratation;
/**
- * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute.
- *
- *
- * @see #getMinNewElements()
- * @generated
- * @ordered
- */
- protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute.
- *
- *
- * @see #getMinNewElements()
- * @generated
- * @ordered
- */
- protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
- *
- *
- * @see #getMaxNewElements()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
- *
- *
- * @see #getMaxNewElements()
- * @generated
- * @ordered
- */
- protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
-
- /**
- * The cached value of the '{@link #getOpenWorldElementPrototypes() Open World Element Prototypes}' containment reference list.
+ * The cached value of the '{@link #getOpenWorldElements() Open World Elements}' containment reference list.
*
*
- * @see #getOpenWorldElementPrototypes()
+ * @see #getOpenWorldElements()
* @generated
* @ordered
*/
- protected EList openWorldElementPrototypes;
+ protected EList openWorldElements;
/**
* The cached value of the '{@link #getProblemConainer() Problem Conainer}' containment reference.
@@ -188,144 +133,54 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
protected LogicProblem problemConainer;
/**
- * The cached value of the '{@link #getStringelement() Stringelement}' containment reference list.
- *
- *
- * @see #getStringelement()
- * @generated
- * @ordered
- */
- protected EList stringelement;
-
- /**
- * The cached value of the '{@link #getStringelements() Stringelements}' containment reference list.
- *
- *
- * @see #getStringelements()
- * @generated
- * @ordered
- */
- protected EList stringelements;
-
- /**
- * The cached value of the '{@link #getRealelements() Realelements}' containment reference list.
- *
- *
- * @see #getRealelements()
- * @generated
- * @ordered
- */
- protected EList realelements;
-
- /**
- * The cached value of the '{@link #getIntegerelements() Integerelements}' containment reference list.
+ * The cached value of the '{@link #getScopes() Scopes}' containment reference list.
*
*
- * @see #getIntegerelements()
+ * @see #getScopes()
* @generated
* @ordered
*/
- protected EList integerelements;
+ protected EList scopes;
/**
- * The cached value of the '{@link #getBooleanelements() Booleanelements}' containment reference list.
- *
- *
- * @see #getBooleanelements()
- * @generated
- * @ordered
- */
- protected EList booleanelements;
-
- /**
- * The default value of the '{@link #getMaxNewIntegers() Max New Integers}' attribute.
- *
- *
- * @see #getMaxNewIntegers()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewIntegers() Max New Integers}' attribute.
- *
- *
- * @see #getMaxNewIntegers()
- * @generated
- * @ordered
- */
- protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMaxNewReals() Max New Reals}' attribute.
- *
- *
- * @see #getMaxNewReals()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_REALS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewReals() Max New Reals}' attribute.
- *
- *
- * @see #getMaxNewReals()
- * @generated
- * @ordered
- */
- protected int maxNewReals = MAX_NEW_REALS_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMaxNewStrings() Max New Strings}' attribute.
- *
- *
- * @see #getMaxNewStrings()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_STRINGS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewStrings() Max New Strings}' attribute.
+ * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute.
*
*
- * @see #getMaxNewStrings()
+ * @see #getMinNewElements()
* @generated
* @ordered
*/
- protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT;
+ protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
/**
- * The cached value of the '{@link #getNewStrings() New Strings}' containment reference list.
+ * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute.
*
*
- * @see #getNewStrings()
+ * @see #getMinNewElements()
* @generated
* @ordered
*/
- protected EList newStrings;
+ protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
/**
- * The cached value of the '{@link #getNewReals() New Reals}' containment reference list.
+ * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
*
*
- * @see #getNewReals()
+ * @see #getMaxNewElements()
* @generated
* @ordered
*/
- protected EList newReals;
+ protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;
/**
- * The cached value of the '{@link #getNewIntegers() New Integers}' containment reference list.
+ * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
*
*
- * @see #getNewIntegers()
+ * @see #getMaxNewElements()
* @generated
* @ordered
*/
- protected EList newIntegers;
+ protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
/**
*
@@ -449,53 +304,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public int getMinNewElements() {
- return minNewElements;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setMinNewElements(int newMinNewElements) {
- int oldMinNewElements = minNewElements;
- minNewElements = newMinNewElements;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
- }
-
- /**
- *
- *
- * @generated
- */
- public int getMaxNewElements() {
- return maxNewElements;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setMaxNewElements(int newMaxNewElements) {
- int oldMaxNewElements = maxNewElements;
- maxNewElements = newMaxNewElements;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getOpenWorldElementPrototypes() {
- if (openWorldElementPrototypes == null) {
- openWorldElementPrototypes = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
+ public EList getOpenWorldElements() {
+ if (openWorldElements == null) {
+ openWorldElements = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);
}
- return openWorldElementPrototypes;
+ return openWorldElements;
}
/**
@@ -546,80 +359,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public EList getStringelement() {
- if (stringelement == null) {
- stringelement = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT);
- }
- return stringelement;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getStringelements() {
- if (stringelements == null) {
- stringelements = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS);
- }
- return stringelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getRealelements() {
- if (realelements == null) {
- realelements = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS);
- }
- return realelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getIntegerelements() {
- if (integerelements == null) {
- integerelements = new EObjectContainmentEList(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS);
- }
- return integerelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getBooleanelements() {
- if (booleanelements == null) {
- booleanelements = new EObjectContainmentEList(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
+ public EList getScopes() {
+ if (scopes == null) {
+ scopes = new EObjectContainmentEList(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES);
}
- return booleanelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public int getMaxNewIntegers() {
- return maxNewIntegers;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setMaxNewIntegers(int newMaxNewIntegers) {
- int oldMaxNewIntegers = maxNewIntegers;
- maxNewIntegers = newMaxNewIntegers;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers));
+ return scopes;
}
/**
@@ -627,8 +371,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public int getMaxNewReals() {
- return maxNewReals;
+ public int getMinNewElements() {
+ return minNewElements;
}
/**
@@ -636,11 +380,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public void setMaxNewReals(int newMaxNewReals) {
- int oldMaxNewReals = maxNewReals;
- maxNewReals = newMaxNewReals;
+ public void setMinNewElements(int newMinNewElements) {
+ int oldMinNewElements = minNewElements;
+ minNewElements = newMinNewElements;
if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals));
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
}
/**
@@ -648,8 +392,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public int getMaxNewStrings() {
- return maxNewStrings;
+ public int getMaxNewElements() {
+ return maxNewElements;
}
/**
@@ -657,47 +401,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public void setMaxNewStrings(int newMaxNewStrings) {
- int oldMaxNewStrings = maxNewStrings;
- maxNewStrings = newMaxNewStrings;
+ public void setMaxNewElements(int newMaxNewElements) {
+ int oldMaxNewElements = maxNewElements;
+ maxNewElements = newMaxNewElements;
if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings));
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getNewStrings() {
- if (newStrings == null) {
- newStrings = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS);
- }
- return newStrings;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getNewReals() {
- if (newReals == null) {
- newReals = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS);
- }
- return newReals;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getNewIntegers() {
- if (newIntegers == null) {
- newIntegers = new EObjectContainmentEList(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS);
- }
- return newIntegers;
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
}
/**
@@ -718,26 +426,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
return ((InternalEList>)getNewElements()).basicRemove(otherEnd, msgs);
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
return ((InternalEList>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- return ((InternalEList>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ return ((InternalEList>)getOpenWorldElements()).basicRemove(otherEnd, msgs);
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
return basicSetProblemConainer(null, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- return ((InternalEList>)getStringelement()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- return ((InternalEList>)getStringelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- return ((InternalEList>)getRealelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- return ((InternalEList>)getIntegerelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- return ((InternalEList>)getBooleanelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- return ((InternalEList>)getNewStrings()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- return ((InternalEList>)getNewReals()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- return ((InternalEList>)getNewIntegers()).basicRemove(otherEnd, msgs);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ return ((InternalEList>)getScopes()).basicRemove(otherEnd, msgs);
}
return super.eInverseRemove(otherEnd, featureID, msgs);
}
@@ -763,36 +457,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
return getNewElements();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
return getPartialtypeinterpratation();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ return getOpenWorldElements();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
+ return getProblemConainer();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ return getScopes();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
return getMinNewElements();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
return getMaxNewElements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- return getOpenWorldElementPrototypes();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
- return getProblemConainer();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- return getStringelement();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- return getStringelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- return getRealelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- return getIntegerelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- return getBooleanelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- return getMaxNewIntegers();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- return getMaxNewReals();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- return getMaxNewStrings();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- return getNewStrings();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- return getNewReals();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- return getNewIntegers();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -829,59 +503,22 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
getPartialtypeinterpratation().clear();
getPartialtypeinterpratation().addAll((Collection extends PartialTypeInterpratation>)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
- setMinNewElements((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
- setMaxNewElements((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- getOpenWorldElementPrototypes().clear();
- getOpenWorldElementPrototypes().addAll((Collection extends DefinedElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ getOpenWorldElements().clear();
+ getOpenWorldElements().addAll((Collection extends DefinedElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
setProblemConainer((LogicProblem)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- getStringelement().clear();
- getStringelement().addAll((Collection extends StringElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- getStringelements().clear();
- getStringelements().addAll((Collection extends StringElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- getRealelements().clear();
- getRealelements().addAll((Collection extends RealElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- getIntegerelements().clear();
- getIntegerelements().addAll((Collection extends IntegerElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- getBooleanelements().clear();
- getBooleanelements().addAll((Collection extends BooleanElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- setMaxNewIntegers((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- setMaxNewReals((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- setMaxNewStrings((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- getNewStrings().clear();
- getNewStrings().addAll((Collection extends StringElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ getScopes().clear();
+ getScopes().addAll((Collection extends Scope>)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- getNewReals().clear();
- getNewReals().addAll((Collection extends RealElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
+ setMinNewElements((Integer)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- getNewIntegers().clear();
- getNewIntegers().addAll((Collection extends IntegerElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
+ setMaxNewElements((Integer)newValue);
return;
}
super.eSet(featureID, newValue);
@@ -913,50 +550,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
getPartialtypeinterpratation().clear();
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
- setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
- setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- getOpenWorldElementPrototypes().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ getOpenWorldElements().clear();
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
setProblemConainer((LogicProblem)null);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- getStringelement().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- getStringelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- getRealelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- getIntegerelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- getBooleanelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- setMaxNewReals(MAX_NEW_REALS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- getNewStrings().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ getScopes().clear();
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- getNewReals().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
+ setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- getNewIntegers().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
+ setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
return;
}
super.eUnset(featureID);
@@ -982,36 +589,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
return newElements != null && !newElements.isEmpty();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ return openWorldElements != null && !openWorldElements.isEmpty();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
+ return problemConainer != null;
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ return scopes != null && !scopes.isEmpty();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
- return problemConainer != null;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- return stringelement != null && !stringelement.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- return stringelements != null && !stringelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- return realelements != null && !realelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- return integerelements != null && !integerelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- return booleanelements != null && !booleanelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- return maxNewReals != MAX_NEW_REALS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- return newStrings != null && !newStrings.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- return newReals != null && !newReals.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- return newIntegers != null && !newIntegers.isEmpty();
}
return super.eIsSet(featureID);
}
@@ -1030,12 +617,6 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
result.append(minNewElements);
result.append(", maxNewElements: ");
result.append(maxNewElements);
- result.append(", maxNewIntegers: ");
- result.append(maxNewIntegers);
- result.append(", maxNewReals: ");
- result.append(maxNewReals);
- result.append(", maxNewStrings: ");
- result.append(maxNewStrings);
result.append(')');
return result.toString();
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
new file mode 100644
index 00000000..cc426031
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Primitive Interpretation'.
+ *
+ *
+ * @generated
+ */
+public abstract class PartialPrimitiveInterpretationImpl extends PartialTypeInterpratationImpl implements PartialPrimitiveInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialPrimitiveInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_PRIMITIVE_INTERPRETATION;
+ }
+
+} //PartialPrimitiveInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
new file mode 100644
index 00000000..d14bdaa2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Real Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialRealInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialRealInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialRealInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_REAL_INTERPRETATION;
+ }
+
+} //PartialRealInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
new file mode 100644
index 00000000..2a887d43
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial String Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialStringInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialStringInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialStringInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_STRING_INTERPRETATION;
+ }
+
+} //PartialStringInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
index 1090aaf7..beb45529 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
@@ -3,19 +3,12 @@
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
-
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
import java.util.Collection;
-import org.eclipse.emf.common.notify.Notification;
-
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.impl.MinimalEObjectImpl;
import org.eclipse.emf.ecore.util.EObjectResolvingEList;
@@ -27,24 +20,12 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList;
* The following features are implemented:
*
*
- * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getInterpretationOf Interpretation Of}
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements Elements}
- * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getSupertypeInterpretation Supertype Interpretation}
*
*
* @generated
*/
-public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation {
- /**
- * The cached value of the '{@link #getInterpretationOf() Interpretation Of}' reference.
- *
- *
- * @see #getInterpretationOf()
- * @generated
- * @ordered
- */
- protected TypeDeclaration interpretationOf;
-
+public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation {
/**
* The cached value of the '{@link #getElements() Elements}' reference list.
*
@@ -55,16 +36,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
*/
protected EList elements;
- /**
- * The cached value of the '{@link #getSupertypeInterpretation() Supertype Interpretation}' reference list.
- *
- *
- * @see #getSupertypeInterpretation()
- * @generated
- * @ordered
- */
- protected EList supertypeInterpretation;
-
/**
*
*
@@ -84,44 +55,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
return PartialinterpretationPackage.Literals.PARTIAL_TYPE_INTERPRATATION;
}
- /**
- *
- *
- * @generated
- */
- public TypeDeclaration getInterpretationOf() {
- if (interpretationOf != null && interpretationOf.eIsProxy()) {
- InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;
- interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf);
- if (interpretationOf != oldInterpretationOf) {
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
- }
- }
- return interpretationOf;
- }
-
- /**
- *
- *
- * @generated
- */
- public TypeDeclaration basicGetInterpretationOf() {
- return interpretationOf;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setInterpretationOf(TypeDeclaration newInterpretationOf) {
- TypeDeclaration oldInterpretationOf = interpretationOf;
- interpretationOf = newInterpretationOf;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
- }
-
/**
*
*
@@ -134,18 +67,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
return elements;
}
- /**
- *
- *
- * @generated
- */
- public EList getSupertypeInterpretation() {
- if (supertypeInterpretation == null) {
- supertypeInterpretation = new EObjectResolvingEList(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION);
- }
- return supertypeInterpretation;
- }
-
/**
*
*
@@ -154,13 +75,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public Object eGet(int featureID, boolean resolve, boolean coreType) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- if (resolve) return getInterpretationOf();
- return basicGetInterpretationOf();
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
return getElements();
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- return getSupertypeInterpretation();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -174,17 +90,10 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public void eSet(int featureID, Object newValue) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- setInterpretationOf((TypeDeclaration)newValue);
- return;
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
getElements().clear();
getElements().addAll((Collection extends DefinedElement>)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- getSupertypeInterpretation().clear();
- getSupertypeInterpretation().addAll((Collection extends PartialTypeInterpratation>)newValue);
- return;
}
super.eSet(featureID, newValue);
}
@@ -197,15 +106,9 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public void eUnset(int featureID) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- setInterpretationOf((TypeDeclaration)null);
- return;
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
getElements().clear();
return;
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- getSupertypeInterpretation().clear();
- return;
}
super.eUnset(featureID);
}
@@ -218,12 +121,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public boolean eIsSet(int featureID) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- return interpretationOf != null;
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
return elements != null && !elements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- return supertypeInterpretation != null && !supertypeInterpretation.isEmpty();
}
return super.eIsSet(featureID);
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
index ebd70a97..af1db8a1 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
@@ -60,7 +60,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: return createPartialConstantInterpretation();
case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: return createPartialRelationInterpretation();
case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: return createPartialFunctionInterpretation();
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION: return createPartialTypeInterpratation();
case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: return createUnaryElementRelationLink();
case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink();
case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink();
@@ -69,6 +68,12 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement();
case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement();
case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement();
+ case PartialinterpretationPackage.SCOPE: return createScope();
+ case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: return createPartialBooleanInterpretation();
+ case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: return createPartialIntegerInterpretation();
+ case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: return createPartialRealInterpretation();
+ case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: return createPartialStringInterpretation();
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: return createPartialComplexTypeInterpretation();
default:
throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
}
@@ -114,16 +119,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
return partialFunctionInterpretation;
}
- /**
- *
- *
- * @generated
- */
- public PartialTypeInterpratation createPartialTypeInterpratation() {
- PartialTypeInterpratationImpl partialTypeInterpratation = new PartialTypeInterpratationImpl();
- return partialTypeInterpratation;
- }
-
/**
*
*
@@ -204,6 +199,66 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
return stringElement;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public Scope createScope() {
+ ScopeImpl scope = new ScopeImpl();
+ return scope;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialBooleanInterpretation createPartialBooleanInterpretation() {
+ PartialBooleanInterpretationImpl partialBooleanInterpretation = new PartialBooleanInterpretationImpl();
+ return partialBooleanInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialIntegerInterpretation createPartialIntegerInterpretation() {
+ PartialIntegerInterpretationImpl partialIntegerInterpretation = new PartialIntegerInterpretationImpl();
+ return partialIntegerInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialRealInterpretation createPartialRealInterpretation() {
+ PartialRealInterpretationImpl partialRealInterpretation = new PartialRealInterpretationImpl();
+ return partialRealInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialStringInterpretation createPartialStringInterpretation() {
+ PartialStringInterpretationImpl partialStringInterpretation = new PartialStringInterpretationImpl();
+ return partialStringInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialComplexTypeInterpretation createPartialComplexTypeInterpretation() {
+ PartialComplexTypeInterpretationImpl partialComplexTypeInterpretation = new PartialComplexTypeInterpretationImpl();
+ return partialComplexTypeInterpretation;
+ }
+
/**
*
*
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
index 5fae0d4e..c0515c43 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
@@ -11,16 +11,23 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink;
@@ -143,6 +150,55 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*/
private EClass stringElementEClass = null;
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass scopeEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialPrimitiveInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialBooleanInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialIntegerInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialRealInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialStringInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialComplexTypeInterpretationEClass = null;
+
/**
* Creates an instance of the model Package, registered with
* {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
@@ -276,8 +332,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MinNewElements() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(6);
+ public EReference getPartialInterpretation_OpenWorldElements() {
+ return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(6);
}
/**
@@ -285,8 +341,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewElements() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(7);
+ public EReference getPartialInterpretation_ProblemConainer() {
+ return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(7);
}
/**
@@ -294,7 +350,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_OpenWorldElementPrototypes() {
+ public EReference getPartialInterpretation_Scopes() {
return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8);
}
@@ -303,8 +359,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_ProblemConainer() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9);
+ public EAttribute getPartialInterpretation_MinNewElements() {
+ return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(9);
}
/**
@@ -312,8 +368,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Stringelement() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10);
+ public EAttribute getPartialInterpretation_MaxNewElements() {
+ return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(10);
}
/**
@@ -321,8 +377,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Stringelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11);
+ public EClass getPartialConstantInterpretation() {
+ return partialConstantInterpretationEClass;
}
/**
@@ -330,8 +386,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Realelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12);
+ public EReference getPartialConstantInterpretation_InterpretationOf() {
+ return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -339,8 +395,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Integerelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13);
+ public EClass getPartialRelationInterpretation() {
+ return partialRelationInterpretationEClass;
}
/**
@@ -348,8 +404,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Booleanelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14);
+ public EReference getPartialRelationInterpretation_InterpretationOf() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -357,8 +413,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewIntegers() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15);
+ public EReference getPartialRelationInterpretation_Relationlinks() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);
}
/**
@@ -366,8 +422,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewReals() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16);
+ public EReference getPartialRelationInterpretation_Param1() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);
}
/**
@@ -375,8 +431,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewStrings() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17);
+ public EReference getPartialRelationInterpretation_Param2() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);
}
/**
@@ -384,8 +440,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_NewStrings() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18);
+ public EClass getPartialFunctionInterpretation() {
+ return partialFunctionInterpretationEClass;
}
/**
@@ -393,8 +449,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_NewReals() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19);
+ public EReference getPartialFunctionInterpretation_InterpretationOf() {
+ return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -402,8 +458,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_NewIntegers() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20);
+ public EClass getPartialTypeInterpratation() {
+ return partialTypeInterpratationEClass;
}
/**
@@ -411,8 +467,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialConstantInterpretation() {
- return partialConstantInterpretationEClass;
+ public EReference getPartialTypeInterpratation_Elements() {
+ return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -420,8 +476,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialConstantInterpretation_InterpretationOf() {
- return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);
+ public EClass getRelationLink() {
+ return relationLinkEClass;
}
/**
@@ -429,8 +485,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialRelationInterpretation() {
- return partialRelationInterpretationEClass;
+ public EClass getUnaryElementRelationLink() {
+ return unaryElementRelationLinkEClass;
}
/**
@@ -438,8 +494,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_InterpretationOf() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);
+ public EReference getUnaryElementRelationLink_Param1() {
+ return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
}
/**
@@ -447,8 +503,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_Relationlinks() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);
+ public EClass getBinaryElementRelationLink() {
+ return binaryElementRelationLinkEClass;
}
/**
@@ -456,8 +512,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_Param1() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);
+ public EReference getBinaryElementRelationLink_Param1() {
+ return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
}
/**
@@ -465,8 +521,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_Param2() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);
+ public EReference getBinaryElementRelationLink_Param2() {
+ return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);
}
/**
@@ -474,8 +530,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialFunctionInterpretation() {
- return partialFunctionInterpretationEClass;
+ public EClass getNaryRelationLink() {
+ return naryRelationLinkEClass;
}
/**
@@ -483,8 +539,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialFunctionInterpretation_InterpretationOf() {
- return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);
+ public EReference getNaryRelationLink_Elements() {
+ return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);
}
/**
@@ -492,8 +548,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialTypeInterpratation() {
- return partialTypeInterpratationEClass;
+ public EClass getNaryRelationLinkElement() {
+ return naryRelationLinkElementEClass;
}
/**
@@ -501,8 +557,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialTypeInterpratation_InterpretationOf() {
- return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);
+ public EAttribute getNaryRelationLinkElement_Index() {
+ return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -510,8 +566,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialTypeInterpratation_Elements() {
- return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1);
+ public EReference getNaryRelationLinkElement_Param() {
+ return (EReference)naryRelationLinkElementEClass.getEStructuralFeatures().get(1);
}
/**
@@ -519,8 +575,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialTypeInterpratation_SupertypeInterpretation() {
- return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(2);
+ public EClass getPrimitiveElement() {
+ return primitiveElementEClass;
}
/**
@@ -528,8 +584,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getRelationLink() {
- return relationLinkEClass;
+ public EAttribute getPrimitiveElement_ValueSet() {
+ return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -537,8 +593,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getUnaryElementRelationLink() {
- return unaryElementRelationLinkEClass;
+ public EClass getBooleanElement() {
+ return booleanElementEClass;
}
/**
@@ -546,8 +602,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getUnaryElementRelationLink_Param1() {
- return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
+ public EAttribute getBooleanElement_Value() {
+ return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -555,8 +611,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getBinaryElementRelationLink() {
- return binaryElementRelationLinkEClass;
+ public EClass getIntegerElement() {
+ return integerElementEClass;
}
/**
@@ -564,8 +620,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getBinaryElementRelationLink_Param1() {
- return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
+ public EAttribute getIntegerElement_Value() {
+ return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -573,8 +629,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getBinaryElementRelationLink_Param2() {
- return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);
+ public EClass getRealElement() {
+ return realElementEClass;
}
/**
@@ -582,8 +638,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getNaryRelationLink() {
- return naryRelationLinkEClass;
+ public EAttribute getRealElement_Value() {
+ return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -591,8 +647,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getNaryRelationLink_Elements() {
- return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);
+ public EClass getStringElement() {
+ return stringElementEClass;
}
/**
@@ -600,8 +656,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getNaryRelationLinkElement() {
- return naryRelationLinkElementEClass;
+ public EAttribute getStringElement_Value() {
+ return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -609,8 +665,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getNaryRelationLinkElement_Index() {
- return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);
+ public EClass getScope() {
+ return scopeEClass;
}
/**
@@ -618,8 +674,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPrimitiveElement() {
- return primitiveElementEClass;
+ public EAttribute getScope_MinNewElements() {
+ return (EAttribute)scopeEClass.getEStructuralFeatures().get(0);
}
/**
@@ -627,8 +683,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPrimitiveElement_ValueSet() {
- return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);
+ public EAttribute getScope_MaxNewElements() {
+ return (EAttribute)scopeEClass.getEStructuralFeatures().get(1);
}
/**
@@ -636,8 +692,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getBooleanElement() {
- return booleanElementEClass;
+ public EReference getScope_TargetTypeInterpretation() {
+ return (EReference)scopeEClass.getEStructuralFeatures().get(2);
}
/**
@@ -645,8 +701,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getBooleanElement_Value() {
- return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);
+ public EClass getPartialPrimitiveInterpretation() {
+ return partialPrimitiveInterpretationEClass;
}
/**
@@ -654,8 +710,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getIntegerElement() {
- return integerElementEClass;
+ public EClass getPartialBooleanInterpretation() {
+ return partialBooleanInterpretationEClass;
}
/**
@@ -663,8 +719,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getIntegerElement_Value() {
- return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);
+ public EClass getPartialIntegerInterpretation() {
+ return partialIntegerInterpretationEClass;
}
/**
@@ -672,8 +728,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getRealElement() {
- return realElementEClass;
+ public EClass getPartialRealInterpretation() {
+ return partialRealInterpretationEClass;
}
/**
@@ -681,8 +737,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getRealElement_Value() {
- return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);
+ public EClass getPartialStringInterpretation() {
+ return partialStringInterpretationEClass;
}
/**
@@ -690,8 +746,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getStringElement() {
- return stringElementEClass;
+ public EClass getPartialComplexTypeInterpretation() {
+ return partialComplexTypeInterpretationEClass;
}
/**
@@ -699,8 +755,17 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getStringElement_Value() {
- return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);
+ public EReference getPartialComplexTypeInterpretation_SupertypeInterpretation() {
+ return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getPartialComplexTypeInterpretation_InterpretationOf() {
+ return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(1);
}
/**
@@ -738,21 +803,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION);
createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS);
createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);
+ createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);
+ createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);
+ createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__SCOPES);
createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS);
createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
- createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS);
- createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS);
- createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS);
partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION);
createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF);
@@ -767,9 +822,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
createEReference(partialFunctionInterpretationEClass, PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF);
partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION);
- createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF);
createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS);
- createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION);
relationLinkEClass = createEClass(RELATION_LINK);
@@ -785,6 +838,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT);
createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX);
+ createEReference(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__PARAM);
primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT);
createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET);
@@ -800,6 +854,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
stringElementEClass = createEClass(STRING_ELEMENT);
createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE);
+
+ scopeEClass = createEClass(SCOPE);
+ createEAttribute(scopeEClass, SCOPE__MIN_NEW_ELEMENTS);
+ createEAttribute(scopeEClass, SCOPE__MAX_NEW_ELEMENTS);
+ createEReference(scopeEClass, SCOPE__TARGET_TYPE_INTERPRETATION);
+
+ partialPrimitiveInterpretationEClass = createEClass(PARTIAL_PRIMITIVE_INTERPRETATION);
+
+ partialBooleanInterpretationEClass = createEClass(PARTIAL_BOOLEAN_INTERPRETATION);
+
+ partialIntegerInterpretationEClass = createEClass(PARTIAL_INTEGER_INTERPRETATION);
+
+ partialRealInterpretationEClass = createEClass(PARTIAL_REAL_INTERPRETATION);
+
+ partialStringInterpretationEClass = createEClass(PARTIAL_STRING_INTERPRETATION);
+
+ partialComplexTypeInterpretationEClass = createEClass(PARTIAL_COMPLEX_TYPE_INTERPRETATION);
+ createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION);
+ createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF);
}
/**
@@ -842,6 +915,12 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
integerElementEClass.getESuperTypes().add(this.getPrimitiveElement());
realElementEClass.getESuperTypes().add(this.getPrimitiveElement());
stringElementEClass.getESuperTypes().add(this.getPrimitiveElement());
+ partialPrimitiveInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation());
+ partialBooleanInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialIntegerInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialRealInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialStringInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialComplexTypeInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation());
// Initialize classes, features, and operations; add parameters
initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -851,21 +930,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEReference(getPartialInterpretation_Partialfunctioninterpretation(), this.getPartialFunctionInterpretation(), null, "partialfunctioninterpretation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getPartialInterpretation_NewElements(), theLogiclanguagePackage.getDefinedElement(), null, "newElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getPartialInterpretation_OpenWorldElements(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getPartialInterpretation_Scopes(), this.getScope(), null, "scopes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -879,10 +948,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEClass(partialFunctionInterpretationEClass, PartialFunctionInterpretation.class, "PartialFunctionInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getPartialFunctionInterpretation_InterpretationOf(), theLogiclanguagePackage.getFunctionDeclaration(), null, "interpretationOf", null, 1, 1, PartialFunctionInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getPartialTypeInterpratation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getPartialTypeInterpratation_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialTypeInterpratation_SupertypeInterpretation(), this.getPartialTypeInterpratation(), null, "supertypeInterpretation", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -898,6 +965,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getNaryRelationLinkElement_Param(), theLogiclanguagePackage.getDefinedElement(), null, "param", null, 1, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -914,6 +982,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEClass(scopeEClass, Scope.class, "Scope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getScope_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getScope_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getScope_TargetTypeInterpretation(), this.getPartialTypeInterpratation(), null, "targetTypeInterpretation", null, 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialBooleanInterpretationEClass, PartialBooleanInterpretation.class, "PartialBooleanInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialIntegerInterpretationEClass, PartialIntegerInterpretation.class, "PartialIntegerInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialRealInterpretationEClass, PartialRealInterpretation.class, "PartialRealInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialStringInterpretationEClass, PartialStringInterpretation.class, "PartialStringInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialComplexTypeInterpretationEClass, PartialComplexTypeInterpretation.class, "PartialComplexTypeInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getPartialComplexTypeInterpretation_SupertypeInterpretation(), this.getPartialComplexTypeInterpretation(), null, "supertypeInterpretation", null, 0, -1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getPartialComplexTypeInterpretation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
// Create resource
createResource(eNS_URI);
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
new file mode 100644
index 00000000..4699aef6
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
@@ -0,0 +1,279 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
+
+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;
+
+/**
+ *
+ * An implementation of the model object 'Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements Min New Elements}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements Max New Elements}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation Target Type Interpretation}
+ *
+ *
+ * @generated
+ */
+public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope {
+ /**
+ * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute.
+ *
+ *
+ * @see #getMinNewElements()
+ * @generated
+ * @ordered
+ */
+ protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
+
+ /**
+ * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute.
+ *
+ *
+ * @see #getMinNewElements()
+ * @generated
+ * @ordered
+ */
+ protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
+
+ /**
+ * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
+ *
+ *
+ * @see #getMaxNewElements()
+ * @generated
+ * @ordered
+ */
+ protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;
+
+ /**
+ * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
+ *
+ *
+ * @see #getMaxNewElements()
+ * @generated
+ * @ordered
+ */
+ protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
+
+ /**
+ * The cached value of the '{@link #getTargetTypeInterpretation() Target Type Interpretation}' reference.
+ *
+ *
+ * @see #getTargetTypeInterpretation()
+ * @generated
+ * @ordered
+ */
+ protected PartialTypeInterpratation targetTypeInterpretation;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected ScopeImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getMinNewElements() {
+ return minNewElements;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMinNewElements(int newMinNewElements) {
+ int oldMinNewElements = minNewElements;
+ minNewElements = newMinNewElements;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getMaxNewElements() {
+ return maxNewElements;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMaxNewElements(int newMaxNewElements) {
+ int oldMaxNewElements = maxNewElements;
+ maxNewElements = newMaxNewElements;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialTypeInterpratation getTargetTypeInterpretation() {
+ if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) {
+ InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation;
+ targetTypeInterpretation = (PartialTypeInterpratation)eResolveProxy(oldTargetTypeInterpretation);
+ if (targetTypeInterpretation != oldTargetTypeInterpretation) {
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation));
+ }
+ }
+ return targetTypeInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialTypeInterpratation basicGetTargetTypeInterpretation() {
+ return targetTypeInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) {
+ PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation;
+ targetTypeInterpretation = newTargetTypeInterpretation;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ return getMinNewElements();
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ return getMaxNewElements();
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ if (resolve) return getTargetTypeInterpretation();
+ return basicGetTargetTypeInterpretation();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ setMinNewElements((Integer)newValue);
+ return;
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ setMaxNewElements((Integer)newValue);
+ return;
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ setTargetTypeInterpretation((PartialTypeInterpratation)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
+ return;
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
+ return;
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ setTargetTypeInterpretation((PartialTypeInterpratation)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ return targetTypeInterpretation != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString() {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (minNewElements: ");
+ result.append(minNewElements);
+ result.append(", maxNewElements: ");
+ result.append(maxNewElements);
+ result.append(')');
+ return result.toString();
+ }
+
+} //ScopeImpl
--
cgit v1.2.3-70-g09d2