Re: Ada.Streams.Stream_IO.File_Type

["Nick Roberts" <nickroberts@blueyonder.co.uk>]

<tmoran@acm.org> wrote in message news:RfZQa.71833$N7.8631@sccrnsc03...

[of the type Ada.Streams.Stream_IO.File_Type]
> Why is this not a descendant of
> Ada.Finalization.Limited_Controlled?

The visible declaration in the package Ada.Streams.Stream_IO is:

   type File_Type is limited private;

This means that the type is not visibly a descendant of Limited_Controlled,
but it could be implemented by putting:

   type File_Type is new Ada.Finalization.Limited_Controlled with private;

in the private part of package Ada.Streams.Stream_IO. I'm not quite sure if
such an implementation would be criticised on the grounds that objects of
File_Type could not then be declared other than at library level.

--
Nick Roberts
Jabber: debater@charente.de [ICQ: 159718630]