The Ada Program: fun.adb

  1 -- fun.adb:  a version of "main.adb" using a function
  2 
  3 with Ada.Text_IO, Ada.Integer_Text_IO;
  4 procedure Main is
  5    A: array (1..10,1..20) of Integer;
  6 
  7    function All_Zero (Row: Integer) return Boolean is
  8    begin
  9       for Col in A'Range(2) loop
 10          if A(Row,Col) /= 0 then return False; end if;
 11       end loop;
 12       return True;
 13    end All_Zero;
 14 
 15 begin
 16    Outer: for Row in A'Range(1) loop
 17       if (All_Zero(Row)) then
 18          Ada.Text_IO.Put ("First all-zero row is ");
 19          Ada.Integer_Text_IO.Put (Row);
 20          Ada.Text_IO.New_Line;
 21          exit Outter;
 22       end if;
 23    end loop Outer;
 24 end Main;