From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Help with Exceptions!
Date: 1996/05/14
Date: 1996-05-14T00:00:00+00:00 [thread overview]
Message-ID: <DrEB77.Kwu@world.std.com> (raw)
In-Reply-To: gauthier-1405960958270001@164.81.60.62
In article <gauthier-1405960958270001@164.81.60.62>,
Michel Gauthier <gauthier@unilim.fr> wrote:
>...So, I
>teach the
>rule : for a label, a program end or an exception handler, always establish a
>complete list of all gotos or raises and attach the corresponding assertion.
This makes good sense for labels/goto's, but I don't think it is
reasonable for exception handlers. The whole point of exception
handling is that the code detecting the error, and the code handling the
error are separated from each other, and need not know about each other.
- Bob
next prev parent reply other threads:[~1996-05-14 0:00 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-05-07 0:00 Help with Exceptions! Robert Gelb
1996-05-07 0:00 ` Steve Howard
1996-05-07 0:00 ` Robert Dewar
[not found] ` <4mqio5$a8b@news.sanders.lockheed.com>
1996-05-09 0:00 ` Robert L. Spooner, AD3K
1996-05-10 0:00 ` Jon S Anthony
1996-05-10 0:00 ` Robert A Duff
1996-05-07 0:00 ` John Herro
1996-05-07 0:00 ` Vincent Smeets
[not found] ` <318F94D9.35AB@io.com>
1996-05-10 0:00 ` George F.Rice
1996-05-13 0:00 ` Dave Jones
1996-05-13 0:00 ` Robert I. Eachus
1996-05-14 0:00 ` John Herro
1996-05-14 0:00 ` Robert I. Eachus
1996-05-14 0:00 ` Theodore E. Dennison
1996-05-14 0:00 ` Robert A Duff
1996-05-14 0:00 ` Michel Gauthier
1996-05-14 0:00 ` Robert A Duff [this message]
1996-05-15 0:00 ` Norman H. Cohen
1996-05-15 0:00 ` Robert A Duff
1996-05-15 0:00 ` Michel Gauthier
1996-05-16 0:00 ` Jon S Anthony
1996-05-16 0:00 ` Jon S Anthony
1996-05-16 0:00 ` Robert A Duff
-- strict thread matches above, loose matches on Subject: below --
1996-05-09 0:00 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