[JSR308] Nullness checker and generic checkNotNull function

Michael Ernst mernst at cs.washington.edu
Tue Jan 20 14:59:05 EST 2009

Thanks for the bug report.

Many bugs with generics are fixed in the development version of the Checker
Framework, and Mahmood hopes to make a release soon (but is currently in

As a side note, you can also use an assert to provide the fail-fast gateway
between annotated and non-annotated parts of your project code:

  assert x != null;

will have a similar effect to a call to your method.


More information about the JSR308 mailing list