Software Disclaimer

Class UML 2.3::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
ownedActual : ParameterableElement (0 1); -- source TemplateParameterSubstitution

The actual parameter that is owned by this substitution.
Subsets: Element.ownedElement, TemplateParameterSubstitution.actual

templateBinding : TemplateBinding (1 1); -- source TemplateParameterSubstitution
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
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 [email protected].