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=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID, RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME 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: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: "Gavin Collings" Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/04/03 Message-ID: <01bc4021$607eea80$b280400a@gavinspc>#1/1 X-Deja-AN: 230378535 X-NNTP-Posting-Host: firewall2.sperry-sun.co.uk References: <01bc3603$f9373d40$b280400a@gavinspc> Newsgroups: comp.lang.eiffel,comp.lang.ada,comp.object,comp.programming.threads,comp.software-eng Date: 1997-04-03T00:00:00+00:00 List-Id: -- Joachim Durchholz wrote > 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. Good. The main point about the Java model, though, is that the compiler checks that the programmer has at least thought about handling all exceptions that may be generated in nested calls. This means that the programmer HAS to think about dealing with error conditions. So, in the Ariane case, if the precondition existed (as some say it did) the compiler would have given warnings to the effect that it IF the error occurred, it would NOT have been handled. Wouldn't this have made the disaster less likely? Gavin.