81f5bf3017
While Ada makes pointers harder to use, it is still useful to provide a pointer type for use in C interfaces. Change-Id: I3a30ef0147a459ba82c79a1f85a3d3fb97b0f3a1 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/47393 Reviewed-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Arthur Heymans <arthur@aheymans.xyz> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
81 lines
3.2 KiB
Ada
81 lines
3.2 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT COMPILER COMPONENTS --
|
|
-- --
|
|
-- I N T E R F A C E S . C --
|
|
-- --
|
|
-- 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. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
with System.Parameters;
|
|
|
|
package Interfaces.C is
|
|
pragma Pure;
|
|
|
|
-- Declaration's based on C's <limits.h>
|
|
|
|
CHAR_BIT : constant := 8;
|
|
SCHAR_MIN : constant := -128;
|
|
SCHAR_MAX : constant := 127;
|
|
UCHAR_MAX : constant := 255;
|
|
|
|
-- Signed and Unsigned Integers. Note that in GNAT, we have ensured that
|
|
-- the standard predefined Ada types correspond to the standard C types
|
|
|
|
-- Note: the Integer qualifications used in the declaration of type long
|
|
-- avoid ambiguities when compiling in the presence of s-auxdec.ads and
|
|
-- a non-private system.address type.
|
|
|
|
type int is new Integer;
|
|
type short is new Short_Integer;
|
|
type long is range -(2 ** (System.Parameters.long_bits - Integer'(1)))
|
|
.. +(2 ** (System.Parameters.long_bits - Integer'(1))) - 1;
|
|
|
|
type signed_char is range SCHAR_MIN .. SCHAR_MAX;
|
|
for signed_char'Size use CHAR_BIT;
|
|
|
|
type unsigned is mod 2 ** int'Size;
|
|
type unsigned_short is mod 2 ** short'Size;
|
|
type unsigned_long is mod 2 ** long'Size;
|
|
|
|
type unsigned_char is mod (UCHAR_MAX + 1);
|
|
for unsigned_char'Size use CHAR_BIT;
|
|
|
|
subtype plain_char is unsigned_char; -- ??? should be parameterized
|
|
|
|
-- Note: the Integer qualifications used in the declaration of ptrdiff_t
|
|
-- avoid ambiguities when compiling in the presence of s-auxdec.ads and
|
|
-- a non-private system.address type.
|
|
|
|
type ptrdiff_t is
|
|
range -(2 ** (System.Parameters.ptr_bits - Integer'(1))) ..
|
|
+(2 ** (System.Parameters.ptr_bits - Integer'(1)) - 1);
|
|
|
|
type size_t is mod 2 ** System.Parameters.ptr_bits;
|
|
|
|
-- For convenience, also provide an uintptr_t type
|
|
type uintptr_t is mod 2 ** System.Parameters.ptr_bits;
|
|
|
|
----------------------------
|
|
-- Characters and Strings --
|
|
----------------------------
|
|
|
|
type char is new Character;
|
|
|
|
nul : constant char := char'First;
|
|
|
|
function To_C (Item : Character) return char;
|
|
function To_Ada (Item : char) return Character;
|
|
|
|
type char_array is array (size_t range <>) of aliased char;
|
|
for char_array'Component_Size use CHAR_BIT;
|
|
|
|
function Is_Nul_Terminated (Item : char_array) return Boolean;
|
|
|
|
end Interfaces.C;
|