[JSR308] Checkers in the future on different JDKs
mernst at csail.mit.edu
Mon Sep 29 09:33:32 EDT 2008
> You are correct: A checker written using the Checker Framework currently
> only works as a plug-in to Sun's javac. The checker does not work with
> other Java compilers that don't implement Sun's proprietary Tree API.
I should have also mentioned that if you are using a different compiler,
you can still run javac for performing pluggable type checking. For
instance, the Checker Framework Manual gives an Ant target that you can
invoke from within Eclipse or other IDEs, or from the command line.
More information about the JSR308