Interface SimpleQMLContract

    • Method Detail

      • getCriteria

        EList<Criterion> getCriteria()
        Returns the value of the 'Criteria' containment reference list. The list contents are of type Criterion.

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

        Returns:
        the value of the 'Criteria' containment reference list.
        See Also:
        QMLContractPackage.getSimpleQMLContract_Criteria()
        Generated class or method.
        EMF model class or method.
        containment="true" ordered="false"
      • setContractType

        void setContractType​(QMLContractType value)
        Sets the value of the 'Contract Type' reference.
        Parameters:
        value - the new value of the 'Contract Type' reference.
        See Also:
        getContractType()
        Generated class or method.
      • all_DIMENSIONs_must_be_from_same_CONTRACTTYPE

        boolean all_DIMENSIONs_must_be_from_same_CONTRACTTYPE​(DiagnosticChain diagnostics,
                                                              Map<Object,​Object> context)
        (self.contractType<> null) implies ( self.criteria->forAll(c| self.contractType.dimensions->exists(dim|c.dimension=dim) ) )
        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.contractType<> null) implies (\r\n\tself.criteria->forAll(c|\r\n\t\tself.contractType.dimensions->exists(dim|c.dimension=dim)\r\n\t)\r\n)'"