Class UML 2.3::RedefinableTemplateSignature
Description:
A redefinable template signature supports the addition of formal template
parameters in a specialization of a template classifier.
Direct Superclasses: TemplateSignature,
RedefinableElementDirect Subclasses: Class Precedence List: RedefinableTemplateSignature,
TemplateSignature,
RedefinableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
classifier :
Classifier (1 1); -- source
RedefinableTemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
extendedSignature :
RedefinableTemplateSignature (0 *); -- source
RedefinableTemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
inheritedParameter :
TemplateParameter (0 *); -- source
RedefinableTemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
ownedParameter :
TemplateParameter (0 *); -- source
TemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
parameter :
TemplateParameter (1 *); -- source
TemplateSignature![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/right-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement The redefinable element that is being redefined by this element.
{
readonly}
Derived union with sources: (extendedSignature)
![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
namespace :
Namespace (0 1); -- source
NamedElement Specifies the namespace that owns the NamedElement.
{
readonly}
Derived union with sources: ()
Subsets: Element.owner
Opposite: Namespace.ownedMember
![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=31220%3A3F938DAB2553F3896844FA77EDD21506)
owner :
Element (0 1); -- source
Element The Element that owns this element.
{
readonly}
Derived union with sources: (namespace, classifier)
Opposite: Element.ownedElement
Constraints:
Signature: inherited_parameters() : Boolean;
Description: The inherited parameters are the parameters of the extended template signature.
Expression: if extendedSignature->isEmpty() then Set{} else extendedSignature.parameter endif
Operations:
Signature: isConsistentWith(redefinee : 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, since redefinition only adds new formal parameters.
The OCL used here is not normative.Editor's notes: Redefinable not Redefineable
Expression: result = redefinee.oclIsKindOf(RedefinableTemplateSignature)
Original: result = redefinee.oclIsKindOf(RedefineableTemplateSignature)
Send questions or comments to
[email protected].