EntryExitSelfTransitionTest.cc 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include "gtest/gtest.h"
  3. #include "EntryExitSelfTransition.h"
  4. #include "sc_timer_service.h"
  5. //! The timers are managed by a timer service. */
  6. static sc_unit_timer_service_t timer_service;
  7. static EntryExitSelfTransition statechart;
  8. class EntryExitSelfTransitionTest : public ::testing::Test{
  9. protected:
  10. virtual void SetUp() {
  11. entryExitSelfTransition_init(&statechart);
  12. sc_timer_service_init(
  13. &timer_service,
  14. 0,
  15. (sc_run_cycle_fp) &entryExitSelfTransition_runCycle,
  16. false,
  17. 200,
  18. &statechart
  19. );
  20. }
  21. };
  22. void init(){
  23. entryExitSelfTransition_enter(&statechart);
  24. sc_timer_service_proceed_cycles(&timer_service, 1);
  25. EXPECT_TRUE(entryExitSelfTransitionIface_get_entries(&statechart)== 1l);
  26. EXPECT_TRUE(entryExitSelfTransition_isStateActive(&statechart, EntryExitSelfTransition_main_region_A__region0_B));
  27. entryExitSelfTransitionIface_set_entries(&statechart,0l);
  28. }
  29. TEST_F(EntryExitSelfTransitionTest, SelfTransitionToChildState) {
  30. init();
  31. entryExitSelfTransitionIface_raise_e(&statechart);
  32. sc_timer_service_proceed_cycles(&timer_service, 1);
  33. EXPECT_TRUE(entryExitSelfTransitionIface_get_entries(&statechart)== 1l);
  34. EXPECT_TRUE(entryExitSelfTransitionIface_get_exits(&statechart)== 1l);
  35. EXPECT_TRUE(entryExitSelfTransition_isStateActive(&statechart, EntryExitSelfTransition_main_region_A__region0_C));
  36. entryExitSelfTransition_exit(&statechart);
  37. }
  38. TEST_F(EntryExitSelfTransitionTest, SelfTransitionFromChildState) {
  39. init();
  40. entryExitSelfTransitionIface_raise_e1(&statechart);
  41. sc_timer_service_proceed_cycles(&timer_service, 1);
  42. EXPECT_TRUE(entryExitSelfTransitionIface_get_entries(&statechart)== 0l);
  43. EXPECT_TRUE(entryExitSelfTransitionIface_get_exits(&statechart)== 0l);
  44. EXPECT_TRUE(entryExitSelfTransition_isStateActive(&statechart, EntryExitSelfTransition_main_region_A__region0_C));
  45. entryExitSelfTransitionIface_raise_e1(&statechart);
  46. sc_timer_service_proceed_cycles(&timer_service, 1);
  47. EXPECT_TRUE(entryExitSelfTransition_isStateActive(&statechart, EntryExitSelfTransition_main_region_A__region0_B));
  48. EXPECT_TRUE(entryExitSelfTransitionIface_get_entries(&statechart)== 1l);
  49. EXPECT_TRUE(entryExitSelfTransitionIface_get_exits(&statechart)== 1l);
  50. entryExitSelfTransition_exit(&statechart);
  51. }