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,d4e2f238dc61c890
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!x41g2000hsb.googlegroups.com!not-for-mail
From: christoph.grein@eurocopter.com
Newsgroups: comp.lang.ada
Subject: Re: Protected types and visibility of their internals
Date: Tue, 8 Jul 2008 22:04:49 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <5dfd2485-ae32-407d-a5e6-7caab2e79898@x41g2000hsb.googlegroups.com>
References: 
 <b1f2203b-ed02-4031-bcba-40c0e1b1be07@j22g2000hsf.googlegroups.com>
NNTP-Posting-Host: 80.156.44.178
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1215579889 23029 127.0.0.1 (9 Jul 2008 05:04:49
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 9 Jul 2008 05:04:49 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: x41g2000hsb.googlegroups.com; posting-host=80.156.44.178;
	posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET
	CLR 1.1.4322; .NET CLR 2.0.50727; InfoPath.1),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 webwasher (Webwasher 6.7.0.3295)
Xref: g2news1.google.com comp.lang.ada:1041
Date: 2008-07-08T22:04:49-07:00
List-Id: <comp.lang.ada>

If you want the protected type to be visible, alas there is no other
place to declare this type than in the visible part of the package.
This is inconvenient. The rationale for this?

You can however hide the PO in the body and export the operations via
renaming.