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,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public From: Wes Groleau Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/07/14 Message-ID: <33CA4EA1.A3B@pseserv3.fw.hac.com>#1/1 X-Deja-AN: 256820193 Sender: usenet@most.fw.hac.com (News Administration) X-Nntp-Posting-Host: sparc02 References: <01bc8d8c$e608b740$6bb32399@default> <33C5B971.7845@erols.com> <33C831CE.4E56@flash.net> Organization: See Warning Below! Newsgroups: comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-14T00:00:00+00:00 List-Id: > > As to the more elaborate checks: > > > > procedure Do_Something (X : in Integer); > > > > X_Error : exception; > > -- raised if X does not meet precondition Complex_Precondition; > > > > is not particularly more difficult to understand than: > > > > procedure Do_Something (X: in Integer); > > require Complex_Precondition(X); > > The complexity of the pre/post condition is not an issue. You can get > basically the same "expressiveness" in Ada with: > > type Require is boolean range True..True; > ... > > Assert : Require := Complex_Precondition(X); Although this raises Constraint_Error instead of X_Error, i.e., it is a little less descriptive -- ---------------------------------------------------------------------- Wes Groleau, Hughes Defense Communications, Fort Wayne, IN USA Senior Software Engineer - AFATDS Tool-smith Wanna-be Don't send advertisements to this domain unless asked! All disk space on fw.hac.com hosts belongs to either Hughes Defense Communications or the United States government. Using email to store YOUR advertising on them is trespassing! ----------------------------------------------------------------------