Class TheoryActionImpl

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.ProblemEObjectImpl
tools.refinery.language.model.problem.impl.TheoryActionImpl
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, Action, ExistentialQuantifier, TheoryAction
public class TheoryActionImpl extends ProblemEObjectImpl implements TheoryAction
An implementation of the model object 'Theory Action'.

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>, 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<ImplicitVariable>
    implicitVariables
    The cached value of the 'Implicit Variables' containment reference list.
    protected Expr
    term
    The cached value of the 'Term' containment reference.
    protected org.eclipse.emf.common.util.EList<TheoryDeclaration>
    theories
    The cached value of the 'Theories' reference list.
    protected static final boolean
    THEORY_OVERRIDE_EDEFAULT
    The default value of the 'Theory Override' attribute.
    protected boolean
    theoryOverride
    The cached value of the 'Theory Override' 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
    TheoryActionImpl()

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.notify.NotificationChain
    basicSetTerm(Expr newTerm, org.eclipse.emf.common.notify.NotificationChain msgs)
    int
    eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
    int
    eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
    Object
    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
    eStaticClass()
    void
    eUnset(int featureID)
    org.eclipse.emf.common.util.EList<ImplicitVariable>
    getImplicitVariables()
    Expr
    getTerm()
    org.eclipse.emf.common.util.EList<TheoryDeclaration>
    getTheories()
    boolean
    isTheoryOverride()
    void
    setTerm(Expr newTerm)
    void
    setTheoryOverride(boolean newTheoryOverride)
    String
    toString()

    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

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

    eNotificationRequired, eNotify

    Methods inherited from class 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

    • TheoryActionImpl

      protected TheoryActionImpl()

  • 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:

    • getTerm

      public Expr getTerm()
      Specified by:
      getTerm in interface TheoryAction
      Returns:
      the value of the 'Term' containment reference.
      See Also:

    • basicSetTerm

      public org.eclipse.emf.common.notify.NotificationChain basicSetTerm(Expr newTerm, org.eclipse.emf.common.notify.NotificationChain msgs)

    • setTerm

      public void setTerm(Expr newTerm)
      Specified by:
      setTerm in interface TheoryAction
      Parameters:
      newTerm - the new value of the 'Term' containment reference.
      See Also:

    • getTheories

      public org.eclipse.emf.common.util.EList<TheoryDeclaration> getTheories()
      Specified by:
      getTheories in interface TheoryAction
      Returns:
      the value of the 'Theories' reference list.
      See Also:

    • isTheoryOverride

      public boolean isTheoryOverride()
      Specified by:
      isTheoryOverride in interface TheoryAction
      Returns:
      the value of the 'Theory Override' attribute.
      See Also:

    • setTheoryOverride

      public void setTheoryOverride(boolean newTheoryOverride)
      Specified by:
      setTheoryOverride in interface TheoryAction
      Parameters:
      newTheoryOverride - the new value of the 'Theory Override' attribute.
      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

    • toString

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