Release 3.43.0 of the Checker Framework
Suzanne Millstein
We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.
You can find documentation and download links at:
Changes for Checker Framework version 3.43.0:
Version 3.43.0 (May 1, 2024)
User-visible changes:
Method, constructor, lambda, and method reference type inference has been greatly improved. The -AconservativeUninferredTypeArguments option is no longer necessary and has been removed.
Renamed command-line arguments:
-AskipDirs has been renamed to -AskipFiles. -AskipDirs will continue to work for the time being.
New command-line arguments:
-AonlyFiles complements -AskipFiles
A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.
Implementation details:
Deprecated ObjectCreationNode#getConstructor in favor of new ObjectCreationNode#getTypeToInstantiate().
Renamed AbstractCFGVisualizer.visualizeBlockHelper() to visualizeBlockWithSeparator().
Moved methods from TreeUtils to subclasses of TreeUtilsAfterJava11:
- isConstantCaseLabelTree
- isDefaultCaseLabelTree
- isPatternCaseLabelTree
Renamed BaseTypeVisitor.checkForPolymorphicQualifiers() to warnInvalidPolymorphicQualifier().
Closed issues:
#979, #4559, #4593, #5058, #5734, #5781, #6071, #6093, #6239, #6297, #6317, #6322, #6346, #6373, #6376, #6378, #6379, #6380, #6389, #6393, #6396, #6402, #6406, #6407, #6417, #6421, #6430, #6433, #6438, #6442, #6473, #6480, #6507, #6531, #6535.
User-visible changes:
Method, constructor, lambda, and method reference type inference has been greatly improved. The -AconservativeUninferredTypeArguments option is no longer necessary and has been removed.
Renamed command-line arguments:
-AskipDirshas been renamed to-AskipFiles.-AskipDirswill continue to work for the time being.
New command-line arguments:
-AonlyFilescomplements-AskipFiles
A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.
Implementation details:
Deprecated ObjectCreationNode#getConstructor in favor of new ObjectCreationNode#getTypeToInstantiate().
Renamed AbstractCFGVisualizer.visualizeBlockHelper() to visualizeBlockWithSeparator().
Moved methods from TreeUtils to subclasses of TreeUtilsAfterJava11:
- isConstantCaseLabelTree
- isDefaultCaseLabelTree
- isPatternCaseLabelTree
Renamed BaseTypeVisitor.checkForPolymorphicQualifiers() to warnInvalidPolymorphicQualifier().
Closed issues:
#979, #4559, #4593, #5058, #5734, #5781, #6071, #6093, #6239, #6297, #6317, #6322, #6346, #6373, #6376, #6378, #6379, #6380, #6389, #6393, #6396, #6402, #6406, #6407, #6417, #6421, #6430, #6433, #6438, #6442, #6473, #6480, #6507, #6531, #6535.