Re: Calling Ada from C

On Feb 23, 2:53 pm, Stephen Leake <stephen_le...@xxxxxxxxxxxxxxxx>
wrote:
"hannibal.h...@xxxxxxxxx" <hannibal.h...@xxxxxxxxx> writes:
I have a slight problem trying to call an Ada function from a C
function. I need to pass in an unconstrained array to the Ada
function. The problem is how I specify the size.

Since the concept "unconstrained array" doesn't exist in C, this can't
possibly be a precise description of what you are doing.

Can you give more context, and an example of the code? Especially the
C declarations of the data structure you are passing to Ada.

--
-- Stephe

The data structure in C is just a pointer to a block of data to be
sent over a network link. This need to be converted to a byte array
defined as:

Byte_Size : constant := 8;

type Byte is range 0 .. 2**Byte_Size - 1;
for Byte'Size use Byte_Size;

type Byte_Array is array (Natural range <>) of Byte;
pragma Pack (Byte_Array);

As said, I am not extremly familiar with Ada and come from a C-
background, so I have a few problems trying to figure out what the ada
runtime and type system actually does. I tried something like

-- This proc is exported as with C-conventions
procedure Some_Ada_Proc(Msg : in Byte_Array;
Len : in Natural) is
Msg_Constr : Byte_Array := Msg(0 .. Length - 1);
begin
....
end Some_Ada_Proc;

This is called with:

char foo[] = {0xde, 0xad, 0xbe, 0xef};
some_ada_proc(foo, sizeof(foo)); // sizeof static array = 4

But that result in a crash which I assume is due to how Ada treats
arrays passed as arguments.

I would be very greatful for any help, and an explanation on what is
actually going on in the Ada runtime system, e.g. descriptions on how
the Ada ABI works in this case.

Preferably I would like to do a toll free conversion from the C-
pointer to the Ada array, is this possible?

.

Relevant Pages

  • Re: Calling Ada from C
    ... I need to pass in an unconstrained array to the Ada ... C declarations of the data structure you are passing to Ada. ... [technically, an array subtype], the Ada routine knows the bounds ...
    (comp.lang.ada)
  • Re: 10 rules for benchmarking (was Re: Teaching new tricks to an old dog (C++ -->Ada))
    ... so I did the same in Ada, results are in the T and TC columns. ... array are used, ... I take it you mean the one best performing assembly language ... that a given assembly language program cannot be beaten by ...
    (comp.programming)
  • Re: 10 rules for benchmarking (was Re: Teaching new tricks to an old dog (C++ -->Ada))
    ... so I did the same in Ada, results are in the T and TC columns. ... array are used, ... I take it you mean the one best performing assembly language ... that a given assembly language program cannot be beaten by ...
    (comp.lang.ada)
  • Re: Surprise in array concatenation
    ... > Dmitry A. Kazakov wrote: ... >> Better ADT is what Ada needs. ... The concept of array must be consistent ... for I in A'First..A'Last loop ...
    (comp.lang.ada)
  • Re: Surprise in array concatenation
    ... >> computational states for which A is considered be 1. ... >> memory dump and discover a bit pattern 000000001 at the address FF07712CA0 ... could you stop naming this ADT an array? ... > These are Ada arrays, rock solid low level stuff, based on preexisting ...
    (comp.lang.ada)