[Checkers] Javari False Positives
mahmood at MIT.EDU
Mon Aug 18 22:35:03 EDT 2008
I just wanted to share Telmo's last response with Mike. I will work
on implementing the earlier proposal to solve the type variable
problem (i.e. bound is readonly in a declaration, but is mutable in a
use) in IGJ. Once I (or both independantly) do that, we will have a
taste of the proposal works in actual code.
On Aug 18, 2008, at 10:28 PM, Telmo wrote:
> OK, made the first pass at the output errors.
> Daikon compiled, and all the errors printed are related to the upper
> bound of the type parameter.
> Two of the errors (among the printed ones) also point that a type
> parameter used as a type for a parameter on a method call is gaining
> a @Mutable annotation, building the weird "@Mutable T extends
> @ReadOnly Object" type that the Javari checker possibly should be
> building as "@Mutable T extends @Mutable Object" instead. Not sure
> if that counts as a bug?
> But yes, all printed errors come from the type parameter bound issue.
More information about the checkers