// Copyright 2010 Christophe Henry // henry UNDERSCORE christophe AT hotmail DOT com // This is an extended version of the state machine available in the boost::mpl library // Distributed under the same license as the original. // Copyright for the original version: // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed // under the Boost Software License, Version 1.0. (See accompanying // file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) #include "stdafx.h" #include #include #include #include namespace msm = boost::msm; namespace mpl = boost::mpl; using namespace boost::msm::front::euml; #include #ifdef WIN32 #include "windows.h" #else #include #endif namespace // Concrete FSM implementation { // events BOOST_MSM_EUML_EVENT(play) BOOST_MSM_EUML_EVENT(end_pause) BOOST_MSM_EUML_EVENT(stop) BOOST_MSM_EUML_EVENT(pause) BOOST_MSM_EUML_EVENT(open_close) BOOST_MSM_EUML_EVENT(cd_detected) BOOST_MSM_EUML_ACTION(start_playback) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(open_drawer) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(close_drawer) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(store_cd_info) { template void operator()(EVT const&, FSM& fsm ,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(stop_playback) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(pause_playback) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(resume_playback) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(stop_and_open) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; BOOST_MSM_EUML_ACTION(stopped_again) { template void operator()(EVT const& ,FSM&,SourceState& ,TargetState& ) { } }; // The list of FSM states BOOST_MSM_EUML_STATE((),Empty) BOOST_MSM_EUML_STATE((),Open) BOOST_MSM_EUML_STATE((),Stopped) BOOST_MSM_EUML_STATE((),Playing) BOOST_MSM_EUML_STATE((),Paused) // replaces the old transition table BOOST_MSM_EUML_TRANSITION_TABLE(( Playing == Stopped + play / start_playback , Playing == Paused + end_pause / resume_playback , // +------------------------------------------------------------------------------+ Empty == Open + open_close / close_drawer , // +------------------------------------------------------------------------------+ Open == Empty + open_close / open_drawer , Open == Paused + open_close / stop_and_open , Open == Stopped + open_close / open_drawer , Open == Playing + open_close / stop_and_open , // +------------------------------------------------------------------------------+ Paused == Playing + pause / pause_playback , // +------------------------------------------------------------------------------+ Stopped == Playing + stop / stop_playback , Stopped == Paused + stop / stop_playback , Stopped == Empty + cd_detected / store_cd_info , Stopped == Stopped + stop / stopped_again // +------------------------------------------------------------------------------+ ),transition_table) BOOST_MSM_EUML_ACTION(Log_No_Transition) { template void operator()(Event const& e,FSM&,int state) { std::cout << "no transition from state " << state << " on event " << typeid(e).name() << std::endl; } }; // create a state machine "on the fly" BOOST_MSM_EUML_DECLARE_STATE_MACHINE(( transition_table, //STT init_ << Empty, // Init State no_action, // Entry no_action, // Exit attributes_ << no_attributes_, // Attributes configure_ << no_exception << no_msg_queue, // configuration Log_No_Transition // no_transition handler ), player_) //fsm name typedef msm::back::state_machine player; // // Testing utilities. // static char const* const state_names[] = { "Stopped", "Open", "Empty", "Playing", "Paused" }; void pstate(player const& p) { std::cout << " -> " << state_names[p.current_state()[0]] << std::endl; } } #ifndef WIN32 long mtime(struct timeval& tv1,struct timeval& tv2) { return (tv2.tv_sec-tv1.tv_sec) *1000000 + ((tv2.tv_usec-tv1.tv_usec)); } #endif int main() { // for timing #ifdef WIN32 LARGE_INTEGER res; ::QueryPerformanceFrequency(&res); LARGE_INTEGER li,li2; #else struct timeval tv1,tv2; gettimeofday(&tv1,NULL); #endif player p2; p2.start(); // for timing #ifdef WIN32 ::QueryPerformanceCounter(&li); #else gettimeofday(&tv1,NULL); #endif for (int i=0;i<100;++i) { p2.process_event(open_close); p2.process_event(open_close); p2.process_event(cd_detected); p2.process_event(play); p2.process_event(pause); // go back to Playing p2.process_event(end_pause); p2.process_event(pause); p2.process_event(stop); // event leading to the same state p2.process_event(stop); p2.process_event(open_close); p2.process_event(open_close); } #ifdef WIN32 ::QueryPerformanceCounter(&li2); #else gettimeofday(&tv2,NULL); #endif #ifdef WIN32 std::cout << "msm took in s:" << (double)(li2.QuadPart-li.QuadPart)/res.QuadPart <<"\n" <