Re: Uninitialized "out" parameters

[johnherro@aol.com (John Herro)]

Samuel Tardieu <sam@inf.enst.fr> writes that Ada 95
allows reading of "out" parameters to allow things like:
>  procedure Fact (N : in Positive; R : out Positive) is
>  begin
>     R := 1;
>     for I in 2 .. N loop
>        R := R * I;       --  Note that the R out parameter gets read
here
>     end loop;
>  end Fact;

     Yes, but this saves us only one variable declaration and one line in
the executable region over the way it would be done in Ada 83:

procedure Fact (N : in Positive; R : out Positive) is
   S : Positive;  -- new
begin
   S := 1;
   for I in 2 .. N loop
      S := S * I;
   end loop;
   R := S;  -- new
end Fact;

- John Herro
Software Innovations Technology
http://members.aol.com/AdaTutor
ftp://members.aol.com/AdaTutor