From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a327d56b3d5e9a4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-12 12:09:46 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Booch: iterator invalidation
Date: 12 Nov 2002 20:09:50 +0000
Organization: Pushface
Sender: simon@smaug.pushface.org
Message-ID: <x7v4ramo8hd.fsf@smaug.pushface.org>
References: <3dcbb4e4$0$299$bed64819@news.gradwell.net>
 <x7visz6zuy2.fsf@smaug.pushface.org> <u65v268c4.fsf@gsfc.nasa.gov>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1037131786 29472 62.49.19.209 (12 Nov 2002 20:09:46
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Tue, 12 Nov 2002 20:09:46 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
Xref: archiver1.google.com comp.lang.ada:30778
Date: 2002-11-12T20:09:50+00:00
List-Id: <comp.lang.ada>

Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:

> I believe "pragma Assert" is supported by all major Ada compilers at
> this time; that could be used to give a good "debug version".

At one time the BCs did use the pragma, but it wasn't available on all
compilers (and one had an incompatible form, so you couldn't compile
if you'd used the GNAT form).