typetools/checker-framework checker-framework-3.54.1

Checker Framework 3.54.1

on GitHub

Version 3.55.0 (2026-04-02)

User-visible changes

The Checker Framework runs under JDK 26 -- that is, it runs on a version 26 JVM.

Removed deprecated command-line option -AskipDirs; use -AskipFiles.

Implementation details

In AnnotatedTypeMirror:

• Renamed getEffectiveAnnotation*() to getAnnotation*().
• Renamed hasEffectiveAnnotation*() to hasAnnotation*().

Removed deprecated method ObjectCreationNode.getConstructor(); use
getTypeToInstantiate().

Closed issues

#7079, #7489, #7539.