Class UML 2.3::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:
![](/se-interop/image/down-arrow.png)
generalization :
Generalization (0 *); -- source
GeneralizationSet![](/se-interop/image/down-arrow.png)
isCovering : Boolean (1 1); -- source
GeneralizationSet![](/se-interop/image/down-arrow.png)
isDisjoint : Boolean (1 1); -- source
GeneralizationSet![](/se-interop/image/down-arrow.png)
powertype :
Classifier (0 1); -- source
GeneralizationSet![](/se-interop/image/down-arrow.png)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png)
templateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png)
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].