Re: How to get this space away?

[Simon Wright <simon@pushface.org>]

Laurent <daemon2@internet.lu> writes:

> On Tuesday, June 2, 2015 at 10:53:30 PM UTC+2, Simon Wright wrote:
>
>> and instead you need to provide something like
>> 
>>    function "+" (R : String) return Bounded_String is
>>    begin
>>       return To_Bounded_String
>>         (Ada.Strings.Fixed.Trim (R, Ada.Strings.Both));
>>    end "+";
>
> Thanks that works. Just don't understand the detour via fixed strings
> and the Ada.Strings.Both

R is a fixed-length string, so the corresponding string operations are
in Ada.Strings.Fixed.

For Ada.Strings.Fixed.Trim see ARM A.4.3(89) [1].

There are also Trims for Bounded and Unbounded strings, which is why
Both is declared in Ada.Strings. I think trimming the fixed string R to
start with may well be the more efficient, but I haven't checked.

[1] http://www.ada-auth.org/standards/12rm/html/RM-A-4-3.html#p89