// 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
|
