| 12345678910111213141516171819202122232425262728293031 |
- package tests
- testclass HistoryWithExitPoint for statechart HistoryWithExitPoint {
-
- operation historyEntryAfterExit(){
- enter
-
- assert active ( HistoryWithExitPoint.mr.A.r.X1 )
-
- raise push
- cycle
- assert active ( HistoryWithExitPoint.mr.B )
-
- raise back
- cycle
- assert active ( HistoryWithExitPoint.mr.A.r.X1 )
-
- raise next
- cycle
- assert active ( HistoryWithExitPoint.mr.A.r.X2 )
-
- raise push
- cycle
- assert active ( HistoryWithExitPoint.mr.B )
-
- raise back
- cycle
- assert active ( HistoryWithExitPoint.mr.A.r.X2 )
-
- }
-
- }
|
