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

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 EObject, de.uka.ipd.sdq.identifier.Identifier
A representation of the model object 'Criterion'.

The following features are supported:

See Also:
Generated class or method.
EMF model class or method.
abstract="true"

  • Method Details

    • 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:
      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:
      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:
      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(QMLContractType::DimensionTypeNumeric) or (self.dimension.type.oclIsTypeOf(QMLContractType::DimensionTypeEnum) and self.dimension.type.oclAsType(QMLContractType::DimensionTypeEnum).order->size()>0 ) or (self.dimension.type.oclIsTypeOf(QMLContractType::DimensionTypeSet) and self.dimension.type.oclAsType(QMLContractType::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(QMLContractType::DimensionTypeNumeric) or\r\n\t\t(self.dimension.type.oclIsTypeOf(QMLContractType::DimensionTypeEnum) and self.dimension.type.oclAsType(QMLContractType::DimensionTypeEnum).order->size()>0 ) or \r\n\t\t(self.dimension.type.oclIsTypeOf(QMLContractType::DimensionTypeSet) and self.dimension.type.oclAsType(QMLContractType::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(QMLContractType::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(QMLContractType::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)'"