Software Disclaimer

Class UML 2.3::TemplateSignature

Description:

A template signature bundles the set of formal template parameters for a templated element.

Direct Superclasses: Element

Direct Subclasses: RedefinableTemplateSignature

Class Precedence List: TemplateSignature, Element

Properties:

ownedParameter : TemplateParameter (0 *); -- source TemplateSignature

The formal template parameters that are owned by this template signature.
{composite, ordered}
Subsets: Element.ownedElement, TemplateSignature.parameter
Opposite: TemplateParameter.signature

parameter : TemplateParameter (1 *); -- source TemplateSignature
template : TemplateableElement (1 1); -- source TemplateSignature
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: own_elements() : Boolean;
Description: Parameters must own the elements they parameter or those elements must be owned by the element being templated.
The OCL used here is not normative.
Editor's notes: templatedElement not defined.
Expression: true
Original: templatedElement.ownedElement->includesAll(parameter.parameteredElement - parameter.ownedParameteredElement)

Operations:

No additional operations.



Send questions or comments to [email protected].