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

package tests
testclass HistoryWithoutInitialStep for statechart HistoryWithoutInitialStep {
	
	
	operation enterThroughInitialEntry(){ 
		
		enter
		assert active(HistoryWithoutInitialStep.main_region.A) 
		
		raise toB
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.C)
		
		raise next
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.D)
	}
	

	operation enterCThroughHistory(){
		enter
		assert active(HistoryWithoutInitialStep.main_region.A) 
		
		raise toB
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.C)

		raise toA
		cycle
		assert active(HistoryWithoutInitialStep.main_region.A)
		
		raise toHistory
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.C)
	}
		 

	operation enterDThroughHistory(){
		enter
		assert active(HistoryWithoutInitialStep.main_region.A) 
		
		raise toB
		cycle
		raise next
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.D)

		raise toA
		cycle
		assert active(HistoryWithoutInitialStep.main_region.A)
		
		raise toHistory
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.D)
	}
		
		
}