GuardedEntryTest.cc 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "GuardedEntry.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. static GuardedEntry* statechart;
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class GuardedEntryTest : public ::testing::Test{
  11. protected:
  12. virtual void SetUp() {
  13. statechart = new GuardedEntry();
  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 initEntryInTransition(bool guardVar, bool doneVar){
  27. statechart->enter();
  28. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_A));
  29. statechart->getDefaultSCI()->raise_e();
  30. runner->proceed_cycles(1);
  31. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_B));
  32. statechart->getDefaultSCI()->set_guard(guardVar);
  33. statechart->getDefaultSCI()->set_done(doneVar);
  34. statechart->getDefaultSCI()->raise_e();
  35. runner->proceed_cycles(1);
  36. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_A));
  37. }
  38. TEST_F(GuardedEntryTest, EntryNotTakenOnStatechartEnter) {
  39. EXPECT_TRUE(statechart->getDefaultSCI()->get_guard()== false);
  40. statechart->enter();
  41. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_A));
  42. EXPECT_TRUE(statechart->getDefaultSCI()->get_done()== false);
  43. }
  44. TEST_F(GuardedEntryTest, EntryTakenOnStatechartEnter) {
  45. statechart->getDefaultSCI()->set_guard(true);
  46. statechart->enter();
  47. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_A));
  48. EXPECT_TRUE(statechart->getDefaultSCI()->get_done()== true);
  49. }
  50. TEST_F(GuardedEntryTest, EntryTakenInTransition) {
  51. initEntryInTransition(true,false);
  52. EXPECT_TRUE(statechart->getDefaultSCI()->get_done());
  53. }
  54. TEST_F(GuardedEntryTest, EntryNotTakenInTransition) {
  55. initEntryInTransition(false,false);
  56. EXPECT_TRUE(!statechart->getDefaultSCI()->get_done());
  57. }