Re: Ada array vs C pointer (call by reference)

On Jun 26, 6:39 pm, Adrian Hoe <aby...@xxxxxxxxx> wrote:
Hi,

I have a C library function which takes a float * as a parameter. The
function is as below:

int pwmRead (int pwmCount, float * data);

where data is an array of float which size is determined by pwmCount.

In Ada, I have:

PWM_Count : Integer := No_Of_Components_Intended;
PWM_Data : array (1 .. PWM_Count) of Float;

My concern is how safe to pass an Ada array to a C function as a
pointer (call by reference)? I presume Ada will allocate contiguous
memory for array, but what if it does not?

I've never heard of an Ada compiler that doesn't, absent some explicit
instruction (like a pragma) to do something unusual. Even so, if
you're thinking of using an Ada compiler written on the planet
Zorxkrug where they might do some odd array allocation, you should
still be OK if you use the Convention pragma. First of all, you
cannot declare PWM_Data with an anonymous array type, because then you
couldn't pass it as a parameter to *any* routine (what would the
parameter type be??). So something like this should work:

type Float_Array is array (Natural range <>) of Float;
pragma Convention (C, Float_Array);
PWM_Data : Float_Array (1 .. PWM_Count);

and now even the Zorxkrugian Ada compiler should allocate the array in
a way that will be compatible with the C code. (In the Ada
declaration of pwmRead, the second parameter would have type
Float_Array.)

No guarantees, but a compiler that follows the Implementation Advice
should handle this correctly.

Oh, and you probably want to use Interfaces.C.C_Float instead of the
Ada type "Float", to ensure that you're using the same kind of float
that the C routine expects.

Hope this helps,

-- Adam
.

Relevant Pages

  • Re: Ada array vs C pointer (call by reference)
    ... where data is an array of float which size is determined by pwmCount. ... In Ada, I have: ... Is there any "safe" way to do this? ...
    (comp.lang.ada)
  • Re: C array to ada record interface
    ... > memory) as the original C array. ... > will get a Constraint_Error if you try to use the Ada array. ... > Ada compiler will manage the memory for the Ada array for you, ...
    (comp.lang.ada)
  • Re: weird code.
    ... never seen this kind of declaration ever. ... The variable data is a float pointer? ... array of 16384 float objects. ...
    (comp.lang.c)
  • Re: Help a beginner - function with pointer ...
    ... i thought (float *) T would be appealing to ... The result is the value obtained by converting the ... `T' refers to a one-dimensional array whose elements are also ... using a pointer to the array's first element. ...
    (comp.lang.c)
  • Re: weird code.
    ... The variable data is a float pointer? ... array of 16384 float objects. ... We just write `sizeof *data' and the compiler (knowing what ...
    (comp.lang.c)
Loading