Bumps checker-qual from 3.16.0 to 3.17.0.
Release notes
Sourced from checker-qual's releases.
Checker Framework 3.17.0
Version 3.17.0 (August 2, 2021)
User-visible changes:
-Ainfer
can now infer postcondition annotations that reference formal parameters (e.g. "[#1](https://github.com/typetools/checker-framework/issues/1)"
, "[#2](https://github.com/typetools/checker-framework/issues/2)"
) and the receiver ("this"
).
Implementation details:
Method renamings and signature changes (old methods are removed) in GenericAnnotatedTypeFactory
:
getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)
=> getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)
getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)
=> getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)
getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)
=> getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)
requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)
=> createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)
Method renamings and signature changes (old method is removed) in WholeProgramInferenceStorage
:
getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)
=> getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)
Method renamings:
CFAbstractAnalysis.getFieldValues
=> getFieldInitialValues
The following methods no longer take a fieldValues
parameter:
GenericAnnotatedTypeFactory#createFlowAnalysis
CFAnalysis
constructor
CFAbstractAnalysis#performAnalysis
CFAbstractAnalysis
constructors
Closed issues:
#4685, #4689, #4785, #4805, #4806, #4815, #4829, #4849.
Changelog
Sourced from checker-qual's changelog.
Version 3.17.0 (August 2, 2021)
User-visible changes:
-Ainfer
can now infer postcondition annotations that reference formal parameters
(e.g. "[#1](https://github.com/typetools/checker-framework/issues/1)"
, "[#2](https://github.com/typetools/checker-framework/issues/2)"
) and the receiver ("this"
).
Implementation details:
Method renamings and signature changes (old methods are removed) in GenericAnnotatedTypeFactory
:
getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)
=> getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)
getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)
=> getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)
getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)
=> getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)
requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)
=> createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)
Method renamings and signature changes (old method is removed) in WholeProgramInferenceStorage
:
getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)
=> getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)
Method renamings:
CFAbstractAnalysis.getFieldValues
=> getFieldInitialValues
The following methods no longer take a fieldValues
parameter:
GenericAnnotatedTypeFactory#createFlowAnalysis
CFAnalysis
construtor
CFAbstractAnalysis#performAnalysis
CFAbstractAnalysis
constructors
Closed issues:
#4685, #4689, #4785, #4805, #4806, #4815, #4829, #4849.
Commits
9d0f498
new release 3.17.0
2e17d53
Prep for release.
11ad15d
Initializes all fields of newly created ATM before substituting type vars
ecc03e6
Add a task to print a list of java files
313e5c8
Documentation tweaks
127b2af
Handle enum fields specially in getFieldAnnotations()
594fe9c
Make the return type of getFakeOverride()
more specific
0f9b90a
Remove unneeded formal parameter
9fe9c72
Rename getTypeFactory()
to createTypeFactoryForProcessor
77a7c93
Validate return types correctly. (#4844)
- Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase
.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebase
will rebase this PR
@dependabot recreate
will recreate this PR, overwriting any edits that have been made to it
@dependabot merge
will merge this PR after your CI passes on it
@dependabot squash and merge
will squash and merge this PR after your CI passes on it
@dependabot cancel merge
will cancel a previously requested merge and block automerging
@dependabot reopen
will reopen this PR if it is closed
@dependabot close
will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
@dependabot ignore this major version
will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
@dependabot ignore this minor version
will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
@dependabot ignore this dependency
will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
@dependabot use these labels
will set the current labels as the default for future PRs for this repo and language
@dependabot use these reviewers
will set the current reviewers as the default for future PRs for this repo and language
@dependabot use these assignees
will set the current assignees as the default for future PRs for this repo and language
@dependabot use this milestone
will set the current milestone as the default for future PRs for this repo and language
@dependabot badge me
will comment on this PR with code to add a "Dependabot enabled" badge to your readme
Additionally, you can set the following in your Dependabot dashboard:
- Update frequency (including time of day and day of week)
- Pull request limits (per update run and/or open at any time)
- Out-of-range updates (receive only lockfile updates, if desired)
- Security updates (receive only security updates, if desired)
dependencies