Class QuantifiedUnaryExprImpl

java.lang.Object
org.eclipse.emf.common.notify.impl.BasicNotifierImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
All Implemented Interfaces:
org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject, ExistentialQuantifier, Expr, QuantifiedUnaryExpr, UnaryExpr
Direct Known Subclasses:
CountExprImpl, NegationExprImpl

public abstract class QuantifiedUnaryExprImpl extends org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container implements QuantifiedUnaryExpr
An implementation of the model object 'Quantified Unary Expr'.

The following features are implemented:

  • Nested Class Summary

    Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

    org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic

    Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

    org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

    Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

    org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

    Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

    org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EScannableAdapterList

    Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

    org.eclipse.emf.ecore.InternalEObject.EStore
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected Expr
    The cached value of the 'Body' containment reference.
    protected org.eclipse.emf.common.util.EList<ImplicitVariable>
    The cached value of the 'Implicit Variables' containment reference list.

    Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

    eContainer

    Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

    EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

    Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder

    NIL

    Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

    EOPPOSITE_FEATURE_BASE
  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.notify.NotificationChain
    basicSetBody(Expr newBody, org.eclipse.emf.common.notify.NotificationChain msgs)
    int
    eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
    int
    eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
    eGet(int featureID, boolean resolve, boolean coreType)
    org.eclipse.emf.common.notify.NotificationChain
    eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
    boolean
    eIsSet(int featureID)
    void
    eSet(int featureID, Object newValue)
    protected org.eclipse.emf.ecore.EClass
    void
    eUnset(int featureID)
    org.eclipse.emf.common.util.EList<ImplicitVariable>
    void
    setBody(Expr newBody)

    Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

    eBasicSetContainer, eInternalContainer

    Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

    dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eContents, eCrossReferences, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSetDirectResource, eSetProxyURI, eSettings

    Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

    eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues, toString

    Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

    eNotificationRequired, eNotify

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    Methods inherited from interface org.eclipse.emf.ecore.EObject

    eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

    Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

    eNotificationRequired

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver
  • Field Details

  • Constructor Details

    • QuantifiedUnaryExprImpl

      protected QuantifiedUnaryExprImpl()
  • Method Details

    • eStaticClass

      protected org.eclipse.emf.ecore.EClass eStaticClass()
      Overrides:
      eStaticClass in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • getImplicitVariables

      public org.eclipse.emf.common.util.EList<ImplicitVariable> getImplicitVariables()
      Specified by:
      getImplicitVariables in interface ExistentialQuantifier
      Returns:
      the value of the 'Implicit Variables' containment reference list.
      See Also:
    • getBody

      public Expr getBody()
      Specified by:
      getBody in interface UnaryExpr
      Returns:
      the value of the 'Body' containment reference.
      See Also:
    • basicSetBody

      public org.eclipse.emf.common.notify.NotificationChain basicSetBody(Expr newBody, org.eclipse.emf.common.notify.NotificationChain msgs)
    • setBody

      public void setBody(Expr newBody)
      Specified by:
      setBody in interface UnaryExpr
      Parameters:
      newBody - the new value of the 'Body' containment reference.
      See Also:
    • eInverseRemove

      public org.eclipse.emf.common.notify.NotificationChain eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
      Overrides:
      eInverseRemove in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • eGet

      public Object eGet(int featureID, boolean resolve, boolean coreType)
      Specified by:
      eGet in interface org.eclipse.emf.ecore.InternalEObject
      Overrides:
      eGet in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • eSet

      public void eSet(int featureID, Object newValue)
      Specified by:
      eSet in interface org.eclipse.emf.ecore.InternalEObject
      Overrides:
      eSet in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • eUnset

      public void eUnset(int featureID)
      Specified by:
      eUnset in interface org.eclipse.emf.ecore.InternalEObject
      Overrides:
      eUnset in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • eIsSet

      public boolean eIsSet(int featureID)
      Specified by:
      eIsSet in interface org.eclipse.emf.ecore.InternalEObject
      Overrides:
      eIsSet in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • eBaseStructuralFeatureID

      public int eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
      Specified by:
      eBaseStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject
      Overrides:
      eBaseStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl
    • eDerivedStructuralFeatureID

      public int eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
      Specified by:
      eDerivedStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject
      Overrides:
      eDerivedStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl