Re: Protected types private part visibility , helpfull hints needed.

[Jeffrey Carter <spam@spam.com>]

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