Re: Empty String confusion; Positive and Natural

[Kevin Chadwick <kevc3no4@gmail.com>]

> Since String is indexed by Positive (not Natural), the lower bound 
> cannot be 0. OTOH, there is no check for bounds of empty arrays, 
> therefore the following would work:
> type RunOutput(LogLen, OutputLen : Natural) is record
> LogStr : String(1..LogLen); 
> Output : String(1..OutputLen); 
> 
> and you can have empty strings if Loglen or Outputlen is 0, without 
> Constraint_Error. (It's precisely for that reason that there is no check 
> of bounds of empty arrays). 

I See, 
Thanks everyone

I apologise for posting the original thread whilst leaving the office and 
posting without the code upfront.