Description Alex Paperno 2013-12-05 06:55:21 EST

While the specification does not explicitly prohibits usage of ReturnExp, RaiseExp, BreakExp and ContinueExp in the following cases, all of them seem to be erroneous and should be treated as such.

------------------------------
modeltype Ecore uses "http://www.eclipse.org/emf/2002/Ecore";
transformation T1(in inModel : Ecore, out outModel : Ecore) 
{
	main() {
		while (true)
		{
			return break;
			return continue;
			return raise "aa";
		};
		var a = return;
		var b = return (return);
		return return;
	}
}