Boost  v1.57.0
doxygen for www.boost.org
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
state_grammar.hpp File Reference
Include dependency graph for state_grammar.hpp:
This graph shows which files directly or indirectly include this file:

Classes

struct  boost::msm::front::euml::func_state< StateNameTag, EntryFunctor, ExitFunctor, Attributes, Flags, Defer, BASE >
 
struct  boost::msm::front::euml::entry_func_state< StateNameTag, ZoneIndex, EntryFunctor, ExitFunctor, Attributes, Flags, Defer, BASE >
 
struct  boost::msm::front::euml::explicit_entry_func_state< StateNameTag, ZoneIndex, EntryFunctor, ExitFunctor, Attributes, Flags, Defer, BASE >
 
struct  boost::msm::front::euml::exit_func_state< StateNameTag, Event, EntryFunctor, ExitFunctor, Attributes, Flags, Defer, BASE >
 
struct  boost::msm::front::euml::BuildActionSequence
 
struct  boost::msm::front::euml::GuardGrammar
 
struct  boost::msm::front::euml::ActionGrammar
 
struct  boost::msm::front::euml::BuildActionsCases
 
struct  boost::msm::front::euml::BuildActionsCases::case_< Tag >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::pre_inc >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::pre_dec >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::post_inc >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::post_dec >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::dereference >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::plus >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::minus >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::multiplies >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::divides >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::modulus >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::bitwise_and >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::bitwise_or >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::bitwise_xor >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::plus_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::minus_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::multiplies_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::divides_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::modulus_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::shift_left_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::shift_right_assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::shift_left >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::shift_right >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::assign >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::subscript >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::unary_plus >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::negate >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::function >
 
struct  boost::msm::front::euml::BuildActionsCases::case_< proto::tag::terminal >
 
struct  boost::msm::front::euml::BuildActions
 
struct  boost::msm::front::euml::make_attributes_tag
 
struct  boost::msm::front::euml::get_attribute_type< T >
 
struct  boost::msm::front::euml::transform_to_fusion_pair< Seq >
 
struct  boost::msm::front::euml::attribute< X >
 
struct  boost::msm::front::euml::BuildAttributesHelper
 
struct  boost::msm::front::euml::BuildAttributes
 
struct  boost::msm::front::euml::BuildMplVectorHelper
 
struct  boost::msm::front::euml::BuildFlags
 
struct  boost::msm::front::euml::control_configure_tag
 
struct  boost::msm::front::euml::make_configure_tag
 
struct  boost::msm::front::euml::configure< X >
 
struct  boost::msm::front::euml::BuildConfigure
 
struct  boost::msm::front::euml::BuildDeferred
 
struct  boost::msm::front::euml::define_init< X >
 
struct  boost::msm::front::euml::BuildInit
 
struct  boost::msm::front::euml::func_state_machine< StateNameTag, STT, Init, EntryFunctor, ExitFunctor, Attributes, Flags, Defer, Configuration, NoTransitionFunctor, OnExceptionFunctor, BASE >
 

Namespaces

 boost
 Duration formatting facet for input.
 
 boost::msm
 
 boost::msm::front
 
 boost::msm::front::euml
 

Macros

#define BOOST_MSM_EUML_DECLARE_ATTRIBUTE(attr_type, attr_name)
 

Functions

template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class Configure , class BASE >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, BASE > 
boost::msm::front::euml::build_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &, BASE)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class Configure >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type > 
boost::msm::front::euml::build_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type > 
boost::msm::front::euml::build_state (Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , class Expr1 , class Expr2 >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_state (Expr1 const &, Expr2 const &)
 
template<class StateNameTag , class Expr1 >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
NoAction > 
boost::msm::front::euml::build_state (Expr1 const &)
 
template<class StateNameTag >
func_state< StateNameTag,
NoAction, NoAction > 
boost::msm::front::euml::build_state ()
 
template<class StateNameTag , class STT , class Init , class Expr1 >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &)
 
template<class StateNameTag , class STT , class Init , class Expr1 , class Expr2 >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &, Expr2 const &)
 
template<class StateNameTag , class STT , class Init , class Expr1 , class Expr2 , class Attr >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , class STT , class Init , class Expr1 , class Expr2 , class Attr , class Configure >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, typename
boost::result_of
< BuildConfigure(Configure)>
::type > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , class STT , class Init , class Expr1 , class Expr2 , class Attr , class Configure , class Expr3 >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, typename
boost::result_of
< BuildConfigure(Configure)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr3, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr3)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &, Expr2 const &, Attr const &, Configure const &, Expr3 const &)
 
template<class StateNameTag , class STT , class Init , class Expr1 , class Expr2 , class Attr , class Configure , class Expr3 , class Expr4 >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, typename
boost::result_of
< BuildConfigure(Configure)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr3, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr3)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr4, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr4)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &, Expr2 const &, Attr const &, Configure const &, Expr3 const &, Expr4 const &)
 
