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: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public From: "W. Wesley Groleau x4923" Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/10 Message-ID: <3416DC5D.64AD@pseserv3.fw.hac.com>#1/1 X-Deja-AN: 271368002 Sender: usenet@most.fw.hac.com (News Administration) X-Nntp-Posting-Host: sparc01 References: <33E9ADE9.4709@flash.net> <5upe9k$7he@newshub.atmnet.net> <5utag9$o6s@newshub.atmnet.net> <3416ad14.0@news.uni-ulm.de> <3416B6E0.25C2E5F0@calfp.co.uk> Organization: Hughes Defense Communications Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-09-10T00:00:00+00:00 List-Id: > Reliance on the internal information in both pre and post conditions > .... is not a good idea. It is much better to implement the assertions > using features available in the spec. [good example snipped] > more abstract and you can change the implementation without having to > change the pre > or post conditions. Using implementation details in pre/post condition > is an indication that your class is missing features. I guess Ada gets a point this time. If the implementation is compiled separately and later than the spec, it's not possible to refer to most implementation details in the spec. (Except of course when someone who doesn't understand information hiding uses the spec to declare those details.) -- ---------------------------------------------------------------------- Wes Groleau, Hughes Defense Communications, Fort Wayne, IN USA Senior Software Engineer - AFATDS Tool-smith Wanna-be wwgrol AT pseserv3.fw.hac.com 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! ----------------------------------------------------------------------