From: Hyman Rosen <hyrosen@mail.com>
Subject: Re: Contract checking in Ada
Date: Sun, 03 Apr 2005 20:19:03 GMT
Date: 2005-04-03T20:19:03+00:00 [thread overview]
Message-ID: <XcY3e.953$7b.886@trndny02> (raw)
In-Reply-To: <JN2dnYrImuZmSNDfRVn-ow@megapath.net>
Randy Brukardt wrote:
> The problem is that assertions of all stripes (like runtime checks) detect
> unanticipated conditions before much damage is done. And no one antipicates
> (and thus tests) every possible issue.
But in detecting those unanticipated conditions, they do maximum damage.
We've had this discussion before. If some operation raises Constraint
Error or Program Error, or fails some other assertion, the action usually
taken is to abort the program. That can mean losing unsaved work, or just
rendering a program unusable where it might otherwise muddle through and
continue working even thiugh it has done something illegal.
next prev parent reply other threads:[~2005-04-03 20:19 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-03-30 10:46 Contract checking in Ada Tapio Kelloniemi
2005-03-30 11:18 ` Vinzent 'Gadget' Hoefler
2005-03-30 11:45 ` Georg Bauhaus
2005-03-30 12:49 ` Martin Dowie
2005-03-30 13:05 ` Tapio Kelloniemi
2005-03-30 13:42 ` Georg Bauhaus
2005-03-31 1:57 ` Randy Brukardt
2005-03-31 3:04 ` Ed Falis
2005-03-31 6:12 ` Martin Dowie
2005-03-31 7:22 ` Martin Dowie
2005-03-31 13:35 ` Tapio Kelloniemi
2005-03-31 17:38 ` Martin Dowie
2005-03-31 17:42 ` Martin Dowie
2005-04-01 2:30 ` Randy Brukardt
2005-04-01 8:02 ` Tapio Kelloniemi
2005-04-01 8:55 ` Dmitry A. Kazakov
2005-04-01 23:17 ` Randy Brukardt
2005-04-03 20:19 ` Hyman Rosen [this message]
2005-04-04 5:31 ` Randy Brukardt
2005-04-01 7:34 ` Peter Amey
2005-04-09 16:56 ` adaworks
2005-04-12 6:51 ` Duncan Sands
2005-04-12 19:29 ` Martin Dowie
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox