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: PackageableElementDirect Subclasses: Class Precedence List: GeneralizationSet,
PackageableElement,
ParameterableElement,
NamedElement,
ElementProperties:
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
ParameterableElementThe formal template parameter that owns this element.
Subsets: Element.owner, ParameterableElement.templateParameter
Opposite: TemplateParameter.ownedParameteredElement
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
ElementConstraints:
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].