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

testclass StringExpressions for statechart StringExpressions	{
	@Test
	operation StringExpressionsTest(){
		
		assert quotedStringX == '"X"'
		assert quotedStringY == "\"Y\""
		enter
		assert active(StringExpressions.main_region.AssignmentChecked)
		
		
		raise e
		proceed 1 cycle
		assert active(StringExpressions.main_region.VarToVarCompareSucceeded)
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
		raise e
		proceed 1 cycle
		assert active(StringExpressions.main_region.VarToConstCompareSucceeded)	
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
		raise e
		proceed 1 cycle
		assert active(StringExpressions.main_region.ConstToVarCompareSucceeded)		
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
		raise e		
		proceed 1 cycle
		assert active(StringExpressions.main_region.ConstToConstCompareSucceeded)
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
	}
}