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

Interface Constraint

All Superinterfaces:

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

All Known Implementing Classes:

ConstraintImpl

public interface Constraint
extends Criterion

A representation of the model object 'Constraint'.

See Also:

QMLContractPackage.getConstraint()

Generated class or method.

EMF model class or method.

Method Summary

Modifier and Type	Method and Description
boolean	All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS(DiagnosticChain diagnostics, Map<Object,Object> context) self.aspects->forAll(a|a.aspectRequirement<>null and a.aspectRequirement.oclIsTypeOf(QMLContract::Restriction))

Methods inherited from interface de.uka.ipd.sdq.dsexplore.qml.contract.Criterion

FREQUENCY_only_possible_if_DIMENSION_is_ordered, getAspects, getDimension, Only_CONSTRAINTS_have_RESTRICTIONS, Only_OBJECTIVES_have_GOALS, POINTESTIMATOR_only_for_numeric_dimensions, setDimension

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

getId, setId

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

All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS

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

self.aspects->forAll(a|a.aspectRequirement<>null and a.aspectRequirement.oclIsTypeOf(QMLContract::Restriction))

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.aspects->forAll(a|a.aspectRequirement<>null and a.aspectRequirement.oclIsTypeOf(QMLContract::Restriction))'"