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

testclass EntryExitSelfTransition for statechart EntryExitSelfTransition{
	@Test
	operation SelfTransitionToChildState(){ 
		init()
		raise e
		proceed 1 cycle
		assert entries == 1
		assert exits == 1
		assert active(EntryExitSelfTransition.main_region.A._region0.C)
		exit
	} 

	@Test
	operation SelfTransitionFromChildState(){ 
		init()
		raise e1
		proceed 1 cycle
		assert entries == 0
		assert exits == 0
		assert active(EntryExitSelfTransition.main_region.A._region0.C)
	
		raise e1
		proceed 1 cycle
		assert active(EntryExitSelfTransition.main_region.A._region0.B)
		assert entries == 1
		assert exits == 1 
		exit
	} 
	
	operation init() : void {
		enter
		proceed 1 cycle
		
		assert entries == 1 
		assert active(EntryExitSelfTransition.main_region.A._region0.B)
		
		entries = 0
	}
}