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

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 Details
- 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))'"