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

Mahmood Ali mahmood at MIT.EDU
Tue Mar 25 23:28:07 EDT 2008

Hi Matt,

> - in the framework, make it possible for a checker to override the
> default upper bound (so Javari can specify the default to be @ReadOnly
> Object), or somehow determine what it should be using the checker's
> annotation relation graph (eventually)
It is cool that we are thinking the same thing!

- Mahmood

More information about the checkers mailing list