| Previous | UML Classes | Table of Contents | UML Packages | Next |
A template parameter substitution relates the actual parameter(s) to a formal template parameter as part of a template binding.
•
Element (from Kernel ) on page 63
Description
TemplateParameterSubstitution associates one or more actual parameters with a formal template parameter within the context
of a TemplateBinding.
Attributes
No additional attributes
Associations
• actual : ParameterableElement[1..*] The elements that are the actual parameters for this substitution.
Issue 8516 - rename ‘binding’ to ‘templateBinding’
• templateBinding : TemplateBinding[1] The template binding that owns this substitution. Subsets Element::owner.
• formal : TemplateParameter[1] The formal template parameter that is associated with this substitution.
• ownedActual : ParameterableElement[0..*] The actual parameters that are owned by this substitution. Subsets Element::ownedElement
and actual.
Constraints
[1] 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).
actual->forAll(a | a.isCompatibleWith(formal.parameteredElement))
Semantics
A TemplateParameterSubstitution specifies the set of actual parameters to be substituted for a formal template parameter within
the context of a template binding.
Notation
See TemplateBinding.
Examples
See TemplateBinding.