1 #ifndef BOOST_STATECHART_TRANSITION_HPP_INCLUDED
2 #define BOOST_STATECHART_TRANSITION_HPP_INCLUDED
3 //////////////////////////////////////////////////////////////////////////////
4 // Copyright 2002-2008 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>
13 #include <boost/statechart/detail/reaction_dispatcher.hpp>
24 //////////////////////////////////////////////////////////////////////////////
25 template< class Event, class Destination,
26 class TransitionContext = detail::no_context< Event >,
27 void ( TransitionContext::*pTransitionAction )( const Event & ) =
28 &detail::no_context< Event >::no_function >
32 //////////////////////////////////////////////////////////////////////////
33 template< class State >
36 static result react_without_action( State & stt )
38 return stt.template transit< Destination >();
41 static result react_with_action( State & stt, const Event & evt )
43 return stt.template transit< Destination >( pTransitionAction, evt );
48 //////////////////////////////////////////////////////////////////////////
49 // The following declarations should be private.
50 // They are only public because many compilers lack template friends.
51 //////////////////////////////////////////////////////////////////////////
52 template< class State, class EventBase, class IdType >
53 static detail::reaction_result react(
54 State & stt, const EventBase & evt, const IdType & eventType )
56 typedef detail::reaction_dispatcher<
57 reactions< State >, State, EventBase, Event, TransitionContext, IdType
59 return dispatcher::react( stt, evt, eventType );
65 } // namespace statechart