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 //////////////////////////////////////////////////////////////////////////////
8 
9 
10 
11 #include <boost/statechart/result.hpp>
12 
13 #include <boost/statechart/detail/reaction_dispatcher.hpp>
14 
15 
16 
17 namespace boost
18 {
19 namespace statechart
20 {
21 
22 
23 
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 >
29 class transition
30 {
31   private:
32     //////////////////////////////////////////////////////////////////////////
33     template< class State >
34     struct reactions
35     {
react_without_actionboost::statechart::transition::reactions36       static result react_without_action( State & stt )
37       {
38         return stt.template transit< Destination >();
39       }
40 
react_with_actionboost::statechart::transition::reactions41       static result react_with_action( State & stt, const Event & evt )
42       {
43         return stt.template transit< Destination >( pTransitionAction, evt );
44       }
45     };
46 
47   public:
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 >
react(State & stt,const EventBase & evt,const IdType & eventType)53     static detail::reaction_result react(
54       State & stt, const EventBase & evt, const IdType & eventType )
55     {
56       typedef detail::reaction_dispatcher<
57         reactions< State >, State, EventBase, Event, TransitionContext, IdType
58       > dispatcher;
59       return dispatcher::react( stt, evt, eventType );
60     }
61 };
62 
63 
64 
65 } // namespace statechart
66 } // namespace boost
67 
68 
69 
70 #endif
71