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

package tests
testclass EnterState for statechart EnterState {
	
		
	/* An entry without a specified entry point must enter the region through the default entry.
	 */
	operation defaultEntry(){ 
		enter
		assert active(EnterState.r.A)
		
		raise e
		cycle
		assert active(EnterState.r.B.r.E) 
	} 

	/* An entry with a specified entry point must take the entry node with the specified name.
	 */
	operation namedEntryThroughNamedTransition(){ 
		enter
		assert active(EnterState.r.A)
		
		raise f
		cycle
		assert active(EnterState.r.B.r.F) 
	} 

	/* An entry with a specified entry point that does not match any entry node by name must be taken through the default entry node.
	 */
	operation namedEntryThroughDefaultTransition(){ 
		enter
		assert active(EnterState.r.A)
		
		raise g
		cycle
		assert active(EnterState.r.B.r.E) 
	} 
	
	 
}