From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Private Children
Date: 1999/06/23
Date: 1999-06-23T00:00:00+00:00 [thread overview]
Message-ID: <m3g13jeglj.fsf@mheaney.ni.net> (raw)
In-Reply-To: dale-2306991154580001@dale.cs.rmit.edu.au
On 23 Jun 1999 11:54, dale@cs.rmit.edu.au (Dale Stanbrough) wrote:
> Your 2nd proposal has the problem that implementation of types
> declared in P.Private_Stuff can be seen by any child packages, so you
> loose any ability to do hiding of abstractions -within- a hierachy.
But that's already the case:
package P is
type T is tagged private;
...
private
type T is ...;
end P;
package P.C1 is ...
package P.C2 is ...
Every child (C1, C2) has access to the private part of its parent (P).
There's no such thing as "hiding within a hierarchy."
Child packages were designed not to hide visibility from within the
hierarchy. They were designed to /deliberately/ expose the private part
to children, and to allow you to easily identify which packages have
that private knowledge.
next prev parent reply other threads:[~1999-06-23 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-06-20 0:00 Private Children Matthew Heaney
1999-06-21 0:00 ` Ted Dennison
1999-06-21 0:00 ` Tucker Taft
1999-06-21 0:00 ` Matthew Heaney
1999-06-21 0:00 ` Tucker Taft
1999-06-22 0:00 ` Richard D Riehle
1999-06-22 0:00 ` Dale Stanbrough
1999-06-22 0:00 ` Matthew Heaney
1999-06-23 0:00 ` Dale Stanbrough
1999-06-23 0:00 ` Matthew Heaney [this message]
1999-06-23 0:00 ` Dale Stanbrough
1999-06-23 0:00 ` Richard D Riehle
1999-06-23 0:00 ` Vladimir Olensky
1999-06-23 0:00 ` Richard D Riehle
1999-06-24 0:00 ` Hyman Rosen
1999-06-24 0:00 ` Richard D Riehle
1999-06-23 0:00 ` John Duncan
1999-06-24 0:00 ` Dale Stanbrough
1999-06-22 0:00 ` Richard D Riehle
1999-06-21 0:00 ` Matthew Heaney
1999-06-25 0:00 ` Robert Dewar
1999-06-21 0:00 ` Dale Stanbrough
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox