comp.lang.ada
 help / color / mirror / Atom feed
From: xorquewasp@googlemail.com
Subject: Re: Converting pointers to non nul-terminated C "strings" to Ada string
Date: Sat, 14 Feb 2009 02:41:19 -0800 (PST)
Date: 2009-02-14T02:41:19-08:00	[thread overview]
Message-ID: <bff0b129-cc3a-4d8a-8e83-6fc0fe601f1c@o36g2000yqh.googlegroups.com> (raw)
In-Reply-To: 6334ebd3-ca8d-4f1c-b96a-b49c20650d31@v15g2000yqn.googlegroups.com

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.

> Have a nice sunday

Likewise!



  reply	other threads:[~2009-02-14 10:41 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-02-14  6:58 Converting pointers to non nul-terminated C "strings" to Ada string xorquewasp
2009-02-14  9:26 ` Dmitry A. Kazakov
2009-02-14 10:38   ` xorquewasp
2009-02-14 11:16     ` Dmitry A. Kazakov
2009-02-14 11:37       ` xorquewasp
2009-02-14  9:27 ` Hibou57 (Yannick Duchêne)
2009-02-14 10:41   ` xorquewasp [this message]
2009-02-15 17:44     ` Georg Bauhaus
2009-02-14 11:47   ` Jacob Sparre Andersen
2009-02-14 14:25     ` Hibou57 (Yannick Duchêne)
2009-02-14  9:28 ` sjw
2009-02-14  9:33 ` likai3g
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox