From 3d05776b1338eb5aa02026a941dcf3111d00109b Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 15 Aug 2017 02:20:25 +0200 Subject: Added primitive types to the model code --- .../impl/PartialInterpretationImpl.java | 412 ++++++++++++++++++--- 1 file changed, 364 insertions(+), 48 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 09690c79..4b7061ce 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 @@ -6,6 +6,8 @@ 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; @@ -13,6 +15,8 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par 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 java.util.Collection; import org.eclipse.emf.common.notify.Notification; @@ -45,8 +49,16 @@ import org.eclipse.emf.ecore.util.InternalEList; *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation Partialtypeinterpratation}
    • *
  • {@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#getOpenWorldElementPrototype Open World Element Prototype}
    • + *
  • {@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}
    • * * * @generated @@ -153,14 +165,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; /** - * The cached value of the '{@link #getOpenWorldElementPrototype() Open World Element Prototype}' containment reference. + * The cached value of the '{@link #getOpenWorldElementPrototypes() Open World Element Prototypes}' containment reference list. * * - * @see #getOpenWorldElementPrototype() + * @see #getOpenWorldElementPrototypes() * @generated * @ordered */ - protected DefinedElement openWorldElementPrototype; + protected EList openWorldElementPrototypes; /** * The cached value of the '{@link #getProblemConainer() Problem Conainer}' containment reference. @@ -172,6 +184,116 @@ 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. + * + * + * @see #getIntegerelements() + * @generated + * @ordered + */ + protected EList integerelements; + + /** + * 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. + * + * + * @see #getMaxNewStrings() + * @generated + * @ordered + */ + protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; + /** * * @@ -336,8 +458,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public DefinedElement getOpenWorldElementPrototype() { - return openWorldElementPrototype; + public EList getOpenWorldElementPrototypes() { + if (openWorldElementPrototypes == null) { + openWorldElementPrototypes = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); + } + return openWorldElementPrototypes; + } + + /** + * + * + * @generated + */ + public LogicProblem getProblemConainer() { + return problemConainer; } /** @@ -345,11 +479,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) { - DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype; - openWorldElementPrototype = newOpenWorldElementPrototype; + public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { + LogicProblem oldProblemConainer = problemConainer; + problemConainer = newProblemConainer; if (eNotificationRequired()) { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype); + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer); if (msgs == null) msgs = notification; else msgs.add(notification); } return msgs; @@ -360,18 +494,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) { - if (newOpenWorldElementPrototype != openWorldElementPrototype) { + public void setProblemConainer(LogicProblem newProblemConainer) { + if (newProblemConainer != problemConainer) { NotificationChain msgs = null; - if (openWorldElementPrototype != null) - msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); - if (newOpenWorldElementPrototype != null) - msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); - msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs); + if (problemConainer != null) + msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); + if (newProblemConainer != null) + msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); + msgs = basicSetProblemConainer(newProblemConainer, msgs); if (msgs != null) msgs.dispatch(); } else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype)); + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); } /** @@ -379,8 +513,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public LogicProblem getProblemConainer() { - return problemConainer; + public EList getStringelement() { + if (stringelement == null) { + stringelement = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT); + } + return stringelement; } /** @@ -388,14 +525,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { - LogicProblem oldProblemConainer = problemConainer; - problemConainer = newProblemConainer; - if (eNotificationRequired()) { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer); - if (msgs == null) msgs = notification; else msgs.add(notification); + public EList getStringelements() { + if (stringelements == null) { + stringelements = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS); } - return msgs; + return stringelements; } /** @@ -403,18 +537,98 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public void setProblemConainer(LogicProblem newProblemConainer) { - if (newProblemConainer != problemConainer) { - NotificationChain msgs = null; - if (problemConainer != null) - msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); - if (newProblemConainer != null) - msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); - msgs = basicSetProblemConainer(newProblemConainer, msgs); - if (msgs != null) msgs.dispatch(); + public EList getRealelements() { + if (realelements == null) { + realelements = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS); } - else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); + 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); + } + 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)); + } + + /** + * + * + * @generated + */ + public int getMaxNewReals() { + return maxNewReals; + } + + /** + * + * + * @generated + */ + public void setMaxNewReals(int newMaxNewReals) { + int oldMaxNewReals = maxNewReals; + maxNewReals = newMaxNewReals; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals)); + } + + /** + * + * + * @generated + */ + public int getMaxNewStrings() { + return maxNewStrings; + } + + /** + * + * + * @generated + */ + public void setMaxNewStrings(int newMaxNewStrings) { + int oldMaxNewStrings = maxNewStrings; + maxNewStrings = newMaxNewStrings; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings)); } /** @@ -435,10 +649,20 @@ 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_PROTOTYPE: - return basicSetOpenWorldElementPrototype(null, msgs); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: + return ((InternalEList)getOpenWorldElementPrototypes()).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); } return super.eInverseRemove(otherEnd, featureID, msgs); } @@ -468,10 +692,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl return getMinNewElements(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: return getMaxNewElements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: - return getOpenWorldElementPrototype(); + 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(); } return super.eGet(featureID, resolve, coreType); } @@ -514,12 +754,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: setMaxNewElements((Integer)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: - setOpenWorldElementPrototype((DefinedElement)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: + getOpenWorldElementPrototypes().clear(); + getOpenWorldElementPrototypes().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; } super.eSet(featureID, newValue); } @@ -556,12 +826,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: - setOpenWorldElementPrototype((DefinedElement)null); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: + getOpenWorldElementPrototypes().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; } super.eUnset(featureID); } @@ -590,10 +884,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl 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_PROTOTYPE: - return openWorldElementPrototype != null; + 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; } return super.eIsSet(featureID); } @@ -612,6 +922,12 @@ 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-70-g09d2