Re: Charles container library usage examples

[Matthew Heaney <matthewjheaney@earthlink.net>]

Ludovic Brenta <ludovic@ludovic-brenta.org> 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.