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