/**
*/
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:
*
*
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblem Problem}
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialconstantinterpretation Partialconstantinterpretation}
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialrelationinterpretation Partialrelationinterpretation}
* - {@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#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
*/
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;
/**
* 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;
/**
*
*
* @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
*/
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;
}
/**
*
*
* @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);
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);
}
/**
*
*
* @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();
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);
}
/**
*
*
* @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 extends PartialConstantInterpretation>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:
getPartialrelationinterpretation().clear();
getPartialrelationinterpretation().addAll((Collection extends PartialRelationInterpretation>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:
getPartialfunctioninterpretation().clear();
getPartialfunctioninterpretation().addAll((Collection extends PartialFunctionInterpretation>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:
getNewElements().clear();
getNewElements().addAll((Collection extends DefinedElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
getPartialtypeinterpratation().clear();
getPartialtypeinterpratation().addAll((Collection extends PartialTypeInterpratation>)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 extends DefinedElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
setProblemConainer((LogicProblem)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
getStringelement().clear();
getStringelement().addAll((Collection extends StringElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
getStringelements().clear();
getStringelements().addAll((Collection extends StringElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
getRealelements().clear();
getRealelements().addAll((Collection extends RealElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
getIntegerelements().clear();
getIntegerelements().addAll((Collection extends IntegerElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
getBooleanelements().clear();
getBooleanelements().addAll((Collection extends BooleanElement>)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 extends StringElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
getNewReals().clear();
getNewReals().addAll((Collection extends RealElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
getNewIntegers().clear();
getNewIntegers().addAll((Collection extends IntegerElement>)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;
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);
}
/**
*
*
* @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;
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);
}
/**
*
*
* @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