Re: How to bind this properly, C ** which is an array

[Per Sandberg <per.s.sandberg@bahnhof.se>]

Well i would start with:

gcc -c -fdump-ada-spec ${headerfile} [-fada-spec-parent=${a-good-root}]

to have the compiler do all the tricky work, if the headers are "bad" 
you might need to do som touch-ups but that could usually be done with 
some simple sed-scripts.

/P

On 3/1/19 2:48 PM, Lucretia wrote:
> Hi,
> 
> I'm trying to bind the following struct:
> 
> typedef struct mpc_ast_t {
>    char *tag;
>    char *contents;
>    mpc_state_t state;
>    int children_num;
>    struct mpc_ast_t** children;
> } mpc_ast_t;
> 
> I have this:
> 
>     type ASTs is
>     record
>        Tag                : C.Strings.chars_ptr;
>        Contents           : C.Strings.chars_ptr;
>        State              : States;
>        Number_Of_Children : C.int;
>        Children           : System.Address; --  Pointer to a pointer to an array of ASTs.
>     end record with
>       Convention => C;
> 
> Children needs to be accessed in code as a pointer to a pointer to an array of ASTs.
> 
> How do I best bind this thing? It's likely going to have to be converted from Address to a particular type using Unchecked_Conversion most likely.
> 
> Thanks,
> Luke.
>