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: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public From: paul.johnson@gecm.com (Paul Johnson) Subject: Re: Interface/Implementation (was Re: Design by Contract) Date: 1997/08/29 Message-ID: <5u62es$e23$7@miranda.gmrc.gecm.com>#1/1 X-Deja-AN: 268895250 References: <01bcb389$24f579d0$1c10d30a@ntwneil> Organization: GEC-Marconi Research Centre Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-08-29T00:00:00+00:00 List-Id: In article , stt@houdini.camb.inmet.com says... >The hand-written Ada package spec (or even C header) remains a far >superior interface document for a given abstraction than is anything >I have seen extracted by a tool. Then I very strongly recommend that you take a look at the short-flat form of Eiffel. >The result of extraction by a tool >typically ends up getting some but not all of the comments, The significance of Eiffel comments in various positions is well defined. Header comments for classes and routines are picked up. Basically the class author can decide which comments will be visible and which will not. > and the >various operations are not presented in necessarily a helpful order, >or with any useful higher-level organization. Eiffel classes can have multiple "feature" clauses, which serves this purpose (amongst others). >Basically, the extraction tool tends to tell you what an abstraction >"is" or "does", rather than what it is supposed to do, and why. That is what Eiffel assertions are about. They are extracted by the "short-flat" tool of Eiffel environments. Paul. -- Paul Johnson | GEC-Marconi Ltd is not responsible for my opinions. | +44 1245 242244 +-----------+-----------------------------------------+ Work: | You are lost in a twisty maze of little Home: | standards, all different.