typetools/checker-framework checker-framework-3.15.0

Checker Framework 3.15.0

on GitHub

Version 3.15.0 (June 18, 2021)

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.