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: Brian Rogoff Subject: Re: Building blocks (Was: Design By Contract) Date: 1997/09/09 Message-ID: #1/1 X-Deja-AN: 271208178 References: <5ulurp$aj8$1@miranda.gmrc.gecm.com> <5un58u$9ih$1@gonzo.sun3.iaf.nl> <5v0bph$n98$2@miranda.gmrc.gecm.com> Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-09-09T00:00:00+00:00 List-Id: On Tue, 9 Sep 1997, Matthew Heaney wrote: > In article , > Brian Rogoff wrote: > > >>In fact the Eiffel exception mechanism is superior to the Ada one > >> because it is built on a theoretical model of software engineering. Watch your attributions, I didn't write that! > Can any of the Eiffel guys explain this a bit more? I'm curious what is > meant by a "theoretical model of software engineering." Can someone post > some references to the theory behind the Eiffel exception mechanism? The original poster probably meant that the Eiffel exception mechanism was designed to support Eiffel design by contract, so that when an exception is raised you retry or fail, restoring class invariants on leaving. I doubt he was talking about denotational semantics or theoretical models like that! You can read about DBC in Meyer's book or one of the many articles he's written. -- Brian