Re: Q: Index value in case of Ada.Streams.Stream_IO.End_Error

[Gautier <gautier@fakeaddress.nil>]

Jean-Pierre Rosen:

> If you use 'Read, and there is not enough bytes left in the file, then 
> your file is corrupted. You will get End_Error.
> Now, if you want to analyze what happened, here is what you can do:
> 1) before calling 'Read, get the current index (function Index)
> 2) Do a T'Read
> 3) If you get End_Error, do a Set_Index to return where you were, and 
> use the Read procedure to get the corresponding array of bytes.
> Then it's up to you...

Fine, it's what I'm doing currently (cf the lines of code in my 1st post).
But since the buffer in question happens to be a byte array,
I'll switch to the Read procedure and just define the buffer as a
Stream_Element_Array.
Thanks
_______________________________________________________________
Gautier         -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm