Interface RefinedQMLContract

  • All Superinterfaces:
    org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, org.palladiosimulator.pcm.core.entity.Entity, EObject, GenericQMLContract, de.uka.ipd.sdq.identifier.Identifier, org.palladiosimulator.pcm.core.entity.NamedElement, Notifier, QMLDeclaration
    All Known Implementing Classes:
    RefinedQMLContractImpl

    public interface RefinedQMLContract
    extends GenericQMLContract
    A representation of the model object ' Refined QML Contract'. A refinement must be stronger that the contract it refines.

    Additional OCL needed:
    dimensions must be of the same contract type as the dimensions of the refined contract

    The following features are supported:

    See Also:
    QMLContractPackage.getRefinedQMLContract()
    Generated class or method.
    EMF model class or method.
    • Method Detail

      • getRefinedBy

        EList<Criterion> getRefinedBy()
        Returns the value of the 'Refined By' containment reference list. The list contents are of type Criterion.

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

        Returns:
        the value of the 'Refined By' containment reference list.
        See Also:
        QMLContractPackage.getRefinedQMLContract_RefinedBy()
        Generated class or method.
        EMF model class or method.
        containment="true" ordered="false"
      • setBaseContract

        void setBaseContract​(GenericQMLContract value)
        Sets the value of the 'Base Contract' reference.
        Parameters:
        value - the new value of the 'Base Contract' reference.
        See Also:
        getBaseContract()
        Generated class or method.
      • contract_cannot_refine_itself

        boolean contract_cannot_refine_itself​(DiagnosticChain diagnostics,
                                              Map<Object,​Object> context)
        self.baseContract <> self
        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.baseContract <> self'"