SyncForkTest.cc 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "SyncFork.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. static SyncFork* statechart;
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class SyncForkTest : public ::testing::Test{
  11. protected:
  12. virtual void SetUp() {
  13. statechart = new SyncFork();
  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(SyncForkTest, syncForkTest) {
  27. statechart->enter();
  28. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_A));
  29. statechart->getDefaultSCI()->raise_f();
  30. runner->proceed_cycles(1);
  31. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B));
  32. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r1_C1));
  33. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r2_D1));
  34. statechart->getDefaultSCI()->raise_f();
  35. runner->proceed_cycles(1);
  36. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B));
  37. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r1_C2));
  38. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r2_D2));
  39. statechart->getDefaultSCI()->raise_e();
  40. runner->proceed_cycles(1);
  41. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_A));
  42. statechart->getDefaultSCI()->raise_f();
  43. runner->proceed_cycles(1);
  44. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B));
  45. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r1_C1));
  46. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r2_D1));
  47. }