Release 3.15.0 of the Checker Framework
7 views
Skip to first unread message
Suzanne Millstein
Jun 18, 2021, 6:46:09 PM6/18/21
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.15.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.15.0:
**User-visible changes:**
The Resource Leak Checker ensures that certain methods are called on an
object before it is de-allocated. By default, it enforces that `close()` is
called on any expression whose compile-time type implements `java.io.Closeable`.
**Implementation details:**
Method renamings (the old methods remain but are deprecated):
* `AnnotatedDeclaredType#wasRaw` => `isUnderlyingTypeRaw`
* `AnnotatedDeclaredType#setWasRaw` => `setIsUnderlyingTypeRaw`
**Closed issues:**
#4549, #4646, #4684, and #4699.
The Resource Leak Checker ensures that certain methods are called on an
object before it is de-allocated. By default, it enforces that `close()` is
called on any expression whose compile-time type implements `java.io.Closeable`.
**Implementation details:**
Method renamings (the old methods remain but are deprecated):
* `AnnotatedDeclaredType#wasRaw` => `isUnderlyingTypeRaw`
* `AnnotatedDeclaredType#setWasRaw` => `setIsUnderlyingTypeRaw`
**Closed issues:**
#4549, #4646, #4684, and #4699.
Reply all
Reply to author
Forward
0 new messages