Re: ANN: Simple components v 1.3

[Mats Weber <matsw@bluewin.ch>]

In article <75ga001eokc2r1aijtvu9d70ck3i6j1p0m@4ax.com>,
 Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:

>>> This release includes generic maps (associative arrays)

>http://www.dmitry-kazakov.de/ada/components.htm

I have been working on this (generic maps) for quite a while (and a long 
time ago). What I came up with is that the generic formal key type must 
be limited private and unconstrained (<>) for the component to be 
useable in most situations.

Here is the generic formal part of my version of maps:

generic
   type Key_Type (<>) is limited private;
   type Item_Type is private;
   with function Key_Of (Item : in Item_Type) return Key_Type;
   with function "=" (X, Y : Key_Type) return Boolean is <>;
   with function "<" (X, Y : Key_Type) return Boolean is <>;
   type Count is range <>;    -- must include 0
package Bags is
   ...

The big differences is that there is no constraint on Key_Type and that 
the key is part of each item and is extracted from it with the generic 
formal function Key_Of. 

For instance, you can have Key_Type => String, with the above, which you 
cannot do with your version.