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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,a48e5b99425d742a
X-Google-Attributes: gidfac41,public
X-Google-Thread: f43e6,a48e5b99425d742a
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,a48e5b99425d742a
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,5da92b52f6784b63
X-Google-Attributes: gid1108a1,public
X-Google-Thread: ffc1e,a48e5b99425d742a
X-Google-Attributes: gidffc1e,public
From: Joachim Durchholz <joachim.durchholz@munich.netsurf.de>
Subject: Re: Papers on the Ariane-5 crash and Design by Contract
Date: 1997/03/27
Message-ID: <VA.0000001f.0007c0d4@herold>#1/1
X-Deja-AN: 229321697
Sender: Joachim Durchholz <joachim.durchholz@munich.netsurf.de>
References: <01bc3603$f9373d40$b280400a@gavinspc>
Organization: ccn - computer consultant network GmbH
Reply-To: joachim.durchholz@munich.netsurf.de
Newsgroups: 
 comp.lang.eiffel,comp.lang.ada,comp.object,comp.programming.threads,comp.software-eng
Date: 1997-03-27T00:00:00+00:00
List-Id: <comp.lang.ada>


> I am attracted to the idea of catching exception objects based on their
> run-time type and I'm sure Eiffel is missing some semantic content here.

The class EXCEPTION with several subclasses does exist as part of the 
standard libraries. Exception handlers can decide what to do based on the 
run-time class of the exception. This facility does not seem to be in 
wide-spread use, but it's all there.

Regards,