-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:
You can run the Checker Framework on a JDK 16 JVM. You can pass the --release 16 command-line argument to the compiler. You may need to add additional command-line options, such as --add-opens; see the Checker Framework manual. New syntax, such as records and switch expressions, is not yet supported or type-checked; that will be added in a future release. Thanks to Neil Brown for the JDK 16 support.
The Lock Checker supports a new type, @NewObject, for the result of a constructor invocation.
The -Ainfer command-line argument now outputs purity annotations even if neither -AsuggestPureMethods nor AcheckPurityAnnotations is supplied on the command line.
Implementation details:
Method renamings (the old methods remain but are deprecated):
-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:
You can run the Checker Framework on a JDK 16 JVM. You can pass the --release 16 command-line argument to the compiler. You may need to add additional
command-line options, such as --add-opens; see the Checker Framework manual.
New syntax, such as records and switch expressions, is not yet supported or
type-checked; that will be added in a future release. Thanks to Neil Brown for
the JDK 16 support.
The Lock Checker supports a new type, @NewObject, for the result of a
constructor invocation.
The -Ainfer command-line argument now outputs purity annotations even if
neither -AsuggestPureMethods nor -AcheckPurityAnnotations is supplied
on the command line.
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)
Bumps checker-qual from 3.5.0 to 3.17.0.
Release notes
Sourced from checker-qual's releases.
... (truncated)
Changelog
Sourced from checker-qual's changelog.
... (truncated)
Commits
9d0f498
new release 3.17.02e17d53
Prep for release.11ad15d
Initializes all fields of newly created ATM before substituting type varsecc03e6
Add a task to print a list of java files313e5c8
Documentation tweaks127b2af
Handle enum fields specially ingetFieldAnnotations()
594fe9c
Make the return type ofgetFakeOverride()
more specific0f9b90a
Remove unneeded formal parameter9fe9c72
RenamegetTypeFactory()
tocreateTypeFactoryForProcessor
77a7c93
Validate return types correctly. (#4844)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)