| |
| #ifndef BOOST_FSM_STATE_INCLUDED |
| #define BOOST_FSM_STATE_INCLUDED |
| |
| // Copyright Aleksey Gurtovoy 2002-2004 |
| // |
| // Distributed under the Boost Software License, Version 1.0. |
| // (See accompanying file LICENSE_1_0.txt or copy at |
| // http://www.boost.org/LICENSE_1_0.txt) |
| // |
| // See http://www.boost.org/libs/mpl for documentation. |
| |
| // $Id: state.hpp 49268 2008-10-11 06:26:17Z agurtovoy $ |
| // $Date: 2008-10-11 02:26:17 -0400 (Sat, 11 Oct 2008) $ |
| // $Revision: 49268 $ |
| |
| #include <boost/mpl/integral_c.hpp> |
| |
| namespace fsm { namespace aux { |
| |
| namespace mpl = boost::mpl; |
| |
| // represent a FSM state |
| |
| template< |
| typename T |
| , long State |
| , void (T::* invariant_func)() const |
| > |
| struct state |
| : mpl::integral_c<long,State> |
| { |
| static long do_check_invariant(T const& x) |
| { |
| if (invariant_func) (x.*invariant_func)(); |
| return State; |
| } |
| }; |
| |
| }} |
| |
| #endif // BOOST_FSM_STATE_INCLUDED |