Re: strange length check error

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 16/01/2018 21:48, Mehdi Saada wrote:
> This : Put(Ch_Bounded1 & ' ' );
> Calls on that:
> function "&"
>       (Left  : in     Bounded_String;
>        Right : in     Character)
>        return Bounded_String
>     is
>     begin
>        if LENGTH(LEFT) + 1 > MAX_LENGTH then
>           raise LENGTH_ERROR with "ERROR '&': LEFT.LENGTH := " & NATURAL'IMAGE(LENGTH(LEFT)) & " + 1 > MAX_LENGTH";
>        else
>   @@@     return (LENGTH(LEFT) + 1, LEFT.DATA(1..LENGTH(LEFT)) & RIGHT);
>        end if;
>     end "&";
> 
> The line with @@@ raises this:
> raised CONSTRAINT_ERROR : p_bounded_g-p_new_bounded_g.adb:34 length check failed
> The value of CH_BOUNDED1 at that moment is "pour tester le debut", its length is 21, and MAX_LENGTH est 80.

Why do you care? It is a wrong design anyway. The whole idea of 
bounded-length strings is avoid reallocation and copying upon string 
modification. [Which is why you should never use them]

Thus, *all* operations on bounded-length strings must be in-place, 
except constructors. If you have "&" that defeats the only purpose of 
having such strings. Use String.

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