ceph/src/boost/libs/msm/include/boost/msm/back/mpl_graph_fsm_check.hpp

   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>
  26         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>
  36         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