Re: Package's private parts and protected types

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:1v2la97s2yyvd.1rcy0ana8mver.dlg@40tude.net...
> On Mon, 8 Feb 2010 00:30:12 -0800 (PST), Martin wrote:
>
>> This is true of task types too.
>
> I don't think so. The task specification does not expose barriers and 
> local
> variables of its body. But the protected type specification does its
> private operations and components:
>
> package P is
>   protected type T is
>      ...
>   private
>      ... -- Why is it here? Is it C++ or Ada?
>   end T;
> private
>   ... -- It belongs here! Or better to the package body
> end P;
>
> Obviously to me, the syntax should have been like:

For what it's worth, the Ada 95 Rationale says 
(http://www.adaic.com/standards/95rat/RAThtml/rat95-p2-9.html#1):

The other data components of a protected object must be declared in the 
specification of the type to ensure that the size is known to the compiler 
when the type is used by a caller. However these components are only 
accessible from protected operations defined in the body of the protected 
type and thus are declared in the private part of the protected type.
(And I have no intent of trying to defend this!)

                                  Randy.