Re: [Spark] Arrays of Strings

[Hyman Rosen <hyrosen@mail.com>]

Lutz Donnerhacke wrote:
>    pragma Suppress(All_Checks);
>    subtype Buffer_Index is Positive range 1 .. 10;
>    subtype Buffer is String(Buffer_Index);
>    outbuf : Buffer;
>    outlast : Natural;
>       outbuf := Buffer'(
> 	1 => 'E', 2 => 'r', 3 => 'r', 4 => 'o', 5 => 'r',
> 	others => ' ');
>       outlast := 5;
>    end if;
>    
>    outlast := outlast + 1;
>    outbuf(outlast) := ASCII.LF;

My God, but this code is cringe-inducing! Is there really no way
to fill the buffer except with this character indexing stuff?
Not only that, but all checks are suppressed, and a type Natural
variable is being used to index and write into a fixed size buffer.
You are just begging for a buffer overflow error here.

This is what the reliable Spark subset of Ada gives you? I always
figure people are fooling themselves when they claim their languages
give them reliability, but I expected a little more from Ada!