[Checkers] Fwd: checkers v0.8.4 and annotations on type parameters
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.
More information about the checkers