Checker Framework 3.40.0-eisop1
·
259 commits
to master
since this release
Version 3.40.0-eisop1 (November 24, 2023)
User-visible changes:
Improvements to initialization type frames in the Initialization Checker.
Implementation details:
New method TreeUtils#isEnhancedSwitchStatement to determine if a switch statement tree
is an enhanced switch statement.
Closed issues:
Version 3.40.0 (November 1, 2023)
User-visible changes:
Optional Checker: checker-util.jar defines OptionalUtil.castPresent() for
suppressing false positive warnings from the Optional Checker.
Closed issues:
typetools#4947, typetools#6179, typetools#6215, typetools#6218, typetools#6222, typetools#6247, typetools#6259, typetools#6260.