wl_lib_0.1.3_1c94dc7c/src/wl-guids-maps.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
with Ada.Containers.Hashed_Maps;

generic
   type Element_Type is private;
   with function "=" (Left, Right : Element_Type) return Boolean is <>;
package WL.Guids.Maps is

   package Guid_Maps is
     new Ada.Containers.Hashed_Maps
       (Key_Type        => Guid,
        Element_Type    => Element_Type,
        Hash            => Hash,
        Equivalent_Keys => "=",
        "="             => "=");

   subtype Map is Guid_Maps.Map;

   function Element (Position : Guid_Maps.Cursor) return Element_Type
                     renames Guid_Maps.Element;

end WL.Guids.Maps;