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:

generalization :
Generalization (0 *); -- source
GeneralizationSet Designates the instances of Generalization which are members of a given
GeneralizationSet.
Opposite: Generalization.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
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].