1234567891011121314151617181920212223242526272829303132333435363738394041 |
- testgroup EntryExitSelfTransition for statechart EntryExitSelfTransition{
- test SelfTransitionToChildState {
- enter
-
- cycle
- assert entries == 1
- assert active(EntryExitSelfTransition.main_region.A._region0.B)
-
- entries = 0
- raise e
- cycle
- assert entries == 1
- assert exits == 1
- assert active(EntryExitSelfTransition.main_region.A._region0.C)
- }
- test SelfTransitionFromChildState {
- enter
-
- cycle
- assert entries == 1
-
- entries = 0
- raise e1
- cycle
- assert entries == 0
- assert exits == 0
- assert active(EntryExitSelfTransition.main_region.A._region0.C)
-
- raise e1
- cycle
- assert active(EntryExitSelfTransition.main_region.A._region0.B)
- assert entries == 1
- assert exits == 1
- }
- }
-
|