From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,f66d11aeda114c52
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,f66d11aeda114c52
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Building blocks (Was: Design By Contract)
Date: 1997/09/14
Message-ID: <dewar.874254930@merv>#1/1
X-Deja-AN: 272437978
References: <JSA.97Sep2182406@alexandria.organon.com>
  <JSA.97Sep3201329@alexandria.organon.com>
  <5ulurp$aj8$1@miranda.gmrc.gecm.com> <5un58u$9ih$1@gonzo.sun3.iaf.nl>
  <5v0bph$n98$2@miranda.gmrc.gecm.com>
  <Pine.SGI.3.95.970908193446.11288B-100000@shellx.best.com>
  <mheaney-ya023680000909970121270001@news.ni.net> <dewar.873938975@merv>
 <r4SB1eAyTZG0Iw2+@treetop.demon.co.uk>
Organization: New York University
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 1997-09-14T00:00:00+00:00
List-Id: <comp.lang.ada>



Paul said

<<Actually I don't believe that the Ada designers just threw together its
exception mechanism without thinking long and hard, and I don't think
you really meant to imply it.  However the lack of an underlying theory
on its use and contribution to program correctness definitely shows up.
Ada exceptions seem to have been designed as a way of unwinding the
execution stack without letting the programmer break the language.  The
only reason for including it in the language was that programmers often
want to do this.
>>


No need to believe or not believe anything here (actually you really use
believe as a synonym for guess, but there is no need to guess). if you
want to make statements about Ada Exception handling which you expect any
one to pay attention to, do a little homework. And in particular, study
the extensive material that is available to answer your question without
guesses (your "seems to have been designed" is complete nonsense, as you
will see if you do this homework!)