how to declare a accss type in ada as C's generic pointer

how to declare a accss type in ada as C's generic pointer

[bubble]

dear all:
I got a problem work with C's generic pointer(void *).
in general case,I declare access type with convention pragma as C's pointer
define.
It work fine.
my question is I don't know how to define a access type as C's generic
pointer.
now,I use System.address as C's generic point,is it correct?



for example.

in C,I got a C's .H file.

enum message_type{singer_name=6,music_size=7,playTime=11}
int querySongStatus(int message_type,char * message ,int
max_message_length,int * message_length,void * Num);

in Ada.I rewrite it and import it to ada. such as

package work is
 pragma Liner_Options("-lmymusic32");
 type message_type is (singer_name,music_size,play_time);
 subtype myString is string(1..300);
 type mystring_access is access all mystring;
 type integer_access is access all integer;
 function query_Song_Status(
               msg_type:message_type;
               message:mystring;
               max_message_length:integer;
               message_length:integer_access;
               Num:System.address);
 pragma Conversion(C,mystring);
 pragma COnversion(C,integer_access);
 pragma import(Stdcall,query_Song_Status,"querySongStatus");
private
 for message_Type use (
  singer_name=>6;
  music_size=>7;
  playTime=>11);
end work;

in C,if I want to query singer name then
 char * name = (char *)malloc (sizeof(char) * 300);
 int length=0;
 //I must pass a char pointer to querySongStatus..
 querySongStatus(singer_name,name,300,&length,null);
else if I want to query song's disk size then
 int diskByte=0;
 //I must pass a integer pointer to last parameter
 querySongStatus(music_size,null,0,null,&diskByte);
else if I want to query a song's play time then
 float totalTime;
 //I must pass float pointer to last parameter
 querySongStatus(playTime,null,0,0,&totalTime);

the last parameter is generic pointer,
the C's function will cast the generic pointer to another type pointer
according to what the first parameter is?

in Ada.
I don't know how to declare the access type correct?
can anybody tell me how to do?





thanks.

Re: how to declare a accss type in ada as C's generic pointer

[Jeffrey Carter]

bubble wrote:
> 
> enum message_type{singer_name=6,music_size=7,playTime=11}
> int querySongStatus(int message_type,char * message ,int
> max_message_length,int * message_length,void * Num);
> 
> in Ada.I rewrite it and import it to ada. such as
> 
> package work is
>  pragma Liner_Options("-lmymusic32");
>  type message_type is (singer_name,music_size,play_time);
>  subtype myString is string(1..300);
>  type mystring_access is access all mystring;
>  type integer_access is access all integer;
>  function query_Song_Status(
>                msg_type:message_type;
>                message:mystring;
>                max_message_length:integer;
>                message_length:integer_access;
>                Num:System.address);
>  pragma Conversion(C,mystring);
>  pragma COnversion(C,integer_access);
>  pragma import(Stdcall,query_Song_Status,"querySongStatus");
> private
>  for message_Type use (
>   singer_name=>6;
>   music_size=>7;
>   playTime=>11);
> end work;
> 
> in C,if I want to query singer name then
>  char * name = (char *)malloc (sizeof(char) * 300);
>  int length=0;
>  //I must pass a char pointer to querySongStatus..
>  querySongStatus(singer_name,name,300,&length,null);
> else if I want to query song's disk size then
>  int diskByte=0;
>  //I must pass a integer pointer to last parameter
>  querySongStatus(music_size,null,0,null,&diskByte);
> else if I want to query a song's play time then
>  float totalTime;
>  //I must pass float pointer to last parameter
>  querySongStatus(playTime,null,0,0,&totalTime);
> 
> the last parameter is generic pointer,
> the C's function will cast the generic pointer to another type pointer
> according to what the first parameter is?

There are a lot of options, but probably the best is to hide the control 
coupling:

procedure Query (Singer_Name : out String; Last : out Natural);
procedure Query (Size : out Natural);
procedure Query (Play_time : out Float);

Each of these would call the same C function, but declared differently 
in Ada:

type Dummy_Ptr is access all Integer;
pragma Convention (C, Dummy_Ptr);

procedure Query (Singer_Name : out String; Last : out Natural) is
    use Interfaces.C;

    Kind_Value : constant := 6;

    function C_Query (Kind        : Int;
                      Name        : Char_Array;
                      Name_Length : Int;
                      Length      : access Int;
                      Dummy       : Dummy_Ptr := null)
    return Int;
    pragma Import (Stdcall, C_Query, "querySongStatus");

...

    Result := C_Query (Kind_Value, Buffer, Buffer'Length, Length'access);

For the other versions, you'd use Dummy_Ptr for the Name and Length 
parameters, and an appropriate access parameter with an appropriate name 
for the last parameter:

    function C_Query (Kind : Int;
                      D1   : Dummy_Ptr;
                      D2   : Int;
                      D3   : Dummy_Ptr;
                      Size : access Int) return Int;

    Result := C_Query (Kind_Value, null, 0, null, Local'access);

-- 
Jeff Carter
"Blessed are they who convert their neighbors'
oxen, for they shall inhibit their girth."
Monty Python's Life of Brian
83

Re: how to declare a accss type in ada as C's generic pointer

[David Botton]

It is sometimes, it is always a factor of how you will be using the pointer.

Here is likely what you are looking for (from gnatcom-types.ads - 
http://www.gnavi.org)

   type Void is null record;

   subtype Pointer_To_Void is System.Address;

   type Pointer_To_Pointer_To_Void is access all Pointer_To_Void;

   --  C style Void pointers


David Botton


On 2004-12-09 01:29:58 -0500, "bubble" <bubble@bubble.d2g.com> said:

> now,I use System.address as C's generic point,is it correct?