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,7eef1e530c6ffb21
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!feeder.erje.net!feeder.news-service.com!aioe.org!.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: procedure Make_File_Gone (Name : in String);
Date: Sat, 23 Jul 2011 02:16:30 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <j0datu$los$1@speranza.aioe.org>
References: <j0d207$n0n$1@munin.nbi.dk>
NNTP-Posting-Host: Lf0Nl3CcQzx+ocHx9cmuGg.user.speranza.aioe.org
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
X-Newsreader: Tom's custom newsreader
Xref: g2news2.google.com comp.lang.ada:21283
Date: 2011-07-23T02:16:30+00:00
List-Id: <comp.lang.ada>

> I'm of course partial to Purge for this use. :-)

Another verb.  Both the phrase Delete_File and the word Purge say "go
do something" and they leave unclear what to do if you can't do the
action. I'd like to concisely make clear the post condition I'm trying
to achieve - in this case, the absence of a file of the given name.
Ideally this should be clear from the procedure name without having
to look in the ARM or depend on a comment of uncertain modernity.

And yes, there could be a race where someone created a new file of that
name immediately afterward, but avoiding such races is part of the
higher level design.