Software Disclaimer

Class UML 2.4.1::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
templateBinding : TemplateBinding (1 1); -- source TemplateParameterSubstitution
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

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