Checker Framework v3.6.1 Release Notes

Release Date: 2020-09-02 // 16 days ago

Previous changes from v3.6.0

  • ๐Ÿ”– Version 3.6.0, August 3, 2020

    ๐Ÿ‘ The Interning Checker supports method annotations @EqualsMethod and @CompareToMethod. Place them on methods like equals(), compareTo(), and compare() to permit certain uses of == on non-interned values.

    โž• Added an overloaded version of NullnessUtil.castNonNull that takes an error message.

    โž• Added a new option -Aversion to print the version of the Checker Framework.

    ๐Ÿ†• New CFGVisualizeLauncher command-line arguments:

    • --outputdir: directory in which to write output files
    • ๐Ÿ–จ --string: print the control flow graph in the terminal
      All CFGVisualizeLauncher command-line arguments now start with -- instead of -.

    Implementation details:

    โšก๏ธ commonAssignmentCheck() now takes an additional argument. Type system authors must update their overriding implementations.

    0๏ธโƒฃ Renamed GenericAnnotatedTypeFactory#addAnnotationsFromDefaultQualifierForUse to #addAnnotationsFromDefaultForType and BaseTypeValidator#shouldCheckTopLevelDeclaredType to #shouldCheckTopLevelDeclaredOrPrimitiveType

    โœ‚ Removed org.checkerframework.framework.test.FrameworkPer(Directory/File)Test classes. Use CheckerFrameworkPer(Directory/File)Test instead.

    Closed issues:
    #1395, #2483, #3207, #3223, #3224, #3313, #3381, #3422, #3424, #3428, #3429, #3438, #3442, #3443, #3447, #3449, #3461, #3482, #3485, #3495, #3500, #3528.