/** * generated by Xtext 2.14.0 */ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 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.util.EObjectContainmentEList; import org.eclipse.emf.ecore.util.InternalEList; /** * * An implementation of the model object 'VLS Function As Term'. * *

* The following features are implemented: *

* * * @generated */ public class VLSFunctionAsTermImpl extends VLSTermImpl implements VLSFunctionAsTerm { /** * The default value of the '{@link #getFunctor() Functor}' attribute. * * * @see #getFunctor() * @generated * @ordered */ protected static final String FUNCTOR_EDEFAULT = null; /** * The cached value of the '{@link #getFunctor() Functor}' attribute. * * * @see #getFunctor() * @generated * @ordered */ protected String functor = FUNCTOR_EDEFAULT; /** * The cached value of the '{@link #getTerms() Terms}' containment reference list. * * * @see #getTerms() * @generated * @ordered */ protected EList terms; /** * * * @generated */ protected VLSFunctionAsTermImpl() { super(); } /** * * * @generated */ @Override protected EClass eStaticClass() { return VampireLanguagePackage.Literals.VLS_FUNCTION_AS_TERM; } /** * * * @generated */ public String getFunctor() { return functor; } /** * * * @generated */ public void setFunctor(String newFunctor) { String oldFunctor = functor; functor = newFunctor; if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_FUNCTION_AS_TERM__FUNCTOR, oldFunctor, functor)); } /** * * * @generated */ public EList getTerms() { if (terms == null) { terms = new EObjectContainmentEList(VLSTerm.class, this, VampireLanguagePackage.VLS_FUNCTION_AS_TERM__TERMS); } return terms; } /** * * * @generated */ @Override public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { switch (featureID) { case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__TERMS: return ((InternalEList)getTerms()).basicRemove(otherEnd, msgs); } return super.eInverseRemove(otherEnd, featureID, msgs); } /** * * * @generated */ @Override public Object eGet(int featureID, boolean resolve, boolean coreType) { switch (featureID) { case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__FUNCTOR: return getFunctor(); case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__TERMS: return getTerms(); } return super.eGet(featureID, resolve, coreType); } /** * * * @generated */ @SuppressWarnings("unchecked") @Override public void eSet(int featureID, Object newValue) { switch (featureID) { case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__FUNCTOR: setFunctor((String)newValue); return; case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__TERMS: getTerms().clear(); getTerms().addAll((Collection)newValue); return; } super.eSet(featureID, newValue); } /** * * * @generated */ @Override public void eUnset(int featureID) { switch (featureID) { case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__FUNCTOR: setFunctor(FUNCTOR_EDEFAULT); return; case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__TERMS: getTerms().clear(); return; } super.eUnset(featureID); } /** * * * @generated */ @Override public boolean eIsSet(int featureID) { switch (featureID) { case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__FUNCTOR: return FUNCTOR_EDEFAULT == null ? functor != null : !FUNCTOR_EDEFAULT.equals(functor); case VampireLanguagePackage.VLS_FUNCTION_AS_TERM__TERMS: return terms != null && !terms.isEmpty(); } return super.eIsSet(featureID); } /** * * * @generated */ @Override public String toString() { if (eIsProxy()) return super.toString(); StringBuilder result = new StringBuilder(super.toString()); result.append(" (functor: "); result.append(functor); result.append(')'); return result.toString(); } } //VLSFunctionAsTermImpl