Re: ToString?

[Jeffrey Carter <jeffrey.carter@boeing.com>]

Martin Dowie wrote:
> 
> > > The string will have a ' ' character at the front if positive.
> >
> > More accurately, the string will have a leading space if the value is
> > not negative.
> 
> Ah, the '0' isn't a positive number thang!

It's easy enough to test:

with Ada.Text_IO;
use Ada.Text_IO
procedure Is_Zero_Positive is
   Zero : constant := 0;
begin -- Is_Zero_Positive
   if Zero in Positive then
      Put_Line ("Zero is Positive");
   else
      Put_Line ("Zero is not Positive");
   end if;
end Is_Zero_Positive;

This puts "Zero is not Positive" to the standard output. QED.

-- 
Jeffrey Carter