[boost] Re: Re: Re: Re: Re: [prereview request][fsm]

From: Andreas Huber (ah2003_at_[hidden])
Date: 2004-05-30 17:27:50

E. Gladyshev wrote:
> Just to make that I got it right.
> There is no guarantee that for an unhandled exception, the scope
> guard will do it. Right?
> For the scope guard to work, the exception will have to be caught and
> the stack unwinding triggered.
> So you cannot just say that if an action throws,
> the state machine will be terminated.

True.

> If the stack unwinding never happens, it is never terminated.
> Right?

Exactly.

Regards,

Andreas