1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/os/ossrv/ossrv_pub/boost_apis/boost/statechart/custom_reaction.hpp	Fri Jun 15 03:10:57 2012 +0200
     1.3 @@ -0,0 +1,74 @@
     1.4 +#ifndef BOOST_STATECHART_CUSTOM_REACTION_HPP_INCLUDED
     1.5 +#define BOOST_STATECHART_CUSTOM_REACTION_HPP_INCLUDED
     1.6 +//////////////////////////////////////////////////////////////////////////////
     1.7 +// Copyright 2002-2006 Andreas Huber Doenni
     1.8 +// Distributed under the Boost Software License, Version 1.0. (See accompany-
     1.9 +// ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
    1.10 +//////////////////////////////////////////////////////////////////////////////
    1.11 +
    1.12 +
    1.13 +
    1.14 +#include <boost/statechart/result.hpp>
    1.15 +
    1.16 +#include <boost/cast.hpp> // boost::polymorphic_downcast
    1.17 +
    1.18 +
    1.19 +
    1.20 +namespace boost
    1.21 +{
    1.22 +namespace statechart
    1.23 +{
    1.24 +
    1.25 +
    1.26 +
    1.27 +class event_base;
    1.28 +
    1.29 +//////////////////////////////////////////////////////////////////////////////
    1.30 +template< class Event >
    1.31 +class custom_reaction
    1.32 +{
    1.33 +  public:
    1.34 +    //////////////////////////////////////////////////////////////////////////
    1.35 +    // The following declarations should be private.
    1.36 +    // They are only public because many compilers lack template friends.
    1.37 +    //////////////////////////////////////////////////////////////////////////
    1.38 +    template< class State, class EventBase, class IdType >
    1.39 +    static detail::reaction_result react(
    1.40 +      State & stt, const EventBase & evt, const IdType & eventType )
    1.41 +    {
    1.42 +      if ( eventType == Event::static_type() )
    1.43 +      {
    1.44 +        return detail::result_utility::get_result( 
    1.45 +          stt.react( *polymorphic_downcast< const Event * >( &evt ) ) );
    1.46 +      }
    1.47 +      else
    1.48 +      {
    1.49 +        return detail::no_reaction;
    1.50 +      }
    1.51 +    }
    1.52 +};
    1.53 +
    1.54 +template<>
    1.55 +class custom_reaction< event_base >
    1.56 +{
    1.57 +  public:
    1.58 +    //////////////////////////////////////////////////////////////////////////
    1.59 +    // The following declarations should be private.
    1.60 +    // They are only public because many compilers lack template friends.
    1.61 +    //////////////////////////////////////////////////////////////////////////
    1.62 +    template< class State, class EventBase, class IdType >
    1.63 +    static detail::reaction_result react(
    1.64 +      State & stt, const EventBase & evt, const IdType & )
    1.65 +    {
    1.66 +      return detail::result_utility::get_result( stt.react( evt ) );
    1.67 +    }
    1.68 +};
    1.69 +
    1.70 +
    1.71 +
    1.72 +} // namespace statechart
    1.73 +} // namespace boost
    1.74 +
    1.75 +
    1.76 +
    1.77 +#endif