/** */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; import hu.bme.mit.inf.dslreasoner.logic.model.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 java.util.Collection; import org.eclipse.emf.common.notify.Notification; import org.eclipse.emf.common.notify.NotificationChain; import org.eclipse.emf.common.util.EList; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.InternalEObject; import org.eclipse.emf.ecore.impl.ENotificationImpl; import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; import org.eclipse.emf.ecore.util.EObjectContainmentEList; import org.eclipse.emf.ecore.util.InternalEList; /** * * An implementation of the model object 'Partial Interpretation'. * *

* The following features are implemented: *

* * * @generated */ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container implements PartialInterpretation { /** * The cached value of the '{@link #getProblem() Problem}' reference. * * * @see #getProblem() * @generated * @ordered */ protected LogicProblem problem; /** * The cached value of the '{@link #getPartialconstantinterpretation() Partialconstantinterpretation}' containment reference list. * * * @see #getPartialconstantinterpretation() * @generated * @ordered */ protected EList partialconstantinterpretation; /** * The cached value of the '{@link #getPartialrelationinterpretation() Partialrelationinterpretation}' containment reference list. * * * @see #getPartialrelationinterpretation() * @generated * @ordered */ protected EList partialrelationinterpretation; /** * The cached value of the '{@link #getPartialfunctioninterpretation() Partialfunctioninterpretation}' containment reference list. * * * @see #getPartialfunctioninterpretation() * @generated * @ordered */ protected EList partialfunctioninterpretation; /** * The cached value of the '{@link #getNewElements() New Elements}' containment reference list. * * * @see #getNewElements() * @generated * @ordered */ protected EList newElements; /** * The cached value of the '{@link #getPartialtypeinterpratation() Partialtypeinterpratation}' containment reference list. * * * @see #getPartialtypeinterpratation() * @generated * @ordered */ 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. * * * @see #getOpenWorldElementPrototypes() * @generated * @ordered */ protected EList openWorldElementPrototypes; /** * The cached value of the '{@link #getProblemConainer() Problem Conainer}' containment reference. * * * @see #getProblemConainer() * @generated * @ordered */ 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; /** * * * @generated */ protected PartialInterpretationImpl() { super(); } /** * * * @generated */ @Override protected EClass eStaticClass() { return PartialinterpretationPackage.Literals.PARTIAL_INTERPRETATION; } /** * * * @generated */ public LogicProblem getProblem() { if (problem != null && problem.eIsProxy()) { InternalEObject oldProblem = (InternalEObject)problem; problem = (LogicProblem)eResolveProxy(oldProblem); if (problem != oldProblem) { if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM, oldProblem, problem)); } } return problem; } /** * * * @generated */ public LogicProblem basicGetProblem() { return problem; } /** * * * @generated */ public void setProblem(LogicProblem newProblem) { LogicProblem oldProblem = problem; problem = newProblem; if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM, oldProblem, problem)); } /** * * * @generated */ public EList getPartialconstantinterpretation() { if (partialconstantinterpretation == null) { partialconstantinterpretation = new EObjectContainmentEList(PartialConstantInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION); } return partialconstantinterpretation; } /** * * * @generated */ public EList getPartialrelationinterpretation() { if (partialrelationinterpretation == null) { partialrelationinterpretation = new EObjectContainmentEList(PartialRelationInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION); } return partialrelationinterpretation; } /** * * * @generated */ public EList getPartialfunctioninterpretation() { if (partialfunctioninterpretation == null) { partialfunctioninterpretation = new EObjectContainmentEList(PartialFunctionInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION); } return partialfunctioninterpretation; } /** * * * @generated */ public EList getNewElements() { if (newElements == null) { newElements = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS); } return newElements; } /** * * * @generated */ public EList getPartialtypeinterpratation() { if (partialtypeinterpratation == null) { partialtypeinterpratation = new EObjectContainmentEList(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); } return partialtypeinterpratation; } /** * * * @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); } return openWorldElementPrototypes; } /** * * * @generated */ public LogicProblem getProblemConainer() { return problemConainer; } /** * * * @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); } return msgs; } /** * * * @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(); } else if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); } /** * * * @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); } 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)); } /** * * * @generated */ @Override public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { switch (featureID) { case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: return ((InternalEList)getPartialconstantinterpretation()).basicRemove(otherEnd, msgs); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION: return ((InternalEList)getPartialrelationinterpretation()).basicRemove(otherEnd, msgs); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION: return ((InternalEList)getPartialfunctioninterpretation()).basicRemove(otherEnd, msgs); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS: 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__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); } /** * * * @generated */ @Override public Object eGet(int featureID, boolean resolve, boolean coreType) { switch (featureID) { case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM: if (resolve) return getProblem(); return basicGetProblem(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: return getPartialconstantinterpretation(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION: return getPartialrelationinterpretation(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION: return getPartialfunctioninterpretation(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS: return getNewElements(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: return getPartialtypeinterpratation(); 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(); } return super.eGet(featureID, resolve, coreType); } /** * * * @generated */ @SuppressWarnings("unchecked") @Override public void eSet(int featureID, Object newValue) { switch (featureID) { case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM: setProblem((LogicProblem)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: getPartialconstantinterpretation().clear(); getPartialconstantinterpretation().addAll((Collection)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION: getPartialrelationinterpretation().clear(); getPartialrelationinterpretation().addAll((Collection)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION: getPartialfunctioninterpretation().clear(); getPartialfunctioninterpretation().addAll((Collection)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS: getNewElements().clear(); getNewElements().addAll((Collection)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 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); 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); } /** * * * @generated */ @Override public void eUnset(int featureID) { switch (featureID) { case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM: setProblem((LogicProblem)null); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: getPartialconstantinterpretation().clear(); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION: getPartialrelationinterpretation().clear(); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION: getPartialfunctioninterpretation().clear(); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS: getNewElements().clear(); return; 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(); 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); } /** * * * @generated */ @Override public boolean eIsSet(int featureID) { switch (featureID) { case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM: return problem != null; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION: return partialconstantinterpretation != null && !partialconstantinterpretation.isEmpty(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION: return partialrelationinterpretation != null && !partialrelationinterpretation.isEmpty(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION: return partialfunctioninterpretation != null && !partialfunctioninterpretation.isEmpty(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS: return newElements != null && !newElements.isEmpty(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: return partialtypeinterpratation != null && !partialtypeinterpratation.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; } return super.eIsSet(featureID); } /** * * * @generated */ @Override public String toString() { if (eIsProxy()) return super.toString(); StringBuffer result = new StringBuffer(super.toString()); result.append(" (minNewElements: "); result.append(minNewElements); result.append(", maxNewElements: "); result.append(maxNewElements); result.append(", maxNewIntegers: "); result.append(maxNewIntegers); result.append(", maxNewReals: "); result.append(maxNewReals); result.append(", maxNewStrings: "); result.append(maxNewStrings); result.append(')'); return result.toString(); } } //PartialInterpretationImpl