From: stt@houdini.camb.inmet.com (Tucker Taft)
Subject: Re: Ada 95 visibility question
Date: 1997/09/25
Date: 1997-09-25T00:00:00+00:00 [thread overview]
Message-ID: <EH2zJ0.A74.0.-s@inmet.camb.inmet.com> (raw)
In-Reply-To: 60ear5$7hu$1@beauty.mda.ca
Bruce Link (bdl@mda.ca) wrote:
: ...
: Robert Duff cites 7.3.1 (no paragraph), but this does not seem to apply in
: the way he intends it.
Bob is right, but 7.3.1 is not exactly crystal clear on the topic.
Slightly better is AI95-00157. The key thing to realize is
that knowing anything about the grandparent of a derived type is
irrelevant.
All that matters is what characteristics of the immediate parent
type are *visible* in the immediate scope of the derived type.
In this case, because the parent type is defined in a sibling package,
rather than an ancestor package, one only sees the public characteristics
of the parent type, and even though you "know" more about the grandparent
type, that is irrelevant.
The only way to take advantage of what is known about a grandparent
type is to convert to that grandparent type.
: Bruce Link |Team OS/2
: bdl@mda.ca |Team Ada
--
-Tucker Taft stt@inmet.com http://www.inmet.com/~stt/
Intermetrics, Inc. Burlington, MA USA
next prev parent reply other threads:[~1997-09-25 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-09-25 0:00 Ada 95 visibility question Chris Sparks (Mr. Ada)
1997-09-25 0:00 ` Bruce Link
1997-09-25 0:00 ` Tucker Taft [this message]
1997-09-26 0:00 ` Robert A Duff
-- strict thread matches above, loose matches on Subject: below --
1997-09-20 0:00 Tom Moran
1997-09-22 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox