Re: Convert chars_ptr to Ada String

[Anh Vo <anhvofrcaus@gmail.com>]

On Saturday, July 8, 2017 at 11:49:34 PM UTC-7, Victor Porton wrote:
> Anh Vo wrote:
> 
> > On Friday, July 7, 2017 at 3:49:20 PM UTC-7, Victor Porton wrote:
> >> Anh Vo wrote:
> >> 
> >> > On Friday, July 7, 2017 at 2:03:32 PM UTC-7, Victor Porton wrote:
> >> >> Remind me how to convert a pair of Ptr: chars_ptr and Size: size_t to
> >> >> an Ada string.
> >> >> 
> >> >> Ptr may contain NULs and this should not influence the length of the
> >> >> resulting string.
> >> > 
> >> > Look at APIs defined in package Interfaces.C.Strings.
> >> 
> >> I've done it:
> >> 
> >> https://github.com/vporton/redland-bindings/blob/ada2012/ada/src/rdf-auxiliary-convert.adb
> >> 
> >> It requires not only Interfaces.C.Strings but also Interfaces.C.Pointers
> >> to make things more confusing.
> > 
> > Why make it more confusing while it is actually simpler as shown below.
> > 
> > with Interfaces.C.Strings; use Interfaces.C.Strings;
> > 
> > package body RDF.Auxiliary.Convert is
> > 
> >    function Value_With_Possible_NULs (Item:
> >    RDF.Auxiliary.C_Pointers.Pointer; Length: size_t) return String is
> >    begin
> >       return To_Ada(Item, Length);
> 
> I see no such two-argument To_Ada in Interfaces.C.
> 
> Or where to import such To_Ada from?

Oops! I meant function value which is defined in Interfaces.C.Strings.