[wg11] EXPRESS (DERIVEd) attribute redeclaration question

[Phil Spiby]

Looking at the files in more detail I agree with Jochen.
The redeclaration at line 24446 is not a specialization of either the original declaration or any of the lower redeclarations so is in error irrespective of where things are declared.

My first answer was basically in response to the position by Tom that there should be a note in the EXPRESS LRM that there should be information in the LRM concerning redeclaration order and consequences - which I believe is covered by the rule I pointed out. 

Phil

-----Original Message-----
From: thomas thurman [mailto:thomas.r.thurman at imonmail.com] 
Sent: 07 June 2012 02:04
To: Jochen Haenisch
Cc: thomas thurman; Lothar Klein; Phil Spiby; wg11
Subject: Re: [wg11] EXPRESS (DERIVEd) attribute redeclaration question

Thanks Jochen!

Best Regards,
Tom
>On Jun 5, 2012, at 5:26 AM, Jochen Haenisch wrote:

> Tom,
> 
> my conclusion is that the error message is correct. According to P11
> 9.2.7 Specialization, only the data type counts when determining 
> whether a redeclared attribute follows the specialization rule or not.
> Assignments have in this context nothing to say.
> 
> Best regards,
> Jochen
> -----Original Message-----
> From: wg11-bounces at steptools.com [mailto:wg11-bounces at steptools.com] 
> On Behalf Of Thomas Thurman
> Sent: 1. juni 2012 23:34
> To: Lothar Klein
> Cc: wg11
> Subject: Re: [wg11] EXPRESS (DERIVEd) attribute redeclaration question
> 
> 
> On Jun 1, 2012, at 3:27 PM6/1/12, Lothar Klein wrote:
> 
>> It has been always this way.
>> And the classical example is that if an entity A has an explicit 
>> INTEGER attribute and two subtypes B and C. In B the attribute is 
>> redeclared to be an odd number and in C to be an even number and 
>> there is an entity D that is a subtype of both, B and C then all this 
>> is valid Express. But it is not possible to construct a valid 
>> instance of D because you won't find an integer value that is both an 
>> odd and an
> even
>> number simultaneously.
> Sorry, we seem to be getting off track.
> I was specifically talking about the case where there are three 
> declarations in a direct supertype path, The root supertype, an 
> intermediate type and the leaf subtype.
> Let's not mix up the problem statement.
> 
> Tom
>> 
>> Lothar
>> 
>> Friday, June 1, 2012, 3:42:25 PM, you wrote:
>>> Phil,
>>> This is an interesting conclusion. I look forward to hear opinions 
>>> of
> other members of WG11.
>> 
>>> Tom
>>>> On Jun 1, 2012, at 12:43 AM6/1/12, Phil Spiby wrote:
>> 
>>>> I believe Rule and Restriction (e) under section 9.2.3.4 applies:
>>>> e) If an attribute of a supertype is redeclared in two non-mutually
> exclusive subtypes, an
>>>> instance which contains both subtypes shall have a single value for
> that attribute which is
>>>> valid for both redeclarations.
>>>> 
>>>> Phil
>> 
> 
> 
> _______________________________________________
> wg11 mailing list
> wg11 at steptools.com
> http://lists.steptools.com/mailman/listinfo/wg11

Notice: This e-mail (including attachments) is covered by the Electronic Communications Privacy Act, 18 U.S.C. 2510-2521, is confidential and may be legally privileged.  If you are not the intended recipient, you are hereby notified that any retention, dissemination, distribution, or copying of this communication is strictly prohibited.  Please reply to the sender that you have received the message in error, then delete it.  Thank you.