Interface GeneralizationSet

    • Method Detail

      • isCovering

        boolean isCovering()
        Returns the value of the 'Is Covering' attribute. The default value is "false". Indicates (via the associated Generalizations) whether or not the set of specific Classifiers are covering for a particular general classifier. When isCovering is true, every instance of a particular general Classifier is also an instance of at least one of its specific Classifiers for the GeneralizationSet. When isCovering is false, there are one or more instances of the particular general Classifier that are not instances of at least one of its specific Classifiers defined for the GeneralizationSet.
        Returns:
        the value of the 'Is Covering' attribute.
        See Also:
        setIsCovering(boolean), UMLPackage.getGeneralizationSet_IsCovering()
      • setIsCovering

        void setIsCovering​(boolean value)
        Sets the value of the 'Is Covering' attribute.
        Parameters:
        value - the new value of the 'Is Covering' attribute.
        See Also:
        isCovering()
      • isDisjoint

        boolean isDisjoint()
        Returns the value of the 'Is Disjoint' attribute. The default value is "false". Indicates whether or not the set of specific Classifiers in a Generalization relationship have instance in common. If isDisjoint is true, the specific Classifiers for a particular GeneralizationSet have no members in common; that is, their intersection is empty. If isDisjoint is false, the specific Classifiers in a particular GeneralizationSet have one or more members in common; that is, their intersection is not empty. For example, Person could have two Generalization relationships, each with the different specific Classifier: Manager or Staff. This would be disjoint because every instance of Person must either be a Manager or Staff. In contrast, Person could have two Generalization relationships involving two specific (and non-covering) Classifiers: Sales Person and Manager. This GeneralizationSet would not be disjoint because there are instances of Person which can be a Sales Person and a Manager.
        Returns:
        the value of the 'Is Disjoint' attribute.
        See Also:
        setIsDisjoint(boolean), UMLPackage.getGeneralizationSet_IsDisjoint()
      • setIsDisjoint

        void setIsDisjoint​(boolean value)
        Sets the value of the 'Is Disjoint' attribute.
        Parameters:
        value - the new value of the 'Is Disjoint' attribute.
        See Also:
        isDisjoint()
      • setPowertype

        void setPowertype​(Classifier value)
        Sets the value of the 'Powertype' reference.
        Parameters:
        value - the new value of the 'Powertype' reference.
        See Also:
        getPowertype()
      • validateGeneralizationSameClassifier

        boolean validateGeneralizationSameClassifier​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     Map context)
        Every Generalization associated with a particular GeneralizationSet must have the same general Classifier. generalization->collect(g | g.general)->asSet()->size() <= 1
      • validateMapsToGeneralizationSet

        boolean validateMapsToGeneralizationSet​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                Map context)
        The Classifier that maps to a GeneralizationSet may neither be a specific nor a general Classifier in any of the Generalization relationships defined for that GeneralizationSet. In other words, a power type may not be an instance of itself nor may its instances be its subclasses. true