[JSR308] Checkers in the future on different JDKs

[Adam Warski]

Hello,
> You are correct:  A checker written using the Checker Framework  
> currently
> only works as a plug-in to Sun's javac.  The checker does now work  
> with
> 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  
> Java
> 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.

-- 
Adam