[Checkers] checkers v0.8.4 and annotations on type parameters

Niko Matsakis niko at alum.mit.edu
Fri Jan 16 10:12:09 EST 2009


Well, the project is available here:

 > https://svn.id.ethz.ch/nmatsaki/part/jsr308/v0.8.4/

The specific line of code that yields null is on line 2665 of file:

 > https://svn.id.ethz.ch/nmatsaki/part/jsr308/v0.8.4/checkers/eth-src/checkers/jpart/JPartIr.java

There is a specific unit-test which is failing, but the problem is  
that getting it setup to run is a bit of a pain.  Of course maybe you  
will immediately see the problem based on the above source file.   
Otherwise, I am creating a more isolated test harness.


Niko

On Jan 16, 2009, at 3:15 PM, Mahmood Ali wrote:

> Greetings,
>
>>> I have made the bug fixes for accessing type parameter annotations  
>>> available at http://people.csail.mit.edu/mali/jsr308/ .
>> Unfortunately, I seem to have the same problems as before.
> I'm sorry about that.  Can you share a bit more details please?  Can  
> you please share your code with me?  Or a sample code exposing the  
> bug?
>
> Regards,
> Mahmood
>




More information about the checkers mailing list