de.uka.ipd.sdq.dsexplore.qml.contract

Interface RefinedQMLContract

All Superinterfaces:

org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, EObject, GenericQMLContract, de.uka.ipd.sdq.identifier.Identifier, NamedElement, Notifier, QMLDeclaration

All Known Implementing Classes:

RefinedQMLContractImpl

public interface RefinedQMLContract
extends GenericQMLContract

A representation of the model object 'Refined QML Contract'. A refinement must be stronger that the contract it refines.

Additional OCL needed:
dimensions must be of the same contract type as the dimensions of the refined contract

The following features are supported:

• Refined By
• Base Contract

See Also:

QMLContractPackage.getRefinedQMLContract()

Generated class or method.

EMF model class or method.

Method Summary

Modifier and Type	Method and Description
boolean	contract_cannot_refine_itself(DiagnosticChain diagnostics, Map<Object,Object> context) self.baseContract <> self
GenericQMLContract	getBaseContract() Returns the value of the 'Base Contract' reference.
EList<Criterion>	getRefinedBy() Returns the value of the 'Refined By' containment reference list.
void	setBaseContract(GenericQMLContract value) Sets the value of the 'Base Contract' reference.

Methods inherited from interface de.uka.ipd.sdq.identifier.Identifier

getId, setId

Methods inherited from interface namedelement.NamedElement

getName, setName

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

cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, 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 org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

getRefinedBy

EList<Criterion> getRefinedBy()

Returns the value of the 'Refined By' containment reference list. The list contents are of type Criterion.

If the meaning of the 'Refined By' containment reference list isn't clear, there really should be more of a description here...

Returns:

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

See Also:

QMLContractPackage.getRefinedQMLContract_RefinedBy()

Generated class or method.

EMF model class or method.

containment="true" ordered="false"

getBaseContract

GenericQMLContract getBaseContract()

Returns the value of the 'Base Contract' reference.

If the meaning of the 'Base Contract' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Base Contract' reference.

See Also:

setBaseContract(GenericQMLContract), QMLContractPackage.getRefinedQMLContract_BaseContract()

Generated class or method.

EMF model class or method.

required="true" ordered="false"

setBaseContract

void setBaseContract(GenericQMLContract value)

Sets the value of the 'Base Contract' reference.

Parameters:

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

See Also:

getBaseContract()

Generated class or method.

contract_cannot_refine_itself

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

self.baseContract <> self

Parameters:

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

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation="http://www.eclipse.org/uml2/1.1.0/GenModel body='self.baseContract <> self'"