Class UML 2.3::TemplateParameterSubstitution
Description:
A template parameter substitution relates the actual parameter to a formal
template parameter as part of a template binding.
Direct Superclasses: ElementDirect Subclasses: Class Precedence List: TemplateParameterSubstitution,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
actual :
ParameterableElement (1 1); -- source
TemplateParameterSubstitution![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
formal :
TemplateParameter (1 1); -- source
TemplateParameterSubstitution![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
ownedActual :
ParameterableElement (0 1); -- source
TemplateParameterSubstitution![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
templateBinding :
TemplateBinding (1 1); -- source
TemplateParameterSubstitution![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=122735%3AC53EE611407DA4947359F827350B75E8)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: must_be_compatible() : Boolean;
Description: The actual parameter must be compatible with the formal template parameter,
e.g. the actual parameter for a class template parameter must be a class.
Expression: actual->forAll(a | a.isCompatibleWith(formal.parameteredElement))
Operations:
No additional operations.
Send questions or comments to
[email protected].