comp.lang.ada
 help / color / mirror / Atom feed
From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Computation of exception handling
Date: 26 Jan 2001 21:12:15 +0100
Date: 2001-01-26T21:12:15+01:00	[thread overview]
Message-ID: <87ofwu2huo.fsf@deneb.enyo.de> (raw)
In-Reply-To: 3a7188ec$1@pull.gecm.com

"Martin Dowie" <martin.dowie@gecm.com> writes:

> > There is nothing wrong. This is _strictly_ equivalent to raising
> > an exception with the same identifier, at least at formal level.
> > The difference is _strictly_ syntactic. More often, the program is
> > simply less complex with exceptions that with report codes.

> but you can't use exceptions if your system has to be 'safe' (no
> mention of that in the original question).

The problem without exceptions is that people forget to check for
error conditions.  (C programmers using the POSIX API make this
mistake quite often.)



       reply	other threads:[~2001-01-26 20:12 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <94jr16$j2q$1@nnrp1.deja.com>
     [not found] ` <94ki0n$j4d$1@usenet.rational.com>
     [not found]   ` <gauthier-2401011437350001@193.50.185.13>
     [not found]     ` <3a6ef4d9$1@pull.gecm.com>
     [not found]       ` <gauthier-2601011508270001@193.50.185.13>
     [not found]         ` <3a7188ec$1@pull.gecm.com>
2001-01-26 20:12           ` Florian Weimer [this message]
     [not found]           ` <94s4ov$qfo$1@nnrp1.deja.com>
2001-01-27 18:44             ` Computation of exception handling martin.m.dowie
2001-01-29  9:15               ` Peter Amey
2001-01-30  6:33                 ` Robert Dewar
2001-01-30  9:15                   ` Martin Dowie
2001-02-05  9:02                     ` Peter Amey
2001-02-05 12:19                       ` Martin Dowie
2001-01-28  7:35           ` Simon Wright
     [not found]   ` <94mgqh$suo$1@nnrp1.deja.com>
2001-02-02 22:17     ` Mark Lundquist
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox