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: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: "W. Wesley Groleau x4923" Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/05 Message-ID: <341042E6.F45@pseserv3.fw.hac.com>#1/1 X-Deja-AN: 270022732 Sender: usenet@most.fw.hac.com (News Administration) References: <33E9ADE9.4709@flash.net> 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: > You could certainly imagine a trivial preprocessor for Ada that would > allow the spec and body to be (let's use our nice new word) conflated. > But I never heard of anyone building or expressing a desire for such > a tool, it would be completely useless, and indeed worse, definitely > negative in its utility. Why? The whole point of this thread is whether the Eiffel approach (similar to the above) is better than the Ada approach. So an unsupported statement that a variation of the Eiffel approach would be "useless, and ... worse" doesn't help. -- ---------------------------------------------------------------------- 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! ----------------------------------------------------------------------