411 REFERENCE · Wikibooks
Ada Programming/Libraries/Ada.Unchecked Deallocation
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Ada.Unchecked_Deallocation
Ada Unchecked_Deallocation is a unit of the Predefined Language Environment since Ada 95, although it was already present in Ada 83 as a root library unit (Unchecked_Deallocation). Ada 95 defined that name as a renaming of Ada.Unchecked_Deallocation for compatibility.
__TOC__
Specification
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
-------------------------------------------------------------------------
generic
type Object (box <>) is limited private;
type Name is access Object;
procedure Adadot .Unchecked_Deallocation (X : in out Name);
pragma Convention (Intrinsic, Adadot .Unchecked_Deallocation);
pragma Preelaborate (Adadot .Unchecked_Deallocation);
See also
Wikibook
Ada Programming/Libraries/Ada
Ada Programming/Types/access
Ada Reference Manual
Ada 95
13 11 2 Unchecked Storage Deallocation
Ada 2005
13 11 2 Unchecked Storage Deallocation
Ada 2012
13 11 2 Unchecked Storage Deallocation
Open-Source Implementations
a-uncdea.ads
a-uncdea.ads