Class UML 2.3::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 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 The element that is the default for this formal template parameter. 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].