help / color / mirror / Atom feed
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Weird behavior of Get character with trailing new lines.
Date: Sat, 23 Sep 2023 11:39:25 +0300	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <uem2id$moia$>

On 2023-09-23 10:02, J-P. Rosen wrote:
> 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).

Hm. The code I suggested, which handles line terminators separately, 
does work without raising End_Error even if the last line has no line 
terminator, at least in the context of the OP's program.

> That's why I never check End_Of_File, but handle the End_Error 
> exception. It always works.

True, but it may not be convenient for the overall logic of the program 
that reads the file. That program often wants do to something with the 
contents, after reading the whole file, and having to enter that part of 
the program through an exception does complicate the code a little.

On the other hand, past posts on this issue say that using End_Error 
instead of the End_Of_File function is faster, probably because the 
Text_IO code that implements Get cannot know that the program has 
already checked for End_Of_File, so Get has to check for that case 
anyway, redundantly.

My usual method for reading text files is to use Text_IO.Get_Line, and 
(I admit) usually with End_Error termination.

  reply	other threads:[~2023-09-23  8:39 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-09-22 19:30 Weird behavior of Get character with trailing new lines Blady
2023-09-22 19:52 ` Niklas Holsti
2023-09-22 20:05 ` Jeffrey R.Carter
2023-09-23  7:02   ` J-P. Rosen
2023-09-23  8:39     ` Niklas Holsti [this message]
2023-09-23  9:25       ` Dmitry A. Kazakov
2023-09-23 14:03         ` Niklas Holsti
2023-09-24  7:50           ` Dmitry A. Kazakov
2023-09-25 19:55       ` Blady
2023-09-26  5:53     ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox