Package de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.impl

Class RefinedQMLContractImpl

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

org.eclipse.emf.internal.cdo.CDOObjectImpl

de.uka.ipd.sdq.identifier.impl.IdentifierImpl

org.palladiosimulator.pcm.core.entity.impl.EntityImpl

de.uka.ipd.sdq.dsexplore.qml.declarations.QMLDeclarations.impl.QMLDeclarationImpl

de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.impl.GenericQMLContractImpl

de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.impl.RefinedQMLContractImpl

All Implemented Interfaces:

GenericQMLContract, RefinedQMLContract, QMLDeclaration, de.uka.ipd.sdq.identifier.Identifier, org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, org.eclipse.emf.cdo.common.model.CDOPackageTypeRegistry.CDOObjectMarker, Notifier, EObject, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject, org.eclipse.emf.spi.cdo.InternalCDOLoadable, org.eclipse.emf.spi.cdo.InternalCDOObject, org.palladiosimulator.pcm.core.entity.Entity, org.palladiosimulator.pcm.core.entity.NamedElement, org.palladiosimulator.pcm.PCMBaseClass, org.palladiosimulator.pcm.PCMClass

public class RefinedQMLContractImpl
extends GenericQMLContractImpl
implements RefinedQMLContract

An implementation of the model object ' Refined QML Contract'.

The following features are implemented:

• Refined By
• Base Contract

Generated class or method.

Nested Class Summary

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

Modifier and Type	Field	Description
protected GenericQMLContract	baseContract	The cached value of the 'Base Contract' reference.
protected static final String	CONTRACT_CANNOT_REFINE_ITSELF__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP	The cached OCL expression body for the ' Contract cannot refine itself' operation.
protected static org.eclipse.ocl.ecore.Constraint	CONTRACT_CANNOT_REFINE_ITSELF__DIAGNOSTIC_CHAIN_MAP__EOCL_INV	The cached OCL invariant for the 'Contract cannot refine itself' invariant operation.
protected static final org.eclipse.ocl.ecore.OCL	EOCL_ENV	The cached environment for evaluating OCL expressions.
protected EList<Criterion>	refinedBy	The cached value of the 'Refined By' containment reference list.

Fields inherited from class org.palladiosimulator.pcm.core.entity.impl.EntityImpl

copyright, ENTITY_NAME_EDEFAULT

Fields inherited from class de.uka.ipd.sdq.identifier.impl.IdentifierImpl

ID_EDEFAULT

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.palladiosimulator.pcm.core.entity.Entity

copyright

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

Method Summary

Modifier and Type	Method	Description
GenericQMLContract	basicGetBaseContract()
boolean	contract_cannot_refine_itself(DiagnosticChain diagnostics, Map<Object,Object> context)
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
protected EClass	eStaticClass()
void	eUnset(int featureID)
GenericQMLContract	getBaseContract()
EList<Criterion>	getRefinedBy()
void	setBaseContract(GenericQMLContract newBaseContract)

Methods inherited from class org.palladiosimulator.pcm.core.entity.impl.EntityImpl

eBaseStructuralFeatureID, eDerivedStructuralFeatureID, getEntityName, setEntityName

Methods inherited from class de.uka.ipd.sdq.identifier.impl.IdentifierImpl

eStaticFeatureCount, getId, setId

Methods inherited from class org.eclipse.emf.internal.cdo.CDOObjectImpl

cdoClassInfo, cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInternalDynamicFeature, cdoInternalInstance, cdoInternalPostAttach, cdoInternalPostDetach, cdoInternalPostDetach, cdoInternalPostInvalidate, cdoInternalPostLoad, cdoInternalPostRollback, cdoInternalPreAttach, cdoInternalPreCommit, cdoInternalPreLoad, cdoInternalSetID, cdoInternalSetResource, cdoInternalSetRevision, cdoInternalSetState, cdoInternalSetView, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOption, createFeatureMap, createList, createLock, createMap, createOrderedList, createUnorderedList, dynamicGet, dynamicSet, dynamicUnset, eAdapterAdded, eAdapterRemoved, eAdapters, eBasicAdapterListeners, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainer, eBasicSetSettings, eBasicSettings, eClass, eContainerAdapterArray, eContainerFeatureID, eDirectResource, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicIsSet, eHasSettings, eInternalContainer, eInternalResource, eIsCaching, emfToString, equals, eSetClass, eSetDirectResource, eSetResource, eSettings, eStore, getLockState, hashCode, instanceToRevisionFeature, revisionToInstanceFeature, toString

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEStoreEObjectImpl

eBasicContainerFeatureID, eBasicInternalContainer, eDerivedStructuralFeatureID

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

