GuardedEntry.sctunit 996 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. testgroup GuardedEntry for statechart GuardedEntry{
  2. test EntryNotTakenOnStatechartEnter {
  3. assert guard == false
  4. enter
  5. assert active(GuardedEntry.main_region.A)
  6. assert done == false
  7. }
  8. test EntryTakenOnStatechartEnter
  9. {
  10. guard = true
  11. enter
  12. // assert false "sctunit does not allow modifiing variables before entering the state machine!"
  13. assert active(GuardedEntry.main_region.A)
  14. assert done == true
  15. }
  16. test EntryTakenInTransition {
  17. enter
  18. assert active(GuardedEntry.main_region.A)
  19. raise e
  20. cycle
  21. assert active(GuardedEntry.main_region.B)
  22. guard = true
  23. done = false
  24. raise e
  25. cycle
  26. assert active(GuardedEntry.main_region.A)
  27. assert done
  28. }
  29. test EntryNotTakenInTransition {
  30. enter
  31. assert active(GuardedEntry.main_region.A)
  32. raise e
  33. cycle
  34. assert active(GuardedEntry.main_region.B)
  35. guard = false
  36. done = false
  37. raise e
  38. cycle
  39. assert active(GuardedEntry.main_region.A)
  40. assert !done
  41. }
  42. }