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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7f854d193f44af15
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Nick Roberts <nick.roberts@acm.org>
Newsgroups: comp.lang.ada
Subject: Re: access private element of base-class
Date: Sat, 02 Oct 2004 14:56:00 +0100
Message-ID: <2s7qbbF1hpu2gU1@uni-berlin.de>
References: <cji8ru$jtf$02$1@news.t-online.com>
 <aV17d.3257$Yr.1573@newsread3.news.pas.earthlink.net>
 <2035878.fXVvL0czMB@linux1.krischik.com>
 <zRg7d.412$M05.293@newsread3.news.pas.earthlink.net>
 <cjk5sn$5c5$04$1@news.t-online.com> <sa4pt41by9o.fsf@snoopy.apana.org.au>
 <87mzz5s6dk.fsf@insalien.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de na7vvag+24GzHf0tsPIHnweH0+cqVjuTH6uardXfSRKqNdlLQ=
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.7.2) Gecko/20040803
X-Accept-Language: en-us, en
In-Reply-To: <87mzz5s6dk.fsf@insalien.org>
Xref: g2news1.google.com comp.lang.ada:4566
Date: 2004-10-02T14:56:00+01:00
List-Id: <comp.lang.ada>

I think the rules can be summarised as follows.

For a public child package:
    - for its specification :
       - the visible part can see the visible part of its parent's spec
       - the private part can see all of the specification of its parent
    - its body can see all of the specification of its parent
    - public and private siblings can see the visible part of its spec
      (if they mention it in a 'with' clause)

For a private child package:
    - for its specification :
       - the visible and private parts can see all of it's parent's spec
    - its body can see all of the specification of its parent
    - only private siblings can see the visible part of its specification
      (if they mention it in a 'with' clause)

Phew, I hope this is right!

-- 
Nick Roberts