123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 |
- // Copyright 2008 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)
- #ifndef BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H
- #define BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H
- #include <boost/mpl/assert.hpp>
- #include <boost/msm/back/metafunctions.hpp>
- namespace boost { namespace msm { namespace back
- {
- struct mpl_graph_fsm_check
- {
- typedef int fsm_check;
- // checks that regions are truly orthogonal (one state belongs to 1 region)
- // using the mpl_graph library (part of metagraph)
- template <class Fsm>
- static void check_orthogonality()
- {
- BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_regions_orthogonality<Fsm>::states_in_regions_raw,
- ==,
- ::boost::msm::back::check_regions_orthogonality<Fsm>::cumulated_states_in_regions_raw );
- }
- // checks that all states are reachable or created using the explicit_creation typedef
- // using the mpl_graph library (part of metagraph)
- template <class Fsm>
- static void check_unreachable_states()
- {
- BOOST_MPL_ASSERT_RELATION( ::boost::msm::back::check_no_unreachable_state<Fsm>::states_in_fsm,
- ==,
- ::boost::msm::back::check_no_unreachable_state<Fsm>::cumulated_states_in_regions );
- }
- };
- } } }//boost::msm::back
- #endif //BOOST_MSM_BACK_MPL_GRAPH_FSM_CHECK_H
|