ChoiceTest.cc 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "Choice.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. //! The timers are managed by a timer service. */
  8. static SctUnitRunner * runner;
  9. class ChoiceTest : public ::testing::Test{
  10. protected:
  11. Choice* statechart;
  12. virtual void SetUp() {
  13. statechart = new Choice();
  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. virtual void initForEventE(bool valueForC) {
  26. statechart->enter();
  27. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_A));
  28. statechart->getDefaultSCI()->set_c(valueForC);
  29. statechart->getDefaultSCI()->raise_e();
  30. runner->proceed_cycles(1);
  31. }
  32. virtual void initForEventF(bool valueForC) {
  33. statechart->enter();
  34. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_A));
  35. statechart->getDefaultSCI()->set_c(valueForC);
  36. statechart->getDefaultSCI()->raise_f();
  37. runner->proceed_cycles(1);
  38. }
  39. virtual void initForEventG(bool valueForC) {
  40. statechart->enter();
  41. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_A));
  42. statechart->getDefaultSCI()->set_c(valueForC);
  43. statechart->getDefaultSCI()->raise_g();
  44. runner->proceed_cycles(1);
  45. }
  46. virtual void initForEventH(bool valueForC) {
  47. statechart->enter();
  48. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_A));
  49. statechart->getDefaultSCI()->set_c(valueForC);
  50. statechart->getDefaultSCI()->raise_h();
  51. runner->proceed_cycles(1);
  52. }
  53. };
  54. TEST_F(ChoiceTest, elseChoiceUsingNonDefaultTransition) {
  55. initForEventE(true);
  56. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_C));
  57. }
  58. TEST_F(ChoiceTest, elseChoiceUsingDefaultTransition) {
  59. initForEventE(false);
  60. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_B));
  61. }
  62. TEST_F(ChoiceTest, defaultChoiceUsingNonDefaultTransition) {
  63. initForEventG(true);
  64. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_C));
  65. }
  66. TEST_F(ChoiceTest, defaultChoiceUsingDefaultTransition) {
  67. initForEventG(false);
  68. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_B));
  69. }
  70. TEST_F(ChoiceTest, uncheckedChoiceUsingNonDefaultTransition) {
  71. initForEventF(true);
  72. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_C));
  73. }
  74. TEST_F(ChoiceTest, uncheckedChoiceUsingDefaultTransition) {
  75. initForEventF(false);
  76. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_B));
  77. }
  78. TEST_F(ChoiceTest, alwaysTrueTransitionInChoice) {
  79. initForEventH(true);
  80. EXPECT_TRUE(statechart->isStateActive(Choice::main_region_C));
  81. }