From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Assertions
Date: 1999/05/12
Date: 1999-05-12T00:00:00+00:00 [thread overview]
Message-ID: <1999May12.163911.1@eisner.decus.org> (raw)
In-Reply-To: 3739CECA.6A49865B@averstar.com
In article <3739CECA.6A49865B@averstar.com>, Tucker Taft <stt@averstar.com> writes:
> In any case, here is a strawman:
>
> pragma Assert(boolean_expression [, string_expression]);
>
> This pragma may appear anywhere a declaration or a statement may
> occur. If the check Assertion_Check is suppressed, this pragma
> has no effect. If the check Assertion_Check is not suppressed,
> this pragma's elaboration/execution is equivalent to the
> execution of:
>
> if boolean_expression then
> System.Assertions.Raise_Assert_Failure([""|string_expression]);
> end if;
I would have expected:
if NOT boolean_expression then
since I would expect to say:
pragma Assert(Expression_I_Expect_To_Be_True);
Larry Kilgallen
next prev parent reply other threads:[~1999-05-12 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 ` Larry Kilgallen [this message]
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-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