Software Disclaimer

Class UML 2.3::TemplateSignature


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


ownedParameter : TemplateParameter (0 *); -- source TemplateSignature
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


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)


No additional operations.

Send questions or comments to [email protected].