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; *

* * * @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: + *

+ * + * + * @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)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)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)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: + getOpenWorldElements().clear(); + getOpenWorldElements().addAll((Collection)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: setProblemConainer((LogicProblem)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: - getStringelement().clear(); - getStringelement().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: - getStringelements().clear(); - getStringelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: - getRealelements().clear(); - getRealelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: - getIntegerelements().clear(); - getIntegerelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: - getBooleanelements().clear(); - getBooleanelements().addAll((Collection)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)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: + getScopes().clear(); + getScopes().addAll((Collection)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: - getNewReals().clear(); - getNewReals().addAll((Collection)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: + setMinNewElements((Integer)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: - getNewIntegers().clear(); - getNewIntegers().addAll((Collection)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)newValue); return; - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: - getSupertypeInterpretation().clear(); - getSupertypeInterpretation().addAll((Collection)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