Checker Framework v3.6.0 Release Notes
Release Date: 2020-08-03 // over 3 years ago-
๐ 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.