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

Interface Criterion

All Superinterfaces:

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

All Known Subinterfaces:

Constraint, Objective

All Known Implementing Classes:

ConstraintImpl, CriterionImpl, ObjectiveImpl

public interface Criterion
extends de.uka.ipd.sdq.identifier.Identifier

A representation of the model object 'Criterion'.

The following features are supported:

• Dimension
• Aspects

See Also:

QMLContractPackage.getCriterion()

Generated class or method.

EMF model class or method.

abstract="true"

Method Summary

Modifier and Type	Method and Description
boolean	FREQUENCY_only_possible_if_DIMENSION_is_ordered(DiagnosticChain diagnostics, Map<Object,Object> context) self.aspects->forAll(aspect| aspect.oclIsTypeOf(QMLContract::Frequency) implies ( self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeNumeric) or (self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeEnum) and self.dimension.type.oclAsType(dimensiontypes::DimensionTypeEnum).order->size()>0 ) or (self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeSet) and self.dimension.type.oclAsType(dimensiontypes::DimensionTypeSet).order->size()>0 ) ) )
EList<EvaluationAspect>	getAspects() Returns the value of the 'Aspects' containment reference list.
Dimension	getDimension() Returns the value of the 'Dimension' reference.
boolean	Only_CONSTRAINTS_have_RESTRICTIONS(DiagnosticChain diagnostics, Map<Object,Object> context) self.aspects->exists(a|a.aspectRequirement <> null and a.aspectRequirement.oclIsTypeOf(QMLContract::Restriction)) implies ( self.oclIsTypeOf(QMLContract::Constraint) )
boolean	Only_OBJECTIVES_have_GOALS(DiagnosticChain diagnostics, Map<Object,Object> context) self.aspects->exists(a|a.aspectRequirement <> null and a.aspectRequirement.oclIsTypeOf(QMLContract::Goal)) implies ( self.oclIsTypeOf(QMLContract::Objective) )
boolean	POINTESTIMATOR_only_for_numeric_dimensions(DiagnosticChain diagnostics, Map<Object,Object> context) self.aspects->forAll(aspect| aspect.oclIsTypeOf(QMLContract::PointEstimator) implies ( self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeNumeric) ) )
void	setDimension(Dimension value) Sets the value of the 'Dimension' reference.

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

getDimension

Dimension getDimension()

Returns the value of the 'Dimension' reference.

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

Returns:

the value of the 'Dimension' reference.

See Also:

setDimension(Dimension), QMLContractPackage.getCriterion_Dimension()

Generated class or method.

EMF model class or method.

required="true" ordered="false"

setDimension

void setDimension(Dimension value)

Sets the value of the 'Dimension' reference.

Parameters:

value - the new value of the 'Dimension' reference.

See Also:

getDimension()

Generated class or method.

getAspects

EList<EvaluationAspect> getAspects()

Returns the value of the 'Aspects' containment reference list. The list contents are of type EvaluationAspect.

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

Returns:

the value of the 'Aspects' containment reference list.

See Also:

QMLContractPackage.getCriterion_Aspects()

Generated class or method.

EMF model class or method.

containment="true" required="true" ordered="false"

Only_CONSTRAINTS_have_RESTRICTIONS

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

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

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->exists(a|a.aspectRequirement <> null and a.aspectRequirement.oclIsTypeOf(QMLContract::Restriction)) implies (\r\n\tself.oclIsTypeOf(QMLContract::Constraint)\r\n)'"

FREQUENCY_only_possible_if_DIMENSION_is_ordered

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

self.aspects->forAll(aspect| aspect.oclIsTypeOf(QMLContract::Frequency) implies ( self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeNumeric) or (self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeEnum) and self.dimension.type.oclAsType(dimensiontypes::DimensionTypeEnum).order->size()>0 ) or (self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeSet) and self.dimension.type.oclAsType(dimensiontypes::DimensionTypeSet).order->size()>0 ) ) )

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(aspect|\r\n\taspect.oclIsTypeOf(QMLContract::Frequency) implies (\r\n\t\tself.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeNumeric) or\r\n\t\t(self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeEnum) and self.dimension.type.oclAsType(dimensiontypes::DimensionTypeEnum).order->size()>0 ) or \r\n\t\t(self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeSet) and self.dimension.type.oclAsType(dimensiontypes::DimensionTypeSet).order->size()>0 )\r\n\t)\r\n)'"

POINTESTIMATOR_only_for_numeric_dimensions

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

self.aspects->forAll(aspect| aspect.oclIsTypeOf(QMLContract::PointEstimator) implies ( self.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeNumeric) ) )

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(aspect|\r\n\taspect.oclIsTypeOf(QMLContract::PointEstimator) implies (\r\n\t\tself.dimension.type.oclIsTypeOf(dimensiontypes::DimensionTypeNumeric)\r\n\t)\r\n)'"

Only_OBJECTIVES_have_GOALS

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

self.aspects->exists(a|a.aspectRequirement <> null and a.aspectRequirement.oclIsTypeOf(QMLContract::Goal)) implies ( self.oclIsTypeOf(QMLContract::Objective) )

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->exists(a|a.aspectRequirement <> null and a.aspectRequirement.oclIsTypeOf(QMLContract::Goal)) implies (\r\n\tself.oclIsTypeOf(QMLContract::Objective)\r\n)'"