Package org.palladiosimulator.supporting.prolog.model.prolog.expressions.impl

Class NotProvableImpl

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

org.palladiosimulator.supporting.prolog.model.prolog.expressions.impl.ExpressionImpl

org.palladiosimulator.supporting.prolog.model.prolog.expressions.impl.UnaryExpressionImpl

org.palladiosimulator.supporting.prolog.model.prolog.expressions.impl.NotProvableImpl

All Implemented Interfaces:

Notifier, EObject, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject, Expression, NotProvable, UnaryExpression

public class NotProvableImpl
extends UnaryExpressionImpl
implements NotProvable

An implementation of the model object 'Not Provable'.

Generated class or method.

Nested Class Summary

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

MinimalEObjectImpl.Container.Dynamic

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

MinimalEObjectImpl.Container

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

BasicEObjectImpl.EPropertiesHolder, BasicEObjectImpl.EPropertiesHolderBaseImpl, BasicEObjectImpl.EPropertiesHolderImpl

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

BasicNotifierImpl.EAdapterList<E extends Object & Adapter>, BasicNotifierImpl.EObservableAdapterList, BasicNotifierImpl.EScannableAdapterList

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

InternalEObject.EStore

Field Summary

Fields inherited from class org.palladiosimulator.supporting.prolog.model.prolog.expressions.impl.UnaryExpressionImpl

expr

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

Method Summary

Modifier and Type	Method	Description
protected EClass	eStaticClass()

Methods inherited from class org.palladiosimulator.supporting.prolog.model.prolog.expressions.impl.UnaryExpressionImpl

basicSetExpr, eGet, eInverseRemove, eIsSet, eSet, eUnset, getExpr, setExpr

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, 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

Methods inherited from interface org.palladiosimulator.supporting.prolog.model.prolog.expressions.UnaryExpression

getExpr, setExpr

Constructor Detail

NotProvableImpl

protected NotProvableImpl()

Generated class or method.

Method Detail

eStaticClass

protected EClass eStaticClass()

Overrides:

eStaticClass in class UnaryExpressionImpl

Generated class or method.