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,ff6dd65dff421bcf X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread3.news.pas.earthlink.net.POSTED!a6202946!not-for-mail From: Jeffrey Carter Organization: jrcarter commercial-at acm [period | full stop] org User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.7.3) Gecko/20040910 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Protected types private part visibility , helpfull hints needed. References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Fri, 29 Apr 2005 03:03:36 GMT NNTP-Posting-Host: 4.240.245.113 X-Complaints-To: abuse@earthlink.net X-Trace: newsread3.news.pas.earthlink.net 1114743816 4.240.245.113 (Thu, 28 Apr 2005 20:03:36 PDT) NNTP-Posting-Date: Thu, 28 Apr 2005 20:03:36 PDT Xref: g2news1.google.com comp.lang.ada:10797 Date: 2005-04-29T03:03:36+00:00 List-Id: You're quite right: any types referenced in the private part of the protected type must be publicly visible in the enclosing package spec. I'm not sure if the "private with" of Ada 0X will apply in this case; I recall that it only allows references in the private part of the package. FWIW, the following compiles: package Private_Protected_Private is type Implementation is limited private; protected type Pt is procedure Op (I : in Integer); private -- Pt Value : Implementation; end Pt; private -- Private_Protected_Private type Implementation is ...; end Private_Protected_Private; This allows the types used in the private part of the protected type to be private to clients of the package. -- Jeff Carter "Beyond 100,000 lines of code you should probably be coding in Ada." P. J. Plauger 26