Package tools.refinery.language.model.problem.impl

Class AssertionImpl

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.AssertionImpl
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, AbstractAssertion, Assertion, ExistentialQuantifier, Statement
public class AssertionImpl extends ProblemEObjectImpl implements Assertion
An implementation of the model object 'Assertion'.

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<AssertionArgument>
    arguments
    The cached value of the 'Arguments' containment reference list.
    protected boolean
    default_
    The cached value of the 'Default' attribute.
    protected static final boolean
    DEFAULT_EDEFAULT
    The default value of the 'Default' attribute.
    protected org.eclipse.emf.common.util.EList<ImplicitVariable>
    implicitVariables
    The cached value of the 'Implicit Variables' containment reference list.
    protected Relation
    relation
    The cached value of the 'Relation' reference.
    protected Expr
    value
    The cached value of the 'Value' containment reference.

    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
    AssertionImpl()

  • Method Summary

    Modifier and Type
    Method
    Description
    Relation
    basicGetRelation()
    org.eclipse.emf.common.notify.NotificationChain
    basicSetValue(Expr newValue, 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<AssertionArgument>
    getArguments()
    org.eclipse.emf.common.util.EList<ImplicitVariable>
    getImplicitVariables()
    Relation
    getRelation()
    Expr
    getValue()
    boolean
    isDefault()
    void
    setDefault(boolean newDefault)
    void
    setRelation(Relation newRelation)
    void
    setValue(Expr newValue)
    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 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

    • AssertionImpl

      protected AssertionImpl()

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

    • getArguments

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

    • getRelation

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

    • basicGetRelation

      public Relation basicGetRelation()

    • setRelation

      public void setRelation(Relation newRelation)
      Specified by:
      setRelation in interface AbstractAssertion
      Parameters:
      newRelation - the new value of the 'Relation' reference.
      See Also:

    • getValue

      public Expr getValue()
      Specified by:
      getValue in interface AbstractAssertion
      Returns:
      the value of the 'Value' containment reference.
      See Also:

    • basicSetValue

      public org.eclipse.emf.common.notify.NotificationChain basicSetValue(Expr newValue, org.eclipse.emf.common.notify.NotificationChain msgs)

    • setValue

      public void setValue(Expr newValue)
      Specified by:
      setValue in interface AbstractAssertion
      Parameters:
      newValue - the new value of the 'Value' containment reference.
      See Also:

    • isDefault

      public boolean isDefault()
      Specified by:
      isDefault in interface Assertion
      Returns:
      the value of the 'Default' attribute.
      See Also:

    • setDefault

      public void setDefault(boolean newDefault)
      Specified by:
      setDefault in interface Assertion
      Parameters:
      newDefault - the new value of the 'Default' 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