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

["SteveD" <nospam_steved94@attbi.com>]

"Steven Murdoch" <news01+Steven.Murdoch@cl.cam.ac.uk> wrote in message
news:at56fd$3cq$1@pegasus.csx.cam.ac.uk...
> 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.
>

The other choice is to make Private_Type visible as a private type.  That
is:

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

Then the rest of the code works without modification.

Steve
(The Duck)

>
> Thank you,
> Steven Murdoch.
>