72 lines
2.0 KiB
C++
72 lines
2.0 KiB
C++
#ifndef BOOST_STATECHART_TERMINATION_HPP_INCLUDED
|
|
#define BOOST_STATECHART_TERMINATION_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 termination
|
|
{
|
|
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.terminate() );
|
|
}
|
|
else
|
|
{
|
|
return detail::no_reaction;
|
|
}
|
|
}
|
|
};
|
|
|
|
template<>
|
|
class termination< 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.terminate() );
|
|
}
|
|
};
|
|
|
|
|
|
|
|
} // namespace statechart
|
|
} // namespace boost
|
|
|
|
|
|
|
|
#endif
|