Re: Unconstrained Arrays

[sjw <simon.j.wright@mac.com>]

On Mar 27, 8:39 am, Jean-Pierre Rosen <ro...@adalog.fr> wrote:
> sjw a écrit :
>
> > My current problem is with this ..
>
> >    type Stream_Type
> >      (Buffer : access Ada.Streams.Stream_Element_Array)
> >    is new Ada.Streams.Root_Stream_Type with private;
> >    --  Provides an in-memory Stream over the elements of Buffer.
> >    --
>
> But why do you need to pass a Stream_Element_Array? Why not pass the
> size as a discriminant, and have the buffer internal to Stream_Type.
>
> If you really need to access the buffer from the outside, you could have
> a Get_Buffer function on Stream_Type that returns (your choice) the
> buffer content, or a pointer to the internal buffer.

I'm going to be using this with GNAT.Sockets, so I need (certainly for
reading from the network) access to the actual buffer content as a
Stream_Element_Array. So I could use an "access all
Stream_Element_Array".

Of course, if I made it specific to GNAT.Sockets it might be easier ..