Software Disclaimer

Class UML 2.4.1::ClassifierTemplateParameter


A classifier template parameter exposes a classifier as a formal template parameter.

Direct Superclasses: TemplateParameter

Direct Subclasses:

Class Precedence List: ClassifierTemplateParameter, TemplateParameter, Element


allowSubstitutable : Boolean (1 1); -- source ClassifierTemplateParameter
constrainingClassifier : Classifier (0 *); -- source ClassifierTemplateParameter

The classifiers that constrain the argument that can be used for the parameter. If the allowSubstitutable attribute is true, then any classifier that is compatible with this constraining classifier can be substituted; otherwise, it must be either this classifier or one of its subclasses. If this property is empty, there are no constraints on the classifier that can be used as an argument.

parameteredElement : Classifier (1 1); -- source ClassifierTemplateParameter
default : ParameterableElement (0 1); -- source TemplateParameter
ownedDefault : ParameterableElement (0 1); -- source TemplateParameter
ownedParameteredElement : ParameterableElement (0 1); -- source TemplateParameter
signature : TemplateSignature (1 1); -- source TemplateParameter

The template signature that owns this template parameter.
Subsets: Element.owner
Opposite: TemplateSignature.ownedParameter

ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element


Signature: has_constraining_classifier() : Boolean;
Description: If "allowSubstitutable" is true, then there must be a constrainingClassifier.
Expression: allowSubstitutable implies constrainingClassifier->notEmpty()


No additional operations.

Send questions or comments to