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

testclass ConstOnlyInternalScope for statechart declarations.ConstOnlyInternalScope {

	/*
	 * Test is the statechart is entered correctly.
	 */	
	@Test
	operation statechartEntry(){ 		
		enter		 
		assert active(declarations.ConstOnlyInternalScope.main_region.A)
	
	} 
	

	/*
	 * Test is the statechart is entered correctly.
	 */	
	@Test
	operation stateTransition(){
		
		enter
		raise e : 1
		proceed 1 cycle
		assert active(declarations.ConstOnlyInternalScope.main_region.B)
		
	}
}