Re: Protected types and visibility of their internals

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Maciej Sobczak <see.my.homepage@gmail.com> writes:

> Consider a protected type in some package:
>
> package P is
>    protected type PT is
>       procedure Foo;
>    private
>       X : Some_Type;
>    end PT;
> end P;
>
> The protected type has a component X of Some_Type, which is entirely
> the private business of the protected type.
>
> Where this type should be declared?

I don't think there's any good solution to this.

You could put it in a nested package called Private_Stuff,
with a comment saying clients shouldn't mess with it.

> What is the rationale for this?

I don't remember exactly, but I think there are anomalies if you start
allowing types to be declared inside types.

- Bob