FM / statechart

/usr/include/boost/statechart

Name	Size	Mode	Actions
detail/	-	0755	rm
asynchronous_state_machine.hpp	2510	0644	edit dl rm
custom_reaction.hpp	2150	0644	edit dl rm
deep_history.hpp	2133	0644	edit dl rm
deferral.hpp	1992	0644	edit dl rm
event.hpp	2032	0644	edit dl rm
event_base.hpp	2820	0644	edit dl rm
event_processor.hpp	1997	0644	edit dl rm
exception_translator.hpp	1545	0644	edit dl rm
fifo_scheduler.hpp	6202	0644	edit dl rm
fifo_worker.hpp	5450	0644	edit dl rm
history.hpp	555	0644	edit dl rm
in_state_reaction.hpp	2148	0644	edit dl rm
null_exception_translator.hpp	1200	0644	edit dl rm
processor_container.hpp	15279	0644	edit dl rm
result.hpp	2882	0644	edit dl rm
shallow_history.hpp	2148	0644	edit dl rm
simple_state.hpp	32628	0644	edit dl rm
state.hpp	2979	0644	edit dl rm
state_machine.hpp	33909	0644	edit dl rm
termination.hpp	2000	0644	edit dl rm
transition.hpp	2124	0644	edit dl rm

Edit: /usr/include/boost/statechart/result.hpp (2882B)

#include <boost/assert.hpp>

namespace boost
{
namespace statechart
{
namespace detail
{

//////////////////////////////////////////////////////////////////////////////
enum reaction_result
{
  no_reaction,
  do_forward_event,
  do_discard_event,
  do_defer_event,
  consumed
};

struct result_utility;

//////////////////////////////////////////////////////////////////////////////
class safe_reaction_result
{
  public:
    //////////////////////////////////////////////////////////////////////////
    safe_reaction_result( const safe_reaction_result & other ) :
      reactionResult_( other.reactionResult_ )
    {
      // This assert fails when an attempt is made to make multiple copies of
      // a result value. This makes little sense, given the requirement that
      // an obtained result value must be returned out of the react function.
      BOOST_ASSERT( reactionResult_ != consumed );
      other.reactionResult_ = consumed;
    }

~safe_reaction_result()
    {
      // This assert fails when an obtained result value is not returned out
      // of the react() function. This can happen if the user accidentally
      // makes more than one call to reaction functions inside react() or
      // accidentally makes one or more calls to reaction functions outside
      // react()
      BOOST_ASSERT( reactionResult_ == consumed );
    }

private:
    //////////////////////////////////////////////////////////////////////////
    safe_reaction_result( reaction_result reactionResult ) :
      reactionResult_( reactionResult )
    {
    }

operator reaction_result() const
    {
      const reaction_result val = reactionResult_;
      reactionResult_ = consumed;
      return val;
    }

safe_reaction_result & operator=( const safe_reaction_result & );

mutable reaction_result reactionResult_;

friend struct result_utility;
};

} // namespace detail

#ifdef NDEBUG
  typedef detail::reaction_result result;
#else
  typedef detail::safe_reaction_result result;
#endif

namespace detail
{

//////////////////////////////////////////////////////////////////////////////
struct result_utility
{
  static ::boost::statechart::result make_result( reaction_result value )
  {
    return value;
  }

static reaction_result get_result( ::boost::statechart::result value )
  {
    return value;
  }
};

} // namespace detail
} // namespace statechart
} // namespace boost

#endif

#ifndef BOOST_STATECHART_RESULT_HPP_INCLUDED #define BOOST_STATECHART_RESULT_HPP_INCLUDED ////////////////////////////////////////////////////////////////////////////// // Copyright 2002-2010 Andreas Huber Doenni // Distributed under the Boost Software License, Version 1.0. (See accompany- // ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) ////////////////////////////////////////////////////////////////////////////// #include namespace boost { namespace statechart { namespace detail { ////////////////////////////////////////////////////////////////////////////// enum reaction_result { no_reaction, do_forward_event, do_discard_event, do_defer_event, consumed }; struct result_utility; ////////////////////////////////////////////////////////////////////////////// class safe_reaction_result { public: ////////////////////////////////////////////////////////////////////////// safe_reaction_result( const safe_reaction_result & other ) : reactionResult_( other.reactionResult_ ) { // This assert fails when an attempt is made to make multiple copies of // a result value. This makes little sense, given the requirement that // an obtained result value must be returned out of the react function. BOOST_ASSERT( reactionResult_ != consumed ); other.reactionResult_ = consumed; } ~safe_reaction_result() { // This assert fails when an obtained result value is not returned out // of the react() function. This can happen if the user accidentally // makes more than one call to reaction functions inside react() or // accidentally makes one or more calls to reaction functions outside // react() BOOST_ASSERT( reactionResult_ == consumed ); } private: ////////////////////////////////////////////////////////////////////////// safe_reaction_result( reaction_result reactionResult ) : reactionResult_( reactionResult ) { } operator reaction_result() const { const reaction_result val = reactionResult_; reactionResult_ = consumed; return val; } safe_reaction_result & operator=( const safe_reaction_result & ); mutable reaction_result reactionResult_; friend struct result_utility; }; } // namespace detail #ifdef NDEBUG typedef detail::reaction_result result; #else typedef detail::safe_reaction_result result; #endif namespace detail { ////////////////////////////////////////////////////////////////////////////// struct result_utility { static ::boost::statechart::result make_result( reaction_result value ) { return value; } static reaction_result get_result( ::boost::statechart::result value ) { return value; } }; } // namespace detail } // namespace statechart } // namespace boost #endif