yakindu/test-plugins/org.yakindu.sct.test.models/tests/StatechartActive.sctunit

testgroup StatechartActive for statechart StatechartActive {
	
	/** A state machine must be inactive before it has been entered.  */
	test inactiveBeforeEnter {
		assert !is_active
	}
	
	/** A state machine must be active after it has been entered. */
	test activeAfterEnter {
		enter
		assert is_active
	}
	
	/** A state machine must be inactive after it has been exited. */
	test inactiveAfterExit {
		enter
		exit
		assert !is_active  
	}

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