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.8 required=5.0 tests=BAYES_00,PLING_QUERY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,b6d862eabdeb1fc4
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!news.mind.de!bolzen.all.de!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 07 Jun 2010 18:30:15 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.1.9) Gecko/20100317 Thunderbird/3.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada noob here! Is Ada widely used?
References: <jhaJn.4661$z%6.1650@edtnps83> <hudsf0$41p$1@speranza.aioe.org>
 <wcchblh9uw6.fsf@shell01.TheWorld.com>
 <C8306ECD.145F17%yaldnif.w@blueyonder.co.uk>
 <jie1slpi909j.152v5srl3et2y.dlg@40tude.net> <op.vdvbh7ikule2fv@garhos>
 <dde6m0poz8y2$.159jnspm6e$.dlg@40tude.net> <op.vdvdn9scule2fv@garhos>
 <d00zdxzqkpyy$.b18v6dzye2v2.dlg@40tude.net> <op.vdvk5jrdule2fv@garhos>
 <2o8vq76hpv1m.vs7m2beo23nz.dlg@40tude.net> <op.vdvpd7wpule2fv@garhos>
 <1q5k4indthpli.1dn17o4ue4a15$.dlg@40tude.net>
 <4c0c1188$0$6887$9b4e6d93@newsspool2.arcor-online.net>
 <op.vdw6zottz25lew@macpro-eth1.krischik.com>
 <4c0cd44f$0$6766$9b4e6d93@newsspool3.arcor-online.net>
 <op.vdxkw4t2xmjfy8@garhos> <91w8y6qvtty4.16d1ujzrvbi44.dlg@40tude.net>
 <4c0cfda2$0$7653$9b4e6d93@newsspool1.arcor-online.net>
 <1rzybokb8zxk$.qeetinq1tmbb$.dlg@40tude.net>
 <op.vdxr7yjrz25lew@macpro-eth1.krischik.com>
 <4c0d1d7f$0$7654$9b4e6d93@newsspool1.arcor-online.net>
In-Reply-To: <4c0d1d7f$0$7654$9b4e6d93@newsspool1.arcor-online.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <4c0d1e97$0$7665$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 07 Jun 2010 18:30:15 CEST
NNTP-Posting-Host: a75c57b2.newsspool1.arcor-online.net
X-Trace: 
 DXC=Zg]?H]65i1j016@cHD@m;jic==]BZ:afn4Fo<]lROoRa<`=YMgDjhgbgWaom=?WBlbnc\616M64>jLh>_cHTX3jm`FCJ2RFbad`
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:11440
X-Original-Bytes: 2339
Date: 2010-06-07T18:30:15+02:00
List-Id: <comp.lang.ada>

On 07.06.10 18:25, Georg Bauhaus wrote:

> "Tampers with elements/cursors" in Ada.Containers
> isn't that different I think.

Meaning that if you want high speed children of Ada.Containers,
you perform these checks in predicates inside Assert pragmas
and turn them off once you have reason to trust your program.