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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d8a4797a79f9c90f
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-28 02:08:33 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!news.tele.dk!news.tele.dk!small.news.tele.dk!uninett.no!ntnu.no!not-for-mail
From: Preben Randhol <randhol+abuse@pvv.org>
Newsgroups: comp.lang.ada
Subject: Re: I/O - exception handling
Date: Wed, 28 May 2003 09:08:32 +0000 (UTC)
Organization: Norwegian university of science and technology
Message-ID: <slrnbd8v3n.5sv.randhol+abuse@kiuk0152.chembio.ntnu.no>
References: <bat3ee$2ec$1@ns.felk.cvut.cz> <bauf7t$tei$1@ns.omskelecom.ru>
 <3ED4114A.5060204@spam.com> <bb1oo9$1l6q$1@ns.felk.cvut.cz>
NNTP-Posting-Host: kiuk0152.chembio.ntnu.no
X-Trace: tyfon.itea.ntnu.no 1054112912 4507 129.241.83.78 (28 May 2003
 09:08:32 GMT)
X-Complaints-To: usenet@itea.ntnu.no
NNTP-Posting-Date: Wed, 28 May 2003 09:08:32 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.ada:37882
Date: 2003-05-28T09:08:32+00:00
List-Id: <comp.lang.ada>

Sergey Koshcheyev wrote:
> Since Is_Open is an I/O feature, this means to me that it may raise one 
> of these exceptions too.

The implementation of Is_Open in Gnat (3.14p) is:

   -------------
   -- Is_Open --
   -------------

   function Is_Open (File : in AFCB_Ptr) return Boolean is
   begin
      return (File /= null);
   end Is_Open;

So I don't see that this can raise an exception.

-- 
Preben Randhol                    http://www.pvv.org/~randhol/