[Boost-commit] svn:boost r59658 - sandbox/msm/boost/msm/front/euml

Subject: [Boost-commit] svn:boost r59658 - sandbox/msm/boost/msm/front/euml
From: christophe.j.henry_at_[hidden]
Date: 2010-02-12 08:22:08

Author: chenry
Date: 2010-02-12 08:22:07 EST (Fri, 12 Feb 2010)
New Revision: 59658
URL: http://svn.boost.org/trac/boost/changeset/59658

Log:
added support for internal_transition_table in eUML
Text files modified: 
   sandbox/msm/boost/msm/front/euml/stt_grammar.hpp |    39 +++++++++++++++++++++++++++++++++++++-- 
   1 files changed, 37 insertions(+), 2 deletions(-)

Modified: sandbox/msm/boost/msm/front/euml/stt_grammar.hpp
==============================================================================
--- sandbox/msm/boost/msm/front/euml/stt_grammar.hpp	(original)
+++ sandbox/msm/boost/msm/front/euml/stt_grammar.hpp	2010-02-12 08:22:07 EST (Fri, 12 Feb 2010)
@@ -40,7 +40,12 @@
     typedef Row<typename TEMP_ROW::Source,typename TEMP_ROW::Evt,typename TEMP_ROW::Target,
                 typename TEMP_ROW::Action,typename TEMP_ROW::Guard> type;
 };
-
+template <class TEMP_ROW>
+struct convert_to_internal_row
+{
+    typedef Internal<typename TEMP_ROW::Evt,
+                     typename TEMP_ROW::Action,typename TEMP_ROW::Guard> type;
+};
 // row grammar
 struct BuildNextStates
    : proto::or_<
@@ -202,7 +207,6 @@
    >
 {};
 
-
 template <class Expr>
 typename ::boost::mpl::eval_if<
     typename proto::matches<Expr,BuildStt>::type,
@@ -213,6 +217,37 @@
     return typename boost::result_of<BuildStt(Expr)>::type();
 }
 
+// internal stt grammar
+struct BuildInternalRow
+    :   proto::when<
+            BuildEvent,
+            convert_to_internal_row<
+                fusion_left_right<TempRow<none,none,none>,BuildEvent(proto::_)> >()
+        >
+{};
+struct BuildInternalStt
+   : proto::or_<
+        proto::when<
+                    proto::comma<BuildInternalStt,BuildInternalStt>,
+                    boost::mpl::push_back<BuildInternalStt(proto::_left),BuildInternalRow(proto::_right)>()
+                >,
+        proto::when <
+                    BuildInternalRow,
+                    make_vector_one_row<BuildInternalRow(proto::_)>()
+        >
+   >
+{};
+
+template <class Expr>
+typename ::boost::mpl::eval_if<
+    typename proto::matches<Expr,BuildInternalStt>::type,
+    boost::result_of<BuildInternalStt(Expr)>,
+    make_invalid_type>::type
+build_internal_stt(Expr const& expr)
+{
+    return typename boost::result_of<BuildInternalStt(Expr)>::type();
+}
+
 
 }}}}
 #endif //BOOST_MSM_FRONT_EUML_STT_GRAMMAR_H