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

Niko Matsakis niko at alum.mit.edu
Fri Jan 16 10:33:01 EST 2009

Ok, I created a much simpler set of code here:

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

You should be able to download those files, import them into some kind  
of checkers library, and execute the JUnit test TestTaBug.

The files are simply a small checker that is designed to report an  
error unless every class definition and type parameter contains the  
annotation @TaBug.  The JUnit test fires up this test engine on a  
sample file that has one class definition without the annotation and  
one with it.  As you will see from the output on stderr, errors are  
reported only for the classes without the annotation.  However, all  
type parameters are reported as erroneous, regardless of whether they  
have the annotation or not.


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