diff options
Diffstat (limited to 'src/lib/gnat/a-unccon.ads')
| -rw-r--r-- | src/lib/gnat/a-unccon.ads | 23 |
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); |