aboutsummaryrefslogtreecommitdiffstats
path: root/src/tables.ads
blob: 9a506d8719eb6322cf7245e635f582ada2391c48 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
--  Efficient expandable one dimensional array.
--  Copyright (C) 2015 Tristan Gingold
--
--  This program is free software: you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation, either version 2 of the License, or
--  (at your option) any later version.
--
--  This program is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY; without even the implied warranty of
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--  GNU General Public License for more details.
--
--  You should have received a copy of the GNU General Public License
--  along with this program.  If not, see <gnu.org/licenses>.

--  This package mimics GNAT.Table, but:
--  - the index type can be any discrete type (in particular a modular type)
--  - the increment is not used
--  - the interface is simplified.
with Dyn_Tables;

generic
   --  This package creates:
   --    array (Table_Index_Type range Table_Low_Bound .. <>)
   --      of Table_Component_Type;
   type Table_Component_Type is private;
   type Table_Index_Type is (<>);

   --  The lowest bound of the array.  Note that Table_Low_Bound shouldn't be
   --  Table_Index_Type'First, as otherwise Last may raise constraint error
   --  when the table is empty.
   Table_Low_Bound : Table_Index_Type;

   --  Initial number of elements.
   Table_Initial   : Positive;
package Tables is
   package Dyn_Table is new Dyn_Tables (Table_Component_Type,
                                        Table_Index_Type,
                                        Table_Low_Bound);

   T : Dyn_Table.Instance;

   subtype Table_Type is Dyn_Table.Table_Type;

   --  Pointer to the table.  Note that the use of a thin pointer to the
   --  largest array, this implementation bypasses Ada index checks.
   Table : Dyn_Table.Table_Thin_Ptr renames T.Table;

   --  Initialize the table.  This is done automatically at elaboration.
   procedure Init;

   --  Logical bounds of the array.
   First : constant Table_Index_Type := Table_Low_Bound;
   function Last return Table_Index_Type;
   pragma Inline (Last);

   --  Deallocate all the memory.  Makes the array unusable until the next
   --  call to Init.
   procedure Free;

   --  Increase by 1 the length of the array.  This may allocate memory.
   procedure Increment_Last;
   pragma Inline (Increment_Last);

   --  Decrease by 1 the length of the array.
   procedure Decrement_Last;
   pragma Inline (Decrement_Last);

   --  Increase or decrease the length of the array by specifying the upper
   --  bound.
   procedure Set_Last (Index : Table_Index_Type);

   --  Append VAL to the array.  This always increase the length of the array.
   procedure Append (Val : Table_Component_Type);
   pragma Inline (Append);

   --  Increase by NUM the length of the array, and returns the old value
   --  of Last + 1.
   function Allocate (Num : Natural := 1) return Table_Index_Type;
   pragma Inline (Allocate);
end Tables;