205 lines
8.1 KiB
C++
205 lines
8.1 KiB
C++
// 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
|
|
|