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

Bug 338379

Summary: Return types of EOL operations are not checked
Product: [Modeling] Epsilon Reporter: Antonio Garcia-Dominguez <agarcdomi>
Component: CoreAssignee: Dimitris Kolovos <dkolovos>
Status: CLOSED DUPLICATE QA Contact:
Severity: normal    
Priority: P3    
Version: unspecified   
Target Milestone: ---   
Hardware: PC   
OS: Linux   
Whiteboard:
Attachments:
Description Flags
Sample EOL script none

Description Antonio Garcia-Dominguez CLA 2011-02-28 04:40:40 EST 
Build Identifier: M20100909-0800

Epsilon performs some type checking already: for instance, trying to assign a Sequence to a Set variable results in an error. Additionally, trying to call a function with the wrong parameter types will usually report an error saying that the function does not exist.

However, there is an inconsistency: return values from operations which declare their return type are not checked.

Reproducible: Always

Steps to Reproduce:
1. Run the attached EOL script.
2. Notice that it does not report any errors, even though it should.
Comment 1 Antonio Garcia-Dominguez CLA 2011-02-28 04:41:12 EST 
Created attachment 189921 [details]
Sample EOL script
Comment 2 Antonio Garcia-Dominguez CLA 2011-05-19 06:03:58 EDT 

*** This bug has been marked as a duplicate of bug 321001 ***