From: tmoran@acm.org
Subject: Re: procedure Make_File_Gone (Name : in String);
Date: Sat, 23 Jul 2011 19:05:02 +0000 (UTC)
Date: 2011-07-23T19:05:02+00:00 [thread overview]
Message-ID: <j0f60u$oic$1@speranza.aioe.org> (raw)
In-Reply-To: wccaac5avxg.fsf@shell01.TheWorld.com
> The postcondition of the two is the same -- the file isn't there.
I understand a postcondition to be true just after execution of
something. The postcondition for an execution of
Ada_Directories.Delete_File is
"(the file isn't there and a Name_Error may or may not have been raised),
or a Use_Error has been raised"
I want a routine where the postcondition is
"the file isn't there, or a Use_Error has been raised"
(In my programming a Use_Error is exceptional, but trying to ensure
that a certain file no longer exists is not all that unusual.)
I'm looking for a good name for such a routine, where "good" means
short and clear to a maintenance programmer scanning the code. Perhaps
English doesn't have a nice way of making such an imperative->declarative
phrase.
next prev parent reply other threads:[~2011-07-23 19:05 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-07-20 6:04 procedure Make_File_Gone (Name : in String); tmoran
2011-07-20 7:03 ` Oliver Kleinke
2011-07-20 7:12 ` Niklas Holsti
2011-07-20 7:34 ` Martin
2011-07-20 18:02 ` Jeffrey Carter
2011-07-21 7:56 ` Stephen Leake
2011-07-22 23:44 ` Randy Brukardt
2011-07-23 2:16 ` tmoran
2011-07-23 14:55 ` Robert A Duff
2011-07-23 19:05 ` tmoran [this message]
2011-07-23 20:23 ` Dmitry A. Kazakov
2011-07-23 21:08 ` Simon Wright
2011-07-25 15:49 ` Adam Beneschan
2011-07-25 17:28 ` Simon Wright
2011-07-25 17:44 ` marius63
2011-07-27 15:38 ` tmoran
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox