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.
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.