Class UML 2.4.1::TemplateParameter
Description:
A template parameter exposes a parameterable element as a formal template
parameter of a template.
Direct Superclasses: ElementDirect Subclasses: OperationTemplateParameter,
ConnectableElementTemplateParameter,
ClassifierTemplateParameterClass Precedence List: TemplateParameter,
ElementProperties:
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
TemplateParameter parameteredElement :
ParameterableElement (1 1); -- source
TemplateParameter signature :
TemplateSignature (1 1); -- source
TemplateParameterThe 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
ElementConstraints:
Signature: must_be_compatible() : Boolean;
Description: The default must be compatible with the formal template parameter.
Expression: default->notEmpty() implies default->isCompatibleWith(parameteredElement)
Operations:
No additional operations.
Send questions or comments to
[email protected].