1 // Copyright 2008 Christophe Henry 2 // henry UNDERSCORE christophe AT hotmail DOT com 3 // This is an extended version of the state machine available in the boost::mpl library 4 // Distributed under the same license as the original. 5 // Copyright for the original version: 6 // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed 7 // under the Boost Software License, Version 1.0. (See accompanying 8 // file LICENSE_1_0.txt or copy at 9 // http://www.boost.org/LICENSE_1_0.txt) 10 11 #ifndef BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H 12 #define BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H 13 14 #include <boost/mpl/assert.hpp> 15 16 #include <boost/msm/back/metafunctions.hpp> 17 18 namespace boost { namespace msm { namespace back 19 { 20 struct mpl_graph_fsm_check 21 { 22 typedef int fsm_check; 23 // checks that regions are truly orthogonal (one state belongs to 1 region) 24 // using the mpl_graph library (part of metagraph) 25 template <class Fsm> check_orthogonalityboost::msm::back::mpl_graph_fsm_check26 static void check_orthogonality() 27 { 28 BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_regions_orthogonality<Fsm>::states_in_regions_raw, 29 ==, 30 ::boost::msm::back::check_regions_orthogonality<Fsm>::cumulated_states_in_regions_raw ); 31 32 } 33 // checks that all states are reachable or created using the explicit_creation typedef 34 // using the mpl_graph library (part of metagraph) 35 template <class Fsm> check_unreachable_statesboost::msm::back::mpl_graph_fsm_check36 static void check_unreachable_states() 37 { 38 BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_no_unreachable_state<Fsm>::states_in_fsm, 39 ==, 40 ::boost::msm::back::check_no_unreachable_state<Fsm>::cumulated_states_in_regions ); 41 42 } 43 }; 44 45 } } }//boost::msm::back 46 47 48 #endif //BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H 49