Erroneus usage of 'return' / 'break' / 'continue' / 'raise' should be prohibited

[eclipse-qvt-oml-bot]

| --- | --- | | Bugzilla Link | 423293 | | Status | ASSIGNED | | Importance | P3 normal | | Reported | Dec 05, 2013 06:55 EDT | | Modified | Sep 04, 2014 08:27 EDT | | Reporter | Alex Paperno |

Description

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;\ }\ }

[eclipse-qvt-oml-bot]

By Alex Paperno on May 22, 2014 20:57

Created attachment 243418 The patch reports an error for cases where raise/return/break/continue is ised as an part of an expression

:notepad_spiral: bug423293.patch

[eclipse-qvt-oml-bot]

By Alex Paperno on May 22, 2014 20:58

Created attachment 243419 A unit test for the patch

:notepad_spiral: bug423293_test.patch