From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann)
Subject: Re: Enforcing assertions in Eiffel
Date: 1997/09/29
Date: 1997-09-29T00:00:00+00:00 [thread overview]
Message-ID: <342fc4bc.0@news.uni-ulm.de> (raw)
In-Reply-To: 34201D40.CF490EC0@munich.netsurf.de
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
next prev parent reply other threads:[~1997-09-29 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-09-13 0:00 New copying license for classes/modules: CGPL Wouter Scholten
1997-09-14 0:00 ` Robert Dewar
1997-09-16 0:00 ` Bertrand Meyer
1997-09-17 0:00 ` Joerg Rodemann
1997-09-17 0:00 ` Enforcing assertions in Eiffel Joachim Durchholz
1997-09-29 0:00 ` Joerg Rodemann [this message]
1997-09-30 0:00 ` Joachim Durchholz
1997-10-01 0:00 ` Jon S Anthony
1997-10-09 0:00 ` JOVIAL (J3) John R. Fluharty, Jr
1997-10-01 0:00 ` Enforcing assertions in Eiffel Morgan Palaeo Associates
1997-10-01 0:00 ` Joerg Rodemann
1997-10-01 0:00 ` W. Wesley Groleau x4923
1997-09-17 0:00 ` New copying license for classes/modules: CGPL Robert Dewar
1997-09-17 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox