[Checkers] This Release

Mahmood Ali mahmood at MIT.EDU
Sat Sep 27 16:14:37 EDT 2008


I just wanted to notify you this release includes changes that  
(hopefully) improves your checkers.  Namely it has the following two  

- When querying the supertype of a declared type, only user-specified  
annotations in the extends and implements clauses are added.  Now it's  
AnnotatedTypeFactory.postDirectSuperType adds the implicit annotations  
to supertypes.  You may override postDirectSupertype to change this  

- AnnotationBuilder.build().toString() returns the same representation  
as the javac generated AnnotationMirror.toString().

Please notify the list if you have any more questions.  Needless to  
say, thanks for requests to improve the framework!


More information about the checkers mailing list