1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- S Y S T E M . P O O L _ S I Z E --
9 -- $Revision: 1.1.16.1 $
11 -- Copyright (C) 1992,1993,1994 Free Software Foundation, Inc. --
13 -- GNAT is free software; you can redistribute it and/or modify it under --
14 -- terms of the GNU General Public License as published by the Free Soft- --
15 -- ware Foundation; either version 2, or (at your option) any later ver- --
16 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
17 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
18 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
19 -- for more details. You should have received a copy of the GNU General --
20 -- Public License distributed with GNAT; see file COPYING. If not, write --
21 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
22 -- MA 02111-1307, USA. --
24 -- As a special exception, if other files instantiate generics from this --
25 -- unit, or you link this unit with other files to produce an executable, --
26 -- this unit does not by itself cause the resulting executable to be --
27 -- covered by the GNU General Public License. This exception does not --
28 -- however invalidate any other reasons why the executable file might be --
29 -- covered by the GNU Public License. --
31 -- GNAT was originally developed by the GNAT team at New York University. --
32 -- Extensive contributions were provided by Ada Core Technologies Inc. --
34 ------------------------------------------------------------------------------
36 with System
.Storage_Pools
;
37 with System
.Storage_Elements
;
39 package System
.Pool_Size
is
41 pragma Elaborate_Body
;
42 -- Needed to ensure that library routines can execute allocators
44 ------------------------
45 -- Stack_Bounded_Pool --
46 ------------------------
48 -- Allocation strategy:
50 -- Pool is a regular stack array, no use of malloc
51 -- user specified size
52 -- Space of pool is globally reclaimed by normal stack management
54 -- Used in the compiler for access types with 'STORAGE_SIZE rep. clause
55 -- Only used for allocating objects of the same type.
57 type Stack_Bounded_Pool
58 (Pool_Size
: System
.Storage_Elements
.Storage_Count
;
59 Elmt_Size
: System
.Storage_Elements
.Storage_Count
;
60 Alignment
: System
.Storage_Elements
.Storage_Count
)
62 new System
.Storage_Pools
.Root_Storage_Pool
with record
63 First_Free
: System
.Storage_Elements
.Storage_Count
;
64 First_Empty
: System
.Storage_Elements
.Storage_Count
;
65 Aligned_Elmt_Size
: System
.Storage_Elements
.Storage_Count
;
66 The_Pool
: System
.Storage_Elements
.Storage_Array
71 (Pool
: Stack_Bounded_Pool
)
72 return System
.Storage_Elements
.Storage_Count
;
75 (Pool
: in out Stack_Bounded_Pool
;
76 Address
: out System
.Address
;
77 Storage_Size
: System
.Storage_Elements
.Storage_Count
;
78 Alignment
: System
.Storage_Elements
.Storage_Count
);
81 (Pool
: in out Stack_Bounded_Pool
;
82 Address
: System
.Address
;
83 Storage_Size
: System
.Storage_Elements
.Storage_Count
;
84 Alignment
: System
.Storage_Elements
.Storage_Count
);
86 procedure Initialize
(Pool
: in out Stack_Bounded_Pool
);