testclass ConstOnlyNamedScope for statechart declarations.ConstOnlyNamedScope {

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

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