blob: a76398d2f0fbfe7c113e2acad6bfe2fd52db13d0 (
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
83
84
85
86
|
-- 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);
-- Reserve memory for NUM extra elements.
procedure Reserve (Num : Natural := 1);
pragma Inline (Reserve);
end Tables;
|
