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 ClassifierTemplateParameterConstrains the required relationship between an actual parameter and the
parameteredElement for this formal parameter.Default value: TRUE
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 TemplateParameterThe element that is the default for this formal template parameter. ownedDefault : ParameterableElement (0 1); -- source TemplateParameter ownedParameteredElement : ParameterableElement (0 1); -- source TemplateParameterThe element that is owned by this template parameter.{composite}
Subsets: Element.ownedElement, TemplateParameter.parameteredElement
Opposite: ParameterableElement.owningTemplateParameter
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 xmi-interop@omg.org.