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.