[JSR308] Checkers in the future on different JDKs
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