« Changelog History


Checker Framework v3.1.0 Release Notes

Release Date: 2020-01-03 // over 4 years ago

  • 🔖 Version 3.1.0, January 3, 2020

    🖨 Command-line option -AprintGitProperties prints information about the git repository from which the Checker Framework was compiled.

    Implementation details:

    • ✂ Removed static cache in AnnotationUtils#areSameByClass and added
      AnnotatedTypeFactory#areSameByClass that uses an instance cache.
    • ✂ Removed static cache in AnnotationBuilder#fromName and #fromClass.
    • ContractsUtils#getPreconditions takes an ExecutableElement as an argument.
    • ContractsUtils#getContracts returns a Set.
    • 🚚 Moved ContractUtils.Contract to outer level.
    • 📇 Renamed ConditionalPostcondition#annoResult to ConditionalPostcondition#resultValue.

    Closed issues:

    2867, 2897, 2972.