[Checkers] Bridge Methods
mernst at csail.mit.edu
Wed Jul 2 01:02:34 EDT 2008
> 2. The bridge methods, in OpenJDK implementation, get generated in
> code desugering in preparation for code generation. Both phases occur
> after type checking source. So we never see them.
I agree with your analysis that they are not relevant to the Checker
Framework; thanks for pointing that out.
I believe that they are still to-do items for the JSR 308 compiler
implementation, so that the annotations appear in the class file. Is that
More information about the checkers