Re: How to import C pointers to structures?

[Simon Wright <simon@pushface.org>]

Adam Beneschan <adambeneschan@gmail.com> writes:

> I wouldn't trust System.Address; there's no guarantee that the Ada
> implementation of this Ada type is represented the same way as a C
> pointer, an Ada access object, or anything else

AdaCore have Interfaces.C.Extensions which has

   --  Definitions for C "void" and "void *" types

   subtype void     is System.Address;
   subtype void_ptr is System.Address;

   --  Definitions for C incomplete/unknown structs

   subtype opaque_structure_def is System.Address;
   type opaque_structure_def_ptr is access opaque_structure_def;
   for opaque_structure_def_ptr'Storage_Size use 0;

   --  Definitions for C++ incomplete/unknown classes

   subtype incomplete_class_def is System.Address;
   type incomplete_class_def_ptr is access incomplete_class_def;
   for incomplete_class_def_ptr'Storage_Size use 0;

but it's their compiler on both sides so they know it's OK!