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

Interface SimpleQMLContract

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:

SimpleQMLContractImpl

public interface SimpleQMLContract
extends GenericQMLContract

A representation of the model object 'Simple QML Contract'.

A contract defines simple or aspect constraints.

The following features are supported:

• Criteria
• Contract Type

See Also:

QMLContractPackage.getSimpleQMLContract()

Generated class or method.

EMF model class or method.

Method Summary

Modifier and Type	Method and Description
boolean	all_DIMENSIONs_must_be_from_same_CONTRACTTYPE(DiagnosticChain diagnostics, Map<Object,Object> context) (self.contractType<> null) implies ( self.criteria->forAll(c| self.contractType.dimensions->exists(dim|c.dimension=dim) ) )
QMLContractType	getContractType() Returns the value of the 'Contract Type' reference.
EList<Criterion>	getCriteria() Returns the value of the 'Criteria' containment reference list.
void	setContractType(QMLContractType value) Sets the value of the 'Contract Type' 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

getCriteria

EList<Criterion> getCriteria()

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

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

Returns:

the value of the 'Criteria' containment reference list.

See Also:

QMLContractPackage.getSimpleQMLContract_Criteria()

Generated class or method.

EMF model class or method.

containment="true" ordered="false"

getContractType

QMLContractType getContractType()

Returns the value of the 'Contract Type' reference.

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

Returns:

the value of the 'Contract Type' reference.

See Also:

setContractType(QMLContractType), QMLContractPackage.getSimpleQMLContract_ContractType()

Generated class or method.

EMF model class or method.

required="true" ordered="false"

setContractType

void setContractType(QMLContractType value)

Sets the value of the 'Contract Type' reference.

Parameters:

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

See Also:

getContractType()

Generated class or method.

all_DIMENSIONs_must_be_from_same_CONTRACTTYPE

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

(self.contractType<> null) implies ( self.criteria->forAll(c| self.contractType.dimensions->exists(dim|c.dimension=dim) ) )

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.contractType<> null) implies (\r\n\tself.criteria->forAll(c|\r\n\t\tself.contractType.dimensions->exists(dim|c.dimension=dim)\r\n\t)\r\n)'"