[JSR308] Nullness checker and generic checkNotNull function
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