GuardedEntryTest.cc 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103
  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. namespace {
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class GuardedEntryTest : public ::testing::Test{
  11. protected:
  12. GuardedEntry* statechart;
  13. virtual void SetUp() {
  14. statechart = new GuardedEntry();
  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. virtual 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. };
  39. TEST_F(GuardedEntryTest, EntryNotTakenOnStatechartEnter) {
  40. EXPECT_TRUE(statechart->getDefaultSCI()->get_guard()== false);
  41. statechart->enter();
  42. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_A));
  43. EXPECT_TRUE(statechart->getDefaultSCI()->get_done()== false);
  44. }
  45. TEST_F(GuardedEntryTest, EntryTakenOnStatechartEnter) {
  46. statechart->getDefaultSCI()->set_guard(true);
  47. statechart->enter();
  48. EXPECT_TRUE(statechart->isStateActive(GuardedEntry::main_region_A));
  49. EXPECT_TRUE(statechart->getDefaultSCI()->get_done()== true);
  50. }
  51. TEST_F(GuardedEntryTest, EntryTakenInTransition) {
  52. initEntryInTransition(true,false);
  53. EXPECT_TRUE(statechart->getDefaultSCI()->get_done());
  54. }
  55. TEST_F(GuardedEntryTest, EntryNotTakenInTransition) {
  56. initEntryInTransition(false,false);
  57. EXPECT_TRUE(!statechart->getDefaultSCI()->get_done());
  58. }
  59. }