Re: Attribute definition clause for 'External_Tag

[Robert Dewar <robert_dewar@my-dejanews.com>]

In article <8b1tUD#n#GA.208@newstoo.hiwaay.net>,
  "David C. Hoos, Sr." <david.c.hoos.sr@ada95.com> wrote:
> 1.  Should the 'Image attribute be allowed to define
>     an external tag?

No, because this is not a static expression (you ask why not,
and I am not sure if you are asking a question about the RM,
in which case, the answer is simply that it is not in the list
of static expressions), or about the philosophical design of
Ada 95. If the latter, the answer is simply to keep things
simple, you have to make an arbitrary cut on static expressions,
and this one did not seem important enough.

> 2.  Should the compiler reject identical External_Tag
>     attributes for types with a common ancestor?

Certainly not, what RM authority would there be for such
rejection. Sure it is a bit odd if the programmer does this,
but I see no illegality here. If you think it is illegal, please
give your argument from the RM.

A warning would be reasonable perhaps ...


--== Sent via Deja.com http://www.deja.com/ ==--
---Share what you know. Learn what you don't.---