Re: Mneson announcement and help request

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Marius Amado Alves <amado.alves@netcabo.pt> wrote:
:> In general, I hate to see code that uses exceptions for normal control flow
:> processing. It certainly appears to
:> me that your code that makes use of the various For_Each_XXX type procedures
:> uses an exception
:> raise to terminate the search when "done".
: 
: Yes, that is a controversial style. Some like it, some don't. Note the 
: planned Ada standard containers are in this style.

How about this, which doesn't need exceptions:

with AI302.Containers.Ordered_Sets;

package Maa is

   type T is range -5 .. +5;

   package Sets_of_T is new AI302.Containers.Ordered_Sets(T);

   generic
      with procedure Process(Pointee: Sets_of_T.Cursor);
   procedure Traverse
     (container: Sets_of_T.Set; Stop: Sets_of_T.Cursor);


end Maa;

package body Maa is

   procedure Traverse
     (container: Sets_of_T.Set; Stop: Sets_of_T.Cursor)
   is
      use Sets_of_T;

      current: Cursor := first(container);
   begin
      while current /= Stop loop
         process(current);
      end loop;
   end Traverse;

end Maa;