ParentFirstExecutionHierarchyTest.cc 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "ParentFirstExecutionHierarchy.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. static ParentFirstExecutionHierarchy* statechart;
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class ParentFirstExecutionHierarchyTest : public ::testing::Test{
  11. protected:
  12. virtual void SetUp() {
  13. statechart = new ParentFirstExecutionHierarchy();
  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 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. TEST_F(ParentFirstExecutionHierarchyTest, childShouldTakeTransition) {
  32. statechart->enter();
  33. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  34. statechart->getDefaultSCI()->set_disable_a(true);
  35. statechart->getDefaultSCI()->set_disable_aa(true);
  36. statechart->getDefaultSCI()->raise_e();
  37. runner->proceed_cycles(1);
  38. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_B));
  39. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_reacted());
  40. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_reacted());
  41. EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_reacted());
  42. EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
  43. EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_local());
  44. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_local());
  45. }
  46. TEST_F(ParentFirstExecutionHierarchyTest, parentShouldTakeTransition) {
  47. statechart->enter();
  48. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  49. statechart->getDefaultSCI()->set_disable_a(true);
  50. statechart->getDefaultSCI()->raise_e();
  51. runner->proceed_cycles(1);
  52. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_B));
  53. EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_reacted());
  54. EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_reacted());
  55. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_reacted());
  56. EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
  57. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_local());
  58. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_local());
  59. }
  60. TEST_F(ParentFirstExecutionHierarchyTest, grandparentShouldTakeTransition) {
  61. statechart->enter();
  62. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  63. statechart->getDefaultSCI()->raise_e();
  64. runner->proceed_cycles(1);
  65. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_B));
  66. EXPECT_TRUE(statechart->getDefaultSCI()->get_a_reacted());
  67. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_reacted());
  68. EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_reacted());
  69. assertNoLocalReaction();
  70. }
  71. TEST_F(ParentFirstExecutionHierarchyTest, expectLocalReactrionsExecuteWithNoTransition) {
  72. statechart->enter();
  73. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  74. runner->proceed_cycles(1);
  75. EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
  76. EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
  77. EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_local());
  78. EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_local());
  79. }