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

Mahmood Ali mahmood at MIT.EDU
Thu Jan 15 15:50:34 EST 2009

Begin forwarded message:

> From: Niko Matsakis <niko at alum.mit.edu>
> Date: January 15, 2009 9:29:06 AM EST
> To: Mahmood Ali <mali at csail.mit.edu>
> Subject: checkers v0.8.4 and annotations on type parameters
> Hey Mahmood,
> How are you?  Remember me?  I've been a bit out of touch; a few  
> things came up and I was not able to work on my type checker for  
> some time.  However, I'm starting it up again and I was just  
> attempting to upgrade the code to run on the v0.8.4 framework from  
> the v0.8.1 framework.  Unfortunately, I'm having a small problem I  
> thought you might be able to help me with.
> Before, I was using the patch I submitted to access annotations on  
> type parameters.  I see that there seems to be some code to this  
> effect in v0.8.4: unfortunately, when I invoke the "getAnnotation()"  
> method of a TypeParameterElement in v0.8.4, I don't seem to be able  
> to access the annotations (i.e., I just get back null).  Inspecting  
> the fields in the debugger, I don't see any pointers to the  
> annotations I expect to see.
> Is this still the correct API to access annotations on a type  
> parameter?  If not, what should I be doing?  I am currently  
> comparing the changes you made to those I made to see if I can  
> figure out what's wrong, but I was hoping you might know more quickly.
> thanks,
> Niko

More information about the checkers mailing list