template<class StateNameTag , class STT , class Init , class Expr1 , class Expr2 , class Attr , class Configure , class Expr3 , class Expr4 , class BASE >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, typename
boost::result_of
< BuildConfigure(Configure)>
::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr3, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr3)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr4, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr4)>
, make_invalid_type >::type,
BASE > 
boost::msm::front::euml::build_sm (STT, Init, Expr1 const &, Expr2 const &, Attr const &, Configure const &, Expr3 const &, Expr4 const &, BASE)
 
template<class Expr >
inline::boost::msm::front::detail::inherit_attributes
< typename boost::result_of
< BuildAttributes(Expr)>::type > 
boost::msm::front::euml::build_attributes (Expr const &)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class Configure , class BASE >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename::boost::mpl::push_back
< typename boost::result_of
< BuildFlags(Configure)>::type,::boost::msm::TerminateFlag >
::type, typename
boost::result_of
< BuildDeferred(Configure)>
::type, BASE > 
boost::msm::front::euml::build_terminate_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &, BASE)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class Configure >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename::boost::mpl::push_back
< typename boost::result_of
< BuildFlags(Configure)>::type,::boost::msm::TerminateFlag >
::type, typename
boost::result_of
< BuildDeferred(Configure)>
::type > 
boost::msm::front::euml::build_terminate_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,::boost::mpl::vector
< boost::msm::TerminateFlag > > 
boost::msm::front::euml::build_terminate_state (Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , class Expr1 , class Expr2 >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,::boost::fusion::vector
<>,::boost::mpl::vector
< boost::msm::TerminateFlag > > 
boost::msm::front::euml::build_terminate_state (Expr1 const &, Expr2 const &)
 
template<class StateNameTag , class Expr1 >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
NoAction,::boost::fusion::vector
<>,::boost::mpl::vector
< boost::msm::TerminateFlag > > 
boost::msm::front::euml::build_terminate_state (Expr1 const &)
 
template<class StateNameTag >
func_state< StateNameTag,
NoAction, NoAction,::boost::fusion::vector
<>,::boost::mpl::vector
< boost::msm::TerminateFlag > > 
boost::msm::front::euml::build_terminate_state ()
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class Configure , class BASE , class EndInterruptEvent >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename::boost::mpl::push_back
< typename::boost::mpl::push_back
< typename boost::result_of
< BuildFlags(Configure)>::type,::boost::msm::InterruptedFlag >
::type,
boost::msm::EndInterruptFlag
< EndInterruptEvent > >::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, BASE > 
boost::msm::front::euml::build_interrupt_state (EndInterruptEvent const &, Expr1 const &, Expr2 const &, Attr const &, Configure const &, BASE)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class Configure , class EndInterruptEvent >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename::boost::mpl::push_back
< typename::boost::mpl::push_back
< typename boost::result_of
< BuildFlags(Configure)>::type,::boost::msm::InterruptedFlag >
::type,
boost::msm::EndInterruptFlag
< EndInterruptEvent > >::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type > 
boost::msm::front::euml::build_interrupt_state (EndInterruptEvent const &, Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , class Expr1 , class Expr2 , class Attr , class EndInterruptEvent >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,::boost::mpl::vector
< boost::msm::InterruptedFlag,
boost::msm::EndInterruptFlag
< EndInterruptEvent > > > 
boost::msm::front::euml::build_interrupt_state (EndInterruptEvent const &, Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , class Expr1 , class Expr2 , class EndInterruptEvent >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,::boost::fusion::vector
<>,::boost::mpl::vector
< boost::msm::InterruptedFlag,
boost::msm::EndInterruptFlag
< EndInterruptEvent > > > 
boost::msm::front::euml::build_interrupt_state (EndInterruptEvent const &, Expr1 const &, Expr2 const &)
 
template<class StateNameTag , class Expr1 , class EndInterruptEvent >
func_state< StateNameTag,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
NoAction,::boost::fusion::vector
<>,::boost::mpl::vector
< boost::msm::InterruptedFlag,
boost::msm::EndInterruptFlag
< EndInterruptEvent > > > 
boost::msm::front::euml::build_interrupt_state (EndInterruptEvent const &, Expr1 const &)
 
template<class StateNameTag , class EndInterruptEvent >
func_state< StateNameTag,
NoAction, NoAction,::boost::fusion::vector
<>,::boost::mpl::vector
< boost::msm::InterruptedFlag,
boost::msm::EndInterruptFlag
< EndInterruptEvent > > > 
boost::msm::front::euml::build_interrupt_state (EndInterruptEvent const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 , class Attr , class Configure , class BASE >
entry_func_state< StateNameTag,
ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, BASE > 
boost::msm::front::euml::build_entry_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &, BASE)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 , class Attr , class Configure >
entry_func_state< StateNameTag,
ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type > 
boost::msm::front::euml::build_entry_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 , class Attr >
entry_func_state< StateNameTag,
ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type > 
boost::msm::front::euml::build_entry_state (Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 >
entry_func_state< StateNameTag,
ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_entry_state (Expr1 const &, Expr2 const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 >
entry_func_state< StateNameTag,
ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
NoAction > 
boost::msm::front::euml::build_entry_state (Expr1 const &)
 
template<class StateNameTag , int ZoneIndex>
entry_func_state< StateNameTag,
ZoneIndex, NoAction, NoAction > 
boost::msm::front::euml::build_entry_state ()
 
template<class StateNameTag , class Event , class Expr1 , class Expr2 , class Attr , class Configure , class BASE >
exit_func_state< StateNameTag,
Event,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, BASE > 
boost::msm::front::euml::build_exit_state (Event const &, Expr1 const &, Expr2 const &, Attr const &, Configure const &, BASE)
 
template<class StateNameTag , class Event , class Expr1 , class Expr2 , class Attr , class Configure >
exit_func_state< StateNameTag,
Event,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type > 
boost::msm::front::euml::build_exit_state (Event const &, Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , class Event , class Expr1 , class Expr2 , class Attr >
exit_func_state< StateNameTag,
Event,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type > 
boost::msm::front::euml::build_exit_state (Event const &, Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , class Event , class Expr1 , class Expr2 >
exit_func_state< StateNameTag,
Event,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_exit_state (Event const &, Expr1 const &, Expr2 const &)
 
template<class StateNameTag , class Event , class Expr1 >
exit_func_state< StateNameTag,
Event,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
NoAction > 
boost::msm::front::euml::build_exit_state (Event const &, Expr1 const &)
 
template<class StateNameTag , class Event >
exit_func_state< StateNameTag,
Event, NoAction, NoAction > 
boost::msm::front::euml::build_exit_state (Event const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 , class Attr , class Configure , class BASE >
explicit_entry_func_state
< StateNameTag, ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type, BASE > 
boost::msm::front::euml::build_explicit_entry_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &, BASE)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 , class Attr , class Configure >
explicit_entry_func_state
< StateNameTag, ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type,
typename boost::result_of
< BuildFlags(Configure)>::type,
typename boost::result_of
< BuildDeferred(Configure)>
::type > 
boost::msm::front::euml::build_explicit_entry_state (Expr1 const &, Expr2 const &, Attr const &, Configure const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 , class Attr >
explicit_entry_func_state
< StateNameTag, ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type,
typename boost::result_of
< BuildAttributes(Attr)>::type > 
boost::msm::front::euml::build_explicit_entry_state (Expr1 const &, Expr2 const &, Attr const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 , class Expr2 >
explicit_entry_func_state
< StateNameTag, ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr2, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr2)>
, make_invalid_type >::type > 
boost::msm::front::euml::build_explicit_entry_state (Expr1 const &, Expr2 const &)
 
template<class StateNameTag , int ZoneIndex, class Expr1 >
explicit_entry_func_state
< StateNameTag, ZoneIndex,
typename::boost::mpl::eval_if
< typename proto::matches
< Expr1, ActionGrammar >::type,
boost::result_of
< ActionGrammar(Expr1)>
, make_invalid_type >::type,
NoAction > 
boost::msm::front::euml::build_explicit_entry_state (Expr1 const &)
 
template<class StateNameTag , int ZoneIndex>
explicit_entry_func_state
< StateNameTag, ZoneIndex,
NoAction, NoAction > 
boost::msm::front::euml::build_explicit_entry_state ()
 

Variables

attribute const boost::msm::front::euml::attributes_ = {{{}}}
 
attribute const boost::msm::front::euml::no_attributes_ = {{{}}}
 
configure const boost::msm::front::euml::configure_ = {{{}}}
 
configure const boost::msm::front::euml::no_configure_ = {{{}}}
 
define_init const boost::msm::front::euml::init_ = {{{}}}
 
template<class StateNameTag , class STT , class Init >
func_state_machine
< StateNameTag, STT, typename
boost::result_of< BuildInit(Init)>
::type > 
boost::msm::front::euml::build_sm (STT, Init)
 

Macro Definition Documentation

#define BOOST_MSM_EUML_DECLARE_ATTRIBUTE (   attr_type,
  attr_name 
)
Value:
struct attr_name ## _ \
: proto::extends< proto::terminal< ::boost::msm::front::action_tag>::type, attr_name ## _, boost::msm::sm_domain> \
{typedef attr_name ## _ action_name; \
typedef ::boost::fusion::pair<attr_name ## _,attr_type> attribute_type; \
attr_name ## _ (){} \
}; \
attr_name ## _ const attr_name = attr_name ## _();
proto::terminal< detail::any_matcher >::type const _
Matches any one character.
Definition: regex_primitives.hpp:487