[Checkers] Anonymous Classes, and others

Mahmood Ali mahmood at MIT.EDU
Tue Sep 16 15:19:30 EDT 2008


Hi Artemus,

In the last release, I tried to address some of the issues you brought  
up.

1. Moved BaseTypeVisitor.visitTypeCast logic to .checkTypecastSafety
2. Have a static field InternalUtils.RETURN_INVOKE_CONSTRUCTOR (sic, I  
will change it to INVOKED) to indicate in the case of anonymous  
constructors whether you want the un-annotated compiler-generated  
constructor or the one that ultimately gets invoked in the superclass.
3. Correct AnnotationBuilder behavior in regards to Classes and Enums.

I am yet to resolve the the problem with TypeVariable (and wildcard)  
caches.

Are there other issues that you want us to address or did I miss  
anything?

Please continue to report any issues you find to us.

Regards,
Mahmood




More information about the checkers mailing list