From 397731960acde06c0dea80a502a7869bd85208e2 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 17:07:39 +0200 Subject: Added separate symbolic objects to all primitive objects --- .../PartialInterpretation.java | 51 ++++++++++ .../PartialinterpretationPackage.java | 86 +++++++++++++++- .../impl/PartialInterpretationImpl.java | 108 +++++++++++++++++++++ .../impl/PartialinterpretationPackageImpl.java | 33 +++++++ 4 files changed, 277 insertions(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java index 6c46cdbe..d9725855 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java @@ -37,6 +37,9 @@ import org.eclipse.emf.ecore.EObject; *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings New Strings}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals New Reals}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers New Integers}
    • * * * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() @@ -404,4 +407,52 @@ public interface PartialInterpretation extends EObject { */ void setMaxNewStrings(int value); + /** + * Returns the value of the 'New Strings' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. + * + *

    + * If the meaning of the 'New Strings' containment reference list isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'New Strings' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewStrings() + * @model containment="true" + * @generated + */ + EList getNewStrings(); + + /** + * Returns the value of the 'New Reals' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. + * + *

    + * If the meaning of the 'New Reals' containment reference list isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'New Reals' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals() + * @model containment="true" + * @generated + */ + EList getNewReals(); + + /** + * Returns the value of the 'New Integers' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. + * + *

    + * If the meaning of the 'New Integers' containment reference list isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'New Integers' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers() + * @model containment="true" + * @generated + */ + EList getNewIntegers(); + } // PartialInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index 3f2fe479..f95262f9 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java @@ -229,6 +229,33 @@ public interface PartialinterpretationPackage extends EPackage { */ int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17; + /** + * The feature id for the 'New Strings' containment reference list. + * + * + * @generated + * @ordered + */ + int PARTIAL_INTERPRETATION__NEW_STRINGS = 18; + + /** + * The feature id for the 'New Reals' containment reference list. + * + * + * @generated + * @ordered + */ + int PARTIAL_INTERPRETATION__NEW_REALS = 19; + + /** + * The feature id for the 'New Integers' containment reference list. + * + * + * @generated + * @ordered + */ + int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20; + /** * The number of structural features of the 'Partial Interpretation' class. * @@ -236,7 +263,7 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18; + int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21; /** * The number of operations of the 'Partial Interpretation' class. @@ -1146,6 +1173,39 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute getPartialInterpretation_MaxNewStrings(); + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings New Strings}'. + * + * + * @return the meta object for the containment reference list 'New Strings'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_NewStrings(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals New Reals}'. + * + * + * @return the meta object for the containment reference list 'New Reals'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_NewReals(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers New Integers}'. + * + * + * @return the meta object for the containment reference list 'New Integers'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_NewIntegers(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation Partial Constant Interpretation}'. * @@ -1672,6 +1732,30 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings(); + /** + * The meta object literal for the 'New Strings' containment reference list feature. + * + * + * @generated + */ + EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings(); + + /** + * The meta object literal for the 'New Reals' containment reference list feature. + * + * + * @generated + */ + EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals(); + + /** + * The meta object literal for the 'New Integers' containment reference list feature. + * + * + * @generated + */ + EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl Partial Constant Interpretation}' class. * 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 4b7061ce..dd744606 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 @@ -59,6 +59,9 @@ import org.eclipse.emf.ecore.util.InternalEList; *
  • {@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 @@ -294,6 +297,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl */ protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; + /** + * The cached value of the '{@link #getNewStrings() New Strings}' containment reference list. + * + * + * @see #getNewStrings() + * @generated + * @ordered + */ + protected EList newStrings; + + /** + * The cached value of the '{@link #getNewReals() New Reals}' containment reference list. + * + * + * @see #getNewReals() + * @generated + * @ordered + */ + protected EList newReals; + + /** + * The cached value of the '{@link #getNewIntegers() New Integers}' containment reference list. + * + * + * @see #getNewIntegers() + * @generated + * @ordered + */ + protected EList newIntegers; + /** * * @@ -631,6 +664,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl 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; + } + /** * * @@ -663,6 +732,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl 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); } return super.eInverseRemove(otherEnd, featureID, msgs); } @@ -712,6 +787,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl 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); } @@ -790,6 +871,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: setMaxNewStrings((Integer)newValue); return; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: + getNewStrings().clear(); + getNewStrings().addAll((Collection)newValue); + return; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: + getNewReals().clear(); + getNewReals().addAll((Collection)newValue); + return; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: + getNewIntegers().clear(); + getNewIntegers().addAll((Collection)newValue); + return; } super.eSet(featureID, newValue); } @@ -856,6 +949,15 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); return; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: + getNewStrings().clear(); + return; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: + getNewReals().clear(); + return; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: + getNewIntegers().clear(); + return; } super.eUnset(featureID); } @@ -904,6 +1006,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl 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); } 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 9493cc9a..6e0d4051 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 @@ -379,6 +379,33 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17); } + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_NewStrings() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18); + } + + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_NewReals() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19); + } + + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_NewIntegers() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20); + } + /** * * @@ -723,6 +750,9 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa 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); @@ -833,6 +863,9 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa 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); 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); -- cgit v1.2.3-54-g00ecf