Class UML 2.4.1::TemplateBinding
Description:
A template binding represents a relationship between a templateable element
and a template. A template binding specifies the substitutions of actual
parameters for the formal parameters of the template.
Direct Superclasses: DirectedRelationshipDirect Subclasses: Class Precedence List: TemplateBinding,
DirectedRelationship,
Relationship,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
boundElement :
TemplateableElement (1 1); -- source
TemplateBinding![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
parameterSubstitution :
TemplateParameterSubstitution (0 *); -- source
TemplateBinding![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
signature :
TemplateSignature (1 1); -- source
TemplateBinding![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
source :
Element (1 *); -- source
DirectedRelationship![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
target :
Element (1 *); -- source
DirectedRelationship![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
relatedElement :
Element (1 *); -- source
Relationship![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=157932%3A4D3DBE509FD85A1BFB4A87067B10EFD9)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: parameter_substitution_formal() : Boolean;
Description: Each parameter substitution must refer to a formal template parameter of
the target template signature.
Expression: parameterSubstitution->forAll(b | template.parameter->includes(b.formal))
Signature: one_parameter_substitution() : Boolean;
Description: A binding contains at most one parameter substitution for each formal template
parameter of the target template signature.
Expression: template.parameter->forAll(p | parameterSubstitution->select(b | b.formal = p)->size() <= 1)
Operations:
No additional operations.
Send questions or comments to
[email protected].