Opened 12 years ago
Closed 12 years ago
#4822 closed Bugs (duplicate)
deferral bug
Reported by: | Owned by: | Andreas Huber | |
---|---|---|---|
Milestone: | Boost 1.46.0 | Component: | statechart |
Version: | Boost 1.45.0 | Severity: | Regression |
Keywords: | deferral | Cc: |
Description
#include <boost/statechart/event.hpp> #include <boost/statechart/state_machine.hpp> #include <boost/statechart/simple_state.hpp> #include <boost/statechart/transition.hpp> #include <boost/statechart/deferral.hpp> #include <boost/mpl/list.hpp> #include <boost/test/test_tools.hpp> namespace sc = boost::statechart; namespace mpl = boost::mpl; struct ev1to2 : sc::event< ev1to2 > {}; struct ev2to3 : sc::event< ev2to3 > {}; struct ev3to4_1 : sc::event< ev3to4_1 > {}; struct ev3to4_2 : sc::event< ev3to4_2 > {}; struct s1; struct fsm : sc::state_machine< fsm, s1 > {}; struct s2; struct s1 : sc::simple_state< s1, fsm > { typedef mpl::list< sc::transition< ev1to2, s2 >, sc::deferral< ev2to3 >, sc::deferral< ev3to4_1 >, sc::deferral< ev3to4_2 > > reactions; }; struct s3; struct s2 : sc::simple_state< s2, fsm > { typedef mpl::list< sc::transition< ev2to3, s3 >, sc::deferral< ev3to4_1 >, sc::deferral< ev3to4_2 > > reactions; }; struct s4_1; struct s4_2; struct s3 : sc::simple_state< s3, fsm > { typedef mpl::list< sc::transition< ev3to4_1, s4_1 >, sc::transition< ev3to4_2, s4_2 > > reactions; }; struct s4_1 : sc::simple_state< s4_1, fsm > {}; struct s4_2 : sc::simple_state< s4_2, fsm > {}; int test_main( int, char* [] ) { fsm machine; machine.initiate(); machine.process_event( ev3to4_1() ); machine.process_event( ev3to4_2() ); machine.process_event( ev1to2() ); machine.process_event( ev2to3() ); BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 ); return 0; }
Change History (1)
comment:1 by , 12 years ago
Milestone: | To Be Determined → Boost-1.46.0 |
---|---|
Resolution: | → duplicate |
Status: | new → closed |
Note:
See TracTickets
for help on using tickets.