Ada Programming/Libraries/Ada.Unchecked_Conversion
This language feature is available from Ada 95 on.
Ada.Unchecked_Conversion is a unit of the Predefined Language Environment since Ada 95.
This page is a stub. You can improve the Ada Programming wikibook by reading the contributing guidelines and expanding it. 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-- -------------------------------------------------------------------------generictypeSource (<>)islimitedprivate;typeTarget (<>)islimitedprivate;functionAda.Unchecked_Conversion (S : Source)returnTarget;pragmaConvention (Intrinsic, Ada.Unchecked_Conversion);pragmaPure (Ada.Unchecked_Conversion);
See also
[edit | edit source]Wikibook
[edit | edit source]External examples
[edit source]- Search for examples of
Ada.Unchecked_Conversionin: Rosetta Code, GitHub(gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Unchecked_Conversionin: 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: a-unccon.ads
drake
- Specification: a-unccon.ads
