Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 361247

Summary: [Xbase] Add generic return value validation
Product: [Modeling] TMF Reporter: Sven Efftinge <sven.efftinge>
Component: XtextAssignee: Project Inbox <tmf.xtext-inbox>
Status: CLOSED FIXED QA Contact:
Severity: enhancement    
Priority: P3 CC: jan, sebastian.zarnekow
Version: 2.1.0Flags: sebastian.zarnekow: juno+
Target Milestone: M7   
Hardware: PC   
OS: Mac OS X - Carbon (unsup.)   
Whiteboard:

Description Sven Efftinge CLA 2011-10-18 07:44:26 EDT
Expressions 'living' in the context of an inferred JvmOperation should be checked whether the return values correspond to the expected return type.
Comment 1 Sebastian Zarnekow CLA 2012-04-02 16:52:49 EDT
I think XbaseJavaValidator#checkImplictReturn and #checkReturn provide this functionality, don't they?
Comment 2 Jan Koehnlein CLA 2012-04-20 09:52:45 EDT
As Sebastian says, this is already happening.
Comment 3 Eclipse Webmaster CLA 2017-10-31 10:48:36 EDT
Requested via bug 522520.

-M.
Comment 4 Eclipse Webmaster CLA 2017-10-31 10:59:39 EDT
Requested via bug 522520.

-M.