Description Henning 2010-10-17 06:21:31 EDT

When placing a return in a case of a switch statement the owning operation is not immediately left. The following code demonstrates this behavior:

rule switchexample
	transform d : Source!Domain
	to d : Target!Domain{

	callSomeOperation().println();		
}
operation callSomeOperation() : String{
	var choice = "choice_1";
	
	switch (choice){
		case "choice_1":
			"choice detected".println(); 
			return "first choice chosen!";
	}
	return "nothing chosen";
}

The output should be "choice detected" but instead it is "choice detected" and "nothing chosen".