Removed support for deprecated option -AuseDefaultsForUncheckedCode.
The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.
Implementation details:
QualifierHierarchy:
The constructor takes an AnnotatedTypeFactory.
Changes to isSubtype():
isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
Similar changes to greatestLowerBound() and leastUpperBound().
Removed support for deprecated option -AuseDefaultsForUncheckedCode.
The Signedness Checker no longer allows (nor needs) @UnknownSignedness
to be written on a non-integral type.
Implementation details:
QualifierHierarchy:
The constructor takes an AnnotatedTypeFactory.
Changes to isSubtype():
isSubtype() has been renamed to isSubypeQualifiers() and made protected.
Clients that are not in a qualifier hierarchy should call isSubtypeShallow()
or, rarely, new method isSubtypeQualifiersOnly().
New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
Similar changes to greatestLowerBound() and leastUpperBound().
Removed support for deprecated option -AuseDefaultsForUncheckedCode.
The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.
Implementation details:
QualifierHierarchy:
The constructor takes an AnnotatedTypeFactory.
Changes to isSubtype():
isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
Similar changes to greatestLowerBound() and leastUpperBound().
Removed support for deprecated option -AuseDefaultsForUncheckedCode.
The Signedness Checker no longer allows (nor needs) @UnknownSignedness
to be written on a non-integral type.
Implementation details:
QualifierHierarchy:
The constructor takes an AnnotatedTypeFactory.
Changes to isSubtype():
isSubtype() has been renamed to isSubypeQualifiers() and made protected.
Clients that are not in a qualifier hierarchy should call isSubtypeShallow()
or, rarely, new method isSubtypeQualifiersOnly().
New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
Similar changes to greatestLowerBound() and leastUpperBound().
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
checkerFrameworkVersion
from 3.36.0 to 3.37.0. Updatesorg.checkerframework:checker
from 3.36.0 to 3.37.0Release notes
Sourced from org.checkerframework:checker's releases.
Changelog
Sourced from org.checkerframework:checker's changelog.
Commits
8c55a6b
new release 3.37.038042d5
Prep for release.6b36a30
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.519 (#6115)968301d
Fix least upper bound; fixes #6113d607f26
Update plugin com.diffplug.spotless to v6.20.0 (#6102)d7721b2
Handle annotations on record constructorsc88e096
fixedInitialStore
may be null355bf05
How to make a local release (#6106)b6182b9
Add an easier way to avoid running WPI on tests22377ce
More explicit error message (#6107)Updates
org.checkerframework:checker-qual
from 3.36.0 to 3.37.0Release notes
Sourced from org.checkerframework:checker-qual's releases.
Changelog
Sourced from org.checkerframework:checker-qual's changelog.
Commits
8c55a6b
new release 3.37.038042d5
Prep for release.6b36a30
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.519 (#6115)968301d
Fix least upper bound; fixes #6113d607f26
Update plugin com.diffplug.spotless to v6.20.0 (#6102)d7721b2
Handle annotations on record constructorsc88e096
fixedInitialStore
may be null355bf05
How to make a local release (#6106)b6182b9
Add an easier way to avoid running WPI on tests22377ce
More explicit error message (#6107)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)