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

[Jean-Pierre Rosen <rosen@adalog.fr>]

Gautier a �crit :
> Jean-Pierre Rosen:
> 
>>> Is there a RM-documented way to know the Index of a 
>>> Ada.Streams.Stream_IO.File_Type
>>> when it knocks the end of a file at reading it ?
> 
>> out parameter Last in function Read...
>>
>> This gives you the number of bytes actually read.
> 
> You mean the _procedure_ Read, from Stream_IO ?
> 
>   procedure Read (File : in File_Type;
>                   Item : out Stream_Element_Array;
>                   Last : out Stream_Element_Offset);
> 
> Nice, but for my buffer I need to use the Read _attribute_ (13.13.2).
> 
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...
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr