Class UML 2.4.1::ClassifierTemplateParameter
Description:
A classifier template parameter exposes a classifier as a formal template
parameter.
Direct Superclasses: TemplateParameterDirect Subclasses: Class Precedence List: ClassifierTemplateParameter,
TemplateParameter,
ElementProperties:
allowSubstitutable : Boolean (1 1); -- source
ClassifierTemplateParameter constrainingClassifier :
Classifier (0 *); -- source
ClassifierTemplateParameterThe 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
ElementConstraints:
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].