From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a85dd10bdbdb69d4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-12-10 06:35:06 PST
Path: 
 archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!colt.net!peernews3.colt.net!fr.colt.net!teaser.fr!enst.fr!not-for-mail
From: "Grein, Christoph" <christoph.grein@eurocopter.com>
Newsgroups: comp.lang.ada
Subject: Re: Giving a package specification access to the private types of
 another package
Date: Tue, 10 Dec 2002 15:27:31 +0100 (MET)
Organization: ENST, France
Sender: comp.lang.ada-admin@ada.eu.org
Message-ID: <mailman.1039530902.542.comp.lang.ada@ada.eu.org>
Reply-To: comp.lang.ada@ada.eu.org
NNTP-Posting-Host: marvin.enst.fr
Mime-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
X-Trace: avanie.enst.fr 1039530903 739 137.194.161.2 (10 Dec 2002 14:35:03
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Tue, 10 Dec 2002 14:35:03 +0000 (UTC)
Return-Path: <christoph.grein@eurocopter.com>
X-Authentication-Warning: mail.eurocopter.com: uucp set sender to
 <christoph.grein@eurocopter.com> using -f
Content-MD5: LcoWwpQI9Yykq8WtgRIIag==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc 
Errors-To: comp.lang.ada-admin@ada.eu.org
X-BeenThere: comp.lang.ada@ada.eu.org
X-Mailman-Version: 2.0.13
Precedence: bulk
X-Reply-To: "Grein, Christoph" <christoph.grein@eurocopter.com>
List-Unsubscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=unsubscribe>
List-Id: comp.lang.ada mail<->news gateway <comp.lang.ada.ada.eu.org>
List-Post: <mailto:comp.lang.ada@ada.eu.org>
List-Help: <mailto:comp.lang.ada-request@ada.eu.org?subject=help>
List-Subscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=subscribe>
Errors-To: comp.lang.ada-admin@ada.eu.org
X-BeenThere: comp.lang.ada@ada.eu.org
Xref: archiver1.google.com comp.lang.ada:31633
Date: 2002-12-10T15:27:31+01:00

> It already is, but I have the same problem. I think if A is a child of
> B then the body of A can see the body of B, but the public specification of

No, that's wrong. No unit can ever see inside the body of another unit. The body 
is hidden from all visibility.

> A cannot see the body of B (which is what I need).

A child'body of a unit can see in the private part of its parent.
A private child's spec can see in the private part of its parent.
A child's private part can see in the private part of its parent.

Privateness can be nested. You can have private children of public parents, but 
also public children of private parents and private children of private parents. 


        package A     is ... end A;
private package A.B   is ... end A.B;
        package A.B.C is ... end A.B.C;  -- public within A.B
private package A.B.D is ... end A.B.D;  -- private within A.B

A.B.C'Spec does not see A.B.D (because the latter is private).
A.B.C'Body does see A.B.D'Spec.

with A;      -- legal
with A.B;    -- illegal
with A.B.C;  -- illegal
package X is ...