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

Bug 339807

Summary:

[compiler] inferred callout to field doesn't support lifting

Product:

[Tools] Objectteams

Reporter:

Stephan Herrmann <stephan.herrmann>

Component:

OTJ

Assignee:

Stephan Herrmann <stephan.herrmann>

Status:

VERIFIED FIXED

QA Contact:

Severity:

normal

Priority:

Version:

0.8

Target Milestone:

0.8 M6

Hardware:

Other

OS:

Linux

Whiteboard:

Attachments:

Description	Flags
test & proposed fix	none

Description Stephan Herrmann

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

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

2011-03-12 18:24:46 EST

Committed for 0.8M6 as r1408/9

Comment 3 Stephan Herrmann

2011-06-07 09:38:21 EDT

Verified using build 201106070730