Re: Charles container library usage examples

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Matthew Heaney <matthewjheaney@earthlink.net> writes:

> David Trudgett <wpower@zeta.org.au.nospamplease>  writes:
>
>> I'd say it was easier to use than Charles because there was no concern
>> about instantiating generic packages, nor any requirement to create
>> multiple source files.
>
> That last part about multiple files in only true in Ada95.  In Ada 2005,
> you'll be able to instantiate generic container packages in a local
> scope, hence only a single file will be necessary.

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?

And is there a way (pragma Restrictions?) to forbid these run-time
checks?

-- 
Ludovic Brenta.