no_fsm_check.hpp 1.0 KB

12345678910111213141516171819202122232425262728293031323334353637
  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. #ifndef BOOST_MSM_BACK_NO_FSM_CHECK_H
  11. #define BOOST_MSM_BACK_NO_FSM_CHECK_H
  12. #include <boost/mpl/assert.hpp>
  13. #include <boost/msm/back/metafunctions.hpp>
  14. namespace boost { namespace msm { namespace back
  15. {
  16. struct no_fsm_check
  17. {
  18. typedef int fsm_check;
  19. // no fsm structure checking
  20. template <class Fsm>
  21. static void check_orthogonality()
  22. {
  23. }
  24. template <class Fsm>
  25. static void check_unreachable_states()
  26. {
  27. }
  28. };
  29. } } }//boost::msm::back
  30. #endif //BOOST_MSM_BACK_NO_FSM_CHECK_H