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