Re: Grace and Maps (was Re: Development process in the Ada community)

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

Ted Dennison <dennison@telepath.com> writes:

> Requirements I think ought to be included (using the usual
> should/shall language):
> 
> Maps shall provide for key lookup in no worse than O(logn) average
> time and O(n) worst case (where n is the # of elements in the map).
> 
> Maps shall provide for creation of a sorted list or array, or
> traversal in sorted order, in no worse than O(n) time. (In other
> words, the map is kept sorted as elements are added).
> 
> Maps should provide an interface consistent with Lists, as far as is
> practicable.
> 
> Comments?

These work for me.

We could add something about no memory leaks, but maybe that's implied.

One of the requirements for Grace.Lists was that it be useable with
one instantiation. That had a significant impact on the final design.
Do we want to keep that in general for Grace? I think not, if we have
any intention of it being used in serious work. Both the Booch
Components and SAL generally need several instantiations to get useful
stuff, because they provide more flexibility.

-- 
-- Stephe