1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/os/ossrv/ossrv_pub/boost_apis/boost/statechart/termination.hpp	Fri Jun 15 03:10:57 2012 +0200
     1.3 @@ -0,0 +1,71 @@
     1.4 +#ifndef BOOST_STATECHART_TERMINATION_HPP_INCLUDED
     1.5 +#define BOOST_STATECHART_TERMINATION_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 +
    1.17 +
    1.18 +namespace boost
    1.19 +{
    1.20 +namespace statechart
    1.21 +{
    1.22 +
    1.23 +
    1.24 +
    1.25 +class event_base;
    1.26 +
    1.27 +//////////////////////////////////////////////////////////////////////////////
    1.28 +template< class Event >
    1.29 +class termination
    1.30 +{
    1.31 +  public:
    1.32 +    //////////////////////////////////////////////////////////////////////////
    1.33 +    // The following declarations should be private.
    1.34 +    // They are only public because many compilers lack template friends.
    1.35 +    //////////////////////////////////////////////////////////////////////////
    1.36 +    template< class State, class EventBase, class IdType >
    1.37 +    static detail::reaction_result react(
    1.38 +      State & stt, const EventBase &, const IdType & eventType )
    1.39 +    {
    1.40 +      if ( eventType == Event::static_type() )
    1.41 +      {
    1.42 +        return detail::result_utility::get_result( stt.terminate() );
    1.43 +      }
    1.44 +      else
    1.45 +      {
    1.46 +        return detail::no_reaction;
    1.47 +      }
    1.48 +    }
    1.49 +};
    1.50 +
    1.51 +template<>
    1.52 +class termination< event_base >
    1.53 +{
    1.54 +  public:
    1.55 +    //////////////////////////////////////////////////////////////////////////
    1.56 +    // The following declarations should be private.
    1.57 +    // They are only public because many compilers lack template friends.
    1.58 +    //////////////////////////////////////////////////////////////////////////
    1.59 +    template< class State, class EventBase, class IdType >
    1.60 +    static detail::reaction_result react(
    1.61 +      State & stt, const EventBase &, const IdType & )
    1.62 +    {
    1.63 +      return detail::result_utility::get_result( stt.terminate() );
    1.64 +    }
    1.65 +};
    1.66 +
    1.67 +
    1.68 +
    1.69 +} // namespace statechart
    1.70 +} // namespace boost
    1.71 +
    1.72 +
    1.73 +
    1.74 +#endif