comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Computation of exception handling
Date: 28 Jan 2001 07:35:56 +0000
Date: 2001-01-28T07:35:56+00:00	[thread overview]
Message-ID: <x7vae8c3z8j.fsf@smaug.pushface.org> (raw)
In-Reply-To: 3a7188ec$1@pull.gecm.com

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

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

You can't use exceptions if your independent safety assessor wants you
to use a code analysis tool set that doesn't support them. Or tasks,
or tagged tyoes, or generics, or ...



  parent reply	other threads:[~2001-01-28  7:35 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           ` Computation of exception handling Florian Weimer
     [not found]           ` <94s4ov$qfo$1@nnrp1.deja.com>
2001-01-27 18:44             ` 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 [this message]
     [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