Update concepts branch to revision 131834
[official-gcc.git] / gcc / ada / a-cohata.ads
blob983e8c39c26fe1d35adaf14310cb24d31f2692e8
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT LIBRARY COMPONENTS --
4 -- --
5 -- A D A . C O N T A I N E R S . H A S H _ T A B L E S --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 2004-2007, Free Software Foundation, Inc. --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
21 -- --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
28 -- --
29 -- This unit was originally developed by Matthew J Heaney. --
30 ------------------------------------------------------------------------------
32 -- This package declares the hash-table type used to implement hashed
33 -- containers.
35 package Ada.Containers.Hash_Tables is
36 pragma Pure; -- so this can be imported by Remote_Types packages
38 generic
39 type Node_Type (<>) is limited private;
41 type Node_Access is access Node_Type;
43 package Generic_Hash_Table_Types is
44 type Buckets_Type is array (Hash_Type range <>) of Node_Access;
46 type Buckets_Access is access all Buckets_Type;
47 for Buckets_Access'Storage_Size use 0; -- so this package can be Pure
49 type Hash_Table_Type is tagged record
50 Buckets : Buckets_Access;
51 Length : Count_Type := 0;
52 Busy : Natural := 0;
53 Lock : Natural := 0;
54 end record;
55 end Generic_Hash_Table_Types;
57 end Ada.Containers.Hash_Tables;