| 1 | // Copyright 2008 Christophe Henry |
|---|
| 2 | // henry UNDERSCORE christophe AT hotmail DOT com |
|---|
| 3 | // This is an extended version of the state machine available in the boost::mpl library |
|---|
| 4 | // Distributed under the same license as the original. |
|---|
| 5 | // Copyright for the original version: |
|---|
| 6 | // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed |
|---|
| 7 | // under the Boost Software License, Version 1.0. (See accompanying |
|---|
| 8 | // file LICENSE_1_0.txt or copy at |
|---|
| 9 | // http://www.boost.org/LICENSE_1_0.txt) |
|---|
| 10 | |
|---|
| 11 | #ifndef BOOST_MSM_BACK_NO_FSM_CHECK_H |
|---|
| 12 | #define BOOST_MSM_BACK_NO_FSM_CHECK_H |
|---|
| 13 | |
|---|
| 14 | #include <boost/mpl/assert.hpp> |
|---|
| 15 | |
|---|
| 16 | |
|---|
| 17 | namespace boost { namespace msm { namespace back |
|---|
| 18 | { |
|---|
| 19 | struct no_fsm_check |
|---|
| 20 | { |
|---|
| 21 | typedef int fsm_check; |
|---|
| 22 | // no fsm structure checking |
|---|
| 23 | template <class Fsm> |
|---|
| 24 | static void check_orthogonality() |
|---|
| 25 | { |
|---|
| 26 | } |
|---|
| 27 | template <class Fsm> |
|---|
| 28 | static void check_unreachable_states() |
|---|
| 29 | { |
|---|
| 30 | } |
|---|
| 31 | }; |
|---|
| 32 | |
|---|
| 33 | } } }//boost::msm::back |
|---|
| 34 | |
|---|
| 35 | |
|---|
| 36 | #endif //BOOST_MSM_BACK_NO_FSM_CHECK_H |
|---|
| 37 | |
|---|
