diff options
Diffstat (limited to 'gcc/ada/s-stposu.ads')
| -rw-r--r-- | gcc/ada/s-stposu.ads | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/gcc/ada/s-stposu.ads b/gcc/ada/s-stposu.ads index d5819ca..47099d2 100644 --- a/gcc/ada/s-stposu.ads +++ b/gcc/ada/s-stposu.ads @@ -38,7 +38,7 @@ with System.Finalization_Masters; with System.Storage_Elements; package System.Storage_Pools.Subpools is - pragma Preelaborate (Subpools); + pragma Preelaborate; type Root_Storage_Pool_With_Subpools is abstract new Root_Storage_Pool with private; @@ -74,12 +74,13 @@ package System.Storage_Pools.Subpools is -- ??? This precondition causes errors in simple tests, disabled for now --- with Pre'Class => Pool_Of_Subpool (Subpool) = Pool'Access; + -- with Pre'Class => Pool_Of_Subpool (Subpool) = Pool'Access; -- This routine requires implementation. Allocate an object described by -- Size_In_Storage_Elements and Alignment on a subpool. - function Create_Subpool (Pool : in out Root_Storage_Pool_With_Subpools) - return not null Subpool_Handle is abstract; + function Create_Subpool + (Pool : in out Root_Storage_Pool_With_Subpools) + return not null Subpool_Handle is abstract; -- This routine requires implementation. Create a subpool within the given -- pool_with_subpools. @@ -88,15 +89,16 @@ package System.Storage_Pools.Subpools is Storage_Address : System.Address; Size_In_Storage_Elements : System.Storage_Elements.Storage_Count; Alignment : System.Storage_Elements.Storage_Count) - is null; + is null; procedure Deallocate_Subpool (Pool : in out Root_Storage_Pool_With_Subpools; - Subpool : in out Subpool_Handle) is abstract; + Subpool : in out Subpool_Handle) + is abstract; -- ??? This precondition causes errors in simple tests, disabled for now --- with Pre'Class => Pool_Of_Subpool (Subpool) = Pool'Access; + -- with Pre'Class => Pool_Of_Subpool (Subpool) = Pool'Access; -- This routine requires implementation. Reclaim the storage a particular -- subpool occupies in a pool_with_subpools. This routine is called by -- Ada.Unchecked_Deallocate_Subpool. @@ -107,8 +109,9 @@ package System.Storage_Pools.Subpools is -- Subpool_Handle_name in the allocator. The default implementation of this -- routine raises Program_Error. - function Pool_Of_Subpool (Subpool : not null Subpool_Handle) - return access Root_Storage_Pool_With_Subpools'Class; + function Pool_Of_Subpool + (Subpool : not null Subpool_Handle) + return access Root_Storage_Pool_With_Subpools'Class; -- Return the owner of the subpool procedure Set_Pool_Of_Subpool @@ -118,9 +121,11 @@ package System.Storage_Pools.Subpools is -- Create_Subpool or similar subpool constructors. Raises Program_Error -- if the subpool already belongs to a pool. - overriding function Storage_Size (Pool : Root_Storage_Pool_With_Subpools) - return System.Storage_Elements.Storage_Count is - (System.Storage_Elements.Storage_Count'Last); + overriding function Storage_Size + (Pool : Root_Storage_Pool_With_Subpools) + return System.Storage_Elements.Storage_Count + is + (System.Storage_Elements.Storage_Count'Last); private -- Model |