Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 315322 - [compiler] final field with initializer breaks implicit inheritance
Summary: [compiler] final field with initializer breaks implicit inheritance
Status: VERIFIED FIXED
Alias: None
Product: Objectteams
Classification: Tools
Component: OTJ (show other bugs)
Version: 0.7   Edit
Hardware: PC Linux
: P3 normal (vote)
Target Milestone: 0.7 M4   Edit
Assignee: Stephan Herrmann CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-06-01 18:11 EDT by Stephan Herrmann CLA
Modified: 2010-06-11 17:50 EDT (History)
0 users

See Also:

Attachments
fix (834 bytes, patch)
2010-06-01 18:42 EDT, Stephan Herrmann CLA 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Stephan Herrmann CLA 2010-06-01 18:11:13 EDT 
When a role has a final field with an initializer an implicit sub-role
will be flagged as missing an initialization for the blank final field.

Given that the initialization is actually inherited by copying the
constructor(s) it should just be an issue of analysis within the compiler
to avoid this error message.
Comment 1 Stephan Herrmann CLA 2010-06-01 18:42:59 EDT 
Created attachment 170722 [details]
fix

Fixed by not re-checking copied field.

Witness is test0c14_implicitlyInheritedInitializedField1()
Comment 2 Stephan Herrmann CLA 2010-06-01 18:45:05 EDT 
Patch has been released as r407.
Comment 3 Stephan Herrmann CLA 2010-06-11 17:50:29 EDT 
Verified for M4 using build 201006111044.