Ada Programming/Libraries/Ada.Finalization
This language feature is available from Ada 95 on.
Ada.Finalization is a unit of the Predefined Language Environment since Ada 95.
Specification
edit-- 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 -- -------------------------------------------------------------------------package
Ada.Finalizationis
pragma
Preelaborate (Finalization);pragma
Remote_Types (Finalization);type
Controlledis
abstract
tagged
private
;pragma
Preelaborable_Initialization (Controlled);procedure
Initialize (Object :in
out
Controlled)is
null
;procedure
Adjust (Object :in
out
Controlled)is
null
;procedure
Finalize (Object :in
out
Controlled)is
null
;type
Limited_Controlledis
abstract
tagged
limited
private
;pragma
Preelaborable_Initialization (Limited_Controlled);procedure
Initialize (Object :in
out
Limited_Controlled)is
null
;procedure
Finalize (Object :in
out
Limited_Controlled)is
null
;private
pragma
Import (Ada, Controlled);pragma
Import (Ada, Limited_Controlled);end
Ada.Finalization;
See also
editWikibook
editExternal examples
edit- Search for examples of
Ada.Finalization
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Finalization
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
editAda 95
editAda 2005
editAda 2012
editOpen-Source Implementations
editFSF GNAT
- Specification: a-finali.ads
drake
- Specification: a-finali.ads