[Checkers] <@ReadOnly Object> generic type (fwd)

Matt Papi mpapi at csail.mit.edu
Tue Mar 25 23:31:53 EDT 2008


Mahmood,

>> 1. Check on BaseTypeVisitor if the upper bound is Object, and if so,  
>> do not
>> call commonAssignmentCheck
> For the short term, I think we could implement this approach. 
> ...
> I made a variant of the proposed test where it tests whether there are  
> any annotations on object in addition to checking whether the  
> upperbound is an object or not (note TypesUtils.isObject() and  
> ElementUtils.isObject()).

Though I had objected in my email a few moments ago, your amendment 
(checking for annotations first) makes it a good short-term solution.

- Matt




More information about the checkers mailing list