RE: Trivial Ada question

["Steven Deller" <deller@smsail.com>]

I'd prefer
   ...
   function All_Some_Condition (A : Some_Array) return Boolean is
   begin
    for I in A'range loop
       if not some_condition A(I) then
          return False ;
       end if ;
    end loop ;
    return True ;
   end All_Some_Condition ;
 begin
   ...
   if All_Some_Condition(A) then
    N := N+1 ;
   end if ;
   ...

That seems to make the intention clearer and the main-line code is easy
to read as well.

If you have a lot of "conditions" then you could make a generic
"All_Are" and instantiate with a function computing the necessary
condition.  In the case above, you are simply writing an explicit
instance, e.g.
    function All_True ...
      ...
         if not A(I) then ...

or
    function All_Less_Than_100 ...
      ...
         if not ( A() < 100 ) ...

Regards,
Steve