Re: [Spark] Arrays of Strings

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Matthew Heaney wrote:
> Lutz Donnerhacke <lutz@iks-jena.de> wrote in message news:<slrnb9aagi.p2.lutz@taranis.iks-jena.de>...
>> * Matthew Heaney wrote:
>> > If you want to use the char* type in Interfaces.C.Strings, then your
>> > problem reduces to:
>> >
>> >   type chars_ptr_access is access constant C.Strings.chars_ptr;
>> >   for chars_ptr_access'Storage_Size use 0;
>> >   pragma Convention (C, chars_ptr_access);
>>
>> Ack. And Spark does not allow access types. So my question is still open.
>
> Doesn't Spark have a #hide clause, to turn off Spark checking?  After
> all, you're calling a C library function, so what difference does
> Spark make?

Right, but I'm looking for the Spark frontend of this hide clause.

> You could simply pass type System.Address.

Of course. I can pass any private type, but how do I initialize such a thing?

>   execv(filename, argv_array (argv_array'First)'Address);

This call has to occur in normal Spark.
argv_array has which type? array (Positive range <>) of System.Address?

And the examinder says:
***        Semantic Error    : 54: Illegal attribute: Address.

> Or you could use an access parameter:
>
>   execv(filename, argv_array (argv_array'First)'Access);

How do I do this in a Spark frontend? Of course, I can hide the whole
program, but this is not really a solution.