Re: Giving a package specification access to the private types of another package

["Grein, Christoph" <christoph.grein@eurocopter.com>]

This is indeed the perfect design for your problem.

> I think this is what I have done - and it works. My code is equivalent
> to the example below. This works and seems to be the best way to do it.
> 
> package B is
>    procedure Proc_B;
> private
>     type Private_Type is new Integer;
> end B;
> 
> with B.A;
> package body B is
>    procedure Proc_B is
>       Temp: Private_Type;
>    begin
>       A.Foobar(Temp);
>    end;
> end B;
> 
> private package B.A is
>    procedure Foobar(Temp: in Private_Type);
> end B.A;
> 
> package body B.A is
>    procedure Foobar(Temp: in Private_Type) is
>    begin
>       null;
>    end;
> end B.A;