eBasicAdapterArray, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetContainer, eBasicSetContainerFeatureID, eContents, eCrossReferences, eDeliver, eIsProxy, eProperties, eProxyURI, eSetDeliver, eSetProxyURI

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eComputeVirtualValuesCapacity, eContainer, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDynamicBasicRemoveFromContainer, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInverseAdd, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticOperationCount, 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, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.emf.cdo.CDOObject

cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoState, cdoWriteLock, cdoWriteOption

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 de.uka.ipd.sdq.identifier.Identifier

getId, setId

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

eBasicRemoveFromContainer, eDerivedOperationID, eGet, eInverseAdd, eInverseRemove, eInvoke, eNotificationRequired, eObjectForURIFragmentSegment, eProxyURI, eResolveProxy, eSetProxyURI, eSetStore, eSetting, eURIFragmentSegment

Methods inherited from interface org.palladiosimulator.pcm.core.entity.NamedElement

getEntityName, setEntityName

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

eAdapters, eDeliver, eNotify, eSetDeliver

Field Details

refinedBy

protected EList<Criterion> refinedBy

The cached value of the 'Refined By' containment reference list.

See Also:

• getRefinedBy()

Generated class or method.

Ordered collection.

baseContract

protected GenericQMLContract baseContract

The cached value of the 'Base Contract' reference.

See Also:

• getBaseContract()

Generated class or method.

Ordered collection.

CONTRACT_CANNOT_REFINE_ITSELF__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP

protected static final String CONTRACT_CANNOT_REFINE_ITSELF__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP

The cached OCL expression body for the ' Contract cannot refine itself' operation.

See Also:

• contract_cannot_refine_itself(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map)
• Constant Field Values

Generated class or method.

Ordered collection.

CONTRACT_CANNOT_REFINE_ITSELF__DIAGNOSTIC_CHAIN_MAP__EOCL_INV

protected static org.eclipse.ocl.ecore.Constraint CONTRACT_CANNOT_REFINE_ITSELF__DIAGNOSTIC_CHAIN_MAP__EOCL_INV

The cached OCL invariant for the 'Contract cannot refine itself' invariant operation.

See Also:

• contract_cannot_refine_itself(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map)

Generated class or method.

Ordered collection.

EOCL_ENV

protected static final org.eclipse.ocl.ecore.OCL EOCL_ENV

The cached environment for evaluating OCL expressions.

Generated class or method.

Ordered collection.

Constructor Details

RefinedQMLContractImpl

protected RefinedQMLContractImpl()

Generated class or method.

Method Details

eStaticClass

protected EClass eStaticClass()

Overrides:

eStaticClass in class GenericQMLContractImpl

Generated class or method.

getRefinedBy

public EList<Criterion> getRefinedBy()

Specified by:

getRefinedBy in interface RefinedQMLContract

Returns:

the value of the 'Refined By' containment reference list.

See Also:

• QMLContractPackage.getRefinedQMLContract_RefinedBy()

Generated class or method.

getBaseContract

public GenericQMLContract getBaseContract()

Specified by:

getBaseContract in interface RefinedQMLContract

Returns:

the value of the 'Base Contract' reference.

See Also:

• RefinedQMLContract.setBaseContract(GenericQMLContract)
• QMLContractPackage.getRefinedQMLContract_BaseContract()

Generated class or method.

basicGetBaseContract

public GenericQMLContract basicGetBaseContract()

Generated class or method.

setBaseContract

public void setBaseContract(GenericQMLContract newBaseContract)

Specified by:

setBaseContract in interface RefinedQMLContract

Parameters:

newBaseContract - the new value of the 'Base Contract' reference.

See Also:

• RefinedQMLContract.getBaseContract()

Generated class or method.

contract_cannot_refine_itself

public boolean contract_cannot_refine_itself(DiagnosticChain diagnostics,
 Map<Object,Object> context)

Specified by:

contract_cannot_refine_itself in interface RefinedQMLContract

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
 int featureID,
 NotificationChain msgs)

Overrides:

eInverseRemove in class BasicEObjectImpl

Generated class or method.

eGet

public Object eGet(int featureID,
 boolean resolve,
 boolean coreType)

Specified by:

eGet in interface InternalEObject

Overrides:

eGet in class org.palladiosimulator.pcm.core.entity.impl.EntityImpl

Generated class or method.

eSet

public void eSet(int featureID,
 Object newValue)

Specified by:

eSet in interface InternalEObject

Overrides:

eSet in class org.palladiosimulator.pcm.core.entity.impl.EntityImpl

Generated class or method.

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface InternalEObject

Overrides:

eUnset in class org.palladiosimulator.pcm.core.entity.impl.EntityImpl

Generated class or method.

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface InternalEObject

Overrides:

eIsSet in class org.palladiosimulator.pcm.core.entity.impl.EntityImpl

Generated class or method.