[Checkers] target_type incompleteness

Mahmood Ali msaeed999 at hotmail.com
Fri Mar 20 00:52:38 EDT 2009


I just noticed an incompleteness in the target_type reference_info  
specification with regards to targets expected to be within a method  
body (e.g. object creation, typecast, type test, type argument, class  
literal).  Due to this expectation, their reference_info requires  

But what if they occur at fields initialization?  Like @A in
class T {
   Object a = new @A Object();

- Mahmood

More information about the checkers mailing list