| 1234567891011121314151617181920212223 |
- /**
- * @author axel terfloth
- */
- testclass InEventLifeCycle for statechart InEventLifeCycle {
-
- /** TODO: we require a probe interface for white box testing */
- @Test
- operation eventLifeCycle(){
-
- enter
-
- raise e
-
- // assert e // the in event must be set before the cycle
- assert i == 0 // e is not consumed yet
- proceed 1 cycle
-
- // assert ! e // after the cycle the event is not available anymore
- assert i == 1 // within the cycle the in event was consumed
-
- }
-
- }
|
