[JSR308] Checkers in the future on different JDKs

Michael Ernst mernst at csail.mit.edu
Tue Sep 30 14:44:49 EDT 2008


> Did you ever consider modifying a stand-alone java parser to parse the  
> new annotations and then using it as a backend for checkers?
> Then, you could just use jsr308 as a library, if you don't want or  
> can't to move to java 7.

As noted in my previous messages, you don't have to move to Java 7 to use
the checkers:  you can just use the JSR 308 compiler and the Checker
Framework when running the pluggable type checkers.


More information about the JSR308 mailing list