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