| 123456789101112131415161718192021222324252627282930 |
- testclass HistoryWithExitPoint for statechart HistoryWithExitPoint {
- @Test
- operation historyEntryAfterExit(){
- enter
-
- assert active ( HistoryWithExitPoint.mr.A.r.X1 )
-
- raise push
- proceed 1 cycle
- assert active ( HistoryWithExitPoint.mr.B )
-
- raise back
- proceed 1 cycle
- assert active ( HistoryWithExitPoint.mr.A.r.X1 )
-
- raise next
- proceed 1 cycle
- assert active ( HistoryWithExitPoint.mr.A.r.X2 )
-
- raise push
- proceed 1 cycle
- assert active ( HistoryWithExitPoint.mr.B )
-
- raise back
- proceed 1 cycle
- assert active ( HistoryWithExitPoint.mr.A.r.X2 )
-
- }
-
- }
|
