typetools/checker-framework checker-framework-3.0.0

Checker Framework 3.0.0

on GitHub

Version 3.0.0, November 1, 2019

The Checker Framework works on both JDK 8 and JDK 11.

• Type annotations for JDK 8 remain in jdk8.jar.
• Type annotations for JDK 11 appear in stub files in checker.jar.

Removed the @PolyAll annotation.

Implementation details:

• Removed all previously deprecated methods.
• AnnotatedTypeFactory#getFnInterfaceFromTree now returns an AnnotatedExecutableType.
• AnnotationUtils#areSame and #areSameByName now only accept non-null AnnotationMirrors

Closed issues:
1169, 1654, 2081, 2703, 2739, 2749, 2779, 2781, 2798, 2820, 2824, 2829, 2842, 2845, 2848.