// 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_ROW2_HPP | |
#define BOOST_MSM_ROW2_HPP | |
#include <boost/type_traits/is_base_of.hpp> | |
#include <boost/mpl/bool.hpp> | |
#include <boost/fusion/include/at_key.hpp> | |
#include <boost/msm/back/common_types.hpp> | |
#include <boost/msm/row_tags.hpp> | |
#include <boost/msm/front/detail/row2_helper.hpp> | |
namespace boost { namespace msm { namespace front | |
{ | |
template< | |
typename T1 | |
, class Event | |
, typename T2 | |
> | |
struct _row2 | |
{ | |
typedef _row_tag row_type_tag; | |
typedef T1 Source; | |
typedef T2 Target; | |
typedef Event Evt; | |
}; | |
template< | |
typename T1 | |
, class Event | |
, typename T2 | |
, typename CalledForAction | |
, void (CalledForAction::*action)(Event const&) | |
> | |
struct a_row2 | |
{ | |
typedef a_row_tag row_type_tag; | |
typedef T1 Source; | |
typedef T2 Target; | |
typedef Event Evt; | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static ::boost::msm::back::HandledEnum action_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
::boost::msm::front::detail::row2_action_helper<CalledForAction,Event,action>::template call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForAction,FSM>::type::value>()); | |
return ::boost::msm::back::HANDLED_TRUE; | |
} | |
}; | |
template< | |
typename T1 | |
, class Event | |
, typename T2 | |
, typename CalledForAction | |
, void (CalledForAction::*action)(Event const&) | |
, typename CalledForGuard | |
, bool (CalledForGuard::*guard)(Event const&) | |
> | |
struct row2 | |
{ | |
typedef row_tag row_type_tag; | |
typedef T1 Source; | |
typedef T2 Target; | |
typedef Event Evt; | |
template <class FSM,class SourceState,class TargetState, class AllStates> | |
static ::boost::msm::back::HandledEnum action_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
::boost::msm::front::detail::row2_action_helper<CalledForAction,Event,action>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForAction,FSM>::type::value>()); | |
return ::boost::msm::back::HANDLED_TRUE; | |
} | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static bool guard_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
return ::boost::msm::front::detail::row2_guard_helper<CalledForGuard,Event,guard>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForGuard,FSM>::type::value>()); | |
} | |
}; | |
template< | |
typename T1 | |
, class Event | |
, typename T2 | |
, typename CalledForGuard | |
, bool (CalledForGuard::*guard)(Event const&) | |
> | |
struct g_row2 | |
{ | |
typedef g_row_tag row_type_tag; | |
typedef T1 Source; | |
typedef T2 Target; | |
typedef Event Evt; | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static bool guard_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
return ::boost::msm::front::detail::row2_guard_helper<CalledForGuard,Event,guard>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForGuard,FSM>::type::value>()); | |
} | |
}; | |
// internal transitions | |
template< | |
typename T1 | |
, class Event | |
, typename CalledForAction | |
, void (CalledForAction::*action)(Event const&) | |
> | |
struct a_irow2 | |
{ | |
typedef a_irow_tag row_type_tag; | |
typedef T1 Source; | |
typedef T1 Target; | |
typedef Event Evt; | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static ::boost::msm::back::HandledEnum action_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
::boost::msm::front::detail::row2_action_helper<CalledForAction,Event,action>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForAction,FSM>::type::value>()); | |
return ::boost::msm::back::HANDLED_TRUE; | |
} | |
}; | |
template< | |
typename T1 | |
, class Event | |
, typename CalledForAction | |
, void (CalledForAction::*action)(Event const&) | |
, typename CalledForGuard | |
, bool (CalledForGuard::*guard)(Event const&) | |
> | |
struct irow2 | |
{ | |
typedef irow_tag row_type_tag; | |
typedef T1 Source; | |
typedef T1 Target; | |
typedef Event Evt; | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static ::boost::msm::back::HandledEnum action_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
::boost::msm::front::detail::row2_action_helper<CalledForAction,Event,action>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForAction,FSM>::type::value>()); | |
return ::boost::msm::back::HANDLED_TRUE; | |
} | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static bool guard_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
return ::boost::msm::front::detail::row2_guard_helper<CalledForGuard,Event,guard>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForGuard,FSM>::type::value>()); | |
} | |
}; | |
template< | |
typename T1 | |
, class Event | |
, typename CalledForGuard | |
, bool (CalledForGuard::*guard)(Event const&) | |
> | |
struct g_irow2 | |
{ | |
typedef g_irow_tag row_type_tag; | |
typedef T1 Source; | |
typedef T1 Target; | |
typedef Event Evt; | |
template <class FSM,class SourceState,class TargetState,class AllStates> | |
static bool guard_call(FSM& fsm,Event const& evt,SourceState& src,TargetState& tgt, | |
AllStates& all_states) | |
{ | |
// in this front-end, we don't need to know source and target states | |
return ::boost::msm::front::detail::row2_guard_helper<CalledForGuard,Event,guard>::call_helper | |
(fsm,evt,src,tgt,all_states, | |
::boost::mpl::bool_< ::boost::is_base_of<CalledForGuard,FSM>::type::value>()); | |
} | |
}; | |
}}} | |
#endif //BOOST_MSM_ROW2_HPP | |