Re: Writing Data to a file

[awdorrin <awdorrin@gmail.com>]

>
> Note that you have not specified what it is that Buf is supposed to
> contain; you seem to assume that an explicit conversion to
> Stream_Element_Array is necessary.  It is not; given a stream you might
> as well use the stream-oriented attributes (ARM 13.13.2):


The buffer is a block of memory that contains data, it could be text,
integers, bytes, floating point numbers, whatever.
The AREA_PTR is the starting address of the memory block.
READ_OFFSET is the location within that block that we want to start
reading from while
WRITE_OFFSET is the last location in the buffer that was written to.

So since all I have is a System.Address and offsets, I believe I have
to cast/convert this a Stream_Element_Array.

If I could only access POSIX.IO's write 'function', rather than the
procedures, I wouldn't have to go through these hoops.
Of course, that write function is the equivalent of what I'm trying to
replace...

I'm not sure I see how the Stream_IO package could be used directly
for this.