Checker Framework v3.1.1 Release Notes
Release Date: 2020-02-03 // about 4 years ago-
๐ Version 3.1.1, February 3, 2020
๐ New command-line options:
-AassumeDeterministic Unsoundly assume that every method is deterministic
-AassumePure Unsoundly assume that every method is pure๐ Renamed -Anocheckjdk to -ApermitMissingJdk. The old version still works, for backward compatibility.
๐ Renamed -Alint=forbidnonnullarraycomponents to -Alint=soundArrayCreationNullness. The old version still works, for backward compatibility.
Implementation details:
- ๐ Deprecated QualifierHierarchy#getTypeQualifiers.
- ๐ Deprecated Analysis#Analysis(ProcessingEnvironment) and Analysis#Analysis(T, int, ProcessingEnvironment); use Analysis#Analysis(), Analysis#Analysis(int), Analysis#Analysis(T), and Analysis#Analysis(T, int) instead.
Closed issues:
2181, 2975, 3018, 3022, 3032, 3036, 3037, 3038, 3041, 3049, 3055, 3076.