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