Re: limited types in containers

Re: limited types in containers

[ada_wizard]

Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:

> Charles does (some of it).

So does Charles work for you? If not, why not?

> The "solutions" I have now are using a _comment_ indicating that
> clients _should_ use a constructor function, here is one of the
> solutions that doesn't use pointers to T objects:
> 
>    type T is tagged private;
>    --  use make!
> 
>    function make
>     (look_here: D;
>      look_there: E;
>      and_also_over_there: D) return T;
> 
> where the full view of T contains pointer fields, and make provides
> '(unchecked)_access values for them.  

SAL provides containers that allow the user to specify 'make' as the
way to create objects; give it a try.
(http://www.toadmail.com/~ada_wizard/). Feel free to email me for help
on how to use it; the user manual is just the Ada source at the moment.

-- 
-- Stephe

___________________________________________________________
This mail sent using ToadMail -- Web based e-mail @ ToadNet