From: "Andreas Huber" <ah2003@[...].net> 
To: <boost@[...].org> 
Sent: Thursday, May 27, 2004 9:51 AM
Subject: [boost] Re: [prereview request][fsm]


>  E. Gladyshev <egladysh <at> yahoo.com> writes:
> 
>  > > boost::fsm does exactly this and in a generic fashion.
>  >
>  > Does it mean that the state machine framework allows
>  > me to specify what event it will generate
>  > for a particular exception type?
> 
>  Yes, you can do that if you want (it is a per state machine policy). The
>  default is to always dispatch an exception_thrown event.

After thinking about your solution a bit more,
I don't think that it is generic enough.

Your solution

try{...}
catch(...)
{
try { throw; }
catch( type1 ) { ... }
}

is very different from

try{...}
catch( type1 ) {...}

One of the differences is that in the first case, the stack unwinding will
be
triggered for any exception. In the second case, it is not necessarily the
case.

IMO, a truly generic solution should work like the second case.
So I seem to be back to my previous conclusion:
there is no way to properly discriminate exception types in boost::fsm.

Eugene


_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost