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,39771953fe5b2343 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,39771953fe5b2343 X-Google-Attributes: gid103376,public From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann) Subject: Re: Enforcing assertions in Eiffel Date: 1997/09/29 Message-ID: <342fc4bc.0@news.uni-ulm.de>#1/1 X-Deja-AN: 276444990 References: <341A7F0E.66E46566@cistron.nl> <341EABAB.41C67EA6@eiffel.com> <341fddde.0@news.uni-ulm.de> <34201D40.CF490EC0@munich.netsurf.de> Followup-To: comp.lang.eiffel,comp.lang.ada Organization: University of Ulm, SAI, Germany Newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1997-09-29T00:00:00+00:00 List-Id: Joachim Durchholz (joachim.durchholz@munich.netsurf.de) wrote: > Joerg Rodemann wrote: > > > > Well, sorry to raise this topic again, we had a long discussion about > > that > > shortly and it's still continuing, but this seems to point to some > > problems > > we discussed in a concrete situation: > Well, no - I can't imagine what the GPL (a *legal* contract) has to do > with Eiffel assertions (a *technical* contract). Well, are you trolling? Your statement is certainly true...and my followup was not about assertions (you Eiffel guys seem to be a bit obsessed but this thing, aren't you? :) ). What I was to question about was how an Eiffel system could check against the specification (short-flat form) of a class if it is already precompiled. The thread I mentioned was this awfully long one about keeping the spec in a seperate file or not. I received just one answer via email to my request. I hope Frank Arnaud does not complain about me quoting it here: "It is because there are no really "compiled" libraries in Eiffel. All forms of precompiled libraries contain the information which is in the source code in another form." I am still not quite sure what is meant by this exactly, but I have an idea about what is going on. If there is something more to consider please clarify. But on the other hand please do not just continue those long threads about spec/impl and assertions. Regards 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