Re: Empty String confusion; Positive and Natural

[Kevin Chadwick <kevc3no4@gmail.com>]

I have a create function that returns a type RunOutput

I always get range check failed even with a string of multiple characters.

type RunOutput(LogLen, OutputLen : Natural) is record
           LogStr : String(0..LogLen);
           Output : String(0..OutputLen);
...
end record;

I did have the following which works, so long as the string is not empty

type RunOutput(LogLen, OutputLen : Positive) is record
           LogStr : String(1..LogLen);
           Output : String(1..OutputLen);
...
end record;


P.s. I am not using exceptions with messages for log strings because I would rather use features that work with the zero footprint runtime as much as possible, where it makes sense.