Re: Converting pointers to non nul-terminated C "strings" to Ada string

[Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>]

xorquewasp@googlemail.com wrote:
> Yannick Duch�ne Hibou57 wrote:
>> A dirty thing which comes into my mind : when you write
>>
>> procedure memory_data
>>       (data   : out CS.chars_ptr;
>>        size   : out C.int);
>>
>> you may doing some assumption about the the compiler's generated code.
>> In my humble opinion, pointers in C declarations should be mapped to
>> access types in Ada. There is nothing I know which assert that an Ada
>> implementation must use access types to implement out parameters.
> 
> I may indeed. In most cases, I would use access types. I do extremely
> heavy unit testing and haven't found a compiler/OS/arch combo where
> the
> above example doesn't work correctly, however.
> 
>> To know how to properly handle this, the first requirements is to
>> exactly know what does datas stands for.
> 
> It's strictly a binary blob - the output of an encryption function.


Some of the issues are adressed in "Accessing Memory as a String",
http://www.adapower.com/index.php?Command=Class&ClassID=Advanced&CID=213
The article answers the question,

"How do I access a chunck of memory as an Ada string with out
moving or copying the data in Ada95?"

Maybe you can use the size parameter for specifying an
index subtype that porperly constrains the string.