Software Disclaimer

Class UML 2.4.1::TemplateParameterSubstitution


A template parameter substitution relates the actual parameter to a formal template parameter as part of a template binding.

Direct Superclasses: Element

Direct Subclasses:

Class Precedence List: TemplateParameterSubstitution, Element


actual : ParameterableElement (1 1); -- source TemplateParameterSubstitution
formal : TemplateParameter (1 1); -- source TemplateParameterSubstitution

The formal template parameter that is associated with this substitution.

ownedActual : ParameterableElement (0 1); -- source TemplateParameterSubstitution
templateBinding : TemplateBinding (1 1); -- source TemplateParameterSubstitution

The optional bindings from this element to templates.
Subsets: Element.owner
Opposite: TemplateBinding.parameterSubstitution

ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element

The Elements owned by this element.
{composite, readonly}
Derived union with sources: (ownedComment, ownedActual)
Opposite: Element.owner

owner : Element (0 1); -- source Element


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))


No additional operations.

Send questions or comments to