annotate DEPENDENCIES/generic/include/boost/statechart/deferral.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents 2665513ce2d3
children
rev   line source
Chris@16 1 #ifndef BOOST_STATECHART_DEFERRAL_HPP_INCLUDED
Chris@16 2 #define BOOST_STATECHART_DEFERRAL_HPP_INCLUDED
Chris@16 3 //////////////////////////////////////////////////////////////////////////////
Chris@16 4 // Copyright 2002-2006 Andreas Huber Doenni
Chris@16 5 // Distributed under the Boost Software License, Version 1.0. (See accompany-
Chris@16 6 // ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16 7 //////////////////////////////////////////////////////////////////////////////
Chris@16 8
Chris@16 9
Chris@16 10
Chris@16 11 #include <boost/statechart/result.hpp>
Chris@16 12
Chris@16 13
Chris@16 14
Chris@16 15 namespace boost
Chris@16 16 {
Chris@16 17 namespace statechart
Chris@16 18 {
Chris@16 19
Chris@16 20
Chris@16 21
Chris@16 22 class event_base;
Chris@16 23
Chris@16 24 //////////////////////////////////////////////////////////////////////////////
Chris@16 25 template< class Event >
Chris@16 26 class deferral
Chris@16 27 {
Chris@16 28 public:
Chris@16 29 //////////////////////////////////////////////////////////////////////////
Chris@16 30 // The following declarations should be private.
Chris@16 31 // They are only public because many compilers lack template friends.
Chris@16 32 //////////////////////////////////////////////////////////////////////////
Chris@16 33 template< class State, class EventBase, class IdType >
Chris@16 34 static detail::reaction_result react(
Chris@16 35 State & stt, const EventBase &, const IdType & eventType )
Chris@16 36 {
Chris@16 37 if ( eventType == Event::static_type() )
Chris@16 38 {
Chris@16 39 return detail::result_utility::get_result( stt.defer_event() );
Chris@16 40 }
Chris@16 41 else
Chris@16 42 {
Chris@16 43 return detail::no_reaction;
Chris@16 44 }
Chris@16 45 }
Chris@16 46 };
Chris@16 47
Chris@16 48 template<>
Chris@16 49 class deferral< event_base >
Chris@16 50 {
Chris@16 51 public:
Chris@16 52 //////////////////////////////////////////////////////////////////////////
Chris@16 53 // The following declarations should be private.
Chris@16 54 // They are only public because many compilers lack template friends.
Chris@16 55 //////////////////////////////////////////////////////////////////////////
Chris@16 56 template< class State, class EventBase, class IdType >
Chris@16 57 static detail::reaction_result react(
Chris@16 58 State & stt, const EventBase &, const IdType & )
Chris@16 59 {
Chris@16 60 return detail::result_utility::get_result( stt.defer_event() );
Chris@16 61 }
Chris@16 62 };
Chris@16 63
Chris@16 64
Chris@16 65
Chris@16 66 } // namespace statechart
Chris@16 67 } // namespace boost
Chris@16 68
Chris@16 69
Chris@16 70
Chris@16 71 #endif