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: a07f3367d7,6327f05d4989a68d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
X-Received: by 10.180.100.74 with SMTP id ew10mr1712646wib.7.1358656082590;
        Sat, 19 Jan 2013 20:28:02 -0800 (PST)
Path: 
 o9ni8452wio.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.130.MISMATCH!xlned.com!feeder1.xlned.com!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!feeder.erje.net!eu.feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: File_Exists
Date: Mon, 14 Jan 2013 06:09:01 +0100
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <87ehho73ma.fsf@adaheads.sparre-andersen.dk>
References: <kap6v8$mr7$1@dont-email.me>
	<wcc8v8vti17.fsf@shell01.TheWorld.com>
	<CCF68CB9.22EB9%yaldnif.w@blueyonder.co.uk>
	<7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net> <katr14$sef$2@munin.nbi.dk>
	<14oqoq06zhlu2.tcasif3hdyhw.dlg@40tude.net>
	<kb333b$tcg$1@munin.nbi.dk>
	<1drh1q1ln2dfh$.a9hwlg01fjfy.dlg@40tude.net>
	<50d6365d$0$6577$9b4e6d93@newsspool3.arcor-online.net>
	<1pbg79bz92j3t$.sz41zduivjfp.dlg@40tude.net>
	<c174226a-b519-4cc0-b37c-eee4e7825e00@googlegroups.com>
	<4c101d74-c8cb-45a6-82d4-91923bb950b0@googlegroups.com>
	<87sj6tre9s.fsf@mid.deneb.enyo.de>
	<e9f91590-75b2-4cb4-b897-e8f06d0128e6@googlegroups.com>
	<kbg9bp$a72$1@munin.nbi.dk>
	<895c9eb7-03f8-4b0c-96b4-3dbd7a315ccd@googlegroups.com>
	<sygavjbms2ti.1vyrm2stnzrwd.dlg@40tude.net>
	<87obgvr8ti.fsf_-_@adaheads.sparre-andersen.dk>
	<op.wqrh2ljaule2fv@cardamome>
NNTP-Posting-Host: 79.138.241.151.bredband.3.dk
Mime-Version: 1.0
X-Trace: munin.nbi.dk 1358140142 18344 79.138.241.151 (14 Jan 2013 05:09:02
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 14 Jan 2013 05:09:02 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux)
Cancel-Lock: sha1:bbw8Vmf2/CjmnvMBp38fh+C40iw=
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Date: 2013-01-14T06:09:01+01:00
List-Id: <comp.lang.ada>

Yannick Duch�ne wrote:
> Jacob Sparre Andersen wrote:

>> Can anybody supply some other sensible use cases for
>> File_Exists/File_Missing.
>
> A build system? (not restricted to building applications). One may
> want to check if the file exist, instead of trying to create or open
> it for  rewrite and only then getting an exception if the file does
> not exist.

But you would also be interested in knowing the time-stamp of the file
(at least in all the build systems I know of), making
Ada.Directories.Modification_Time the relevant function to call.

Greetings,

Jacob
-- 
"I don't want to gain immortality in my works.
 I want to gain it by not dying."