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.ExprImpl
tools.refinery.language.model.problem.impl.AtomImpl
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, Atom, Expr

public class AtomImpl extends ExprImpl implements Atom
An implementation of the model object 'Atom'.

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 org.eclipse.emf.common.util.EList<Expr>
    The cached value of the 'Arguments' containment reference list.
    protected Relation
    The cached value of the 'Relation' reference.
    protected static final boolean
    The default value of the 'Transitive Closure' attribute.
    protected boolean
    The cached value of the 'Transitive Closure' attribute.

    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
    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<Expr>
    boolean
    void
    setRelation(Relation newRelation)
    void
    setTransitiveClosure(boolean newTransitiveClosure)

    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, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, 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

    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

    • AtomImpl

      protected AtomImpl()
  • Method Details

    • eStaticClass

      protected org.eclipse.emf.ecore.EClass eStaticClass()
      Overrides:
      eStaticClass in class ExprImpl
    • isTransitiveClosure

      public boolean isTransitiveClosure()
      Specified by:
      isTransitiveClosure in interface Atom
      Returns:
      the value of the 'Transitive Closure' attribute.
      See Also:
    • setTransitiveClosure

      public void setTransitiveClosure(boolean newTransitiveClosure)
      Specified by:
      setTransitiveClosure in interface Atom
      Parameters:
      newTransitiveClosure - the new value of the 'Transitive Closure' attribute.
      See Also:
    • getArguments

      public org.eclipse.emf.common.util.EList<Expr> getArguments()
      Specified by:
      getArguments in interface Atom
      Returns:
      the value of the 'Arguments' containment reference list.
      See Also:
    • getRelation

      public Relation getRelation()
      Specified by:
      getRelation in interface Atom
      Returns:
      the value of the 'Relation' reference.
      See Also:
    • basicGetRelation

      public Relation basicGetRelation()
    • setRelation

      public void setRelation(Relation newRelation)
      Specified by:
      setRelation in interface Atom
      Parameters:
      newRelation - the new value of the 'Relation' 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
    • toString

      public String toString()
      Overrides:
      toString in class org.eclipse.emf.ecore.impl.BasicEObjectImpl