diff DEPENDENCIES/generic/include/boost/statechart/termination.hpp @ 16:2665513ce2d3

Add boost headers

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/DEPENDENCIES/generic/include/boost/statechart/termination.hpp	Tue Aug 05 11:11:38 2014 +0100
@@ -0,0 +1,71 @@
+#ifndef BOOST_STATECHART_TERMINATION_HPP_INCLUDED
+#define BOOST_STATECHART_TERMINATION_HPP_INCLUDED
+//////////////////////////////////////////////////////////////////////////////
+// Copyright 2002-2006 Andreas Huber Doenni
+// Distributed under the Boost Software License, Version 1.0. (See accompany-
+// ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+//////////////////////////////////////////////////////////////////////////////
+
+
+
+#include <boost/statechart/result.hpp>
+
+
+
+namespace boost
+{
+namespace statechart
+{
+
+
+
+class event_base;
+
+//////////////////////////////////////////////////////////////////////////////
+template< class Event >
+class termination
+{
+  public:
+    //////////////////////////////////////////////////////////////////////////
+    // The following declarations should be private.
+    // They are only public because many compilers lack template friends.
+    //////////////////////////////////////////////////////////////////////////
+    template< class State, class EventBase, class IdType >
+    static detail::reaction_result react(
+      State & stt, const EventBase &, const IdType & eventType )
+    {
+      if ( eventType == Event::static_type() )
+      {
+        return detail::result_utility::get_result( stt.terminate() );
+      }
+      else
+      {
+        return detail::no_reaction;
+      }
+    }
+};
+
+template<>
+class termination< event_base >
+{
+  public:
+    //////////////////////////////////////////////////////////////////////////
+    // The following declarations should be private.
+    // They are only public because many compilers lack template friends.
+    //////////////////////////////////////////////////////////////////////////
+    template< class State, class EventBase, class IdType >
+    static detail::reaction_result react(
+      State & stt, const EventBase &, const IdType & )
+    {
+      return detail::result_utility::get_result( stt.terminate() );
+    }
+};
+
+
+
+} // namespace statechart
+} // namespace boost
+
+
+
+#endif