1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- I N T E R F A C E S . C . P O I N T E R S --
9 -- Copyright (C) 1993-2009, Free Software Foundation, Inc. --
11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the contents of the part following the private keyword. --
15 -- GNAT is free software; you can redistribute it and/or modify it under --
16 -- terms of the GNU General Public License as published by the Free Soft- --
17 -- ware Foundation; either version 3, or (at your option) any later ver- --
18 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
19 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
20 -- or FITNESS FOR A PARTICULAR PURPOSE. --
22 -- As a special exception under Section 7 of GPL version 3, you are granted --
23 -- additional permissions described in the GCC Runtime Library Exception, --
24 -- version 3.1, as published by the Free Software Foundation. --
26 -- You should have received a copy of the GNU General Public License and --
27 -- a copy of the GCC Runtime Library Exception along with this program; --
28 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
29 -- <http://www.gnu.org/licenses/>. --
31 -- GNAT was originally developed by the GNAT team at New York University. --
32 -- Extensive contributions were provided by Ada Core Technologies Inc. --
34 ------------------------------------------------------------------------------
38 type Element
is private;
39 type Element_Array
is array (Index
range <>) of aliased Element
;
40 Default_Terminator
: Element
;
42 package Interfaces
.C
.Pointers
is
45 type Pointer
is access all Element
;
47 pragma No_Strict_Aliasing
(Pointer
);
48 -- We turn off any strict aliasing assumptions for the pointer type,
49 -- since it is possible to create "improperly" aliased values.
53 Terminator
: Element
:= Default_Terminator
) return Element_Array
;
57 Length
: ptrdiff_t
) return Element_Array
;
59 Pointer_Error
: exception;
61 --------------------------------
62 -- C-style Pointer Arithmetic --
63 --------------------------------
65 function "+" (Left
: Pointer
; Right
: ptrdiff_t
) return Pointer
;
66 function "+" (Left
: ptrdiff_t
; Right
: Pointer
) return Pointer
;
67 function "-" (Left
: Pointer
; Right
: ptrdiff_t
) return Pointer
;
68 function "-" (Left
: Pointer
; Right
: Pointer
) return ptrdiff_t
;
70 procedure Increment
(Ref
: in out Pointer
);
71 procedure Decrement
(Ref
: in out Pointer
);
73 pragma Convention
(Intrinsic
, "+");
74 pragma Convention
(Intrinsic
, "-");
75 pragma Convention
(Intrinsic
, Increment
);
76 pragma Convention
(Intrinsic
, Decrement
);
78 function Virtual_Length
80 Terminator
: Element
:= Default_Terminator
) return ptrdiff_t
;
82 procedure Copy_Terminated_Array
85 Limit
: ptrdiff_t
:= ptrdiff_t
'Last;
86 Terminator
: Element
:= Default_Terminator
);
96 pragma Inline
(Decrement
);
97 pragma Inline
(Increment
);
99 end Interfaces
.C
.Pointers
;