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: ElementDirect Subclasses: Class Precedence List: TemplateParameterSubstitution,
ElementProperties:
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 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
ElementConstraints:
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].