Issue 14065: UML2: Missing semantics in definition of RedefinableTemplateSignature with multiple parents (uml2-rtf)
Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com)
Nature: Uncategorized Issue
Severity: 
Summary: In RedefinableTemplateSignature.Associations we have this

 

extendedSignature : RedefinableTemplateSignature[*] The template signature that is extended by this template signature. Subsets RedefinableElement::redefinedElement.

 

It should read “The template signatures that are extended ...”

 

Similarly the constraint says:

 

The inherited parameters are the parameters of the extended template signature.

And should read “extended templates signatures”.

 

More seriously, the semantics says nothing about what happens when more than one of the extended template signatures have parameters with the same name.  Is it an error?  Are they merged (in which case what happens if they are different types)?  Are they all there  in which case what is the syntax for differentiating them? (e.g. Super1::T : Class, Super2::T : Class)

Resolution: 
Revised Text: 
Actions taken:
July 10, 2009: received issue
Discussion: 

End of Annotations:=====

m: Steve Cook <Steve.Cook@microsoft.com>
To: "issues@omg.org" <issues@omg.org>
Date: Fri, 10 Jul 2009 18:23:56 +0100
Subject: UML2: Missing semantics in definition of
 RedefinableTemplateSignature with multiple parents.
Thread-Topic: UML2: Missing semantics in definition of
 RedefinableTemplateSignature with multiple parents.
Thread-Index: AcoBgzSaFsl2rvWrTImP/ifRfeZUrQ==
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: en-US


In RedefinableTemplateSignature.Associations we have this

 

extendedSignature : RedefinableTemplateSignature[*] The template signature that is extended by this template signature. Subsets RedefinableElement::redefinedElement.

 

It should read .The template signatures that are extended ....

 

Similarly the constraint says:

 

The inherited parameters are the parameters of the extended template signature.

And should read .extended templates signatures..

 

More seriously, the semantics says nothing about what happens when more than one of the extended template signatures have parameters with the same name.  Is it an error?  Are they merged (in which case what happens if they are different types)?  Are they all there  in which case what is the syntax for differentiating them? (e.g. Super1::T : Class, Super2::T : Class)