Release 4.2.0 of the Checker Framework
0 views
Skip to first unread message
Suzanne Millstein
Jun 1, 2026, 2:53:36 PM (9 days ago) Jun 1
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:
https://CheckerFramework.org/
Changes for Checker Framework version 4.2.0:
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:
https://CheckerFramework.org/
Changes for Checker Framework version 4.2.0:
Renamed error message key "createsmustcallfor.target.unparseable" to "createsmustcallfor.target.unparsable".
In AnnotatedTypeFactory:
- new overload
canonicalAnnotation(AnnotationMirror, TypeMirror).
In TypeHierarchy:
- new methods
equalsShallowEffective().
#7676, #7679, #7680, #7695, #7697, #7699, #7700, #7727.
Reply all
Reply to author
Forward
0 new messages