[JSR308] Checkers in the future on different JDKs
adam at warski.org
Mon Sep 29 10:51:40 EDT 2008
> You are correct: A checker written using the Checker Framework
> only works as a plug-in to Sun's javac. The checker does now work
> other Java compilers that don't implement Sun's proprietary Tree
> API. The
> Tree API is publicly documented and is relatively stable.
> In the future, the Checker Framework should be migrated to use the
> Model AST of JSR 198 (Extension API for Integrated Development
> Environments) instead of Sun's Tree API. JSR 198 gives access to the
> entire source code of a method in an implementation-neutral way. Even
> then, a checker would only work on those compilers/IDEs that
> implement the
> JSR 198 standard.
I see. Thanks for the explanation :).
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.
I saw the checkers already use javaparser (http://code.google.com/p/javaparser/
) for generating stub files.
More information about the JSR308