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/PartialInterpretationImpl.java | 571 +++------------------ 1 file changed, 76 insertions(+), 495 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java') 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(); } -- cgit v1.2.3-54-g00ecf