]>
Commit | Line | Data |
---|---|---|
d23b8f57 RK |
1 | ------------------------------------------------------------------------------ |
2 | -- -- | |
3 | -- GNAT COMPILER COMPONENTS -- | |
4 | -- -- | |
5 | -- A D A . U N C H E C K E D _ D E A L L O C A T I O N -- | |
6 | -- -- | |
7 | -- S p e c -- | |
8 | -- -- | |
d23b8f57 RK |
9 | -- This specification is adapted from the Ada Reference Manual for use with -- |
10 | -- GNAT. In accordance with the copyright of that document, you can freely -- | |
11 | -- copy and modify this specification, provided that if you redistribute a -- | |
12 | -- modified version, any changes that you have made are clearly indicated. -- | |
13 | -- -- | |
14 | ------------------------------------------------------------------------------ | |
15 | ||
16 | generic | |
17 | type Object (<>) is limited private; | |
18 | type Name is access Object; | |
19 | ||
20 | procedure Ada.Unchecked_Deallocation (X : in out Name); | |
21 | pragma Preelaborate (Unchecked_Deallocation); | |
22 | ||
23 | pragma Import (Intrinsic, Unchecked_Deallocation); |