Re: Text_IO from a stream

Dmitry A. Kazakov:

> Yes, but will that be ASCII-encoded? And it has somehow invent lines and
> pages.

Sure, it is indeed a zip-archived text file that I intend to read through 
UnZip.Streams.

Meanwhile (#ada irc...) there seems to be a nice solution:

http://jesselang.com/software/streams_text_io/

....
>> Well, I think I'll switch to a binary format...
> 
> I would do that too. Also I would override 'Read and 'Write in order to
> make it platform-independent. (Stream_Element should be replaced by
> octets.)

No problem with that - there is already a framework in that package (for
other 
files) that sends things byte-per-byte in a deterministic endianess;
floats are 
split/merged with certain a Float_****table_binary_transfer package.

Thanks for the help!
______________________________________________________________
Gautier         -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!