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 --- .../impl/PartialInterpretationImpl.java | 108 +++++++++++++++++++++ .../impl/PartialinterpretationPackageImpl.java | 33 +++++++ 2 files changed, 141 insertions(+) (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/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-70-g09d2