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_GUARD_GRAMMAR_H
Chris@16: #define BOOST_MSM_FRONT_EUML_GUARD_GRAMMAR_H
Chris@16: 
Chris@16: #include <boost/msm/front/euml/common.hpp>
Chris@16: #include <boost/msm/front/euml/operator.hpp>
Chris@16: #include <boost/msm/front/euml/state_grammar.hpp>
Chris@16: 
Chris@16: namespace boost { namespace msm { namespace front { namespace euml
Chris@16: {
Chris@16: struct BuildGuards;
Chris@16: struct BuildActions;
Chris@16: 
Chris@16: struct BuildGuardsCases
Chris@16: {
Chris@16:     // The primary template matches nothing:
Chris@16:     template<typename Tag>
Chris@16:     struct case_
Chris@16:         : proto::not_<proto::_>
Chris@16:     {};
Chris@16: };
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::logical_or>
Chris@16:     : proto::when<
Chris@16:                     proto::logical_or<BuildGuards,BuildGuards >,
Chris@16:                     Or_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::logical_and>
Chris@16:     : proto::when<
Chris@16:                     proto::logical_and<BuildGuards,BuildGuards >,
Chris@16:                     And_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::logical_not>
Chris@16:     : proto::when<
Chris@16:                     proto::logical_not<BuildGuards >,
Chris@16:                     Not_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::less>
Chris@16:     : proto::when<
Chris@16:                     proto::less<BuildGuards, BuildGuards >,
Chris@16:                     Less_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::less_equal>
Chris@16:     : proto::when<
Chris@16:                     proto::less_equal<BuildGuards, BuildGuards >,
Chris@16:                     LessEqual_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::greater>
Chris@16:     : proto::when<
Chris@16:                     proto::greater<BuildGuards, BuildGuards >,
Chris@16:                     Greater_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::greater_equal>
Chris@16:     : proto::when<
Chris@16:                     proto::greater_equal<BuildGuards, BuildGuards >,
Chris@16:                     GreaterEqual_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::equal_to>
Chris@16:     : proto::when<
Chris@16:                         proto::equal_to<BuildGuards, BuildGuards >,
Chris@16:                         EqualTo_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::not_equal_to>
Chris@16:     : proto::when<
Chris@16:                         proto::not_equal_to<BuildGuards, BuildGuards >,
Chris@16:                         NotEqualTo_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::pre_inc>
Chris@16:     : proto::when<
Chris@16:                     proto::pre_inc<BuildGuards >,
Chris@16:                     Pre_inc_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::dereference>
Chris@16:     : proto::when<
Chris@16:                     proto::dereference<BuildGuards >,
Chris@16:                     Deref_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::pre_dec>
Chris@16:     : proto::when<
Chris@16:                     proto::pre_dec<BuildGuards >,
Chris@16:                     Pre_dec_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::post_inc>
Chris@16:     : proto::when<
Chris@16:                     proto::post_inc<BuildGuards >,
Chris@16:                     Post_inc_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::post_dec>
Chris@16:     : proto::when<
Chris@16:                     proto::post_dec<BuildGuards >,
Chris@16:                     Post_dec_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::plus>
Chris@16:     : proto::when<
Chris@16:                     proto::plus<BuildGuards,BuildGuards >,
Chris@16:                     Plus_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::minus>
Chris@16:     : proto::when<
Chris@16:                     proto::minus<BuildGuards,BuildGuards >,
Chris@16:                     Minus_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::multiplies>
Chris@16:     : proto::when<
Chris@16:                     proto::multiplies<BuildGuards,BuildGuards >,
Chris@16:                     Multiplies_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::divides>
Chris@16:     : proto::when<
Chris@16:                     proto::divides<BuildGuards,BuildGuards >,
Chris@16:                     Divides_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::modulus>
Chris@16:     : proto::when<
Chris@16:                     proto::modulus<BuildGuards,BuildGuards >,
Chris@16:                     Modulus_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::bitwise_and>
Chris@16:     : proto::when<
Chris@16:                     proto::bitwise_and<BuildGuards,BuildGuards >,
Chris@16:                     Bitwise_And_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::bitwise_or>
Chris@16:     : proto::when<
Chris@16:                     proto::bitwise_or<BuildGuards,BuildGuards >,
Chris@16:                     Bitwise_Or_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::subscript>
Chris@16:     : proto::when<
Chris@16:                     proto::subscript<BuildGuards,BuildGuards >,
Chris@16:                     Subscript_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::plus_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::plus_assign<BuildGuards,BuildGuards >,
Chris@16:                     Plus_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::minus_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::minus_assign<BuildGuards,BuildGuards >,
Chris@16:                     Minus_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::multiplies_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::multiplies_assign<BuildGuards,BuildGuards >,
Chris@16:                     Multiplies_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::divides_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::divides_assign<BuildGuards,BuildGuards >,
Chris@16:                     Divides_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::modulus_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::modulus_assign<BuildGuards,BuildGuards >,
Chris@16:                     Modulus_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::shift_left_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::shift_left_assign<BuildGuards,BuildGuards >,
Chris@16:                     ShiftLeft_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::shift_right_assign>
Chris@16:     : proto::when<
Chris@16:                     proto::shift_right_assign<BuildGuards,BuildGuards >,
Chris@16:                     ShiftRight_Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::shift_left>
Chris@16:     : proto::when<
Chris@16:                     proto::shift_left<BuildGuards,BuildGuards >,
Chris@16:                     ShiftLeft_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::shift_right>
Chris@16:     : proto::when<
Chris@16:                     proto::shift_right<BuildGuards,BuildGuards >,
Chris@16:                     ShiftRight_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::assign>
Chris@16:     : proto::when<
Chris@16:                     proto::assign<BuildGuards,BuildGuards >,
Chris@16:                     Assign_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::bitwise_xor>
Chris@16:     : proto::when<
Chris@16:                     proto::bitwise_xor<BuildGuards,BuildGuards >,
Chris@16:                     Bitwise_Xor_<BuildGuards(proto::_left),BuildGuards(proto::_right)>()
Chris@16:                 >
Chris@16: {};
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::negate>
Chris@16:     : proto::when<
Chris@16:                     proto::negate<BuildGuards >,
Chris@16:                     Unary_Minus_<BuildGuards(proto::_child)>()
Chris@16:                 >
Chris@16: {};
Chris@16: 
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::function>
Chris@16:     : proto::or_<
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<if_tag>,BuildGuards,BuildGuards,BuildGuards >,
Chris@16:                     If_Else_<BuildGuards(proto::_child_c<1>),
Chris@16:                              BuildGuards(proto::_child_c<2>),
Chris@16:                              BuildGuards(proto::_child_c<3>) >()
Chris@16:                     >,
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_> >,
Chris@16:                     get_fct<proto::_child_c<0> >()
Chris@16:                     >,
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,BuildActions >,
Chris@16:                     get_fct<proto::_child_c<0>,BuildActions(proto::_child_c<1>) >()
Chris@16:                     >,
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,BuildActions,BuildActions >,
Chris@16:                     get_fct<proto::_child_c<0>,BuildActions(proto::_child_c<1>),BuildActions(proto::_child_c<2>) >()
Chris@16:                     >,
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,BuildActions,BuildActions,BuildActions >,
Chris@16:                     get_fct<proto::_child_c<0>,BuildActions(proto::_child_c<1>)
Chris@16:                                               ,BuildActions(proto::_child_c<2>),BuildActions(proto::_child_c<3>) >()
Chris@16:                     >,
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,BuildActions,BuildActions,BuildActions,BuildActions >,
Chris@16:                     get_fct<proto::_child_c<0>
Chris@16:                             ,BuildActions(proto::_child_c<1>),BuildActions(proto::_child_c<2>)
Chris@16:                             ,BuildActions(proto::_child_c<3>),BuildActions(proto::_child_c<4>) >()
Chris@16:                     >,
Chris@16:             proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,BuildActions,BuildActions,BuildActions,BuildActions,BuildActions  >,
Chris@16:                     get_fct<proto::_child_c<0>
Chris@16:                             ,BuildActions(proto::_child_c<1>),BuildActions(proto::_child_c<2>)
Chris@16:                             ,BuildActions(proto::_child_c<3>),BuildActions(proto::_child_c<4>),BuildActions(proto::_child_c<5>) >()
Chris@16:                     >
Chris@16: #ifdef BOOST_MSVC
Chris@16:             ,proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,BuildActions,BuildActions,BuildActions,BuildActions,BuildActions,BuildActions >,
Chris@16:                     get_fct<proto::_child_c<0>
Chris@16:                             ,BuildActions(proto::_child_c<1>),BuildActions(proto::_child_c<2>)
Chris@16:                             ,BuildActions(proto::_child_c<3>),BuildActions(proto::_child_c<4>)
Chris@16:                             ,BuildActions(proto::_child_c<5>),BuildActions(proto::_child_c<6>) >()
Chris@16:                     >
Chris@16: #endif
Chris@16:     >
Chris@16: {};
Chris@16: 
Chris@16: template<>
Chris@16: struct BuildGuardsCases::case_<proto::tag::terminal>
Chris@16:     : proto::or_<
Chris@16:         proto::when <
Chris@16:             proto::terminal<action_tag>,
Chris@16:             get_action_name<proto::_ >()
Chris@16:             >,
Chris@16:         proto::when<
Chris@16:             proto::terminal<state_tag>,
Chris@16:             get_state_name<proto::_>()
Chris@16:             >,
Chris@16:         proto::when<
Chris@16:             proto::terminal<flag_tag>,
Chris@16:             proto::_
Chris@16:             >,
Chris@16:         proto::when<
Chris@16:             proto::terminal<event_tag>,
Chris@16:             proto::_
Chris@16:             >,
Chris@16:         proto::when<
Chris@16:             proto::terminal<fsm_artefact_tag>,
Chris@16:             get_fct<proto::_ >()
Chris@16:             >,
Chris@16:         proto::when<
Chris@16:             proto::terminal<proto::_>,
Chris@16:             proto::_value
Chris@16:             >
Chris@16:     >
Chris@16: {};
Chris@16: 
Chris@16: struct BuildGuards
Chris@16:     : proto::switch_<BuildGuardsCases>
Chris@16: {};
Chris@16: 
Chris@16: }}}}
Chris@16: 
Chris@16: #endif //BOOST_MSM_FRONT_EUML_GUARD_GRAMMAR_H