From: Gautier <gautier.demontmollin@maths.unine.ch>
Subject: Re: Philosophical Question (End_Of_File)
Date: 2000/02/12
Date: 2000-02-12T00:00:00+00:00 [thread overview]
Message-ID: <38A4A341.7F7ACDCF@maths.unine.ch> (raw)
In-Reply-To: 38A494C3.659F9193@maths.unine.ch
> BTW GNAT that doesn't do so (in Direct_IO, 3.11) is *much* faster
> with simple loop within a begin..exception..end block than with
> "while not End_Of_File loop" (maybe because both End_Of_File and Read
> do check file status ?)
NB: the Manual (A.8.3(4) and so) forces the Read procedure to raise End_Error
if one is after the end of the file - thus this exception can be trusted,
can't it ?
The efficiency (in terms of speed) of the End_Of_File implementations
you've seen is another debate. But in the ((End_Of_File test), Read) pair
it could be not so bad. Surely it has been studied to death...
G.
next prev parent reply other threads:[~2000-02-12 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-11 0:00 Philosophical Question (End_Of_File) Wes Groleau
2000-02-11 0:00 ` Gautier
2000-02-12 0:00 ` Gautier [this message]
2000-02-12 0:00 ` Pascal Martin
2000-02-13 0:00 ` Robert Dewar
2000-03-14 0:00 ` CFP OOPSLA 2000 Sherman Alpert
2000-02-14 0:00 ` Philosophical Question (End_Of_File) John English
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox