
/**
 * @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
		
	}
		
}