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

Class StructuralEquivalenceNotProvableImpl

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.BinaryExpressionImpl

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

All Implemented Interfaces:

Notifier, EObject, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject, BinaryExpression, Expression, StructuralEquivalenceNotProvable

public class StructuralEquivalenceNotProvableImpl
extends BinaryExpressionImpl
implements StructuralEquivalenceNotProvable

An implementation of the model object 'Structural Equivalence 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.BinaryExpressionImpl

left, right

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

Method Summary

Modifier and Type	Method	Description
protected EClass	eStaticClass()

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

basicSetLeft, basicSetRight, eGet, eInverseRemove, eIsSet, eSet, eUnset, getLeft, getRight, setLeft, setRight

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.palladiosimulator.supporting.prolog.model.prolog.expressions.BinaryExpression

getLeft, getRight, setLeft, setRight

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

Constructor Detail

StructuralEquivalenceNotProvableImpl

protected StructuralEquivalenceNotProvableImpl()

Generated class or method.

Method Detail

eStaticClass

protected EClass eStaticClass()

Overrides:

eStaticClass in class BinaryExpressionImpl

Generated class or method.