SyncForkTest.cc 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
  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. namespace {
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class SyncForkTest : public ::testing::Test{
  11. protected:
  12. SyncFork* statechart;
  13. virtual void SetUp() {
  14. statechart = new SyncFork();
  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. };
  27. TEST_F(SyncForkTest, syncForkTest) {
  28. statechart->enter();
  29. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_A));
  30. statechart->getDefaultSCI()->raise_f();
  31. runner->proceed_cycles(1);
  32. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B));
  33. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r1_C1));
  34. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r2_D1));
  35. statechart->getDefaultSCI()->raise_f();
  36. runner->proceed_cycles(1);
  37. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B));
  38. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r1_C2));
  39. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r2_D2));
  40. statechart->getDefaultSCI()->raise_e();
  41. runner->proceed_cycles(1);
  42. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_A));
  43. statechart->getDefaultSCI()->raise_f();
  44. runner->proceed_cycles(1);
  45. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B));
  46. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r1_C1));
  47. EXPECT_TRUE(statechart->isStateActive(SyncFork::main_region_B_r2_D1));
  48. }
  49. }