diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-11-15 15:05:30 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-11-15 15:05:30 +0100 |
| commit | aa63543913b12c7774820c8761b935be8ad0ea64 (patch) | |
| tree | c8c0214f8548fc9f765b31c6ab8a74a3686229ef /gcc/ada/s-chepoo.ads | |
| parent | 45b5a7a1b03817f89bef5e0d4c78b4dcf4d26e4c (diff) | |
| download | gcc-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.ads | 28 |
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 |