Re: Weird behavior of Get character with trailing new lines.

["J-P. Rosen" <rosen@adalog.fr>]

Le 22/09/2023 à 22:05, Jeffrey R.Carter a écrit :
> On 2023-09-22 21:30, Blady wrote:
>>
>> A.10.7 Input-Output of Characters and Strings
>> For an item of type Character the following procedures are provided:
>> procedure Get(File : in File_Type; Item : out Character);
>> procedure Get(Item : out Character);
>> After skipping any line terminators and any page terminators, reads 
>> the next character from the specified input file and returns the value 
>> of this character in the out parameter Item.
>> The exception End_Error is propagated if an attempt is made to skip a 
>> file terminator.
> 
> As you have quoted, Get (Character) skips line terminators. End_Of_File 
> returns True if there is a single line terminator before the file 
> terminator, but False if there are multiple line terminators before the 
> file terminator. So you either have to explicitly skip line terminators, 
> or handle End_Error.
> 
And this works only if the input file is "well formed", i.e. if it has 
line terminators as the compiler expects them to be (f.e., you will be 
in trouble if the last line has no LF).
That's why I never check End_Of_File, but handle the End_Error 
exception. It always works.
-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr