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

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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 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 de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.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 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.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))'"