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: ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe)
Subject: Re: Building blocks (Was: Design By Contract)
Date: 1997/09/24
Message-ID: <60a4m1$h18$1@goanna.cs.rmit.edu.au>#1/1
X-Deja-AN: 275066566
References: <5v34m5$pl9$1@trumpet.uni-mannheim.de>
 <wihnDCAGPDI0IwlD@treetop.demon.co.uk> <34215E3D.77AE@gsfc.nasa.gov>
 <3421E190.49CC@chimu.com> <EGrz21.GoG@world.std.com>
 <3423BE13.9C3852A4@munich.netsurf.de>
Organization: Comp Sci, RMIT University, Melbourne, Australia.
NNTP-Posting-User: ok
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 1997-09-24T00:00:00+00:00
List-Id: <comp.lang.ada>


Joachim Durchholz <joachim.durchholz@munich.netsurf.de> writes:
>I don't like the Ada solution either. It is "structured" in that it will
>resume execution at the point where the execution occurred, but that's
>*very* wrong. The exception handler can't know at which point in the
>code the exception occurred (maybe even in a subroutine!), so it can't
>know what to do to fix the problem.

Are we talking about the same language?
Ada exceptions are 'termination' exceptions.
PL/I has exception resumption.
Common Lisp has exception resumption.
Ada does not.
One thing an Ada exception handler _can't_ do is
"resume execution at the point where the exception" was raised.

-- 
Unsolicited commercial E-mail to this account is prohibited; see section 76E
of the Commonwealth Crimes Act 1914 as amended by the Crimes Legislation
Amendment Act No 108 of 1989.  Maximum penalty:  10 years in gaol.
Richard A. O'Keefe; http://www.cs.rmit.edu.au/%7Eok; RMIT Comp.Sci.