[Checkers] target_type incompleteness

Michael Ernst mernst at cs.washington.edu
Wed Apr 8 05:10:16 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  
> 'offset'.
> But what if they occur at fields initialization?  Like @A in
> class T {
>    Object a = new @A Object();
> }

Is this now fixed in the spec (and the code)?



More information about the checkers mailing list