github typetools/checker-framework checker-framework-1.9.8
Checker Framework 1.9.8

latest releases: checker-framework-3.52.1, checker-framework-3.52.0, checker-framework-3.51.1...
10 years ago

Version 1.9.8, 9 November 2015

Field initialization warnings can now be suppressed for a single field at a
time, by placing @SuppressWarnings("initialization") on the field declaration.

Updated Maven instructions to no longer require a script.
Added an example of how to use the instructions under
checker/examples/MavenExample.

The javac_maven script (and batch file) are deprecated and will be
removed as of December 2015.

Fixed issues: 487, 500, 502.

Don't miss a new checker-framework release

NewReleases is sending notifications on new releases.