HistoryWithoutInitialStepTest.cc 2.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. /**
  2. * Copyright (c) 2013 committers of YAKINDU and others.
  3. * All rights reserved. This program and the accompanying materials
  4. * are made available under the terms of the Eclipse Public License v1.0
  5. * which accompanies this distribution, and is available at
  6. * http://www.eclipse.org/legal/epl-v10.html
  7. *
  8. * Contributors:
  9. * committers of YAKINDU - initial API and implementation
  10. */
  11. #include <string>
  12. #include "gtest/gtest.h"
  13. #include "HistoryWithoutInitialStep.hpp"
  14. TEST(StatemachineTest, enterThroughInitialEntry) {
  15. HistoryWithoutInitialStep* statechart = new HistoryWithoutInitialStep();
  16. statechart->init();
  17. statechart->enter();
  18. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_A));
  19. statechart->raise_e1();
  20. statechart->runCycle();
  21. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_B_r1_C));
  22. statechart->raise_e2();
  23. statechart->runCycle();
  24. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_B_r1_D));
  25. delete statechart;
  26. }
  27. TEST(StatemachineTest, enterCThroughHistory) {
  28. HistoryWithoutInitialStep* statechart = new HistoryWithoutInitialStep();
  29. statechart->init();
  30. statechart->enter();
  31. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_A));
  32. statechart->raise_e1();
  33. statechart->runCycle();
  34. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_B_r1_C));
  35. statechart->raise_e1();
  36. statechart->runCycle();
  37. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_A));
  38. statechart->raise_e2();
  39. statechart->runCycle();
  40. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_B_r1_C));
  41. delete statechart;
  42. }
  43. TEST(StatemachineTest, enterDThroughHistory) {
  44. HistoryWithoutInitialStep* statechart = new HistoryWithoutInitialStep();
  45. statechart->init();
  46. statechart->enter();
  47. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_A));
  48. statechart->raise_e1();
  49. statechart->runCycle();
  50. statechart->raise_e2();
  51. statechart->runCycle();
  52. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_B_r1_D));
  53. statechart->raise_e1();
  54. statechart->runCycle();
  55. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_A));
  56. statechart->raise_e2();
  57. statechart->runCycle();
  58. EXPECT_TRUE(statechart->isActive(HistoryWithoutInitialStep_main_region_B_r1_D));
  59. delete statechart;
  60. }