From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Assertions in Ada
Date: 1997/08/24
Date: 1997-08-24T00:00:00+00:00 [thread overview]
Message-ID: <dewar.872431899@merv> (raw)
In-Reply-To: 33FF9DEC.2B52@flash.net
<<Even now, it appears that pragma Assert has some variations
among vendors (e.g. the example code in my paper, which works
under GNAT, has to have the pragmas moved to work with the
Aonix products).>>
Yes, Ken pointed out this variation, but this is not a matter of design,
it is more a matter of a bug in GNAT that no one ever noticed before,
namely GNAT allows pragma Assert in a place where it probably does not
intend to. In GNAT a pragma Assert is simply optional executable code,
it is not some kind of abstract specification, and therefore it should
only occur where a statement or declaration can appear.
next prev parent reply other threads:[~1997-08-24 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-08-21 0:00 Assertions in Ada AdaWorks
1997-08-21 0:00 ` Tucker Taft
1997-08-21 0:00 ` Brian Rogoff
1997-08-22 0:00 ` Robert Dewar
[not found] ` <JSA.97Aug21183650@alexandria.organon.com>
1997-08-21 0:00 ` Robert Dewar
1997-08-22 0:00 ` Tucker Taft
1997-08-23 0:00 ` Ken Garlington
1997-08-24 0:00 ` Brian Rogoff
[not found] ` <199708251351.PAA13197@basement.replay.com>
1997-08-25 0:00 ` Robert Dewar
1997-08-27 0:00 ` Adrian P. Morgan
1997-08-31 0:00 ` Robert A Duff
1997-08-23 0:00 ` Ken Garlington
1997-08-24 0:00 ` Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
1997-08-22 0:00 AdaWorks
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox