ShallowHistoryTest.cc 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "ShallowHistory.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. //! The timers are managed by a timer service. */
  8. static SctUnitRunner * runner;
  9. class ShallowHistoryTest : public ::testing::Test{
  10. protected:
  11. ShallowHistory* statechart;
  12. virtual void SetUp() {
  13. statechart = new ShallowHistory();
  14. statechart->init();
  15. runner = new SctUnitRunner(
  16. statechart,
  17. false,
  18. 200
  19. );
  20. }
  21. virtual void TearDown() {
  22. delete statechart;
  23. delete runner;
  24. }
  25. };
  26. TEST_F(ShallowHistoryTest, shallowHistoryTest) {
  27. statechart->enter();
  28. statechart->getDefaultSCI()->raise_event1();
  29. runner->proceed_cycles(1);
  30. statechart->getDefaultSCI()->raise_event3();
  31. runner->proceed_cycles(1);
  32. statechart->getDefaultSCI()->raise_event5();
  33. runner->proceed_cycles(1);
  34. statechart->getDefaultSCI()->raise_event7();
  35. runner->proceed_cycles(1);
  36. EXPECT_TRUE(!statechart->isStateActive(ShallowHistory::mainRegion_State1));
  37. EXPECT_TRUE(statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State7__region0_State9));
  38. statechart->getDefaultSCI()->raise_event6();
  39. runner->proceed_cycles(1);
  40. EXPECT_TRUE(!statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State7__region0_State9));
  41. EXPECT_TRUE(statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State6));
  42. statechart->getDefaultSCI()->raise_event5();
  43. runner->proceed_cycles(1);
  44. EXPECT_TRUE(!statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State7__region0_State8));
  45. EXPECT_TRUE(statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State7__region0_State9));
  46. statechart->getDefaultSCI()->raise_event2();
  47. runner->proceed_cycles(1);
  48. EXPECT_TRUE(!statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State7__region0_State9));
  49. EXPECT_TRUE(statechart->isStateActive(ShallowHistory::mainRegion_State1));
  50. statechart->getDefaultSCI()->raise_event1();
  51. runner->proceed_cycles(1);
  52. EXPECT_TRUE(statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State6));
  53. EXPECT_TRUE(!statechart->isStateActive(ShallowHistory::mainRegion_State1));
  54. statechart->getDefaultSCI()->raise_event5();
  55. runner->proceed_cycles(1);
  56. EXPECT_TRUE(!statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State6));
  57. EXPECT_TRUE(statechart->isStateActive(ShallowHistory::mainRegion_State2__region0_State4__region0_State7__region0_State9));
  58. }