Re: Hiding a type

[Jeffrey Carter <jrcarter@computer.org>]

Simon Wright wrote:
> 
> "Frank J. Lhota" <NOSPAM.FrankLho@rcn.com> writes:
> 
> > package Test is
> >      type Public_Name is limited private;
> >      function Initialize( File_Name : String ) return Public_Name;
> >      procedure Process( Input : Public_Name );
> > private
> >      type Private_Type is record ... end record;
> >      type Public_Name is access all Private_Type;
> > end Test;
> 
> I don't know if this will compile, but it's certainly not possible to
> use it; if Public_Name is _limited_ private, clients have no
> assignment operation.

The OP stated that he didn't want the client to create variables of the
type, but instead pass function results to other subprograms. So this
could be used as

Process (Input => Initialize ("File_Name") );

-- 
Jeff Carter
"You couldn't catch clap in a brothel, silly English K...niggets."
Monty Python & the Holy Grail