13.11.5 Subpool Reclamation
A subpool may be explicitly deallocated using Unchecked_Deallocate_Subpool.
The following language-defined
library procedure exists:
(Subpool : in out
Global => in out all
If Subpool is null, a call on Unchecked_Deallocate_Subpool
has no effect. Otherwise, the subpool is finalized, and Subpool is set
Finalization of a subpool
has the following effects in the given order:
This paragraph was deleted.
Any of the objects allocated from the subpool that still exist are finalized
in an arbitrary order;
All of the objects allocated from the subpool cease to exist;
The following dispatching call is then made:
The subpool ceases to belong to any pool.
Finalization of a Root_Storage_Pool_With_Subpools
object finalizes all subpools that belong to that pool that have not
yet been finalized.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe