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/event_base.hpp (2820B)

#include <boost/statechart/detail/rtti_policy.hpp>
#include <boost/statechart/detail/counted_base.hpp>

#include <boost/assert.hpp>
#include <boost/intrusive_ptr.hpp>
#include <boost/config.hpp>

namespace boost
{
namespace statechart
{
namespace detail
{

// This helper is necessary because there doesn't seem to be consensus among
// compilers on how a friend declaration for a function in another namespace
// has to look like.
class delete_helper
{
  public:
    template< class T >
    static void delete_object( const T * pObject )
    {
      delete pObject;
    }
};

} // namespace detail

//////////////////////////////////////////////////////////////////////////////
class event_base : public detail::rtti_policy::rtti_base_type<
  detail::counted_base<> >
{
  typedef detail::rtti_policy::rtti_base_type<
    detail::counted_base<> > base_type;
  public:
    //////////////////////////////////////////////////////////////////////////
    intrusive_ptr< const event_base > intrusive_from_this() const;

protected:
    //////////////////////////////////////////////////////////////////////////
    event_base( detail::rtti_policy::id_provider_type idProvider ) :
      base_type( idProvider )
    {
    }

virtual ~event_base() {}

private:
    //////////////////////////////////////////////////////////////////////////
    virtual intrusive_ptr< const event_base > clone() const = 0;

friend class detail::delete_helper;
};

#ifdef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
} // namespace statechart
#endif

inline void intrusive_ptr_add_ref( const ::boost::statechart::event_base * pBase )
{
  pBase->add_ref();
}

inline void intrusive_ptr_release( const ::boost::statechart::event_base * pBase )
{
  if ( pBase->release() )
  {
    ::boost::statechart::detail::delete_helper::delete_object( pBase );
  }
}

#ifndef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
} // namespace statechart
#endif
namespace statechart
{

// We're implementing this here so that GCC3.4.2 can find
// intrusive_ptr_add_ref, which is indirectly called from the intrusive_ptr
// ctor.
inline intrusive_ptr< const event_base > event_base::intrusive_from_this() const
{
  if ( base_type::ref_counted() )
  {
    return intrusive_ptr< const event_base >( this );
  }
  else
  {
    return clone();
  }
}

} // namespace statechart
} // namespace boost

#endif

#ifndef BOOST_STATECHART_EVENT_BASE_HPP_INCLUDED #define BOOST_STATECHART_EVENT_BASE_HPP_INCLUDED ////////////////////////////////////////////////////////////////////////////// // Copyright 2002-2006 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 #include #include #include #include namespace boost { namespace statechart { namespace detail { // This helper is necessary because there doesn't seem to be consensus among // compilers on how a friend declaration for a function in another namespace // has to look like. class delete_helper { public: template< class T > static void delete_object( const T * pObject ) { delete pObject; } }; } // namespace detail ////////////////////////////////////////////////////////////////////////////// class event_base : public detail::rtti_policy::rtti_base_type< detail::counted_base<> > { typedef detail::rtti_policy::rtti_base_type< detail::counted_base<> > base_type; public: ////////////////////////////////////////////////////////////////////////// intrusive_ptr< const event_base > intrusive_from_this() const; protected: ////////////////////////////////////////////////////////////////////////// event_base( detail::rtti_policy::id_provider_type idProvider ) : base_type( idProvider ) { } virtual ~event_base() {} private: ////////////////////////////////////////////////////////////////////////// virtual intrusive_ptr< const event_base > clone() const = 0; friend class detail::delete_helper; }; #ifdef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP } // namespace statechart #endif inline void intrusive_ptr_add_ref( const ::boost::statechart::event_base * pBase ) { pBase->add_ref(); } inline void intrusive_ptr_release( const ::boost::statechart::event_base * pBase ) { if ( pBase->release() ) { ::boost::statechart::detail::delete_helper::delete_object( pBase ); } } #ifndef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP } // namespace statechart #endif namespace statechart { // We're implementing this here so that GCC3.4.2 can find // intrusive_ptr_add_ref, which is indirectly called from the intrusive_ptr // ctor. inline intrusive_ptr< const event_base > event_base::intrusive_from_this() const { if ( base_type::ref_counted() ) { return intrusive_ptr< const event_base >( this ); } else { return clone(); } } } // namespace statechart } // namespace boost #endif