Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 339807 - [compiler] inferred callout to field doesn't support lifting
Summary: [compiler] inferred callout to field doesn't support lifting
Status: VERIFIED FIXED
Alias: None
Product: Objectteams
Classification: Tools
Component: OTJ (show other bugs)
Version: 0.8   Edit
Hardware: Other Linux
: P3 normal (vote)
Target Milestone: 0.8 M6   Edit
Assignee: Stephan Herrmann CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-03-12 17:40 EST by Stephan Herrmann CLA
Modified: 2011-06-07 09:38 EDT (History)
0 users

See Also:

Attachments
test & proposed fix (3.57 KB, patch)
2011-03-12 18:22 EST, 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 2011-03-12 17:40:47 EST 
If an inferred callout to field would require lifting the expression
is still resolved to the type of the base field, resulting in 
a compile time type error.
Comment 1 Stephan Herrmann CLA 2011-03-12 18:22:20 EST 
Created attachment 191062 [details]
test & proposed fix

This patch basically does for FieldReference what we already did in
SingleNameReference since http://trac.objectteams.org/ot/changeset/23111

Note, that qualified name references (a.b.c) and nested field references
(this.a.b) do not support lifting c-t-f for intermediate fields, since
we don't have an expected type as we use it for c-t-f inference.
(E.g., when resolving this.a we don't know what type to expect).
Comment 2 Stephan Herrmann CLA 2011-03-12 18:24:46 EST 
Committed for 0.8M6 as r1408/9
Comment 3 Stephan Herrmann CLA 2011-06-07 09:38:21 EDT 
Verified using build 201106070730