Software Disclaimer

Class UML 2.3::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
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

The string expression used to define the name of this named element.
{composite}
Subsets: Element.ownedElement

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].