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-Thread: 103376,80435549e92d4e0c X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!newsread1.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail Sender: mheaney@MHEANEYX200 Newsgroups: comp.lang.ada Subject: Re: Charles container library usage examples References: <87mzmssqbq.fsf@ludovic-brenta.org> <4321a2e0_3@newsfeed.slurp.net> <87k6hposf1.fsf@ludovic-brenta.org> From: Matthew Heaney Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sat, 10 Sep 2005 17:58:56 GMT NNTP-Posting-Host: 24.149.57.125 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.news.atl.earthlink.net 1126375136 24.149.57.125 (Sat, 10 Sep 2005 10:58:56 PDT) NNTP-Posting-Date: Sat, 10 Sep 2005 10:58:56 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: g2news1.google.com comp.lang.ada:4570 Date: 2005-09-10T17:58:56+00:00 List-Id: Ludovic Brenta writes: > Yes. I read about that in John Barnes' "Rationale for Ada 2005" (in > "Ada User Journal", volume 26, number 1, page 53). This apparently > requires the introduction of some run-time checks. Do Ada.Containers > try to avoid such run-time checks? How? Those checks aren't done by the containers themselves. They're done by a lower-level part of the run-time (I think related to derivation and streaming attributes, but I'm not really sure). I think Gary Dismukes implemented that part of the GNAT run-time, so he'd be the guy to ask. Javier Miranda might know too. > And is there a way (pragma Restrictions?) to forbid these run-time > checks? I'm not sure. My knowledge of the Ada 2005 language revision is rather parochial, as you can imagine... Draft 13 of Ada Amendment 1 was just released, so lately I've been busy synchronizing the GCC sources with what's described in the draft. I've also been adding checks (some controlled by pragma Assert, some not) to detect dangling cursors, per the CLA thread a few weeks ago.