Class UML 2.5::RedefinableTemplateSignature
Description:
A RedefinableTemplateSignature supports the addition of formal template
parameters in a specialization of a template classifier.
Direct Superclasses: RedefinableElement,
TemplateSignatureDirect Subclasses: Class Precedence List: RedefinableTemplateSignature,
RedefinableElement,
NamedElement,
TemplateSignature,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
classifier :
Classifier (1 1); -- source
RedefinableTemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
extendedSignature :
RedefinableTemplateSignature (0 *); -- source
RedefinableTemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
inheritedParameter :
TemplateParameter (0 *); -- source
RedefinableTemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/right-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
clientDependency :
Dependency (0 *); -- source
NamedElementIndicates the Dependencies that reference this NamedElement as a client.
{
derived}
Opposite: Dependency.client
![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
ownedParameter :
TemplateParameter (0 *); -- source
TemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
parameter :
TemplateParameter (1 *); -- source
TemplateSignature![](/se-interop/image/right-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
ownedComment :
Comment (0 *); -- source
ElementThe Comments owned by this Element.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=10029%3A2B9E5FB85F22C8124941A71E7E68EFB4)
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
Signature: isConsistentWith(redefiningElement : RedefinableElement; ) : Boolean;
Description: The query isConsistentWith() specifies, for any two RedefinableTemplateSignatures
in a context in which redefinition is possible, whether redefinition would
be logically consistent. A redefining template signature is always consistent
with a redefined template signature, as redefinition only adds new formal
parameters.
Expression: result = (redefiningElement.oclIsKindOf(RedefinableTemplateSignature))
Signature: inheritedParameter.1() : TemplateParameter;
Description: Derivation for RedefinableTemplateSignature::/inheritedParameter
Expression: result = (if extendedSignature->isEmpty() then Set{} else extendedSignature.parameter->asSet() endif)
Send questions or comments to
[email protected].