Object-oriented Software in Ada 95

Appendix C: Library functions and packages
The list of library functions and packages is reproduced from the Ada 95 Reference Manual ANSI/ISO/IEC-
8652:1995. The following copyright notice appears in the manual:
Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
This copyright is assigned to the U.S. Government. All rights reserved.
This document may be copied, in whole or in part, in any form or by any means, as is or with alterations, provided
that (1) alterations are clearly marked as alterations and (2) this copyright notice is included unmodified in any
copy. Compiled copies of standard library units and examples need not contain this copyright notice so long as
the notice is included in all copies of source code and documentation.
In reproducing the subset of the library functions and packages in the Ada library, the author has made
changes to layout, case, and font. This was accomplished by using various software tools and so minor changes
may have been introduced without the author's knowledge.
C.1 Generic function Unchecked_Conversion
The generic function Unchecked_Conversion performs a conversion between two dissimilar types. The size
of the storage occupied by an instance of the types must be the same.
generic
type Source() is limited private;
type Target() is limited private;
function Ada.Unchecked_Conversion(S : Source) return Target;
pragma Convention(Intrinsic, Ada.Unchecked_Conversion);
pragma Pure(Ada.Unchecked_Conversion);
C.2 Generic function Unchecked_Deallocation
The generic function Unchecked_Deallocation releases storage for storage claimed by an allocator back to
the pool of free storage.
generic
type Object() is limited private;
type Name is access Object;
procedure Ada.Unchecked_Deallocation(X : in out Name);
pragma Convention(Intrinsic, Ada.Unchecked_Deallocation);
pragma Preelaborate(Ada.Unchecked_Deallocation);
C.4 The Package Standard
© M A Smith - May not be reproduced without permission