[Boost-commit] svn:boost r66389 - trunk/libs/statechart/test

Subject: [Boost-commit] svn:boost r66389 - trunk/libs/statechart/test
From: ahd6974-boostorg_at_[hidden]
Date: 2010-11-03 17:20:58

Author: andreas_huber69
Date: 2010-11-03 17:20:57 EDT (Wed, 03 Nov 2010)
New Revision: 66389
URL: http://svn.boost.org/trac/boost/changeset/66389

Log:
Test that reproduces the issue reported at http://thread.gmane.org/gmane.comp.lib.boost.user/62965
Added:
   trunk/libs/statechart/test/DeferralBug.cpp   (contents, props changed)
Text files modified: 
   trunk/libs/statechart/test/Jamfile.v2 |     1 +                                       
   1 files changed, 1 insertions(+), 0 deletions(-)

Added: trunk/libs/statechart/test/DeferralBug.cpp
==============================================================================
--- (empty file)
+++ trunk/libs/statechart/test/DeferralBug.cpp	2010-11-03 17:20:57 EDT (Wed, 03 Nov 2010)
@@ -0,0 +1,78 @@
+//////////////////////////////////////////////////////////////////////////////
+// Copyright 2010 Igor R (http://thread.gmane.org/gmane.comp.lib.boost.user/62985)
+// Copyright 2010 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/event.hpp>
+#include <boost/statechart/state_machine.hpp>
+#include <boost/statechart/simple_state.hpp>
+#include <boost/statechart/transition.hpp>
+#include <boost/statechart/deferral.hpp>
+
+#include <boost/mpl/list.hpp>
+
+#include <boost/test/test_tools.hpp>
+
+
+
+namespace sc = boost::statechart;
+namespace mpl = boost::mpl;
+
+
+
+struct ev1to2 : sc::event<ev1to2> {};
+struct ev2to3 : sc::event<ev2to3> {};
+struct ev3to4_1 : sc::event<ev3to4_1> {};
+struct ev3to4_2 : sc::event<ev3to4_2> {};
+
+struct s1;
+struct fsm : sc::state_machine<fsm, s1> {};
+
+struct s2;
+struct s1 : sc::simple_state<s1, fsm>
+{
+  typedef mpl::list<
+    sc::transition<ev1to2, s2>,
+    sc::deferral<ev2to3>,
+    sc::deferral<ev3to4_1>,
+    sc::deferral<ev3to4_2>
+  > reactions;
+};
+
+struct s3;
+struct s2 : sc::simple_state<s2, fsm>
+{
+  typedef mpl::list<
+    sc::transition<ev2to3, s3>,
+    sc::deferral<ev3to4_1>,
+    sc::deferral<ev3to4_2>
+  > reactions;
+};
+
+struct s4_1;
+struct s4_2;
+struct s3 : sc::simple_state<s3, fsm>
+{
+  typedef mpl::list<
+    sc::transition<ev3to4_1, s4_1>,
+    sc::transition<ev3to4_2, s4_2>
+  > reactions;
+};
+
+struct s4_1 : sc::simple_state<s4_1, fsm> {};
+struct s4_2 : sc::simple_state<s4_2, fsm> {};
+
+int test_main( int, char* [] )
+{
+  fsm machine;
+  machine.initiate();
+  machine.process_event(ev3to4_1());
+  machine.process_event(ev2to3());
+  machine.process_event(ev3to4_2());
+  machine.process_event(ev1to2());
+  BOOST_REQUIRE( machine.state_cast<const s4_1 *>() != 0 );
+
+  return 0;
+}

Modified: trunk/libs/statechart/test/Jamfile.v2
==============================================================================
--- trunk/libs/statechart/test/Jamfile.v2	(original)
+++ trunk/libs/statechart/test/Jamfile.v2	2010-11-03 17:20:57 EDT (Wed, 03 Nov 2010)
@@ -118,6 +118,7 @@
     [ statechart-st-run-variants InStateReactionTest ]
     [ statechart-st-run-variants TerminationTest ]
     [ statechart-st-run-variants DeferralTest ]
+    [ statechart-st-run-variants DeferralBug ]
     [ statechart-st-run-variants CustomReactionTest ]
     [ statechart-compile-fail-variants InvalidResultAssignTest ]
     [ statechart-compile-fail-variants InvalidResultDefCtorTest ]