Re: [Jastadd] Question on types such as "wildcards.& java.lang.Integer& java.lang.String"

From: Jesper Öqvist <jesper.oqvist_at_cs.lth.se>
Date: Fri, 18 Jan 2013 16:46:23 +0100

The interfaces are also important. You need to find the first common
supertype plus all implemented interfaces.

I don't think the LUB algorithm in itself is so hard, it just becomes
complex to implement it with attributes. The specification of the type
analysis is also very long in the JLS.

On 01/18/2013 04:20 PM, Eric Bodden wrote:
>> The type of an expression such as the one in your example is incorrectly
>> evaluated in JastAddJ currently.
>> This has been known for some time know. I added the bug on the issue tracker
>> when I was working on Java 7.
>>
>> It's not something that we can easily fix, if you have any suggestions I
>> would be all ears! The type analysis concerning LUBType is *very*
>> complicated. I was planning to work through it at some point and try to get
>> an understanding of why it currently doesn't work but right now I have no
>> clue.
> Thanks for conforming. I wonder: why is this so hard? At least for
> reference types, don't you "just" have to search for the common first
> ancestor in the class hierarchy?
>
> Cheers,
> Eric
Received on Fri Jan 18 2013 - 16:46:03 CET