public interface RefinedQMLContract extends GenericQMLContract
Additional OCL needed:
dimensions must be of the same contract type as the dimensions of the refined contract
The following features are supported:
QMLContractPackage.getRefinedQMLContract()| 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. |
getName, setNamecdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOptioneAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnseteAdapters, eDeliver, eNotify, eSetDeliverEList<Criterion> getRefinedBy()
Criterion.
If the meaning of the 'Refined By' containment reference list isn't clear, there really should be more of a description here...
QMLContractPackage.getRefinedQMLContract_RefinedBy()GenericQMLContract getBaseContract()
If the meaning of the 'Base Contract' reference isn't clear, there really should be more of a description here...
setBaseContract(GenericQMLContract),
QMLContractPackage.getRefinedQMLContract_BaseContract()void setBaseContract(GenericQMLContract value)
Base Contract' reference.
value - the new value of the 'Base Contract' reference.getBaseContract()boolean contract_cannot_refine_itself(DiagnosticChain diagnostics, Map<Object,Object> context)
diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.