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_STT_GRAMMAR_H
Chris@16: #define BOOST_MSM_FRONT_EUML_STT_GRAMMAR_H
Chris@16: 
Chris@16: #include <boost/msm/front/euml/common.hpp>
Chris@16: #include <boost/mpl/vector.hpp>
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: 
Chris@16: #include <boost/msm/front/euml/operator.hpp>
Chris@16: #include <boost/msm/front/euml/guard_grammar.hpp>
Chris@16: #include <boost/msm/front/euml/state_grammar.hpp>
Chris@16: 
Chris@16: namespace proto = boost::proto;
Chris@16: 
Chris@16: namespace boost { namespace msm { namespace front { namespace euml
Chris@16: {
Chris@16: 
Chris@16: template <class SOURCE,class EVENT,class TARGET,class ACTION=none,class GUARD=none>
Chris@16: struct TempRow
Chris@16: {
Chris@16:     typedef SOURCE  Source;
Chris@16:     typedef EVENT   Evt;
Chris@16:     typedef TARGET  Target;
Chris@16:     typedef ACTION  Action;
Chris@16:     typedef GUARD   Guard;
Chris@16: };
Chris@16: 
Chris@16: template <class TEMP_ROW>
Chris@16: struct convert_to_row
Chris@16: {
Chris@16:     typedef Row<typename TEMP_ROW::Source,typename TEMP_ROW::Evt,typename TEMP_ROW::Target,
Chris@16:                 typename TEMP_ROW::Action,typename TEMP_ROW::Guard> type;
Chris@16: };
Chris@16: template <class TEMP_ROW>
Chris@16: struct convert_to_internal_row
Chris@16: {
Chris@16:     typedef Internal<typename TEMP_ROW::Evt,
Chris@16:                      typename TEMP_ROW::Action,typename TEMP_ROW::Guard> type;
Chris@16: };
Chris@16: // explicit + fork + entry point + exit point grammar
Chris@16: struct BuildEntry
Chris@16:     : proto::or_<
Chris@16:         proto::when<
Chris@16:                     proto::function<proto::terminal<proto::_>,proto::terminal<state_tag>,proto::terminal<state_tag> >,
Chris@16:                     get_fct<proto::_child_c<0>,get_state_name<proto::_child_c<1>() >(),get_state_name<proto::_child_c<2>() >() >()
Chris@16:         >
Chris@16:     >
Chris@16: {};
Chris@16: 
Chris@16: // row grammar
Chris@16: struct BuildNextStates
Chris@16:    : proto::or_<
Chris@16:         proto::when<
Chris@16:                     proto::terminal<state_tag>,
Chris@16:                     get_state_name<proto::_>()
Chris@16:         >,
Chris@16:         proto::when<
Chris@16:                       BuildEntry,
Chris@16:                       BuildEntry
Chris@16:         >,
Chris@16:         proto::when<
Chris@16:                     proto::comma<BuildEntry,BuildEntry >,
Chris@16:                     ::boost::mpl::push_back<
Chris@16:                         make_vector_one_row<BuildEntry(proto::_left)>(),
Chris@16:                         BuildEntry(proto::_right)>()
Chris@16:         >,
Chris@16:         proto::when <
Chris@16:                     proto::comma<BuildNextStates,BuildEntry >,
Chris@16:                     ::boost::mpl::push_back<
Chris@16:                                 BuildNextStates(proto::_left),
Chris@16:                                 BuildEntry(proto::_right) >()                
Chris@16:         >
Chris@16:    >
Chris@16: {};
Chris@16: 
Chris@16: template <class EventGuard,class ActionClass>
Chris@16: struct fusion_event_action_guard 
Chris@16: {
Chris@16:     typedef TempRow<none,typename EventGuard::Evt,none,typename ActionClass::Action,typename EventGuard::Guard> type;
Chris@16: };
Chris@16: 
Chris@16: template <class SourceGuard,class ActionClass>
Chris@16: struct fusion_source_action_guard 
Chris@16: {
Chris@16:     typedef TempRow<typename SourceGuard::Source,none,none,typename ActionClass::Action,typename SourceGuard::Guard> type;
Chris@16: };
Chris@16: 
Chris@16: template <class SourceClass,class EventClass>
Chris@16: struct fusion_source_event_action_guard 
Chris@16: {
Chris@16:     typedef TempRow<typename SourceClass::Source,typename EventClass::Evt,
Chris@16:                     none,typename EventClass::Action,typename EventClass::Guard> type;
Chris@16: };
Chris@16: template <class Left,class Right>
Chris@16: struct fusion_left_right 
Chris@16: {
Chris@16:     typedef TempRow<typename Right::Source,typename Right::Evt,typename Left::Target
Chris@16:                    ,typename Right::Action,typename Right::Guard> type;
Chris@16: };
Chris@16: 
Chris@16: struct BuildEventPlusGuard
Chris@16:     : proto::or_<
Chris@16:         proto::when<
Chris@16:             proto::subscript<proto::terminal<event_tag>, GuardGrammar >,
Chris@16:             TempRow<none,proto::_left,none,none, GuardGrammar(proto::_right)>(proto::_right)
Chris@16:         >
Chris@16:     >
Chris@16:  {};
Chris@16: 
Chris@16: struct BuildSourceState
Chris@16:    : proto::or_<
Chris@16:         proto::when<
Chris@16:                     proto::terminal<state_tag>,
Chris@16:                     get_state_name<proto::_>()
Chris@16:         >,
Chris@16:         proto::when<
Chris@16:                     BuildEntry,
Chris@16:                     BuildEntry
Chris@16:         >
Chris@16:    >
Chris@16: {};
Chris@16: 
Chris@16: struct BuildSourcePlusGuard
Chris@16:     : proto::when<
Chris@16:             proto::subscript<BuildSourceState,GuardGrammar >,
Chris@16:             TempRow<BuildSourceState(proto::_left),none,none,none,GuardGrammar(proto::_right)>(proto::_right)
Chris@16:         >
Chris@16: {};
Chris@16: 
Chris@16: struct BuildEvent
Chris@16:     : proto::or_<
Chris@16:         // just event without guard/action
Chris@16:          proto::when<
Chris@16:                 proto::terminal<event_tag>,
Chris@16:                 TempRow<none,proto::_,none>() >
Chris@16:         // event / action
Chris@16:        , proto::when<
Chris@16:                 proto::divides<proto::terminal<event_tag>,ActionGrammar >,
Chris@16:                 TempRow<none,proto::_left,none,ActionGrammar(proto::_right) >(proto::_right) >
Chris@16:         // event [ guard ]
Chris@16:        , proto::when<
Chris@16:                 proto::subscript<proto::terminal<event_tag>,GuardGrammar >,
Chris@16:                 TempRow<none,proto::_left,none,none,GuardGrammar(proto::_right)>(proto::_right) >
Chris@16:         // event [ guard ] / action 
Chris@16:        , proto::when<
Chris@16:                 proto::divides<BuildEventPlusGuard, ActionGrammar>,
Chris@16:                 fusion_event_action_guard<BuildEventPlusGuard(proto::_left),
Chris@16:                                           TempRow<none,none,none,ActionGrammar(proto::_right)>(proto::_right)
Chris@16:                                            >() 
Chris@16:                 >
Chris@16:         >
Chris@16: {};
Chris@16: struct BuildSource
Chris@16:     : proto::or_<
Chris@16:         // after == if just state without event or guard/action
Chris@16:          proto::when<
Chris@16:                 BuildSourceState,
Chris@16:                 TempRow<BuildSourceState(proto::_),none,none>() >
Chris@16:         // == source / action
Chris@16:        , proto::when<
Chris@16:                 proto::divides<BuildSourceState,ActionGrammar >,
Chris@16:                 TempRow<BuildSourceState(proto::_left),none,none,ActionGrammar(proto::_right) >(proto::_right) >
Chris@16:         // == source [ guard ]
Chris@16:        , proto::when<
Chris@16:                 proto::subscript<BuildSourceState,GuardGrammar >,
Chris@16:                 TempRow<BuildSourceState(proto::_left),none,none,none,GuardGrammar(proto::_right)>(proto::_right) >
Chris@16:         // == source [ guard ] / action 
Chris@16:        , proto::when<
Chris@16:                 proto::divides<BuildSourcePlusGuard,
Chris@16:                                ActionGrammar >,
Chris@16:                 fusion_source_action_guard<BuildSourcePlusGuard(proto::_left),
Chris@16:                                            TempRow<none,none,none,ActionGrammar(proto::_right)>(proto::_right)
Chris@16:                                            >() 
Chris@16:                 >
Chris@16:         >
Chris@16: {};
Chris@16: 
Chris@16: struct BuildRight
Chris@16:     : proto::or_<
Chris@16:          proto::when<
Chris@16:                 proto::plus<BuildSource,BuildEvent >,
Chris@16:                 fusion_source_event_action_guard<BuildSource(proto::_left),BuildEvent(proto::_right)>()
Chris@16:          >,
Chris@16:          proto::when<
Chris@16:                 BuildSource,
Chris@16:                 BuildSource
Chris@16:          >
Chris@16:     >
Chris@16: {};
Chris@16: 
Chris@16: struct BuildRow
Chris@16:     : proto::or_<
Chris@16:         // grammar 1
Chris@16:         proto::when<
Chris@16:             proto::equal_to<BuildNextStates,BuildRight >,
Chris@16:             convert_to_row<
Chris@16:                 fusion_left_right<TempRow<none,none,BuildNextStates(proto::_left)>,BuildRight(proto::_right)> >()
Chris@16:         >,
Chris@16:         // internal events
Chris@16:         proto::when<
Chris@16:             BuildRight,
Chris@16:             convert_to_row<
Chris@16:                 fusion_left_right<TempRow<none,none,none>,BuildRight(proto::_)> >()
Chris@16:         >,
Chris@16:         // grammar 2
Chris@16:         proto::when<
Chris@16:             proto::equal_to<BuildRight,BuildNextStates>,
Chris@16:             convert_to_row<
Chris@16:                 fusion_left_right<TempRow<none,none,BuildNextStates(proto::_right)>,BuildRight(proto::_left)> >()
Chris@16:         >
Chris@16:     >
Chris@16: {};
Chris@16: 
Chris@16: // stt grammar
Chris@16: struct BuildStt
Chris@16:    : proto::or_<
Chris@16:         proto::when<
Chris@16:                     proto::comma<BuildStt,BuildStt>,
Chris@16:                     boost::mpl::push_back<BuildStt(proto::_left),BuildRow(proto::_right)>()
Chris@16:                 >,
Chris@16:         proto::when <
Chris@16:                     BuildRow,
Chris@16:                     make_vector_one_row<BuildRow(proto::_)>()
Chris@16:         >
Chris@16:    >
Chris@16: {};
Chris@16: 
Chris@16: template <class Expr>
Chris@16: typename ::boost::mpl::eval_if<
Chris@16:     typename proto::matches<Expr,BuildStt>::type,
Chris@16:     boost::result_of<BuildStt(Expr)>,
Chris@16:     make_invalid_type>::type
Chris@101: build_stt(Expr const&)
Chris@16: {
Chris@16:     return typename boost::result_of<BuildStt(Expr)>::type();
Chris@16: }
Chris@16: 
Chris@16: // internal stt grammar
Chris@16: struct BuildInternalRow
Chris@16:     :   proto::when<
Chris@16:             BuildEvent,
Chris@16:             convert_to_internal_row<
Chris@16:                 fusion_left_right<TempRow<none,none,none>,BuildEvent(proto::_)> >()
Chris@16:         >
Chris@16: {};
Chris@16: struct BuildInternalStt
Chris@16:    : proto::or_<
Chris@16:         proto::when<
Chris@16:                     proto::comma<BuildInternalStt,BuildInternalStt>,
Chris@16:                     boost::mpl::push_back<BuildInternalStt(proto::_left),BuildInternalRow(proto::_right)>()
Chris@16:                 >,
Chris@16:         proto::when <
Chris@16:                     BuildInternalRow,
Chris@16:                     make_vector_one_row<BuildInternalRow(proto::_)>()
Chris@16:         >
Chris@16:    >
Chris@16: {};
Chris@16: 
Chris@16: template <class Expr>
Chris@16: typename ::boost::mpl::eval_if<
Chris@16:     typename proto::matches<Expr,BuildInternalStt>::type,
Chris@16:     boost::result_of<BuildInternalStt(Expr)>,
Chris@16:     make_invalid_type>::type
Chris@101: build_internal_stt(Expr const&)
Chris@16: {
Chris@16:     return typename boost::result_of<BuildInternalStt(Expr)>::type();
Chris@16: }
Chris@16: 
Chris@16: 
Chris@16: }}}}
Chris@16: #endif //BOOST_MSM_FRONT_EUML_STT_GRAMMAR_H