All Versions
27
Latest Version
Avg Release Cycle
29 days
Latest Release
325 days ago

Changelog History
Page 3

  • v2.8.1 Changes

    May 01, 2019

    ๐Ÿ”– Version 2.8.1, May 1, 2019

    ๐Ÿšš Moved text about the Purity Checker into its own chapter in the manual.

    Closed issues:
    660, 2030, 2223, 2240, 2244, 2375, 2407, 2410, 2415, 2420, 2421, 2446, 2447, 2460, 2462.

  • v2.8.0 Changes

    April 03, 2019

    ๐Ÿ”– Version 2.8.0, April 3, 2019

    ๐Ÿ‘Œ Support androidx.annotation.RecentlyNonNull and RecentlyNullable (as of 2.6.0, but not previously documented).

    0๏ธโƒฃ The following qualifiers are now repeatable: @DefaultQualifier @EnsuresQualifierIf @EnsuresQualifier @RequiresQualifier. Therefore, users generally do not need to write the following wrapper annotations: @DefaultQualifiers @EnsuresQualifiersIf @EnsuresQualifiers @RequiresQualifiers.

    ๐Ÿ†• New command-line option -ArequirePrefixInWarningSuppressions makes @SuppressWarnings recognize warning keys of the form "checkername:key.about.problem" but ignore warning keys of the form "key.about.problem" without the checker name as a prefix.

    ๐Ÿ†• New CONSTRUCTOR_RESULT enum constant in TypeUseLocation makes it possible to set default annotations for constructor results.

    ๐Ÿ‘€ Clarified the semantics of annotations on class and constructor declarations. See Section 25.5 "Annotations on classes and constructors" in the manual.

    Interface changes:

    • โž• Added protected methods to BaseTypeVisitor so that checkers can change the checks for annotations on classes, constructor declarations, and constructor invocations.
    • โœ‚ Removed BaseTypeVisitor#checkAssignability and BaseTypeVisitor#isAssignable methods.
    • ๐Ÿ“‡ Renamed AnnotatedTypeFactory#getEnclosingMethod to AnnotatedTypeFactory#getEnclosingElementForArtificialTree

    Closed issues:
    2159, 2230, 2318, 2324, 2330, 2334, 2343, 2344, 2353, 2366, 2367, 2370, 2371, 2385.

  • v2.7.0 Changes

    March 02, 2019

    ๐Ÿ”– Version 2.7.0, March 1, 2019

    The manual links to the AWS crypto policy compliance checker, which enforces that no weak cipher algorithms are used with the Java crypto API.

    ๐Ÿ‘ The Nullness Checker supports RxJava annotations io.reactivex.annotations.NonNull and io.reactivex.annotations.Nullable.

    The checker-qual artifact (jar file) contains an OSGi manifest.

    ๐Ÿ†• New TYPE_DECLARATION enum constant in TypeUseLocation makes it possible to (for example) set defaults annotations for class/interface definitions.

    Interface changes:

    • ๐Ÿ“‡ Renamed the value element of the @HasSubsequence annotation to
      subsequence.
    • ๐Ÿ“‡ Renamed @PolySignedness to @PolySigned.
    • ๐Ÿ“‡ Renamed AnnotatedTypeFactory.ParameterizedMethodType to ParameterizedExecutableType.

    โž• Added missing checks regarding annotations on classes, constructor declarations, and constructor invocations. You may see new warnings.

    Closed issues:
    788, 1751, 2147, 2163, 2186, 2235, 2243, 2263, 2264, 2286, 2302, 2326, 2327.

  • v2.6.0 Changes

    February 03, 2019

    ๐Ÿ”– Version 2.6.0, February 3, 2019

    The manual includes a section about how to use Lombok and the Checker
    Framework simultaneously.

    Commons CSV has been added to the annotated libraries on Maven Central.

    Some error messages have been changed to improve comprehensibility,
    such as by adjusting wording or adding additional information.

    Relevant to type system implementers:
    ๐Ÿ“‡ Renamed method areSameIgnoringValues to areSameByName.

    Closed issues: 2008, 2166, 2185, 2187, 2221, 2224, 2229, 2234, 2248.
    ๐Ÿ›  Also fixed false negatives in handling of Map.get().

  • v2.5.8 Changes

    December 06, 2018

    The manual now links to the AWS KMS compliance checker, which enforces that calls to AWS KMS only generate 256-bit keys.

  • v2.5.7 Changes

    November 05, 2018

    ๐Ÿ”– Version 2.5.7, November 4, 2018

    ๐Ÿ†• New @EnsuresKeyFor and @EnsuresKeyForIf method annotations permit specifying the postcondition that a method gives some value a @KeyFor type.

    ๐Ÿ’ป The manual links to the Rx Thread & Effect Checker, which enforces UI Thread safety properties for stream-based Android applications.

    Closed issues:
    1014, 2151, 2178, 2180, 2183, 2188, 2190, 2195, 2196, 2198, 2199

  • v2.5.6 Changes

    October 03, 2018

    ๐Ÿ”– Version 2.5.6, October 3, 2018

    Introduce checker-qual-android artifact with Android-compatible qualifiers that use only classfile retention.

    โœ‚ Remove the checker-compat-qual artifact.

    Closed issues:

    2135, 2157, 2158, 2164, 2171.