Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Release 3.49.0 of the Checker Framework
5 views
Skip to first unread message
Suzanne Millstein
Feb 3, 2025, 2:01:06 PMFeb 3
to Checker Framework discussion
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.49.0
Version 3.49.0 (February 3, 2025)
User-visible changes:
The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:
@NonEmpty@UnknownNonEmpty
The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.
The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.
Closed issues:
#6935, #6936, #6939.
User-visible changes:
The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:
@NonEmpty@UnknownNonEmpty
The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.
The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.
Closed issues:
#6935, #6936, #6939.
Reply all
Reply to author
Forward
0 new messages