From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,a18a962b36ffa4c6,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!130.59.10.21.MISMATCH!kanaga.switch.ch!news-zh.switch.ch!switch.ch!cernne03.cern.ch!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: End_Of_File underspecified? Date: Tue, 21 Nov 2006 15:49:04 +0100 Organization: CERN News Message-ID: NNTP-Posting-Host: abpc10883.cern.ch Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Trace: cernne03.cern.ch 1164120544 26922 137.138.37.241 (21 Nov 2006 14:49:04 GMT) X-Complaints-To: news@@cern.ch NNTP-Posting-Date: Tue, 21 Nov 2006 14:49:04 +0000 (UTC) User-Agent: Thunderbird 1.5.0.8 (X11/20061113) Xref: g2news2.google.com comp.lang.ada:7606 Date: 2006-11-21T15:49:04+01:00 List-Id: 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/