Ada Programming/Libraries/System.Storage_Pools
< Ada Programming | Libraries
This language feature is available from Ada 95 on.
System.Storage_Pools is a unit of the Predefined Language Environment since Ada 95.
Specification[edit | edit source]
-- Standard Ada library specification -- Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com> -- Copyright (c) 2004-2016 AXE Consultants -- Copyright (c) 2004, 2005, 2006 Ada-Europe -- Copyright (c) 2000 The MITRE Corporation, Inc. -- Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc. -- SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual -- -------------------------------------------------------------------------with
Ada.Finalization;with
System.Storage_Elements;package
System.Storage_Poolsis
pragma
Preelaborate (System.Storage_Pools);type
Root_Storage_Poolis
abstract
new
Ada.Finalization.Limited_Controlledwith
private
;pragma
Preelaborable_Initialization (Root_Storage_Pool);procedure
Allocate (Pool :in
out
Root_Storage_Pool; Storage_Address :out
Address; Size_In_Storage_Elements :in
Storage_Elements.Storage_Count; Alignment :in
Storage_Elements.Storage_Count)is
abstract
;procedure
Deallocate (Pool :in
out
Root_Storage_Pool; Storage_Address :in
Address; Size_In_Storage_Elements :in
Storage_Elements.Storage_Count; Alignment :in
Storage_Elements.Storage_Count)is
abstract
;function
Storage_Size (Pool : Root_Storage_Pool)return
Storage_Elements.Storage_Countis
abstract
;private
pragma
Import (Ada, Root_Storage_Pool);end
System.Storage_Pools;
See also[edit | edit source]
Wikibook[edit | edit source]
External examples[edit source]
- Search for examples of
System.Storage_Pools
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
System.Storage_Pools
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual[edit | edit source]
Ada 95[edit | edit source]
Ada 2005[edit | edit source]
Ada 2012[edit | edit source]
Open-Source Implementations[edit | edit source]
FSF GNAT
- Specification: s-stopoo.ads
- Body: s-stopoo.adb
drake
- Specification: s-stopoo.ads
- Body: s-stopoo.adb