Class UML 2.4.1::GeneralizationSet

Description:

A generalization set is a packageable element whose instances define collections of subsets of generalization relationships.

Direct Superclasses: PackageableElement

Direct Subclasses:

Class Precedence List: GeneralizationSet, PackageableElement, ParameterableElement, NamedElement, Element

Properties:

generalization : Generalization (0 *); -- source GeneralizationSet
isCovering : Boolean (1 1); -- source GeneralizationSet

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.
Default value: FALSE

isDisjoint : Boolean (1 1); -- source GeneralizationSet
powertype : Classifier (0 1); -- source GeneralizationSet
visibility : VisibilityKind (1 1); -- source PackageableElement
owningTemplateParameter : TemplateParameter (0 1); -- source ParameterableElement
templateParameter : TemplateParameter (0 1); -- source ParameterableElement
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: maps_to_generalization_set() : Boolean;
Description: 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.
Expression: true

Signature: generalization_same_classifier() : Boolean;
Description: Every Generalization associated with a particular GeneralizationSet must have the same general Classifier.
Expression: generalization->collect(g | g.general)->asSet()->size() <= 1

Operations:

No additional operations.

---

Send questions or comments to [email protected].