aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/s-chepoo.ads
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2005-11-15 15:05:30 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2005-11-15 15:05:30 +0100
commitaa63543913b12c7774820c8761b935be8ad0ea64 (patch)
treec8c0214f8548fc9f765b31c6ab8a74a3686229ef /gcc/ada/s-chepoo.ads
parent45b5a7a1b03817f89bef5e0d4c78b4dcf4d26e4c (diff)
downloadgcc-aa63543913b12c7774820c8761b935be8ad0ea64.zip
gcc-aa63543913b12c7774820c8761b935be8ad0ea64.tar.gz
gcc-aa63543913b12c7774820c8761b935be8ad0ea64.tar.bz2
[multiple changes]
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
Diffstat (limited to 'gcc/ada/s-chepoo.ads')
-rw-r--r--gcc/ada/s-chepoo.ads28
1 files changed, 7 insertions, 21 deletions
diff --git a/gcc/ada/s-chepoo.ads b/gcc/ada/s-chepoo.ads
index 3c41439..27d840f 100644
--- a/gcc/ada/s-chepoo.ads
+++ b/gcc/ada/s-chepoo.ads
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. --
+-- 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- --
@@ -41,32 +41,18 @@ package System.Checked_Pools is
-- called on each implicit or explicit dereference of a pointer which
-- has such a storage pool
- procedure Allocate
- (Pool : in out Checked_Pool;
- Storage_Address : out Address;
- Size_In_Storage_Elements : in System.Storage_Elements.Storage_Count;
- Alignment : in System.Storage_Elements.Storage_Count)
- is abstract;
-
- procedure Deallocate
- (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;
-
- function Storage_Size
- (Pool : Checked_Pool)
- return System.Storage_Elements.Storage_Count
- is abstract;
-
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 each time a pointer to a checked pool is dereferenced
+ -- 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