Class NegationExprImpl

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
tools.refinery.language.model.problem.impl.NegationExprImpl
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, NegationExpr, QuantifiedUnaryExpr, UnaryExpr

public class NegationExprImpl extends QuantifiedUnaryExprImpl implements NegationExpr
An implementation of the model object 'Negation Expr'.
  • 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 inherited from class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl

    body, implicitVariables

    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
    protected org.eclipse.emf.ecore.EClass

    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 tools.refinery.language.model.problem.ExistentialQuantifier

    getImplicitVariables

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

    eNotificationRequired

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

    eAdapters, eDeliver, eNotify, eSetDeliver

    Methods inherited from interface tools.refinery.language.model.problem.UnaryExpr

    getBody, setBody
  • Constructor Details

    • NegationExprImpl

      protected NegationExprImpl()
  • Method Details