EntryExitSelfTransitionTest.cc 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "EntryExitSelfTransition.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. static EntryExitSelfTransition* statechart;
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class EntryExitSelfTransitionTest : public ::testing::Test{
  11. protected:
  12. virtual void SetUp() {
  13. statechart = new EntryExitSelfTransition();
  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. void init(){
  27. statechart->enter();
  28. runner->proceed_cycles(1);
  29. EXPECT_TRUE(statechart->getDefaultSCI()->get_entries()== 1l);
  30. EXPECT_TRUE(statechart->isStateActive(EntryExitSelfTransition::main_region_A__region0_B));
  31. statechart->getDefaultSCI()->set_entries(0l);
  32. }
  33. TEST_F(EntryExitSelfTransitionTest, SelfTransitionToChildState) {
  34. init();
  35. statechart->getDefaultSCI()->raise_e();
  36. runner->proceed_cycles(1);
  37. EXPECT_TRUE(statechart->getDefaultSCI()->get_entries()== 1l);
  38. EXPECT_TRUE(statechart->getDefaultSCI()->get_exits()== 1l);
  39. EXPECT_TRUE(statechart->isStateActive(EntryExitSelfTransition::main_region_A__region0_C));
  40. statechart->exit();
  41. }
  42. TEST_F(EntryExitSelfTransitionTest, SelfTransitionFromChildState) {
  43. init();
  44. statechart->getDefaultSCI()->raise_e1();
  45. runner->proceed_cycles(1);
  46. EXPECT_TRUE(statechart->getDefaultSCI()->get_entries()== 0l);
  47. EXPECT_TRUE(statechart->getDefaultSCI()->get_exits()== 0l);
  48. EXPECT_TRUE(statechart->isStateActive(EntryExitSelfTransition::main_region_A__region0_C));
  49. statechart->getDefaultSCI()->raise_e1();
  50. runner->proceed_cycles(1);
  51. EXPECT_TRUE(statechart->isStateActive(EntryExitSelfTransition::main_region_A__region0_B));
  52. EXPECT_TRUE(statechart->getDefaultSCI()->get_entries()== 1l);
  53. EXPECT_TRUE(statechart->getDefaultSCI()->get_exits()== 1l);
  54. statechart->exit();
  55. }