[wg11] Part 11: redeclared attributes

[Jochen Haenisch]

Yes, Heidi, this is valid Express (as long as Z is a specialization of Y).
P11 (e2) says in 9.2.3.4:
"d) The group_qualifier in the qualified_attribute syntax shall identify
either the entity
data type in which the attribute was originally declared, or an entity data
type that
redeclares the attribute from another supertype.
"
And 'group_qualifier' is '\' entity_ref .

I hope the experts agree :-)

Best regards,
Jochen

> -----Original Message-----
> From:	Heidi L Preston [SMTP:hpreston at ebmail.gdeb.com]
> Sent:	20. april 2004 22:32
> To:	wg11 at steptools.com
> Subject:	[wg11] Part 11: redeclared attributes
> 
> All-
> 
> I was hoping someone could entertain a Part 11 question.  Is the following
> EXPRESS legal?:
> 
> ENTITY A;
> attribute_a : X;
> END_ENTITY;
> 
> ENTITY B
> SUBTYPE OF (A);
> SELF\A.attribute_a : Y;
> END_ENTITY;
> 
> ENTITY C
> SUBTYPE OF (B);
> SELF\A.attribute_a : Z;
> END_ENTITY;
> 
> Questionable here is the redeclare in C.  It appears that it should be a
> redeclare of B (not A).  Is the above construct allowed according to Part
> 11?
> 
> Thanks,
> Heidi
> 
> 
> 
> 
> 
> **************************************************************************
> *
> Heidi Preston
> Electric Boat Corporation
> 75 Eastern Point Road
> Groton, CT 06340
> (860) 433-8649
> 
> 
> _______________________________________________
> wg11 mailing list
> wg11 at steptools.com
> http://lists.steptools.com/mailman/listinfo/wg11