[Checkers] Javari Test cases

Telmo telmo at MIT.EDU
Thu Jun 19 18:03:47 EDT 2008

> Raw has given a lot of trouble in IGJ too.  It makes the code unsafe.

Raw types are annoying. I think the framework should autocomplete with the 
appropriate bounds when checking for annotations on types that should have 
type parameters, but which didn't have type parameters explicitly 

I just committed a change to this effect. It doesn't break any of the 
test cases, though we may want to add more no-generics test cases.


More information about the checkers mailing list