1 #ifndef BOOST_STATECHART_DEFERRAL_HPP_INCLUDED
2 #define BOOST_STATECHART_DEFERRAL_HPP_INCLUDED
3 //////////////////////////////////////////////////////////////////////////////
4 // Copyright 2002-2006 Andreas Huber Doenni
5 // Distributed under the Boost Software License, Version 1.0. (See accompany-
6 // ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7 //////////////////////////////////////////////////////////////////////////////
11 #include <boost/statechart/result.hpp>
24 //////////////////////////////////////////////////////////////////////////////
25 template< class Event >
29 //////////////////////////////////////////////////////////////////////////
30 // The following declarations should be private.
31 // They are only public because many compilers lack template friends.
32 //////////////////////////////////////////////////////////////////////////
33 template< class State, class EventBase, class IdType >
34 static detail::reaction_result react(
35 State & stt, const EventBase &, const IdType & eventType )
37 if ( eventType == Event::static_type() )
39 return detail::result_utility::get_result( stt.defer_event() );
43 return detail::no_reaction;
49 class deferral< event_base >
52 //////////////////////////////////////////////////////////////////////////
53 // The following declarations should be private.
54 // They are only public because many compilers lack template friends.
55 //////////////////////////////////////////////////////////////////////////
56 template< class State, class EventBase, class IdType >
57 static detail::reaction_result react(
58 State & stt, const EventBase &, const IdType & )
60 return detail::result_utility::get_result( stt.defer_event() );
66 } // namespace statechart