is type String from Ada Binary-Safe ?

is type String from Ada Binary-Safe ?

[Daniel Norte Moraes]

Hi, All!

Type String from Ada is Binary-Safe ?

I want use it with a 'recfrom()' from C with udp . 

Thanks in Advance,

[]'s Dani.

Re: is type String from Ada Binary-Safe ?

[Dmitry A. Kazakov]

On 14/09/2016 14:51, Daniel Norte Moraes wrote:

> Type String from Ada is Binary-Safe ?
>
> I want use it with a 'recfrom()' from C with udp .

1. No array with dynamic bounds is. You need a flat array without 
bounds, e.g. a string subtype or object.

2. Whether Character'Size = 8, AFAIK there is no requirement for that in 
Ada.

3. Whether String is packed is not mandated either.

For recfrom the safe choice is to use flat char_array or chars_ptr, see 
the package Interfaces.C.

BTW, Why don't you use GNAT.Sockets?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: is type String from Ada Binary-Safe ?

[Jeffrey R. Carter]

On 09/14/2016 06:12 AM, Dmitry A. Kazakov wrote:
> 
> 3. Whether String is packed is not mandated either.

Type String is defined as packed in ARM A.1.

-- 
Jeff Carter
"Since I strongly believe that overpopulation is by
far the greatest problem in the world, this [Soylent
Green] would be my only message movie."
Charleton Heston
123

Re: is type String from Ada Binary-Safe ?

[AdaMagica]

Am Mittwoch, 14. September 2016 15:12:59 UTC+2 schrieb Dmitry A. Kazakov:
> 3. Whether String is packed is not mandated either.

RM A.1(37/3) type String is array(Positive range <>) of Character with Pack;

Re: is type String from Ada Binary-Safe ?

[Daniel Norte Moraes]

quarta-feira, 14 de Setembro de 2016 às 09:51:53 UTC-3, Daniel Norte Moraes escreveu:
> Hi, All!
> 
> Type String from Ada is Binary-Safe ?
> 
> I want use it with a 'recfrom()' from C with udp . 
> 
> Thanks in Advance,
> 
> []'s Dani.

Very Very Thanks Dmitry, Jeffrey and AdaMagica

I'll try with char_array and chars_ptr mas before this I'll will look at Gnat.Sockets.

Thanks A Lot!!

[]'s Dani.