1------------------------------------------------------------------------------ 2-- -- 3-- GNAT COMPILER COMPONENTS -- 4-- -- 5-- S Y S T E M . P O O L _ G L O B A L -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1992-2011, 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 3, 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. -- 17-- -- 18-- As a special exception under Section 7 of GPL version 3, you are granted -- 19-- additional permissions described in the GCC Runtime Library Exception, -- 20-- version 3.1, as published by the Free Software Foundation. -- 21-- -- 22-- You should have received a copy of the GNU General Public License and -- 23-- a copy of the GCC Runtime Library Exception along with this program; -- 24-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- 25-- <http://www.gnu.org/licenses/>. -- 26-- -- 27-- GNAT was originally developed by the GNAT team at New York University. -- 28-- Extensive contributions were provided by Ada Core Technologies Inc. -- 29-- -- 30------------------------------------------------------------------------------ 31 32-- Storage pool corresponding to default global storage pool used for types 33-- for which no storage pool is specified. 34 35with System; 36with System.Storage_Pools; 37with System.Storage_Elements; 38 39package System.Pool_Global is 40 pragma Elaborate_Body; 41 -- Needed to ensure that library routines can execute allocators 42 43 -- Allocation strategy: 44 45 -- Call to malloc/free for each Allocate/Deallocate 46 -- No user specifiable size 47 -- No automatic reclaim 48 -- Minimal overhead 49 50 -- Pool simulating the allocation/deallocation strategy used by the 51 -- compiler for access types globally declared. 52 53 type Unbounded_No_Reclaim_Pool is new 54 System.Storage_Pools.Root_Storage_Pool with null record; 55 56 overriding function Storage_Size 57 (Pool : Unbounded_No_Reclaim_Pool) 58 return System.Storage_Elements.Storage_Count; 59 60 overriding procedure Allocate 61 (Pool : in out Unbounded_No_Reclaim_Pool; 62 Address : out System.Address; 63 Storage_Size : System.Storage_Elements.Storage_Count; 64 Alignment : System.Storage_Elements.Storage_Count); 65 66 overriding procedure Deallocate 67 (Pool : in out Unbounded_No_Reclaim_Pool; 68 Address : System.Address; 69 Storage_Size : System.Storage_Elements.Storage_Count; 70 Alignment : System.Storage_Elements.Storage_Count); 71 72 -- Pool object used by the compiler when implicit Storage Pool objects are 73 -- explicitly referred to. For instance when writing something like: 74 -- for T'Storage_Pool use Q'Storage_Pool; 75 -- and Q'Storage_Pool hasn't been defined explicitly. 76 77 Global_Pool_Object : Unbounded_No_Reclaim_Pool; 78 79end System.Pool_Global; 80