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_FRONT_EUML_COMMON_H
Chris@16: #define BOOST_MSM_FRONT_EUML_COMMON_H
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/msm/proto_config.hpp>
Chris@16: 
Chris@16: #include <iterator>
Chris@16: #include <utility>
Chris@16: 
Chris@16: #include <boost/proto/core.hpp>
Chris@16: #include <boost/proto/transform.hpp>
Chris@16: 
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: #include <boost/type_traits/remove_reference.hpp>
Chris@16: #include <boost/type_traits/add_const.hpp>
Chris@16: 
Chris@16: #include <boost/mpl/vector.hpp>
Chris@16: #include <boost/mpl/set.hpp>
Chris@16: #include <boost/mpl/has_key.hpp>
Chris@16: #include <boost/mpl/int.hpp>
Chris@16: #include <boost/mpl/less_equal.hpp>
Chris@16: 
Chris@16: #if BOOST_VERSION >= 104000
Chris@16: #include <boost/mpl/string.hpp>
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/fusion/container/vector.hpp>
Chris@16: #include <boost/fusion/include/at_c.hpp>
Chris@16: #include <boost/fusion/include/make_map.hpp>
Chris@16: #include <boost/fusion/include/pair.hpp>
Chris@16: #include <boost/fusion/include/as_vector.hpp>
Chris@16: #include <boost/fusion/include/pair.hpp>
Chris@16: #include <boost/fusion/include/is_sequence.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/remove_reference.hpp>
Chris@16: 
Chris@16: #include <boost/preprocessor/repetition/enum_params.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/sub.hpp>
Chris@16: #include <boost/preprocessor/punctuation/comma_if.hpp>
Chris@16: #include <boost/preprocessor/control/expr_if.hpp> 
Chris@16: #include <boost/preprocessor/punctuation/comma.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/add.hpp>
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/comparison/less.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/dec.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat_from_to.hpp>
Chris@16: #include <boost/preprocessor/cat.hpp> 
Chris@16: 
Chris@16: #include <boost/msm/msm_grammar.hpp>
Chris@16: #include <boost/msm/active_state_switching_policies.hpp>
Chris@16: #include <boost/msm/event_traits.hpp>
Chris@16: #include <boost/msm/front/functor_row.hpp>
Chris@16: 
Chris@16: namespace proto = boost::proto;
Chris@16: 
Chris@16: BOOST_MPL_HAS_XXX_TRAIT_DEF(tag_type)
Chris@16: BOOST_MPL_HAS_XXX_TRAIT_DEF(action_name)
Chris@16: BOOST_MPL_HAS_XXX_TRAIT_DEF(not_intern_euml_state)
Chris@16: 
Chris@16: namespace boost { namespace msm { namespace front { namespace euml
Chris@16: {
Chris@16: template <class T>
Chris@16: struct get_iterator 
Chris@16: {
Chris@16:     typedef typename T::iterator type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_reverse_iterator 
Chris@16: {
Chris@16:     typedef typename T::reverse_iterator type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_reference 
Chris@16: {
Chris@16:     typedef typename T::reference type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_size_type 
Chris@16: {
Chris@16:     typedef typename T::size_type type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_value_type 
Chris@16: {
Chris@16:     typedef typename T::value_type type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_first_type 
Chris@16: {
Chris@16:     typedef typename T::first_type type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_second_type 
Chris@16: {
Chris@16:     typedef typename T::second_type type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_action_tag_type 
Chris@16: {
Chris@16:     typedef typename ::boost::mpl::has_key<
Chris@16:         typename T::tag_type,action_tag>::type type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_state_action_tag_type 
Chris@16: {
Chris@16:     typedef typename ::boost::mpl::has_key<
Chris@16:         typename T::tag_type,state_action_tag>::type type;
Chris@16: };
Chris@16: 
Chris@16: template <class T,class EVT,class FSM,class SourceState,class TargetState>
Chris@16: struct get_result_type 
Chris@16: {
Chris@16:     typedef typename T::template transition_action_result<EVT,FSM,SourceState,TargetState>::type type;
Chris@16: };
Chris@16: template <class T,class Event,class FSM,class STATE>
Chris@16: struct get_result_type2 
Chris@16: {
Chris@16:     typedef typename T::template state_action_result<Event,FSM,STATE>::type type;
Chris@16: };
Chris@16: template<class SEQ>
Chris@16: struct get_sequence
Chris@16: {
Chris@16:     typedef typename SEQ::sequence type;
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct get_attributes_type
Chris@16: {
Chris@16:     typedef typename T::attributes_type type;
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct get_euml_tag_type
Chris@16: {
Chris@16:     typedef typename T::euml_tag_type type;
Chris@16: };
Chris@16: 
Chris@16: template <class T,class Arg1=void,class Arg2=void,class Arg3=void,class Arg4=void,class Arg5=void
Chris@16: #ifdef BOOST_MSVC
Chris@16: ,class Arg6=void
Chris@16: #endif
Chris@16: >
Chris@16: struct get_fct 
Chris@16: {
Chris@16:     typedef typename T::template In<Arg1,Arg2,Arg3,Arg4,Arg5
Chris@16: #ifdef BOOST_MSVC
Chris@16: ,Arg6
Chris@16: #endif
Chris@16: >::type type;
Chris@16: };
Chris@16: 
Chris@16: // used to differentiate between different types of euml_state's
Chris@16: template <class T,class Enable=void>
Chris@16: struct get_state_name 
Chris@16: {
Chris@16:     typedef T type;
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct get_state_name<T,typename ::boost::enable_if<has_not_intern_euml_state<T> >::type>
Chris@16: {
Chris@16:     typedef typename T::In::type type;
Chris@16: };
Chris@16: 
Chris@16: template <class T>
Chris@16: struct get_action_name 
Chris@16: {
Chris@16:     typedef typename T::action_name type;
Chris@16: };
Chris@16: template <class T>
Chris@16: struct get_event_name 
Chris@16: {
Chris@16:     typedef typename T::event_name type;
Chris@16: };
Chris@16: 
Chris@16: template <class EVT>
Chris@16: struct euml_event: proto::extends<typename proto::terminal<event_tag>::type, EVT, boost::msm::sm_domain>
Chris@16: {
Chris@16:     typedef event_tag euml_tag_type;
Chris@16:     typedef EVT event_name;
Chris@16:     using proto::extends<typename proto::terminal<event_tag>::type, EVT, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef EVT type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template <class STATE>
Chris@16: struct euml_state_intern: proto::extends<typename proto::terminal< boost::msm::state_tag>::type, STATE, boost::msm::state_domain>
Chris@16: {
Chris@16:     typedef state_tag euml_tag_type;
Chris@16:     using proto::extends<typename proto::terminal<state_tag>::type, STATE, boost::msm::state_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:         ,class Arg6 
Chris@16: #endif
Chris@16:     >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef STATE type;
Chris@16:     };
Chris@16: };
Chris@16: template <class STATE>
Chris@16: struct euml_state: proto::extends<typename proto::terminal< boost::msm::state_tag>::type, STATE, boost::msm::state_domain>
Chris@16: {
Chris@16:     typedef state_tag euml_tag_type;
Chris@16:     typedef int not_intern_euml_state;
Chris@16:     using proto::extends<typename proto::terminal<state_tag>::type, STATE, boost::msm::state_domain>::operator=;
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef STATE type;
Chris@16:     };
Chris@16: };
Chris@16: template <class ACTION>
Chris@16: struct euml_action: proto::extends<typename proto::terminal<action_tag>::type, ACTION, boost::msm::sm_domain>
Chris@16: {
Chris@16:     typedef action_tag euml_tag_type;
Chris@16:     typedef ACTION action_name;
Chris@16:     using proto::extends<typename proto::terminal<action_tag>::type, ACTION, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef ACTION type;
Chris@16:     };
Chris@16: };
Chris@16: template <class FLAG>
Chris@16: struct euml_flag: proto::extends<typename proto::terminal<flag_tag>::type, FLAG, boost::msm::sm_domain>
Chris@16: {
Chris@16:     typedef flag_tag euml_tag_type;
Chris@16:     using proto::extends<typename proto::terminal<flag_tag>::type, FLAG, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef FLAG type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template <class CONFIG>
Chris@16: struct euml_config: proto::extends<typename proto::terminal<config_tag>::type, CONFIG, boost::msm::sm_domain>
Chris@16: {
Chris@16:     typedef config_tag euml_tag_type;
Chris@16:     using proto::extends<typename proto::terminal<config_tag>::type, CONFIG, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef CONFIG type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: struct No_Exception : euml_config<No_Exception>
Chris@16: {
Chris@16:     typedef int no_exception_thrown;
Chris@16:     No_Exception(){}
Chris@16: };
Chris@16: struct No_Msg_Queue : euml_config<No_Msg_Queue>
Chris@16: {
Chris@16:     typedef int no_message_queue;
Chris@16:     No_Msg_Queue(){}
Chris@16: };
Chris@16: struct Deferred_Events : euml_config<Deferred_Events>
Chris@16: {
Chris@16:     typedef int activate_deferred_events;
Chris@16:     Deferred_Events(){}
Chris@16: };
Chris@16: No_Exception const no_exception=No_Exception();
Chris@16: No_Msg_Queue const no_msg_queue=No_Msg_Queue();
Chris@16: Deferred_Events const deferred_events=Deferred_Events();
Chris@16: 
Chris@16: struct ActiveStateSwitchBeforeTransition : euml_config<ActiveStateSwitchBeforeTransition>
Chris@16: {
Chris@16:     typedef boost::msm::active_state_switch_before_transition active_state_switch_policy;
Chris@16:     ActiveStateSwitchBeforeTransition(){}
Chris@16: };
Chris@16: ActiveStateSwitchBeforeTransition const switch_active_before_transition = ActiveStateSwitchBeforeTransition();
Chris@16: 
Chris@16: struct ActiveStateSwitchAfterExit : euml_config<ActiveStateSwitchAfterExit>
Chris@16: {
Chris@16:     typedef boost::msm::active_state_switch_after_exit active_state_switch_policy;
Chris@16:     ActiveStateSwitchAfterExit(){}
Chris@16: };
Chris@16: ActiveStateSwitchAfterExit const switch_active_after_exit = ActiveStateSwitchAfterExit();
Chris@16: 
Chris@16: struct ActiveStateSwitchAfterAction : euml_config<ActiveStateSwitchAfterAction>
Chris@16: {
Chris@16:     typedef boost::msm::active_state_switch_after_transition_action active_state_switch_policy;
Chris@16:     ActiveStateSwitchAfterAction(){}
Chris@16: };
Chris@16: ActiveStateSwitchAfterAction const switch_active_after_action = ActiveStateSwitchAfterAction();
Chris@16: 
Chris@16: 
Chris@16: struct invalid_type{};
Chris@16: struct make_invalid_type
Chris@16: {
Chris@16:     typedef invalid_type type;
Chris@16: };
Chris@16: 
Chris@16: template <class ROW>
Chris@16: struct make_vector_one_row 
Chris@16: {
Chris@16:     typedef boost::mpl::vector<ROW> type;
Chris@16: };
Chris@16: template <class T>
Chris@16: T make_T(T t) {return t;}
Chris@16: 
Chris@16: struct make_vector_no_row 
Chris@16: {
Chris@16:     typedef boost::mpl::vector0<> type;
Chris@16: };
Chris@16: 
Chris@16: struct NoAction : euml_action<NoAction>
Chris@16: {
Chris@16:     NoAction(){}
Chris@16:     // return value if used inside a state action (entry/exit)
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     // return value if used inside a transition (action/guard)
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     // this functor can be used in both modes, state action and transition action
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const&,FSM&,STATE& )
Chris@16:     {
Chris@16:         // does nothing
Chris@16:         return true;
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& ,FSM& ,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         // does nothing
Chris@16:         return true;
Chris@16:     }
Chris@16: };
Chris@16: NoAction const no_action = NoAction();
Chris@16: 
Chris@16: struct fsm_artefact_tag {};
Chris@16: template <class Index=void>
Chris@16: struct GetSource_ : euml_action<GetSource_<Index> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::fusion::result_of::at_key<typename SourceState::attributes_type,
Chris@16:                                                         Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& ,FSM& ,SourceState& src,TargetState&)const
Chris@16:     {
Chris@16:         return src.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template<>
Chris@16: struct GetSource_<void> : euml_action<GetSource_<void> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef SourceState& type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:      operator()(EVT const& , FSM&,SourceState& src,TargetState& )const
Chris@16:     {
Chris@16:         return src;
Chris@16:     }
Chris@16: };
Chris@16: struct GetSource_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, GetSource_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     GetSource_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef GetSource_<Arg1> type;
Chris@16:     };
Chris@16: };
Chris@16: GetSource_Helper const source_ = GetSource_Helper();
Chris@16: 
Chris@16: template <class Index=void>
Chris@16: struct GetTarget_ : euml_action<GetTarget_<Index> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::fusion::result_of::at_key<typename TargetState::attributes_type,
Chris@16:                                                         Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& ,FSM& ,SourceState& ,TargetState& tgt)const
Chris@16:     {
Chris@16:         return tgt.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template<>
Chris@16: struct GetTarget_<void> : euml_action<GetTarget_<void> >
Chris@16: {
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef TargetState& type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:      operator()(EVT const& , FSM&,SourceState& ,TargetState& tgt)const
Chris@16:     {
Chris@16:         return tgt;
Chris@16:     }
Chris@16: };
Chris@16: struct GetTarget_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, GetTarget_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     GetTarget_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef GetTarget_<Arg1> type;
Chris@16:     };
Chris@16: };
Chris@16: GetTarget_Helper const target_ = GetTarget_Helper();
Chris@16: 
Chris@16: template <class Index=void>
Chris@16: struct GetState_ : euml_action<GetState_<Index> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::fusion::result_of::at_key<typename STATE::attributes_type,
Chris@16:                                                         Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const&,FSM& ,STATE& state )
Chris@16:     {
Chris@16:         return state.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template<>
Chris@16: struct GetState_<void> : euml_action<GetState_<void> >
Chris@16: {
Chris@16:     using euml_action<GetState_ >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef STATE& type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:      operator()(Event const&,FSM& ,STATE& state )
Chris@16:     {
Chris@16:         return state;
Chris@16:     }
Chris@16: };
Chris@16: struct GetState_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, GetState_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     GetState_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef GetState_<Arg1> type;
Chris@16:     };
Chris@16: };
Chris@16: GetState_Helper const state_ = GetState_Helper();
Chris@16: 
Chris@16: template <class Index=void>
Chris@16: struct GetEvent_ : euml_action<GetEvent_<Index> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::add_const<
Chris@16:             typename ::boost::fusion::result_of::at_key<typename Event::attributes_type,
Chris@16:                                                         Index >::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::add_const<
Chris@16:             typename ::boost::fusion::result_of::at_key<typename EVT::attributes_type,
Chris@16:                                                         Index >::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const& evt,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return evt.get_attribute(Index());
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& evt ,FSM& ,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         return evt.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template <>
Chris@16: struct GetEvent_<void> : euml_action<GetEvent_<void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef Event const& type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef EVT const& type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const& evt,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return evt;
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& evt ,FSM& ,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         return evt;
Chris@16:     }
Chris@16: };
Chris@16: struct GetEvent_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, GetEvent_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     GetEvent_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef GetEvent_<Arg1> type;
Chris@16:     };
Chris@16: };
Chris@16: GetEvent_Helper const event_ = GetEvent_Helper();
Chris@16: 
Chris@16: template <class Index=void>
Chris@16: struct GetFsm_ : euml_action<GetFsm_<Index> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::fusion::result_of::at_key<typename FSM::attributes_type,
Chris@16:                                                         Index >::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::fusion::result_of::at_key<typename FSM::attributes_type,
Chris@16:                                                         Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const&,FSM& fsm,STATE& )
Chris@16:     {
Chris@16:         return fsm.get_attribute(Index());
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& ,FSM& fsm,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         return fsm.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template<>
Chris@16: struct GetFsm_<void> : euml_action<GetFsm_<void> >
Chris@16: {
Chris@16:     using euml_action<GetFsm_>::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef FSM& type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef FSM& type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const&,FSM& fsm,STATE& )
Chris@16:     {
Chris@16:         return fsm;
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& ,FSM& fsm,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         return fsm;
Chris@16:     }
Chris@16: };
Chris@16: struct GetFsm_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, GetFsm_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     GetFsm_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef GetFsm_<Arg1> type;
Chris@16:     };
Chris@16: };
Chris@16: GetFsm_Helper const fsm_ = GetFsm_Helper();
Chris@16: 
Chris@16: template <class StateName,class Param1>
Chris@16: struct SubState_ : euml_action<SubState_<StateName, Param1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef StateName& type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef StateName& type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     StateName& operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (Param1()(evt,fsm,src,tgt)).template get_state<StateName&>();
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     StateName& operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         return (Param1()(evt,fsm,state)).template get_state<StateName&>();
Chris@16:     }
Chris@16: };
Chris@16: template <class StateName>
Chris@16: struct SubState_ <StateName,void>
Chris@16:     : euml_action<SubState_<StateName, void > >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef StateName& type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef StateName& type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     StateName& operator()(EVT const&,FSM& fsm,SourceState& ,TargetState& )const
Chris@16:     {
Chris@16:         return fsm.template get_state<StateName&>();
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     StateName& operator()(Event const& ,FSM& fsm,STATE&  )const
Chris@16:     {
Chris@16:         return fsm.template get_state<StateName&>();
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct SubState_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, SubState_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     SubState_Helper(){}
Chris@16:     using proto::extends< proto::terminal<fsm_artefact_tag>::type, SubState_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef SubState_<Arg1,Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: SubState_Helper const substate_ = SubState_Helper();
Chris@16: 
Chris@16: template <class Target,class Index>
Chris@16: struct GetAttribute_  : euml_action<GetAttribute_<Target, Index> >
Chris@16: {
Chris@16:     using euml_action<GetAttribute_<Target,Index> >::operator=;
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<
Chris@16:             typename get_attributes_type<
Chris@16:                     typename ::boost::remove_reference<
Chris@16:                                 typename get_result_type2<Target,Event,FSM,STATE>::type>::type>::type,
Chris@16:                     Index >::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<
Chris@16:             typename get_attributes_type<
Chris@16:                     typename ::boost::remove_reference<
Chris@16:                         typename get_result_type<Target,EVT,FSM,SourceState,TargetState>::type>::type>::type,
Chris@16:                     Index >::type type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename Target::tag_type,action_tag>::type,
Chris@16:             typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type 
Chris@16:      operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (Target()(evt,fsm,src,tgt)).get_attribute(Index());
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename ::boost::enable_if<
Chris@16:         typename ::boost::mpl::has_key<
Chris@16:             typename Target::tag_type,state_action_tag>::type,
Chris@16:             typename state_action_result<Event,FSM,STATE>::type >::type 
Chris@16:      operator()(Event const& evt,FSM& fsm,STATE& state )const
Chris@16:     {
Chris@16:         return (Target()(evt,fsm,state)).get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct GetAttribute_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, GetAttribute_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     GetAttribute_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef GetAttribute_<Arg1,Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: GetAttribute_Helper const attribute_ = GetAttribute_Helper();
Chris@16: 
Chris@16: template <class Index>
Chris@16: struct Source_ : euml_action<Source_<Index> >
Chris@16: {
Chris@16:     using euml_action<Source_<Index> >::operator=;
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<typename SourceState::attributes_type,
Chris@16:                                                Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& , FSM&,SourceState& src,TargetState& )const
Chris@16:     {
Chris@16:         return src.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template <class Index>
Chris@16: struct Target_ : euml_action<Target_<Index> >
Chris@16: {
Chris@16:     using euml_action<Target_<Index> >::operator=;
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<typename TargetState::attributes_type,
Chris@16:                                                Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& ,FSM& ,SourceState& ,TargetState& tgt)const
Chris@16:     {
Chris@16:         return tgt.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template <class Index>
Chris@16: struct State_ : euml_action<State_<Index> >
Chris@16: {
Chris@16:     using euml_action<State_<Index> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<typename STATE::attributes_type,
Chris@16:                                                Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const&,FSM& ,STATE& state )
Chris@16:     {
Chris@16:         return state.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template <class Index>
Chris@16: struct Event_ : euml_action<Event_<Index> >
Chris@16: {
Chris@16:     using euml_action<Event_<Index> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::add_const<
Chris@16:             typename ::boost::fusion::result_of::at_key<typename Event::attributes_type,
Chris@16:                                                         Index >::type>::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename ::boost::add_const<
Chris@16:             typename ::boost::fusion::result_of::at_key<typename EVT::attributes_type,
Chris@16:                                                         Index >::type>::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const& evt,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return evt.get_attribute(Index());
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@16:         operator()(EVT const& evt ,FSM& ,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         return evt.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: template <class StateType,class Index>
Chris@16: struct State_Attribute_ : euml_action<State_Attribute_<StateType,Index> >
Chris@16: {
Chris@16:     using euml_action<State_Attribute_<StateType,Index> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<typename StateType::attributes_type,
Chris@16:                                                Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const&,FSM& fsm,STATE& )
Chris@16:     {
Chris@16:         return fsm.template get_state<StateType&>().get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Index>
Chris@16: struct Fsm_ : euml_action<Fsm_<Index> >
Chris@16: {
Chris@16:     using euml_action<Fsm_<Index> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<typename FSM::attributes_type,
Chris@16:                                                Index >::type type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef typename 
Chris@16:             ::boost::fusion::result_of::at_key<typename FSM::attributes_type,
Chris@16:                                                Index >::type type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     typename state_action_result<Event,FSM,STATE>::type
Chris@16:         operator()(Event const&,FSM& fsm,STATE& )
Chris@16:     {
Chris@16:         return fsm.get_attribute(Index());
Chris@16:     }
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     typename transition_action_result<EVT,FSM,SourceState,TargetState>::type 
Chris@101:         operator()(EVT const& ,FSM& fsm,SourceState& ,TargetState&)const
Chris@16:     {
Chris@16:         return fsm.get_attribute(Index());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct True_ : euml::euml_action<True_>
Chris@16: {
Chris@16:     using euml_action<True_>::operator=;
Chris@16:     True_(){}
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const&,FSM&,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return true;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const&,FSM&,STATE& )
Chris@16:     {
Chris@16:         return true;
Chris@16:     }
Chris@16: };
Chris@16: True_ const true_ = True_();
Chris@16: 
Chris@16: struct False_ : euml::euml_action<False_>
Chris@16: {
Chris@16:     using euml_action<False_>::operator=;
Chris@16:     False_(){}
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const&,FSM&,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return false;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const&,FSM&,STATE& )
Chris@16:     {
Chris@16:         return false;
Chris@16:     }
Chris@16: };
Chris@16: False_ const false_ = False_();
Chris@16: 
Chris@16: template <int Val>
Chris@16: struct Int_ : euml_action<Int_<Val> >
Chris@16: {
Chris@16:     using euml_action<Int_<Val> >::operator=;
Chris@16:     typedef ::boost::mpl::int_<Val> value_type;
Chris@16:     enum {value = Val};
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef int type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef int type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     int operator()(EVT const& , FSM& ,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return Val;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     int operator()(Event const& ,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return Val;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <char Val>
Chris@16: struct Char_ : euml_action<Char_<Val> >
Chris@16: {
Chris@16:     using euml_action<Char_<Val> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef char type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef char type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     char operator()(EVT const& , FSM& ,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return Val;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     char operator()(Event const& ,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return Val;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <size_t Val>
Chris@16: struct Size_t_ : euml_action<Size_t_<Val> >
Chris@16: {
Chris@16:     using euml_action<Size_t_<Val> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef size_t type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef size_t type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     size_t operator()(EVT const& , FSM& ,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return Val;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     size_t operator()(Event const& ,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return Val;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: #if BOOST_VERSION >= 104000
Chris@16: 
Chris@16: template <class T>
Chris@16: struct String_ : euml_action<String_<T> >
Chris@16: {
Chris@16:     using euml_action<String_<T> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef char const* type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef char const* type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     char const* operator()(EVT const& , FSM& ,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return ::boost::mpl::c_str<T>::value;
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     char const* operator()(Event const& ,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return ::boost::mpl::c_str<T>::value;
Chris@16:     }
Chris@16: };
Chris@16: #endif
Chris@16: 
Chris@16: 
Chris@16: template <class T>
Chris@16: struct Predicate_ : euml_action<Predicate_<T> >
Chris@16: {
Chris@16:     using euml_action<Predicate_<T> >::operator=;
Chris@16: 
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef T type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef T type;
Chris@16:     };
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     T operator()(EVT const& , FSM& ,SourceState& ,TargetState& )
Chris@16:     {
Chris@16:         return T();
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     T operator()(Event const& ,FSM& ,STATE& )
Chris@16:     {
Chris@16:         return T();
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Param1, class Param2, class Param3, class Param4>
Chris@16: struct Process_ : euml_action<Process_<ToProcessEvt, Param1, Param2, Param3, Param4> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:         (Param3()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:         (Param4()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:         (Param2()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:         (Param3()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:         (Param4()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16: };
Chris@16: template <class ToProcessEvt>
Chris@16: struct Process_ <ToProcessEvt,void,void,void,void>
Chris@16:     : euml_action<Process_<ToProcessEvt, void, void, void, void > >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const&,FSM& fsm,SourceState& ,TargetState& )const
Chris@16:     {
Chris@16:         fsm.process_event(ToProcessEvt());
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& ,FSM& fsm,STATE&  )const
Chris@16:     {
Chris@16:         fsm.process_event(ToProcessEvt());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Param1>
Chris@16: struct Process_ <ToProcessEvt,Param1,void,void,void>
Chris@16:     : euml_action<Process_<ToProcessEvt, Param1, void, void, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Param1, class Param2>
Chris@16: struct Process_ <ToProcessEvt,Param1,Param2,void,void>
Chris@16:     : euml_action<Process_<ToProcessEvt, Param1, Param2, void, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:         (Param2()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Param1, class Param2, class Param3>
Chris@16: struct Process_ <ToProcessEvt,Param1,Param2,Param3,void>
Chris@16:     : euml_action<Process_<ToProcessEvt, Param1, Param2, Param3, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:         (Param3()(evt,fsm,src,tgt)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:         (Param2()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:         (Param3()(evt,fsm,state)).process_event(ToProcessEvt());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: //version for process_(event_)
Chris@16: template <>
Chris@16: struct Process_ <GetEvent_<void>,void,void,void,void>
Chris@16:     : euml_action<Process_<GetEvent_<void>, void, void, void, void > >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& ,TargetState& )const
Chris@16:     {
Chris@16:         fsm.process_event(evt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  )const
Chris@16:     {
Chris@16:         fsm.process_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct process_tag {};
Chris@16: struct Process_Helper: proto::extends< proto::terminal<process_tag>::type, Process_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Process_Helper(){}
Chris@16:     using proto::extends< proto::terminal<process_tag>::type, Process_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef Process_<Arg1,Arg2,Arg3,Arg4,Arg5> type;
Chris@16:     };
Chris@16: };
Chris@16: Process_Helper const process_ = Process_Helper();
Chris@16: 
Chris@16: template <class Param1, class Param2, class Param3, class Param4>
Chris@16: struct Reprocess_ : euml_action<Reprocess_<Param1, Param2, Param3, Param4> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:         (Param3()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:         (Param4()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(evt);
Chris@16:         (Param2()(evt,fsm,state)).process_event(evt);
Chris@16:         (Param3()(evt,fsm,state)).process_event(evt);
Chris@16:         (Param4()(evt,fsm,state)).process_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: template <>
Chris@16: struct Reprocess_ <void,void,void,void>
Chris@16:     : euml_action<Reprocess_<void, void, void, void > >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& ,TargetState& )const
Chris@16:     {
Chris@16:         fsm.process_event(evt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  )const
Chris@16:     {
Chris@16:         fsm.process_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Param1>
Chris@16: struct Reprocess_ <Param1,void,void,void>
Chris@16:     : euml_action<Reprocess_<Param1, void, void, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Param1, class Param2>
Chris@16: struct Reprocess_ <Param1,Param2,void,void>
Chris@16:     : euml_action<Reprocess_<Param1, Param2, void, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(evt);
Chris@16:         (Param2()(evt,fsm,state)).process_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Param1, class Param2, class Param3>
Chris@16: struct Reprocess_ <Param1,Param2,Param3,void>
Chris@16:     : euml_action<Reprocess_<Param1, Param2, Param3, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:         (Param3()(evt,fsm,src,tgt)).process_event(evt);
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(evt);
Chris@16:         (Param2()(evt,fsm,state)).process_event(evt);
Chris@16:         (Param3()(evt,fsm,state)).process_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: struct reprocess_tag {};
Chris@16: struct Reprocess_Helper: proto::extends< proto::terminal<reprocess_tag>::type, Reprocess_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Reprocess_Helper(){}
Chris@16:     using proto::extends< proto::terminal<reprocess_tag>::type, Reprocess_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef Reprocess_<Arg1,Arg2,Arg3,Arg4> type;
Chris@16:     };
Chris@16: };
Chris@16: Reprocess_Helper const reprocess_ = Reprocess_Helper();
Chris@16: 
Chris@16: template <class ToProcessEvt,class Value,class Param1, class Param2, class Param3>
Chris@16: struct Process2_ : euml_action<Process2_<ToProcessEvt,Value, Param1, Param2, Param3> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:         (Param3()(evt,fsm,src,tgt)).process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:         (Param2()(evt,fsm,state)).process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:         (Param3()(evt,fsm,state)).process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Value>
Chris@16: struct Process2_ <ToProcessEvt,Value,void,void,void>
Chris@16:     : euml_action<Process2_<ToProcessEvt,Value, void, void, void > >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         fsm.process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         fsm.process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Value,class Param1>
Chris@16: struct Process2_ <ToProcessEvt,Value,Param1,void,void>
Chris@16:     : euml_action<Process2_<ToProcessEvt,Value, Param1, void, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class ToProcessEvt,class Value,class Param1, class Param2>
Chris@16: struct Process2_ <ToProcessEvt,Value,Param1,Param2,void>
Chris@16:     : euml_action<Process2_<ToProcessEvt,Value, Param1, Param2, void> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef void type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,src,tgt)).process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:         (Param2()(evt,fsm,src,tgt)).process_event(ToProcessEvt(Value()(evt,fsm,src,tgt)));
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     void operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         (Param1()(evt,fsm,state)).process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:         (Param2()(evt,fsm,state)).process_event(ToProcessEvt(Value()(evt,fsm,state)));
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct process2_tag {};
Chris@16: struct Process2_Helper : proto::extends< proto::terminal<process2_tag>::type, Process2_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Process2_Helper(){}
Chris@16:     using proto::extends< proto::terminal<process2_tag>::type, Process2_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef Process2_<Arg1,Arg2,Arg3,Arg4,Arg5> type;
Chris@16:     };
Chris@16: };
Chris@16: Process2_Helper const process2_ = Process2_Helper();
Chris@16: 
Chris@16: template <class Flag,class Param1=void, class Enable=void >                                             
Chris@16: struct Get_Flag_ : euml_action<Get_Flag_<Flag,Param1,Enable> > {};        
Chris@16: 
Chris@16: template <class Flag,class Param1>
Chris@16: struct Get_Flag_ <Flag,Param1
Chris@16:     , typename ::boost::enable_if<typename ::boost::is_same<Param1,void>::type >::type>
Chris@16:     : euml_action<Get_Flag_<Flag, Param1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const&,FSM& fsm,SourceState& ,TargetState& )const
Chris@16:     {
Chris@16:         return fsm.template is_flag_active<Flag>();
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& ,FSM& fsm,STATE&  )const
Chris@16:     {
Chris@16:         return fsm.template is_flag_active<Flag>();
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <class Flag,class Param1>
Chris@16: struct Get_Flag_ <Flag,Param1
Chris@16:     , typename ::boost::disable_if<
Chris@16:             typename ::boost::is_same<Param1,void>::type
Chris@16:             >::type>
Chris@16:     : euml_action<Get_Flag_<Flag, Param1> >
Chris@16: {
Chris@16:     template <class Event,class FSM,class STATE >
Chris@16:     struct state_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     struct transition_action_result 
Chris@16:     {
Chris@16:         typedef bool type;
Chris@16:     };
Chris@16: 
Chris@16:     typedef ::boost::mpl::set<state_action_tag,action_tag> tag_type;
Chris@16: 
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     bool operator()(EVT const& evt,FSM& fsm,SourceState& src,TargetState& tgt)const
Chris@16:     {
Chris@16:         return (Param1()(evt,fsm,src,tgt)).template is_flag_active<Flag>();
Chris@16:     }
Chris@16:     template <class Event,class FSM,class STATE>
Chris@16:     bool operator()(Event const& evt,FSM& fsm,STATE&  state)const
Chris@16:     {
Chris@16:         return (Param1()(evt,fsm,state)).template is_flag_active<Flag>();
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: struct Get_Flag_Helper: proto::extends< proto::terminal<fsm_artefact_tag>::type, Get_Flag_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Get_Flag_Helper(){}
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef Get_Flag_<Arg1,Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: Get_Flag_Helper const is_flag_ = Get_Flag_Helper();
Chris@16: 
Chris@16: // deferring an event
Chris@16: struct DeferEvent_ : euml_action< DeferEvent_ >
Chris@16: {
Chris@16:     typedef ::boost::mpl::set<action_tag> tag_type;
Chris@16:     // mark as deferring to avoid stack overflows in certain conditions
Chris@16:     typedef int deferring_action;
Chris@16:     template <class EVT,class FSM,class SourceState,class TargetState>
Chris@16:     void operator()(EVT const& evt,FSM& fsm,SourceState& ,TargetState& ) const
Chris@16:     {
Chris@16:         fsm.defer_event(evt);
Chris@16:     }
Chris@16: };
Chris@16: struct Defer_Helper : proto::extends< proto::terminal<fsm_artefact_tag>::type, Defer_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Defer_Helper(){}
Chris@16:     using proto::extends< proto::terminal<fsm_artefact_tag>::type, Defer_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef DeferEvent_ type;
Chris@16:     };
Chris@16: };
Chris@16: Defer_Helper const defer_ = Defer_Helper();
Chris@16: 
Chris@16: struct explicit_tag {};
Chris@16: struct Explicit_Helper : proto::extends< proto::terminal<explicit_tag>::type, Explicit_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Explicit_Helper(){}
Chris@16:     using proto::extends< proto::terminal<explicit_tag>::type, Explicit_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef typename Arg1::template direct<Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: Explicit_Helper const explicit_ = Explicit_Helper();
Chris@16: 
Chris@16: struct entry_pt_tag {};
Chris@16: struct Entry_Pt_Helper : proto::extends< proto::terminal<entry_pt_tag>::type, Entry_Pt_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Entry_Pt_Helper(){}
Chris@16:     using proto::extends< proto::terminal<entry_pt_tag>::type, Entry_Pt_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef typename Arg1::template entry_pt<Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: Entry_Pt_Helper const entry_pt_ = Entry_Pt_Helper();
Chris@16: 
Chris@16: struct exit_pt_tag {};
Chris@16: struct Exit_Pt_Helper : proto::extends< proto::terminal<exit_pt_tag>::type, Exit_Pt_Helper, boost::msm::sm_domain>
Chris@16: {
Chris@16:     Exit_Pt_Helper(){}
Chris@16:     using proto::extends< proto::terminal<exit_pt_tag>::type, Exit_Pt_Helper, boost::msm::sm_domain>::operator=;
Chris@16:     template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5 
Chris@16: #ifdef BOOST_MSVC 
Chris@16:  ,class Arg6 
Chris@16: #endif
Chris@16: >
Chris@16:     struct In
Chris@16:     {
Chris@16:         typedef typename Arg1::template exit_pt<Arg2> type;
Chris@16:     };
Chris@16: };
Chris@16: Exit_Pt_Helper const exit_pt_ = Exit_Pt_Helper();
Chris@16: 
Chris@16: #ifdef BOOST_MSVC
Chris@16: #define BOOST_MSM_EUML_FUNCTION(functor,function,function_name,result_trans,result_state)               \
Chris@16:     template <class Param1=void , class Param2=void , class Param3=void , class Param4=void,            \
Chris@16:     class Param5=void,class Param6=void,class Enable=void >                                             \
Chris@16:     struct functor : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6,Enable> > {};        \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5, class Param6>       \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::enable_if<typename ::boost::is_same<Param1,void>::type>::type>                \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type                        \
Chris@16:         operator()(EVT const& , FSM& ,SourceState& ,TargetState& )const {                               \
Chris@16:         return function ();}                                                                            \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type                                             \
Chris@16:         operator()(Event const& ,FSM& ,STATE&  )const {                                                 \
Chris@16:         return function ();} };                                                                         \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param1,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param2,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt));}                                                   \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state));} };                                                  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param2,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param3,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));}                         \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state));} };                          \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param3,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param4,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));} \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));} };  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param4,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param5,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt)  \
Chris@16:         ,Param4()(evt,fsm,src,tgt));}                                                                   \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state)        \
Chris@16:         ,Param4()(evt,fsm,state));} };                                                                  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param5,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param6,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt)  \
Chris@16:         ,Param4()(evt,fsm,src,tgt),Param5()(evt,fsm,src,tgt));}                                         \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state)        \
Chris@16:         ,Param4()(evt,fsm,state),Param5()(evt,fsm,state));} };                                          \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::is_same<Param6,void>::type>::type>               \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt)  \
Chris@16:         ,Param4()(evt,fsm,src,tgt),Param5()(evt,fsm,src,tgt),Param6()(evt,fsm,src,tgt));}               \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state)        \
Chris@16:         ,Param4()(evt,fsm,state),Param5()(evt,fsm,state),Param6()(evt,fsm,state));} };                  \
Chris@16:         struct function_name ## tag{};                                                                  \
Chris@16:         struct functor ## Helper : proto::extends< proto::terminal< function_name ## tag >::type,       \
Chris@16:         functor ## Helper , boost::msm::sm_domain> { functor ## Helper(){}                              \
Chris@16:         template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5,class Arg6>                    \
Chris@16:         struct In {typedef functor <Arg1,Arg2,Arg3,Arg4,Arg5,Arg6> type;}; };                           \
Chris@16:         functor ## Helper const function_name = functor ## Helper ();
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_METHOD(functor,function,function_name,result_trans,result_state)                 \
Chris@16:     template <class Param1=void , class Param2=void , class Param3=void , class Param4=void,            \
Chris@16:     class Param5=void,class Param6=void,class Enable=void >                                             \
Chris@16:     struct functor : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6,Enable> > {};        \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5, class Param6>       \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::enable_if<typename ::boost::is_same<Param2,void>::type>::type>                \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function();}                                                 \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function();} };                                                \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param2,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param3,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt));}                        \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state));} };                         \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param3,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param4,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));} \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state));} }; \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param4,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param5,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt) \
Chris@16:         ,Param4()(evt,fsm,src,tgt));}                                                                   \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state)       \
Chris@16:         ,Param4()(evt,fsm,state));} };                                                                  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param5,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param6,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt) \
Chris@16:         ,Param4()(evt,fsm,src,tgt),Param5()(evt,fsm,src,tgt));}                                         \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state)       \
Chris@16:         ,Param4()(evt,fsm,state),Param5()(evt,fsm,state));} };                                          \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5,class Param6>        \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,Param6,                                           \
Chris@16:         typename ::boost::disable_if<typename ::boost::is_same<Param6,void>::type>::type>               \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Param6> > {                            \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt) \
Chris@16:         ,Param4()(evt,fsm,src,tgt),Param5()(evt,fsm,src,tgt),Param6()(evt,fsm,src,tgt));}               \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state)       \
Chris@16:         ,Param4()(evt,fsm,state),Param5()(evt,fsm,state),Param6()(evt,fsm,state));} };                  \
Chris@16:         struct function_name ## tag{};                                                                  \
Chris@16:         struct functor ## Helper : proto::extends< proto::terminal< function_name ## tag >::type,       \
Chris@16:         functor ## Helper , boost::msm::sm_domain> { functor ## Helper(){}                              \
Chris@16:         template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5,class Arg6>                    \
Chris@16:         struct In {typedef functor <Arg1,Arg2,Arg3,Arg4,Arg5,Arg6> type;}; };                           \
Chris@16:         functor ## Helper const function_name = functor ## Helper ();
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_FUNCTION(functor,function,function_name,result_trans,result_state)               \
Chris@16:     template <class Param1=void , class Param2=void , class Param3=void , class Param4=void,            \
Chris@16:     class Param5=void,class Enable=void >                                                               \
Chris@16:     struct functor : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Enable> > {};               \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param1,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param2,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt));}                                                   \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state));} };                                                  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param2,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param3,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));}                         \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state));} };                          \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param3,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param4,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));} \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));} };  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param4,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param5,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt)  \
Chris@16:         ,Param4()(evt,fsm,src,tgt));}                                                                   \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state)        \
Chris@16:         ,Param4()(evt,fsm,state));} };                                                                  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::is_same<Param5,void>::type>::type>               \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return function (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt)  \
Chris@16:         ,Param4()(evt,fsm,src,tgt),Param5()(evt,fsm,src,tgt));}                                         \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return function (Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state)        \
Chris@16:         ,Param4()(evt,fsm,state),Param5()(evt,fsm,state));} };                                          \
Chris@16:         struct function_name ## tag{};                                                                  \
Chris@16:         struct functor ## Helper : proto::extends< proto::terminal< function_name ## tag >::type,       \
Chris@16:         functor ## Helper , boost::msm::sm_domain> { functor ## Helper(){}                              \
Chris@16:         template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5>                               \
Chris@16:         struct In {typedef functor <Arg1,Arg2,Arg3,Arg4,Arg5> type;}; };                                \
Chris@16:         functor ## Helper const function_name = functor ## Helper ();
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_METHOD(functor,function,function_name,result_trans,result_state)                 \
Chris@16:     template <class Param1=void , class Param2=void , class Param3=void , class Param4=void,            \
Chris@16:     class Param5=void,class Enable=void >                                                               \
Chris@16:     struct functor : euml_action<functor<Param1,Param2,Param3,Param4,Param5,Enable> > {};               \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::enable_if<typename ::boost::is_same<Param2,void>::type>::type>                \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function();}                                                 \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function();} };                                                \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param2,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param3,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt));}                        \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state));} };                         \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param3,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param4,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));} \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state));} }; \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::mpl::or_<                                        \
Chris@16:         typename ::boost::is_same<Param4,void>::type,typename ::boost::mpl::not_<                       \
Chris@16:         typename ::boost::is_same<Param5,void>::type>::type>::type >::type>                             \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt) \
Chris@16:         ,Param4()(evt,fsm,src,tgt));}                                                                   \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state)       \
Chris@16:         ,Param4()(evt,fsm,state));} };                                                                  \
Chris@16:     template <class Param1, class Param2, class Param3, class Param4, class Param5>                     \
Chris@16:     struct functor<Param1,Param2,Param3,Param4,Param5,                                                  \
Chris@16:         typename ::boost::disable_if<typename ::boost::is_same<Param5,void>::type>::type>               \
Chris@16:         : euml_action<functor<Param1,Param2,Param3,Param4,Param5> > {                                   \
Chris@16:         template <class Event,class FSM,class STATE > struct state_action_result {                      \
Chris@16:         typedef result_state type;} ;                                                                   \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         struct transition_action_result { typedef result_trans type;};                                  \
Chris@16:         typedef ::boost::mpl::set<boost::msm::front::state_action_tag,boost::msm::front::action_tag> tag_type; \
Chris@16:         template <class EVT,class FSM,class SourceState,class TargetState>                              \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::action_tag>::type,                                 \
Chris@16:         typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type                \
Chris@16:         operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const {                   \
Chris@16:         return (Param1()(evt,fsm,src,tgt)).function(Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt) \
Chris@16:         ,Param4()(evt,fsm,src,tgt),Param5()(evt,fsm,src,tgt));}                                         \
Chris@16:         template <class Event,class FSM,class STATE>                                                    \
Chris@16:         typename ::boost::enable_if<typename ::boost::mpl::has_key<                                     \
Chris@16:         typename Param1::tag_type,boost::msm::front::state_action_tag>::type,                           \
Chris@16:         typename state_action_result<Event,FSM,STATE>::type >::type                                     \
Chris@16:         operator()(Event const& evt,FSM& fsm,STATE& state )const {                                      \
Chris@16:         return (Param1()(evt,fsm,state)).function(Param2()(evt,fsm,state),Param3()(evt,fsm,state)       \
Chris@16:         ,Param4()(evt,fsm,state),Param5()(evt,fsm,state));} };                                          \
Chris@16:         struct function_name ## tag{};                                                                  \
Chris@16:         struct functor ## Helper : proto::extends< proto::terminal< function_name ## tag >::type,       \
Chris@16:         functor ## Helper , boost::msm::sm_domain> { functor ## Helper(){}                              \
Chris@16:         template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5>                               \
Chris@16:         struct In {typedef functor <Arg1,Arg2,Arg3,Arg4,Arg5> type;}; };                                \
Chris@16:         functor ## Helper const function_name = functor ## Helper ();
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: #define RESULT_TYPE2_PARAM1 typename get_result_type2<Param1,Event,FSM,STATE>::type
Chris@16: #define RESULT_TYPE_PARAM1 typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type 
Chris@16: #define RESULT_TYPE2_PARAM2 typename get_result_type2<Param2,Event,FSM,STATE>::type
Chris@16: #define RESULT_TYPE_PARAM2 typename get_result_type<Param2,EVT,FSM,SourceState,TargetState>::type 
Chris@16: #define RESULT_TYPE2_PARAM3 typename get_result_type2<Param3,Event,FSM,STATE>::type
Chris@16: #define RESULT_TYPE_PARAM3 typename get_result_type<Param3,EVT,FSM,SourceState,TargetState>::type 
Chris@16: #define RESULT_TYPE2_PARAM4 typename get_result_type2<Param4,Event,FSM,STATE>::type
Chris@16: #define RESULT_TYPE_PARAM4 typename get_result_type<Param4,EVT,FSM,SourceState,TargetState>::type 
Chris@16: #define RESULT_TYPE2_PARAM5 typename get_result_type2<Param5,Event,FSM,STATE>::type
Chris@16: #define RESULT_TYPE_PARAM5 typename get_result_type<Param5,EVT,FSM,SourceState,TargetState>::type 
Chris@16: #define RESULT_TYPE2_PARAM6 typename get_result_type2<Param6,Event,FSM,STATE>::type
Chris@16: #define RESULT_TYPE_PARAM6 typename get_result_type<Param6,EVT,FSM,SourceState,TargetState>::type 
Chris@16: 
Chris@16: 
Chris@16: #define RESULT_TYPE2_DIFF_TYPE_ITER_TRAITS_PARAM1 typename std::iterator_traits<typename get_result_type2<Param1,Event,FSM,STATE>::type>::difference_type
Chris@16: #define RESULT_TYPE_DIFF_TYPE_ITER_TRAITS_PARAM1 typename std::iterator_traits<typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type>::difference_type 
Chris@16: 
Chris@16: #define RESULT_TYPE2_REMOVE_REF_PARAM1 typename ::boost::remove_reference<typename get_result_type2<Param1,Event,FSM,STATE>::type>::type
Chris@16: #define RESULT_TYPE_REMOVE_REF_PARAM1 typename ::boost::remove_reference<typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type>::type 
Chris@16: 
Chris@16: #define RESULT_TYPE2_PAIR_REMOVE_REF_PARAM1 std::pair<RESULT_TYPE2_REMOVE_REF_PARAM1,RESULT_TYPE2_REMOVE_REF_PARAM1>
Chris@16: #define RESULT_TYPE_PAIR_REMOVE_REF_PARAM1 std::pair<RESULT_TYPE_REMOVE_REF_PARAM1,RESULT_TYPE_REMOVE_REF_PARAM1>
Chris@16: 
Chris@16: #define RESULT_TYPE2_GET_REF_REMOVE_REF_PARAM1 typename get_reference<typename ::boost::remove_reference<typename get_result_type2<Param1,Event,FSM,STATE>::type>::type>::type
Chris@16: #define RESULT_TYPE_GET_REF_REMOVE_REF_PARAM1 typename get_reference<typename ::boost::remove_reference<typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type>::type>::type 
Chris@16: 
Chris@16: #define RESULT_TYPE2_GET_ITERATOR_REMOVE_REF_PARAM1 typename get_iterator<typename ::boost::remove_reference<typename get_result_type2<Param1,Event,FSM,STATE>::type>::type>::type
Chris@16: #define RESULT_TYPE_GET_ITERATOR_REMOVE_REF_PARAM1 typename get_iterator<typename ::boost::remove_reference<typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type>::type>::type 
Chris@16: 
Chris@16: #define RESULT_TYPE2_GET_REV_ITERATOR_REMOVE_REF_PARAM1 typename get_reverse_iterator<typename ::boost::remove_reference<typename get_result_type2<Param1,Event,FSM,STATE>::type>::type>::type
Chris@16: #define RESULT_TYPE_GET_REV_ITERATOR_REMOVE_REF_PARAM1 typename get_reverse_iterator<typename ::boost::remove_reference<typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type>::type>::type 
Chris@16: 
Chris@16: #define RESULT_TYPE2_GET_SIZE_TYPE_REMOVE_REF_PARAM1 typename get_size_type<typename ::boost::remove_reference<typename get_result_type2<Param1,Event,FSM,STATE>::type>::type>::type
Chris@16: #define RESULT_TYPE_GET_SIZE_TYPE_REMOVE_REF_PARAM1 typename get_size_type<typename ::boost::remove_reference<typename get_result_type<Param1,EVT,FSM,SourceState,TargetState>::type>::type>::type 
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_ACTION(instance_name)                                                        \
Chris@16:     struct instance_name ## _impl;                                                              \
Chris@101:     struct instance_name ## _helper :  boost::msm::front::euml::euml_action<instance_name ## _impl>    \
Chris@16:     {                                                                                           \
Chris@16:         instance_name ## _helper(){}                                                            \
Chris@16:         typedef instance_name ## _impl action_name;                                             \
Chris@16:     };                                                                                          \
Chris@16:     static instance_name ## _helper instance_name;                                              \
Chris@16:     struct instance_name ## _impl : instance_name ## _helper
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_ACTION(instance_name)                                                        \
Chris@16:     struct instance_name ;                                                                      \
Chris@101:     struct instance_name ## _helper :  boost::msm::front::euml::euml_action<instance_name >     \
Chris@16:     {                                                                                           \
Chris@16:         instance_name ## _helper(){}                                                            \
Chris@16:         typedef instance_name action_name;                                                      \
Chris@16:     };                                                                                          \
Chris@16:     struct instance_name : instance_name ## _helper
Chris@16: 
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_EVENT(instance_name)                                                     \
Chris@101:     struct instance_name ## _helper : boost::msm::front::euml::euml_event<instance_name ## _helper>{   \
Chris@16:     instance_name ## _helper(){}                                                                \
Chris@16:     instance_name ## _helper const& operator()() const {return *this;} };                       \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: // an event matching any event
Chris@101: struct kleene_ : boost::msm::front::euml::euml_event<kleene_>, public boost::any
Chris@16: {
Chris@16:     kleene_() : boost::any(){}
Chris@16:     template<typename ValueType>
Chris@16:     kleene_(const ValueType & v) : boost::any(v){}
Chris@16: };
Chris@16: static kleene_ kleene;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_EVENT(instance_name)                                             \
Chris@101:     struct instance_name : boost::msm::front::euml::euml_event<instance_name >{                 \
Chris@16:     instance_name(){}                                                                           \
Chris@16:     instance_name const& operator()() const {return *this;} };
Chris@16: 
Chris@16: #define MSM_EUML_CONCAT(param1,param2) param1
Chris@16: #define MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE1(z, n, unused) ARG ## n arg ## n
Chris@16: #define MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE2(z, n, unused) arg ## n
Chris@16: #define MSM_EUML_EVENT_INSTANCE_HELPER_ATTRIBUTE_MAP_ENTRY(z, n, unused)                        \
Chris@16:     typename boost::fusion::result_of::first<                                                   \
Chris@16:             typename ::boost::remove_reference<                                                 \
Chris@16:             typename boost::fusion::result_of::at_c<T, BOOST_PP_CAT( , n)>::type>::type>::type  \
Chris@16: 
Chris@16: #define MSM_EUML_EVENT_HELPER_GET_ATTRIBUTE(z, n, unused)                                       \
Chris@16:     get_attribute(                                                                              \
Chris@16:         typename boost::fusion::result_of::first<                                               \
Chris@16:         typename ::boost::remove_reference<                                                     \
Chris@16:         typename boost::fusion::result_of::at_c<T, n>::type>::type>::type())=arg ## n;
Chris@16: 
Chris@16: #define MSM_EUML_EVENT_HELPER_CONSTRUCTORS(z, n, mytuple)                                       \
Chris@16:     template <BOOST_PP_ENUM_PARAMS(n, class ARG)>                                               \
Chris@16:     BOOST_PP_CAT(BOOST_PP_TUPLE_ELEM(2, 0, mytuple) , _helper)(BOOST_PP_ENUM(n, MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE1, ~ )):    \
Chris@16:     BOOST_PP_TUPLE_ELEM(2, 1, mytuple)(){                                                       \
Chris@16:     init(BOOST_PP_ENUM(n, MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE2, ~ ),attribute_vec());}                                                                             
Chris@16: 
Chris@16: #define MSM_EUML_EVENT_INSTANCE_HELPER_ATTRIBUTE_MAP(z, n, unused)                              \
Chris@16:     template <BOOST_PP_ENUM_PARAMS(n, class ARG),class T>                                       \
Chris@16:     void init(BOOST_PP_ENUM(n, MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE1, ~ ), \
Chris@16:     T,typename ::boost::enable_if< typename boost::mpl::eval_if< typename ::boost::fusion::traits::is_sequence<T>::type,size_helper<T,n>,::boost::mpl::false_>::type,void >::type* =0)      \
Chris@16:     {                                                                                           \
Chris@16:         BOOST_PP_REPEAT_FROM_TO(0,n ,                                                           \
Chris@16:         MSM_EUML_EVENT_HELPER_GET_ATTRIBUTE, ~)                                                 \
Chris@16:     }                                                                             
Chris@16: 
Chris@16: #define MSM_EUML_EVENT_INSTANCE_HELPER_OPERATOR_IMPL(z, n, instance)                            \
Chris@16:     template <BOOST_PP_ENUM_PARAMS(n, class ARG)>                                               \
Chris@16:         BOOST_PP_CAT(instance,_helper) operator()                                               \
Chris@16:         (BOOST_PP_ENUM(n, MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE1, ~ ))const{                   \
Chris@16:         return BOOST_PP_CAT(instance,_helper) (BOOST_PP_ENUM(n, MSM_EUML_EVENT_INSTANCE_HELPER_EXECUTE2, ~ ));}
Chris@101:         
Chris@101: #if defined(FUSION_MAX_MAP_SIZE)
Chris@16: 
Chris@101: #define BOOST_MSM_EUML_EVENT_WITH_ATTRIBUTES(instance_name, attributes_name)                    \
Chris@16:     struct instance_name ## _helper :                                                           \
Chris@101:         boost::msm::front::euml::euml_event<instance_name ## _helper> , public attributes_name  \
Chris@16:     {                                                                                           \
Chris@16:         template <class T,int checked_size> struct size_helper                                  \
Chris@16:         {                                                                                       \
Chris@16:             typedef typename ::boost::mpl::less_equal<                                          \
Chris@16:                 typename ::boost::fusion::result_of::size<T>::type,                             \
Chris@16:                 ::boost::mpl::int_<checked_size> >::type type;                                  \
Chris@16:         };                                                                                      \
Chris@16:         BOOST_PP_CAT(instance_name,_helper()) : attributes_name(){}                             \
Chris@16:         typedef attributes_name::attributes_type attribute_map;                                 \
Chris@16:         typedef ::boost::fusion::result_of::as_vector<attribute_map>::type attribute_vec;       \
Chris@16:         BOOST_PP_REPEAT_FROM_TO(1,BOOST_PP_ADD(FUSION_MAX_MAP_SIZE ,1),                         \
Chris@16:         MSM_EUML_EVENT_HELPER_CONSTRUCTORS, (instance_name,attributes_name))                    \
Chris@16:         BOOST_PP_REPEAT_FROM_TO(1,BOOST_PP_ADD(FUSION_MAX_MAP_SIZE ,1),                         \
Chris@16:         MSM_EUML_EVENT_INSTANCE_HELPER_ATTRIBUTE_MAP, ~)                                        \
Chris@16:         BOOST_PP_CAT(instance_name,_helper) operator()(){                                       \
Chris@16:         return BOOST_PP_CAT(instance_name,_helper)();}                                          \
Chris@16:         BOOST_PP_REPEAT_FROM_TO(1,BOOST_PP_ADD(FUSION_MAX_MAP_SIZE ,1),                         \
Chris@16:         MSM_EUML_EVENT_INSTANCE_HELPER_OPERATOR_IMPL, instance_name)                            \
Chris@16:     };                                                                                          \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@101: #else
Chris@101: 
Chris@101: #define BOOST_MSM_EUML_EVENT_WITH_ATTRIBUTES(instance_name, attributes_name)                    \
Chris@101:     struct instance_name ## _helper :                                                           \
Chris@101:         boost::msm::front::euml::euml_event<instance_name ## _helper> , public attributes_name  \
Chris@101:     {                                                                                           \
Chris@101:         template <class T,int checked_size> struct size_helper                                  \
Chris@101:         {                                                                                       \
Chris@101:             typedef typename ::boost::mpl::less_equal<                                          \
Chris@101:                 typename ::boost::fusion::result_of::size<T>::type,                             \
Chris@101:                 ::boost::mpl::int_<checked_size> >::type type;                                  \
Chris@101:         };                                                                                      \
Chris@101:         BOOST_PP_CAT(instance_name,_helper()) : attributes_name(){}                             \
Chris@101:         typedef attributes_name::attributes_type attribute_map;                                 \
Chris@101:         typedef ::boost::fusion::result_of::as_vector<attribute_map>::type attribute_vec;       \
Chris@101:         BOOST_PP_REPEAT_FROM_TO(1,BOOST_PP_ADD(10 ,1),                                          \
Chris@101:         MSM_EUML_EVENT_HELPER_CONSTRUCTORS, (instance_name,attributes_name))                    \
Chris@101:         BOOST_PP_REPEAT_FROM_TO(1,BOOST_PP_ADD(10 ,1),                                          \
Chris@101:         MSM_EUML_EVENT_INSTANCE_HELPER_ATTRIBUTE_MAP, ~)                                        \
Chris@101:         BOOST_PP_CAT(instance_name,_helper) operator()(){                                       \
Chris@101:         return BOOST_PP_CAT(instance_name,_helper)();}                                          \
Chris@101:         BOOST_PP_REPEAT_FROM_TO(1,BOOST_PP_ADD(10 ,1),                                          \
Chris@101:         MSM_EUML_EVENT_INSTANCE_HELPER_OPERATOR_IMPL, instance_name)                            \
Chris@101:     };                                                                                          \
Chris@101:     static instance_name ## _helper instance_name;
Chris@101: 
Chris@101: #endif
Chris@101: 
Chris@16: #define BOOST_MSM_EUML_EVENT_NAME(instance_name) instance_name ## _helper
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_FLAG_NAME(instance_name) instance_name ## _helper
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_FLAG(instance_name)                                                      \
Chris@101:     struct instance_name ## _helper : boost::msm::front::euml::euml_flag<instance_name ## _helper>{};  \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_FLAG(instance_name)                                                      \
Chris@101:     struct instance_name : boost::msm::front::euml::euml_flag<instance_name >{};
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_STATE_NAME(instance_name) instance_name ## _helper
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_BUILD_STT_HELPER build_stt(
Chris@16: #define BOOST_MSM_EUML_BUILD_INTERNAL_STT_HELPER build_internal_stt(
Chris@16: #define BOOST_MSM_EUML_BUILD_STT_HELPER2(expr) expr)
Chris@16: #define BOOST_MSM_EUML_ENTRY_STATE_HELPER(expr) ,expr
Chris@16: 
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_ATTRIBUTES(expr,instance_name)                                                   \
Chris@16:     typedef BOOST_TYPEOF(build_attributes expr) instance_name;
Chris@16: 
Chris@16: // following macros declare a state type but do not create an instance
Chris@16: #define BOOST_MSM_EUML_DECLARE_STATE(expr,instance_name)                                                    \
Chris@16:     struct instance_name ## tag{};                                                                          \
Chris@16:     typedef BOOST_TYPEOF(build_state<instance_name ## tag> expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_INTERRUPT_STATE(expr,instance_name)                                                  \
Chris@16:     struct instance_name ## tag{};                                                                                  \
Chris@16:     typedef BOOST_TYPEOF(build_interrupt_state<instance_name ## tag> expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_TERMINATE_STATE(expr,instance_name)                                          \
Chris@16:     struct instance_name ## tag{};                                                                          \
Chris@16:     typedef BOOST_TYPEOF(build_terminate_state<instance_name ## tag> expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_EXPLICIT_ENTRY_STATE(region,expr,instance_name)                          \
Chris@16:     struct instance_name ## tag{};                                                                  \
Chris@16:     typedef BOOST_TYPEOF(build_explicit_entry_state<instance_name ## tag BOOST_MSM_EUML_ENTRY_STATE_HELPER(region) > expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_ENTRY_STATE(region,expr,instance_name)                                       \
Chris@16:     struct instance_name ## tag{};                                                                  \
Chris@16:     typedef BOOST_TYPEOF(build_entry_state<instance_name ## tag BOOST_MSM_EUML_ENTRY_STATE_HELPER(region) > expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_EXIT_STATE(expr,instance_name)                                               \
Chris@16:     struct instance_name ## tag{};                                                                          \
Chris@16:     typedef BOOST_TYPEOF(build_exit_state<instance_name ## tag> expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_STATE_MACHINE(expr,instance_name)                                       \
Chris@16:     struct instance_name ## tag{};                                                                  \
Chris@16:     typedef BOOST_TYPEOF(build_sm<instance_name ## tag> expr) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_TRANSITION_TABLE(expr,instance_name)                                     \
Chris@16:     typedef int using_declared_table;                                                                   \
Chris@16:     typedef BOOST_TYPEOF(BOOST_MSM_EUML_BUILD_STT_HELPER  BOOST_MSM_EUML_BUILD_STT_HELPER2(expr)) instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_DECLARE_INTERNAL_TRANSITION_TABLE(expr)                                                                     \
Chris@16:     typedef BOOST_TYPEOF(                                                                                                       \
Chris@16:     BOOST_MSM_EUML_BUILD_INTERNAL_STT_HELPER BOOST_MSM_EUML_BUILD_STT_HELPER2(expr)) internal_transition_table;
Chris@16: 
Chris@16: // following macros declare a state type and create an instance
Chris@16: #define BOOST_MSM_EUML_STATE(expr,instance_name)                                                        \
Chris@16:     struct instance_name ## tag{};                                                                      \
Chris@16:     typedef BOOST_TYPEOF(build_state<instance_name ## tag> expr) instance_name ## _helper;              \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_INTERRUPT_STATE(expr,instance_name)                                              \
Chris@16:     struct instance_name ## tag{};                                                                      \
Chris@16:     typedef BOOST_TYPEOF(build_interrupt_state<instance_name ## tag> expr) instance_name ## _helper;    \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_TERMINATE_STATE(expr,instance_name)                                              \
Chris@16:     struct instance_name ## tag{};                                                                      \
Chris@16:     typedef BOOST_TYPEOF(build_terminate_state<instance_name ## tag> expr) instance_name ## _helper;    \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_EXPLICIT_ENTRY_STATE(region,expr,instance_name)                                  \
Chris@16:     struct instance_name ## tag{};                                                                      \
Chris@16:     typedef BOOST_TYPEOF(build_explicit_entry_state<instance_name ## tag BOOST_MSM_EUML_ENTRY_STATE_HELPER(region) > expr) instance_name ## _helper;  \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_ENTRY_STATE(region,expr,instance_name)                                       \
Chris@16:     struct instance_name ## tag{};                                                                  \
Chris@16:     typedef BOOST_TYPEOF(build_entry_state<instance_name ## tag BOOST_MSM_EUML_ENTRY_STATE_HELPER(region) > expr) instance_name ## _helper;  \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_EXIT_STATE(expr,instance_name)                                                       \
Chris@16:     struct instance_name ## tag{};                                                                          \
Chris@16:     typedef BOOST_TYPEOF(build_exit_state<instance_name ## tag> expr) instance_name ## _helper;             \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: 
Chris@16: #ifndef BOOST_MSVC
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_TRANSITION_TABLE(expr,instance_name)                                     \
Chris@16:     typedef BOOST_TYPEOF(BOOST_MSM_EUML_BUILD_STT_HELPER BOOST_MSM_EUML_BUILD_STT_HELPER2(expr)) instance_name ## _def;                  \
Chris@16:     struct instance_name ## _helper :  public instance_name ## _def{instance_name ## _helper(){}};                          \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_INTERNAL_TRANSITION_TABLE(expr,instance_name)                            \
Chris@16:     typedef BOOST_TYPEOF(BOOST_MSM_EUML_BUILD_INTERNAL_STT_HELPER BOOST_MSM_EUML_BUILD_STT_HELPER2(expr)) instance_name ## _def;         \
Chris@16:     struct instance_name ## _helper :  public instance_name ## _def{instance_name ## _helper(){}};   \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_TRANSITION_TABLE(expr,instance_name)                                     \
Chris@16:     struct instance_name ## _helper :                                                           \
Chris@16:     public BOOST_TYPEOF(BOOST_MSM_EUML_BUILD_STT_HELPER BOOST_MSM_EUML_BUILD_STT_HELPER2(expr)) \
Chris@16:     {instance_name ## _helper(){}} ;                                                            \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #define BOOST_MSM_EUML_INTERNAL_TRANSITION_TABLE(expr,instance_name)                                        \
Chris@16:     struct instance_name ## _helper :                                                                       \
Chris@16:     public BOOST_TYPEOF(BOOST_MSM_EUML_BUILD_INTERNAL_STT_HELPER BOOST_MSM_EUML_BUILD_STT_HELPER2(expr))    \
Chris@16:     {instance_name ## _helper(){}} ;                                                                        \
Chris@16:     static instance_name ## _helper instance_name;
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: }}}} // boost::msm::front::euml
Chris@16: 
Chris@16: namespace boost { namespace msm{
Chris@16:     template<> 
Chris@16:     struct is_kleene_event< boost::msm::front::euml::kleene_ >
Chris@16:     { 
Chris@16:       typedef ::boost::mpl::true_ type;
Chris@16:     };
Chris@16: }}
Chris@16: 
Chris@16: #endif // BOOST_MSM_FRONT_EUML_COMMON_H