From: ada_wizard@toadmail.com
To: comp.lang.ada@ada-france.org
Subject: Re: limited types in containers
Date: Thu, 11 Dec 2003 10:21:31 -0500
Date: 2003-12-11T10:21:31-05:00 [thread overview]
Message-ID: <mailman.92.1071156096.31149.comp.lang.ada@ada-france.org> (raw)
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
reply other threads:[~2003-12-11 15:21 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox