mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-09 00:57:19 +08:00
aa63543913
2005-11-14 Vincent Celier <celier@adacore.com> * makegpr.adb (Gprmake): Do not attempt to build the global archive if there is no object directory. 2005-11-14 Robert Dewar <dewar@adacore.com> * usage.adb: Minor adjustment to output format, use nn instead of nnn (so that -gnateInnn does not run into next column) 2005-11-14 Ed Falis <falis@adacore.com> * s-bitops.adb (Bits_Array): corrected comment: "unconstrained" => "constrained" 2005-11-14 Cyrille Comar <comar@adacore.com> * s-chepoo.ads: Add comments on Dereference. Remove unnecessary inherited abstract primitives. Cosmetic cleanup. 2005-11-14 Robert Dewar <dewar@adacore.com> * sem_cat.ads (Validate_Access_Type_Declaration): Remove declaration node parameter, not needed, since it is available as Declaration_Node. 2005-11-14 Geert Bosch <bosch@adacore.com> * s-exnllf.adb (Exn_LLF): Fix comment to be more precise and grammatically correct. 2005-11-14 Vincent Celier <celier@adacore.com> * s-fileio.ads: Correct spelling error in comment From-SVN: r107014
61 lines
3.7 KiB
Ada
61 lines
3.7 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT COMPILER COMPONENTS --
|
|
-- --
|
|
-- S Y S T E M . C H E C K E D _ P O O L S --
|
|
-- --
|
|
-- S p e c --
|
|
-- --
|
|
-- Copyright (C) 1992-1996, 2005 Free Software Foundation, Inc. --
|
|
-- --
|
|
-- GNAT is free software; you can redistribute it and/or modify it under --
|
|
-- terms of the GNU General Public License as published by the Free Soft- --
|
|
-- ware Foundation; either version 2, or (at your option) any later ver- --
|
|
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
|
-- OUT 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 distributed with GNAT; see file COPYING. If not, write --
|
|
-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
|
|
-- Boston, MA 02110-1301, USA. --
|
|
-- --
|
|
-- As a special exception, if other files instantiate generics from this --
|
|
-- unit, or you link this unit with other files to produce an executable, --
|
|
-- this unit does not by itself cause the resulting executable to be --
|
|
-- covered by the GNU General Public License. This exception does not --
|
|
-- however invalidate any other reasons why the executable file might be --
|
|
-- covered by the GNU Public License. --
|
|
-- --
|
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
with System.Storage_Elements;
|
|
with System.Storage_Pools;
|
|
package System.Checked_Pools is
|
|
|
|
type Checked_Pool is abstract
|
|
new System.Storage_Pools.Root_Storage_Pool with private;
|
|
-- Equivalent of storage pools with the addition that Dereference is
|
|
-- called on each implicit or explicit dereference of a pointer which
|
|
-- has such a storage pool
|
|
|
|
procedure Dereference
|
|
(Pool : in out Checked_Pool;
|
|
Storage_Address : in Address;
|
|
Size_In_Storage_Elements : in System.Storage_Elements.Storage_Count;
|
|
Alignment : in System.Storage_Elements.Storage_Count)
|
|
is abstract;
|
|
-- Called implicitly each time a pointer to a checked pool is dereferenced
|
|
-- All parameters in the profile are compatible with the profile of
|
|
-- Allocate/Deallocate: the Storage_Address corresponds to the address of
|
|
-- the dereferenced object, Size_in_Storage_Elements is its dynamic size
|
|
-- (and thus may involve an implicit dispatching call to size) and
|
|
-- Alignment is the alignment of the object.
|
|
|
|
private
|
|
type Checked_Pool is abstract
|
|
new System.Storage_Pools.Root_Storage_Pool with null record;
|
|
end System.Checked_Pools;
|