/** */ package net.certware.argument.language.l.impl; import net.certware.argument.language.l.GroundTerms; import net.certware.argument.language.l.LPackage; import net.certware.argument.language.l.Set; import org.eclipse.emf.common.notify.Notification; import org.eclipse.emf.common.notify.NotificationChain; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.InternalEObject; import org.eclipse.emf.ecore.impl.ENotificationImpl; /** * <!-- begin-user-doc --> * An implementation of the model object '<em><b>Set</b></em>'. * <!-- end-user-doc --> * <p> * The following features are implemented: * </p> * <ul> * <li>{@link net.certware.argument.language.l.impl.SetImpl#getLhs <em>Lhs</em>}</li> * <li>{@link net.certware.argument.language.l.impl.SetImpl#getTerms <em>Terms</em>}</li> * </ul> * * @generated */ public class SetImpl extends SetExpressionImpl implements Set { /** * The default value of the '{@link #getLhs() <em>Lhs</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see #getLhs() * @generated * @ordered */ protected static final String LHS_EDEFAULT = null; /** * The cached value of the '{@link #getLhs() <em>Lhs</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see #getLhs() * @generated * @ordered */ protected String lhs = LHS_EDEFAULT; /** * The cached value of the '{@link #getTerms() <em>Terms</em>}' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see #getTerms() * @generated * @ordered */ protected GroundTerms terms; /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ protected SetImpl() { super(); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override protected EClass eStaticClass() { return LPackage.Literals.SET; } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public String getLhs() { return lhs; } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public void setLhs(String newLhs) { String oldLhs = lhs; lhs = newLhs; if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, LPackage.SET__LHS, oldLhs, lhs)); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public GroundTerms getTerms() { return terms; } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public NotificationChain basicSetTerms(GroundTerms newTerms, NotificationChain msgs) { GroundTerms oldTerms = terms; terms = newTerms; if (eNotificationRequired()) { ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LPackage.SET__TERMS, oldTerms, newTerms); if (msgs == null) msgs = notification; else msgs.add(notification); } return msgs; } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public void setTerms(GroundTerms newTerms) { if (newTerms != terms) { NotificationChain msgs = null; if (terms != null) msgs = ((InternalEObject)terms).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LPackage.SET__TERMS, null, msgs); if (newTerms != null) msgs = ((InternalEObject)newTerms).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LPackage.SET__TERMS, null, msgs); msgs = basicSetTerms(newTerms, msgs); if (msgs != null) msgs.dispatch(); } else if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, LPackage.SET__TERMS, newTerms, newTerms)); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { switch (featureID) { case LPackage.SET__TERMS: return basicSetTerms(null, msgs); } return super.eInverseRemove(otherEnd, featureID, msgs); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override public Object eGet(int featureID, boolean resolve, boolean coreType) { switch (featureID) { case LPackage.SET__LHS: return getLhs(); case LPackage.SET__TERMS: return getTerms(); } return super.eGet(featureID, resolve, coreType); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override public void eSet(int featureID, Object newValue) { switch (featureID) { case LPackage.SET__LHS: setLhs((String)newValue); return; case LPackage.SET__TERMS: setTerms((GroundTerms)newValue); return; } super.eSet(featureID, newValue); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override public void eUnset(int featureID) { switch (featureID) { case LPackage.SET__LHS: setLhs(LHS_EDEFAULT); return; case LPackage.SET__TERMS: setTerms((GroundTerms)null); return; } super.eUnset(featureID); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override public boolean eIsSet(int featureID) { switch (featureID) { case LPackage.SET__LHS: return LHS_EDEFAULT == null ? lhs != null : !LHS_EDEFAULT.equals(lhs); case LPackage.SET__TERMS: return terms != null; } return super.eIsSet(featureID); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override public String toString() { if (eIsProxy()) return super.toString(); StringBuffer result = new StringBuffer(super.toString()); result.append(" (lhs: "); result.append(lhs); result.append(')'); return result.toString(); } } //SetImpl