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 --
10 -- Copyright (C) 1993-2000 Free Software Foundation, Inc. --
12 -- This specification is derived from the Ada Reference Manual for use with --
13 -- GNAT. The copyright notice above, and the license provisions that follow --
14 -- apply solely to the contents of the part following the private keyword. --
16 -- GNAT is free software; you can redistribute it and/or modify it under --
17 -- terms of the GNU General Public License as published by the Free Soft- --
18 -- ware Foundation; either version 2, or (at your option) any later ver- --
19 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
20 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
21 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
22 -- for more details. You should have received a copy of the GNU General --
23 -- Public License distributed with GNAT; see file COPYING. If not, write --
24 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
25 -- MA 02111-1307, USA. --
27 -- As a special exception, if other files instantiate generics from this --
28 -- unit, or you link this unit with other files to produce an executable, --
29 -- this unit does not by itself cause the resulting executable to be --
30 -- covered by the GNU General Public License. This exception does not --
31 -- however invalidate any other reasons why the executable file might be --
32 -- covered by the GNU Public License. --
34 -- GNAT was originally developed by the GNAT team at New York University. --
35 -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
37 ------------------------------------------------------------------------------
41 type Element is private;
42 type Element_Array is array (Index range <>) of aliased Element;
43 Default_Terminator : Element;
45 package Interfaces.C.Pointers is
46 pragma Preelaborate (Pointers);
48 type Pointer is access all Element;
52 Terminator : in Element := Default_Terminator)
57 Length : in ptrdiff_t)
60 Pointer_Error : exception;
62 --------------------------------
63 -- C-style Pointer Arithmetic --
64 --------------------------------
66 function "+" (Left : in Pointer; Right : in ptrdiff_t) return Pointer;
67 function "+" (Left : in ptrdiff_t; Right : in Pointer) return Pointer;
68 function "-" (Left : in Pointer; Right : in ptrdiff_t) return Pointer;
69 function "-" (Left : in Pointer; Right : in Pointer) return ptrdiff_t;
71 procedure Increment (Ref : in out Pointer);
72 procedure Decrement (Ref : in out Pointer);
74 pragma Convention (Intrinsic, "+");
75 pragma Convention (Intrinsic, "-");
76 pragma Convention (Intrinsic, Increment);
77 pragma Convention (Intrinsic, Decrement);
79 function Virtual_Length
81 Terminator : in Element := Default_Terminator)
84 procedure Copy_Terminated_Array
87 Limit : in ptrdiff_t := ptrdiff_t'Last;
88 Terminator : in Element := Default_Terminator);
93 Length : in ptrdiff_t);
98 pragma Inline (Decrement);
99 pragma Inline (Increment);
101 end Interfaces.C.Pointers;