Class UML 2.3::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:
boundElement :
TemplateableElement (1 1); -- source
TemplateBinding parameterSubstitution :
TemplateParameterSubstitution (0 *); -- source
TemplateBinding signature :
TemplateSignature (1 1); -- source
TemplateBinding source :
Element (1 *); -- source
DirectedRelationship target :
Element (1 *); -- source
DirectedRelationship relatedElement :
Element (1 *); -- source
Relationship ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
Element 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].