Software Disclaimer

Class UML 2.4.1::ClassifierTemplateParameter

Description:

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

Direct Superclasses: TemplateParameter

Direct Subclasses:

Class Precedence List: ClassifierTemplateParameter, TemplateParameter, Element

Properties:

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
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

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

Operations:

No additional operations.



Send questions or comments to [email protected].