OSDN Git Service

2006-10-31 Robert Dewar <dewar@adacore.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / a-chtgke.ads
1 ------------------------------------------------------------------------------
2 --                                                                          --
3 --                         GNAT LIBRARY COMPONENTS                          --
4 --                                                                          --
5 --                      A D A . C O N T A I N E R S .                       --
6 --             H A S H _ T A B L E S . G E N E R I C _ K E Y S              --
7 --                                                                          --
8 --                                 S p e c                                  --
9 --                                                                          --
10 --          Copyright (C) 2004-2005, Free Software Foundation, Inc.         --
11 --                                                                          --
12 -- This specification is derived from the Ada Reference Manual for use with --
13 -- GNAT. The copyright notice above, and the license provisions that follow --
14 -- apply solely to the  contents of the part following the private keyword. --
15 --                                                                          --
16 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
17 -- terms of the  GNU General Public License as published  by the Free Soft- --
18 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
19 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
20 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
21 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
22 -- for  more details.  You should have  received  a copy of the GNU General --
23 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
24 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
25 -- Boston, MA 02110-1301, USA.                                              --
26 --                                                                          --
27 -- As a special exception,  if other files  instantiate  generics from this --
28 -- unit, or you link  this unit with other files  to produce an executable, --
29 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
30 -- covered  by the  GNU  General  Public  License.  This exception does not --
31 -- however invalidate  any other reasons why  the executable file  might be --
32 -- covered by the  GNU Public License.                                      --
33 --                                                                          --
34 -- This unit was originally developed by Matthew J Heaney.                  --
35 ------------------------------------------------------------------------------
36
37 generic
38    with package HT_Types is
39      new Generic_Hash_Table_Types (<>);
40
41    use HT_Types;
42
43    with function Next (Node : Node_Access) return Node_Access;
44
45    with procedure Set_Next
46      (Node : Node_Access;
47       Next : Node_Access);
48
49    type Key_Type (<>) is limited private;
50
51    with function Hash (Key : Key_Type) return Hash_Type;
52
53    with function Equivalent_Keys
54      (Key  : Key_Type;
55       Node : Node_Access) return Boolean;
56
57 package Ada.Containers.Hash_Tables.Generic_Keys is
58    pragma Preelaborate;
59
60    function Index
61      (HT  : Hash_Table_Type;
62       Key : Key_Type) return Hash_Type;
63    pragma Inline (Index);
64
65    procedure Delete_Key_Sans_Free
66      (HT   : in out Hash_Table_Type;
67       Key  : Key_Type;
68       X    : out Node_Access);
69
70    function Find (HT  : Hash_Table_Type; Key : Key_Type) return Node_Access;
71
72    generic
73       with function New_Node
74         (Next : Node_Access) return Node_Access;
75    procedure Generic_Conditional_Insert
76      (HT       : in out Hash_Table_Type;
77       Key      : Key_Type;
78       Node     : out Node_Access;
79       Inserted : out Boolean);
80
81 end Ada.Containers.Hash_Tables.Generic_Keys;