EntryExitSelfTransition.sctunit 731 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. testgroup EntryExitSelfTransition for statechart EntryExitSelfTransition{
  2. test SelfTransitionToChildState {
  3. enter
  4. cycle
  5. assert entries == 1
  6. assert active(EntryExitSelfTransition.main_region.A._region0.B)
  7. entries = 0
  8. raise e
  9. cycle
  10. assert entries == 1
  11. assert exits == 1
  12. assert active(EntryExitSelfTransition.main_region.A._region0.C)
  13. }
  14. test SelfTransitionFromChildState {
  15. enter
  16. cycle
  17. assert entries == 1
  18. entries = 0
  19. raise e1
  20. cycle
  21. assert entries == 0
  22. assert exits == 0
  23. assert active(EntryExitSelfTransition.main_region.A._region0.C)
  24. raise e1
  25. cycle
  26. assert active(EntryExitSelfTransition.main_region.A._region0.B)
  27. assert entries == 1
  28. assert exits == 1
  29. }
  30. }