| ------------------------------------------------------------------------------ |
| -- -- |
| -- 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. -- |
| -- -- |
| ------------------------------------------------------------------------------ |
| |
| -- This package is defined by ARM 13.9 to implement unchecked type |
| -- conversions. |
| |
| generic |
| type Source (<>) is limited private; |
| type Target (<>) is limited private; |
| |
| function Ada.Unchecked_Conversion (S : Source) return Target; |
| -- Returns the bit pattern of ``S`` for type ``Target`` |
| |
| pragma No_Elaboration_Code_All (Ada.Unchecked_Conversion); |
| pragma Pure (Ada.Unchecked_Conversion); |
| pragma Import (Intrinsic, Ada.Unchecked_Conversion); |
