ChildFirstExecutionHierarchyTest.cc 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "ChildFirstExecutionHierarchy.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. namespace {
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class ChildFirstExecutionHierarchyTest : public ::testing::Test{
  11. protected:
  12. ChildFirstExecutionHierarchy* statechart;
  13. virtual void SetUp() {
  14. statechart = new ChildFirstExecutionHierarchy();
  15. statechart->init();
  16. runner = new SctUnitRunner(
  17. statechart,
  18. false,
  19. 200
  20. );
  21. }
  22. virtual void TearDown() {
  23. delete statechart;
  24. delete runner;
  25. }
  26. virtual void assertNoLocalReaction() {
  27. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_local());
  28. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_local());
  29. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_local());
  30. }
  31. };
  32. TEST_F(ChildFirstExecutionHierarchyTest, childShouldTakeTransition) {
  33. statechart->enter();
  34. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  35. statechart->getDefaultSCI()->raise_e();
  36. runner->proceed_cycles(1);
  37. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_B));
  38. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_reacted());
  39. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_reacted());
  40. EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_reacted());
  41. assertNoLocalReaction();
  42. }
  43. TEST_F(ChildFirstExecutionHierarchyTest, parentShouldTakeTransition) {
  44. statechart->enter();
  45. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  46. statechart->getDefaultSCI()->set_disable_aaa(true);
  47. statechart->getDefaultSCI()->raise_e();
  48. runner->proceed_cycles(1);
  49. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_B));
  50. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_reacted());
  51. EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_reacted());
  52. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_reacted());
  53. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_local());
  54. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_local());
  55. EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_local());
  56. }
  57. TEST_F(ChildFirstExecutionHierarchyTest, grandparentShouldTakeTransition) {
  58. statechart->enter();
  59. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  60. statechart->getDefaultSCI()->set_disable_aa(true);
  61. statechart->getDefaultSCI()->set_disable_aaa(true);
  62. statechart->getDefaultSCI()->raise_e();
  63. runner->proceed_cycles(1);
  64. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_B));
  65. EXPECT_TRUE(statechart->getDefaultSCI()->get_a_reacted());
  66. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_reacted());
  67. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_reacted());
  68. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_local());
  69. EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_local());
  70. EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_local());
  71. }
  72. TEST_F(ChildFirstExecutionHierarchyTest, expectLocalReactrionsExecuteWithNoTransition) {
  73. statechart->enter();
  74. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  75. runner->proceed_cycles(1);
  76. EXPECT_TRUE(statechart->isStateActive(ChildFirstExecutionHierarchy::ChildFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  77. EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
  78. EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_local());
  79. EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_local());
  80. }
  81. }