testclass ValuedEvents for statechart ValuedEvents {
	@Test
	operation valuedEventsTest(){
		
		enter
		proceed 1 cycle
//		assert active(ValuedEvents.main_region1.A)
//		assert active (ValuedEvents.integer_region.C)
//		assert active (ValuedEvents.string_region.C)
//		assert active (ValuedEvents.boolean_region.C)
//		assert active (ValuedEvents.real_region.C)
//		assert myInt == 42
//		assert myBool == true
//		assert myReal == 10
		assert myString == "sct"
		
		raise integerEvent : 23
		raise booleanEvent : false
		raise realEvent : 20
		raise stringEvent : "tool"
		
		proceed 1 cycle
		assert active (ValuedEvents.integer_region.D)
		assert active (ValuedEvents.string_region.D)
		assert active (ValuedEvents.boolean_region.D)
		assert active (ValuedEvents.real_region.D)
		
		assert myInt == 23
		assert myBool == false
		assert myReal == 20
		assert myString == "tool"
		
		

		 
	}
}