[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