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 From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann) Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/10 Message-ID: <3416f437.0@news.uni-ulm.de>#1/1 X-Deja-AN: 271367157 References: <33E9ADE9.4709@flash.net> <5upe9k$7he@newshub.atmnet.net> <5utag9$o6s@newshub.atmnet.net> <3416ad14.0@news.uni-ulm.de> <3416D889.4A6C@pseserv3.fw.hac.com> Followup-To: comp.lang.ada,comp.lang.eiffel Organization: University of Ulm, SAI, Germany Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-09-10T00:00:00+00:00 List-Id: W. Wesley Groleau x4923 (wwgrol@pseserv3.fw.hac.com) wrote: > > What about having pre- and postconditions in the spec file? At least > > for preconditions this should be possible. Postconditions may depend > > on internal and thus private class information, so there might be a > > problem. Realize also that not everything from the Ada spec is > > repeated ind the body: type or task declarations for instance. > I claimed before (perhaps wrongly) that adding assertions to Ada > seemed fairly trivial, but even if correct, there is one aspect > that would NOT be trivial. Since an Eiffel-style assertion is > part of the contract, BUT it is executed when a routine is called, > how can it be put in an Ada spec in a form that is compilable AND > associated with a particular declaration? One could make subprogram Agreed. This argument is quite reasonable to me. Indeed I did not have assertions in Ada specs in mind but just thought about how it would be possible to have Eiffel assertions if Eiffel had splitted spec and imple- mentation files. Someone pointed out that assertions in Eiffel might be quite complex so it might be difficult to keep them consistent if duplicated. Sure, this was more of an academic question since nobody is going to drop the actual Eiffel way right now as I occurs to me from the discussion. At least, I try to keep to the Ada way although I am using C++. And we're using ClearCase here, of course. :-) Yours Joerg -- rodemann@mathematik.uni-ulm.de | Dipl.-Phys. Joerg S. Rodemann Phone: ++49-(0)711-5090670 | Flurstrasse 21, D-70372 Stuttgart, Germany -------------------------------+--------------------------------------------- rodemann@rus.uni-stuttgart.de | University of Stuttgart, Computing Center Phone: ++49-(0)711-685-5815 | Visualization Department, Office: 0.304 Fax: ++49-(0)711-678-7626 | Allmandring 30a, D-70550 Stuttgart, Germany