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

Interface Criterion

    • 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(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)'"