From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Subject: Re: Mneson announcement and help request
Date: Wed, 2 Jun 2004 11:41:33 +0000 (UTC)
Date: 2004-06-02T11:41:33+00:00 [thread overview]
Message-ID: <c9kedd$i1n$2@a1-hrz.uni-duisburg.de> (raw)
In-Reply-To: c9kd3v$i1n$1@a1-hrz.uni-duisburg.de
Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> wrote:
: Marius Amado Alves <amado.alves@netcabo.pt> wrote:
: :> In general, I hate to see code that uses exceptions for normal control flow
: :> processing. It certainly appears to
: :> me that your code that makes use of the various For_Each_XXX type procedures
: :> uses an exception
: :> raise to terminate the search when "done".
: :
: : Yes, that is a controversial style. Some like it, some don't. Note the
: : planned Ada standard containers are in this style.
:
: How about this, which doesn't need exceptions:
[...]
OK in my example you need to know where to stop before traversal.
However, there is a third variation, only slightly different from
the one Jeffrey Carter mentioned, and it still doesn't need
exceptions with AI302.
generic
with procedure Process(Pointee: Sets_of_T.Cursor);
with function Stop(Pointee: Sets_of_T.Cursor) return Boolean;
-- terminate Process-ing when Stop says so
procedure Traverse (container: Sets_of_T.Set);
The loop is changed to
while not Stop(current) loop -- the change
process(current);
next(current); -- moving the cursor was missing before :-(
end loop;
-- Georg
next prev parent reply other threads:[~2004-06-02 11:41 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-06-01 15:56 Mneson announcement and help request Marius Amado Alves
2004-06-02 2:26 ` Jeff C,
2004-06-02 3:06 ` Marius Amado Alves
2004-06-02 11:19 ` Georg Bauhaus
2004-06-02 11:41 ` Marius Amado Alves
[not found] ` <c9l0vo$pq3$1@sparta.btinternet.com>
2004-06-02 17:47 ` Marius Amado Alves
2004-06-02 19:46 ` Martin Dowie
2004-06-02 22:10 ` Randy Brukardt
2004-06-03 5:58 ` Martin Dowie
2004-06-04 3:21 ` Randy Brukardt
2004-06-04 5:55 ` Martin Dowie
2004-06-04 7:30 ` Jean-Pierre Rosen
2004-06-04 14:11 ` Larry Kilgallen
2004-06-03 4:12 ` Jeffrey Carter
2004-06-03 5:48 ` Martin Dowie
2004-06-03 9:02 ` Martin Krischik
2004-06-02 11:41 ` Georg Bauhaus [this message]
2004-06-02 13:14 ` Marius Amado Alves
2004-06-03 4:09 ` Jeffrey Carter
2004-06-03 11:24 ` Georg Bauhaus
2004-06-02 3:21 ` Marius Amado Alves
2004-06-22 20:49 ` Jacob Sparre Andersen
2004-06-23 9:36 ` Marius Amado Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox