Re: Returning data from Ada to C

[igor.kh@gmail.com]

Jeffrey Carter wrote:
> Igor Khavkine wrote:

> > Great! Now, what type will `Solvec' have? I presume that GNAT will
> > bark at me if I use the wrong type.
>
> In Ada, it's a pointer to Double; to C it should look like a pointer
> to double. You probably should declare your array type to be
> convention C, just to be on the safe side.

I've tried to construct a simple example where this would work.
However, I am still failing. I can't get the types to match up. Below
are the files that I'm using. The exact error from gnat is:

hello_world.adb:18:19: expected type "Interfaces.C.Pointers.Pointer"
from instance at c_integer_arrays.ads:6

== c_integer_arrays.ads ================
with Interfaces.C; use Interfaces.C;
with Interfaces.C.Pointers;

package C_Integer_Arrays is
	type C_Integer_Array is array (size_t range <>) of aliased int;
	package C_IntArrs is
		new Interfaces.C.Pointers(size_t, int,
			C_Integer_Array, 0);
end C_Integer_Arrays;
========================================

== hello_world.ads =====================
with Interfaces.C; use Interfaces.C;
with C_Integer_Arrays; use C_Integer_Arrays;

procedure Hello_World ( i : in out integer; a_ptr : out
C_IntArrs.Pointer );
pragma Export (C, Hello_World);
========================================

== hello_world.adb =====================
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

with Interfaces.C; use Interfaces.C;
with C_Integer_Arrays; use C_Integer_Arrays;

procedure Hello_World ( i : in out integer;
	a_ptr : out C_IntArrs.Pointer ) is
	a : aliased array(0..2) of int;
	pragma Convention (C, a);
begin
	Put ("Hello world!");
	Put (i);
	i := 10;
	a(0) := 3;
	a(1) := 2;
	a(2) := 1;
	a_ptr := a'Unchecked_Access;
end Hello_World;
========================================

== hello.c =============================
#include <stdio.h>

void adainit();
void adafinal();
void hello_world(int *i, int **a_ptr);

int main()
{
	int i = 1;
	int *a_ptr;

	printf ("Calling Ada...\n");

	adainit();
	hello_world(&i, &a_ptr);

	printf ("...done\n");
	printf ("Returned i = %d\n", i);
	for (i=0; i<3; i++)
		printf ("a_ptr[%d] = %d\n", i, a_ptr[i]);

	adafinal();

	return 0;
}
========================================

What am I missing to make this work?

Thanks in advance.

Igor