summaryrefslogtreecommitdiff
path: root/src/lib/gnat/a-unccon.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib/gnat/a-unccon.ads')
-rw-r--r--src/lib/gnat/a-unccon.ads23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/lib/gnat/a-unccon.ads b/src/lib/gnat/a-unccon.ads
new file mode 100644
index 0000000000..ffa84d9fad
--- /dev/null
+++ b/src/lib/gnat/a-unccon.ads
@@ -0,0 +1,23 @@
+------------------------------------------------------------------------------
+-- --
+-- GNAT COMPILER COMPONENTS --
+-- --
+-- A D A . U N C H E C K E D _ C O N V E R S I O N --
+-- --
+-- S p e c --
+-- --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. In accordance with the copyright of that document, you can freely --
+-- copy and modify this specification, provided that if you redistribute a --
+-- modified version, any changes that you have made are clearly indicated. --
+-- --
+------------------------------------------------------------------------------
+
+generic
+ type Source (<>) is limited private;
+ type Target (<>) is limited private;
+
+function Ada.Unchecked_Conversion (S : Source) return Target;
+
+pragma Pure (Unchecked_Conversion);
+pragma Import (Intrinsic, Unchecked_Conversion);