yakindu/test-plugins/org.yakindu.sct.test.models/tests/eventdriven/NoLocalEvents.sctunit

testclass NoLocalEvents for statechart NoLocalEvents {
	
	@Test
	operation test() {
		enter
		assert active(NoLocalEvents.main_region.StateA)
		raise e
		assert active(NoLocalEvents.main_region.StateB)
		raise e
		assert active(NoLocalEvents.main_region.StateA)
		
		assert (x == 0)
		raise i:42
		
		assert active(NoLocalEvents.main_region.StateB)
		assert (x == 42)
		exit
	}
}