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

[news01+Steven.Murdoch@cl.cam.ac.uk (Steven Murdoch)]

In article <wccsmx5yimi.fsf@shell01.TheWorld.com>,
 Robert A Duff <bobduff@shell01.TheWorld.com> writes:
>news01+Steven.Murdoch@cl.cam.ac.uk (Steven Murdoch) writes:
>
>>... A is used by B and by no other package,
>> all of the procedures in A are used by B.
>
>Then A is really part of the implementation of B, so it should be
>"private package B.A is...".

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.

-- b.ads
package B is
   procedure Proc_B;
private
    type Private_Type is new Integer;
end B;
--

-- b.adb
with B.A;
package body B is
   procedure Proc_B is
      Temp: Private_Type;
   begin
      A.Foobar(Temp);
   end;
end B;
--

-- b-a.ads
private package B.A is
   procedure Foobar(Temp: in Private_Type);
end B.A;
--

-- b-a.adb
package body B.A is
   procedure Foobar(Temp: in Private_Type) is
   begin
      null;
   end;
end B.A;
--

Thank you,
Steven Murdoch.