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: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: "W. Wesley Groleau x4923" Subject: Re: Interface/Implementation (was Re: Design by Contract) Date: 1997/09/05 Message-ID: <34104798.17D7@pseserv3.fw.hac.com>#1/1 X-Deja-AN: 270041034 Sender: usenet@most.fw.hac.com (News Administration) References: <340C85CE.6F42@link.com> <340F3801.47E5@pseserv3.fw.hac.com> X-Nntp-Posting-Host: sparc01 Organization: Hughes Defense Communications Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-09-05T00:00:00+00:00 List-Id: > >Does this mean the accuracy and usefulness of the "spec" depends on > >the coder's compliance with style rules that are not automtically > >enforced? > > What do you mean by "enforced"? How could they be any more > "enforced" than to either be or not be included in the short form? > How can the compiler tell what kind of comments you are adding if > you add them wrong? That's the point. The implication has been made that certain types of comments are needed in the short form, and to get them there, one has to follow some rule which has not been stated in this thread. Whereas if the spec is a truly separate item (not generated by a tool) any comments it has (right or wrong) can not be omitted by the non-existent extraction process. Nor can the non-existent extraction process add something from the implementation. Keep in mind while discussing this whole matter that Bertrand Meyer has already stated one of his premises is the idea that treating design as a separate phase from implementation is a Bad Thing. The Ada philosophy _at_least_in_the_matter_of_interfaces_ disagrees. -- ---------------------------------------------------------------------- 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! ----------------------------------------------------------------------