Chris@16: // Copyright 2008 Christophe Henry
Chris@16: // henry UNDERSCORE christophe AT hotmail DOT com
Chris@16: // This is an extended version of the state machine available in the boost::mpl library
Chris@16: // Distributed under the same license as the original.
Chris@16: // Copyright for the original version:
Chris@16: // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed
Chris@16: // under the Boost Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H
Chris@16: #define BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H
Chris@16: 
Chris@16: #include <boost/mpl/assert.hpp>
Chris@16: 
Chris@16: #include <boost/msm/back/metafunctions.hpp>
Chris@16: 
Chris@16: namespace boost { namespace msm { namespace back
Chris@16: {
Chris@16:     struct mpl_graph_fsm_check
Chris@16:     {
Chris@16:         typedef int fsm_check;
Chris@16:         // checks that regions are truly orthogonal (one state belongs to 1 region)
Chris@16:         // using the mpl_graph library (part of metagraph)
Chris@16:         template <class Fsm>
Chris@16:         static void check_orthogonality()
Chris@16:         {
Chris@16:             BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_regions_orthogonality<Fsm>::states_in_regions_raw,
Chris@16:                                        ==, 
Chris@16:                                        ::boost::msm::back::check_regions_orthogonality<Fsm>::cumulated_states_in_regions_raw );
Chris@16: 
Chris@16:         }
Chris@16:         // checks that all states are reachable or created using the explicit_creation typedef
Chris@16:         // using the mpl_graph library (part of metagraph)
Chris@16:         template <class Fsm>
Chris@16:         static void check_unreachable_states()
Chris@16:         {
Chris@16:             BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_no_unreachable_state<Fsm>::states_in_fsm,
Chris@16:                                        ==, 
Chris@16:                                        ::boost::msm::back::check_no_unreachable_state<Fsm>::cumulated_states_in_regions );
Chris@16: 
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16: } } }//boost::msm::back
Chris@16: 
Chris@16: 
Chris@16: #endif //BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H