Re: [Boost-bugs] [Boost C++ Libraries] #2907: Events no longer reach orthogonal inner state after leaving that state and then returning to it

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #2907: Events no longer reach orthogonal inner state after leaving that state and then returning to it
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2009-04-07 13:37:17

#2907: Events no longer reach orthogonal inner state after leaving that state and
then returning to it
---------------------------------------------------------------------------+
  Reporter:  George van Venrooij <george.van.venrooij_at_[hidden]>  |       Owner:  andreas_huber69                       
      Type:  Bugs                                                          |      Status:  closed                                
 Milestone:  To Be Determined                                              |   Component:  statechart                            
   Version:  Boost 1.37.0                                                  |    Severity:  Problem                               
Resolution:  invalid                                                       |    Keywords:  event fowarding orthogonal inner state
---------------------------------------------------------------------------+

Comment(by George van Venrooij <george.van.venrooij_at_[hidden]>):

 The documented limitation states "(Boost.Statechart)... stops searching
 for reactions as soon as it has found one suitable for the current event".
 I interpret this as follows:

 If there are '''multiple''' orthogonal states specifying reactions for the
 '''same''' event, then ''only one'' of those reactions is triggered.
 That's at least how it reads to me.

 I also deduced that ''at least one'' of those reactions will be triggered,
 but this does not seem to be the case. Am I correct in this conclusion?

 Your explanation of the behavior in steps 4-6 is that the event processing
 mechanism selects one inner orthogonal state (seemingly at random) and if
 that one does not specify a reaction to the current event, then no other
 inner orthogonal states are checked and the event is checked against the
 next outer state.

 Is this correct?

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/2907#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.