[Checkers] Bridge Methods

Michael Ernst 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 mailing list