From: Maciej Sobczak <no.spam@no.spam.com>
Subject: End_Of_File underspecified?
Date: Tue, 21 Nov 2006 15:49:04 +0100
Date: 2006-11-21T15:49:04+01:00 [thread overview]
Message-ID: <ejv3l0$q9a$1@cernne03.cern.ch> (raw)
Hi,
I cannot find any specification of whether End_Of_File can be a blocking
operation.
Unfortunately, my experience from other languages breaks into pieces
here, because Ada uses EOF a bit differently (in other languages the EOF
flag is set *after* hitting the end of file and as a result of it, so
that querying the flag is just this - querying the flag).
I would expect that End_Of_File is a non-blocking predicate that allows
the programmer to take the decision on what to do next with the file.
Curiously, it does not seem to be the case - End_Of_File can block,
which is easy to demonstrate on a regular Unix-like (GNAT) system.
Nothing in ARM mentions this.
--
Maciej Sobczak : http://www.msobczak.com/
Programming : http://www.msobczak.com/prog/
next reply other threads:[~2006-11-21 14:49 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-11-21 14:49 Maciej Sobczak [this message]
2006-11-21 17:40 ` End_Of_File underspecified? Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox