Release 3.22.0 of the Checker Framework
2 views
Skip to first unread message
Suzanne Millstein
May 2, 2022, 2:21:16 PM5/2/22
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:
http://CheckerFramework.org/
Changes for Checker Framework version 3.22.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:
http://CheckerFramework.org/
Changes for Checker Framework version 3.22.0:
**User-visible changes:**
The Signedness Checker now checks calls to `equals()` as well as to `==`. When two formal parameter types are annotated with @PolySigned, the two arguments at a call site must have the same signedness type annotation. (This differs from the standard rule for polymorphic qualifiers.)
**Implementation details:**
When passed a NewClassTree that creates an anonymous constructor, `AnnotatedTypeFactory#constructorFromUse` now returns the type of the anonymous constructor rather than the type of the super constructor invoked in the anonymous classes constructor. If the super constructor has explicit annotations, they are copied to the anonymous classes constructor.
**Closed issues:**
#5113.
The Signedness Checker now checks calls to `equals()` as well as to `==`. When two formal parameter types are annotated with @PolySigned, the two arguments at a call site must have the same signedness type annotation. (This differs from the standard rule for polymorphic qualifiers.)
**Implementation details:**
When passed a NewClassTree that creates an anonymous constructor, `AnnotatedTypeFactory#constructorFromUse` now returns the type of the anonymous constructor rather than the type of the super constructor invoked in the anonymous classes constructor. If the super constructor has explicit annotations, they are copied to the anonymous classes constructor.
**Closed issues:**
#5113.
Reply all
Reply to author
Forward
0 new messages