From: Ray Blaak <blaak@infomatch.com>
Subject: Re: Assertions
Date: 1999/05/22
Date: 1999-05-22T00:00:00+00:00 [thread overview]
Message-ID: <ur9o9f95c.fsf@infomatch.com> (raw)
In-Reply-To: dale-2205990829190001@r1021c-20.ppp.cs.rmit.edu.au
I would suggest the name "Verify" for assertions intended to be runtime
checks, and "Assume" for assertions intended to give info to the compiler.
dale@cs.rmit.edu.au (Dale Stanbrough) writes:
> For an assertion that I would like tested...
[...]
> pragma Assert (Balanced (Root));
> -- test this, die if it fails
[...]
> For an assertion that could be used by the compiler to optimise
> the code
> pragma Enforce (X in 1..9 or X in 20..29);
[...]
> The "Enforce" (I don't think this is a good name, but I can't
> think of anything better) is used to extend the type system.
>
> One problem with the name "Assert" is that people have
> different views about what it actually means. Robert Dewar
> considers that "Assert" _should_ be able to be used for
> optimisation purposes.
--
Cheers, The Rhythm is around me,
The Rhythm has control.
Ray Blaak The Rhythm is inside me,
blaak@infomatch.com The Rhythm has my soul.
next prev parent reply other threads:[~1999-05-22 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 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 ` Ray Blaak [this message]
1999-05-22 0:00 ` Assertions Robert Dewar
1999-05-23 0:00 ` Assertions Nick Roberts
1999-05-24 0:00 ` Assertions Ray Blaak
1999-05-24 0:00 ` Assertions Dale Stanbrough
1999-05-23 0:00 ` Assertions Nick Roberts
1999-05-12 0:00 ` Assertions Marin David Condic
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 ` Assertions Robert Dewar
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