testclass StatechartActive for statechart StatechartActive {
	
	/** A state machine must be inactive before it has been entered.  */
	@Test
	operation inactiveBeforeEnter(){
		assert !is_active
	}
	
	/** A state machine must be active after it has been entered. */
	@Test
	operation activeAfterEnter(){
		enter
		assert is_active
	}
	
	/** A state machine must be inactive after it has been exited. */
	@Test
	operation inactiveAfterExit(){
		enter
		exit
		assert !is_active  
	}

	/** A state machine must be active after it has been exited and reentered. */
	@Test
	operation activeAfterReenter(){
		enter
		exit
		enter
		assert is_active //false /* is_active */
	}
	
}