Software Disclaimer

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: Element

Direct Subclasses:

Class Precedence List: TemplateParameterSubstitution, Element

Properties:

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.
{composite}
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

The Element that owns this element.
{readonly}
Derived union with sources: (templateBinding)
Opposite: Element.ownedElement

Constraints:

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].