From: Robert Dewar <robert_dewar@my-dejanews.com>
Subject: Re: Assertions
Date: 1999/05/21
Date: 1999-05-21T00:00:00+00:00 [thread overview]
Message-ID: <7i2evk$uao$1@nnrp1.deja.com> (raw)
In-Reply-To: 7i27tt$hn@dfw-ixnews11.ix.netcom.com
In article <7i27tt$hn@dfw-ixnews11.ix.netcom.com>,
Richard D Riehle <laoXhai@ix.netcom.com> wrote:
> I agree that it is possible that some assertions might be
> checkable at compile time.
That misses the point, Eiffel assertions are not about
checking (either at compile time or at run time). They
are formalized comments stating certain static properties
of the program. If one of these comments lies, this is a bug
in the program.
One of course wants to debug programs, so mechanisms like
testing assertions at run time etc are useful for debugging
the assertions (as well as the rest of the code).
But you really have to get out of the habit of thinking of
them as having much to do with the check-this-assertion-at
run-time type gizmo which is what most of this thread has
been discussing.
As I said earlier, assertions mean many different things to
different people :-)
--== Sent via Deja.com http://www.deja.com/ ==--
---Share what you know. Learn what you don't.---
next prev parent reply other threads:[~1999-05-21 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-10 0:00 Assertions J & A Richardson
1999-05-10 0:00 ` Assertions Marin David Condic
1999-05-11 0:00 ` Assertions Robert Dewar
1999-05-11 0:00 ` Assertions Nick Roberts
1999-05-11 0:00 ` Assertions Robert Dewar
1999-05-12 0:00 ` Assertions Dale Stanbrough
1999-05-12 0:00 ` Assertions Robert Dewar
1999-05-12 0:00 ` Assertions Tucker Taft
1999-05-12 0:00 ` Assertions Marin David Condic
1999-05-12 0:00 ` Assertions Larry Kilgallen
1999-05-12 0:00 ` Assertions Tucker Taft
1999-05-13 0:00 ` Assertions Nick Roberts
1999-05-17 0:00 ` Assertions Dale Stanbrough
1999-05-19 0:00 ` Assertions Nick Roberts
1999-05-22 0:00 ` Assertions Dale Stanbrough
1999-05-22 0:00 ` Assertions Robert Dewar
1999-05-22 0:00 ` Assertions Ray Blaak
1999-05-22 0:00 ` Assertions Robert Dewar
1999-05-23 0:00 ` Assertions Nick Roberts
1999-05-24 0:00 ` Assertions Dale Stanbrough
1999-05-24 0:00 ` Assertions Ray Blaak
1999-05-23 0:00 ` Assertions Nick Roberts
1999-05-18 0:00 ` Assertions Richard D Riehle
1999-05-19 0:00 ` Assertions Nick Roberts
1999-05-19 0:00 ` Assertions Richard D Riehle
1999-05-20 0:00 ` Assertions stimuli
1999-05-21 0:00 ` Assertions Richard D Riehle
1999-05-21 0:00 ` Robert Dewar [this message]
1999-05-20 0:00 ` Assertions Ehud Lamm
1999-05-21 0:00 ` Assertions Robert Dewar
1999-05-21 0:00 ` Assertions Ehud Lamm
1999-05-21 0:00 ` Assertions Tucker Taft
1999-05-20 0:00 ` Assertions stimuli
1999-05-12 0:00 ` Assertions Peter Amey
1999-05-12 0:00 ` Assertions 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