RE: Proposed change to BC iterator parameters

["amado.alves" <amado.alves@netcabo.pt>]

<<...
> with premature termination of the iteration done by raising inside
> Apply an exception which Visit_With_In_Param propagates by
> definition. 

Yeah, that works.  It's not very efficient...>>

In GNAT it is no less efficient than the boolean parameter approach. I've checked experimentally. Is it a *real* problem in other implementations?

<<...Ada really doesn't have very good support for iterators.>>

I see some weaknesses in Ada, but not this one.

<<...
(Goto haters should consider that exceptions are just like gotos, except
you don't know statically where they're going to -- i.e., exceptions are
*worse* than gotos, from a structured programming point of view.)>>

There are two opposing schools of though regarding the use of exceptions for control flow. Obviously I belong to the one that says it's OK.

<<I don't understand the point of Param_Type and Param above.  If you want
to pass extra information to Apply, nest the instantiation in a place
where it can see that data.>>

Exactly, cf. example in my previous message.