rainbowgum
rainbowgum copied to clipboard
Bump checkerframework.version from 3.42.0 to 3.43.0
Bumps checkerframework.version
from 3.42.0 to 3.43.0.
Updates org.checkerframework:checker
from 3.42.0 to 3.43.0
Release notes
Sourced from org.checkerframework:checker's releases.
Checker Framework 3.43.0
Version 3.43.0 (May 1, 2024)
User-visible changes:
Method, constructor, lambda, and method reference type inference has been greatly improved. The
-AconservativeUninferredTypeArguments
option is no longer necessary and has been removed.Renamed command-line arguments:
-AskipDirs
has been renamed to-AskipFiles
.-AskipDirs
will continue to work for the time being.New command-line arguments:
-AonlyFiles
complements-AskipFiles
A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.
Implementation details:
Deprecated
ObjectCreationNode#getConstructor
in favor of newObjectCreationNode#getTypeToInstantiate()
.Renamed
AbstractCFGVisualizer.visualizeBlockHelper()
tovisualizeBlockWithSeparator()
.Moved methods from
TreeUtils
to subclasses ofTreeUtilsAfterJava11
:
- isConstantCaseLabelTree
- isDefaultCaseLabelTree
- isPatternCaseLabelTree
Renamed
BaseTypeVisitor.checkForPolymorphicQualifiers()
towarnInvalidPolymorphicQualifier()
.Closed issues:
#979, #4559, #4593, #5058, #5734, #5781, #6071, #6093, #6239, #6297, #6317, #6322, #6346, #6373, #6376, #6378, #6379, #6380, #6389, #6393, #6396, #6402, #6406, #6407, #6417, #6421, #6430, #6433, #6438, #6442, #6473, #6480, #6507, #6531, #6535.
Changelog
Sourced from org.checkerframework:checker's changelog.
Version 3.43.0 (May 1, 2024)
User-visible changes:
Method, constructor, lambda, and method reference type inference has been greatly improved. The
-AconservativeUninferredTypeArguments
option is no longer necessary and has been removed.Renamed command-line arguments:
-AskipDirs
has been renamed to-AskipFiles
.-AskipDirs
will continue to work for the time being.New command-line arguments:
-AonlyFiles
complements-AskipFiles
A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.
Implementation details:
Deprecated
ObjectCreationNode#getConstructor
in favor of newObjectCreationNode#getTypeToInstantiate()
.Renamed
AbstractCFGVisualizer.visualizeBlockHelper()
tovisualizeBlockWithSeparator()
.Moved methods from
TreeUtils
to subclasses ofTreeUtilsAfterJava11
:
- isConstantCaseLabelTree
- isDefaultCaseLabelTree
- isPatternCaseLabelTree
Renamed
BaseTypeVisitor.checkForPolymorphicQualifiers()
towarnInvalidPolymorphicQualifier()
.Closed issues:
#979, #4559, #4593, #5058, #5734, #5781, #6071, #6093, #6239, #6297, #6317, #6322, #6346, #6373, #6376, #6378, #6379, #6380, #6389, #6393, #6396, #6402, #6406, #6407, #6417, #6421, #6430, #6433, #6438, #6442, #6473, #6480, #6507, #6531, #6535.
Commits
842c4d0
new release 3.43.0b687d36
Use property instead.2db3beb
Only sign when publishing.917b484
Prep for release.37492ba
Update Stubparser to version 3.25.10(#6559)81f7d01
Use Guava version 33.1.07051bda
Use Error Prone 2.27.02890be7
Simplify calls toList.toArray()
1cf6f32
Update dependency org.checkerframework:stubparser to v3.25.10 (#6553)fa837dc
Update plugin com.gorylenko.gradle-git-properties to v2.4.2 (#6554)- Additional commits viewable in compare view
Updates org.checkerframework:checker-qual
from 3.42.0 to 3.43.0
Release notes
Sourced from org.checkerframework:checker-qual's releases.
Checker Framework 3.43.0
Version 3.43.0 (May 1, 2024)
User-visible changes:
Method, constructor, lambda, and method reference type inference has been greatly improved. The
-AconservativeUninferredTypeArguments
option is no longer necessary and has been removed.Renamed command-line arguments:
-AskipDirs
has been renamed to-AskipFiles
.-AskipDirs
will continue to work for the time being.New command-line arguments:
-AonlyFiles
complements-AskipFiles
A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.
Implementation details:
Deprecated
ObjectCreationNode#getConstructor
in favor of newObjectCreationNode#getTypeToInstantiate()
.Renamed
AbstractCFGVisualizer.visualizeBlockHelper()
tovisualizeBlockWithSeparator()
.Moved methods from
TreeUtils
to subclasses ofTreeUtilsAfterJava11
:
- isConstantCaseLabelTree
- isDefaultCaseLabelTree
- isPatternCaseLabelTree
Renamed
BaseTypeVisitor.checkForPolymorphicQualifiers()
towarnInvalidPolymorphicQualifier()
.Closed issues:
#979, #4559, #4593, #5058, #5734, #5781, #6071, #6093, #6239, #6297, #6317, #6322, #6346, #6373, #6376, #6378, #6379, #6380, #6389, #6393, #6396, #6402, #6406, #6407, #6417, #6421, #6430, #6433, #6438, #6442, #6473, #6480, #6507, #6531, #6535.
Changelog
Sourced from org.checkerframework:checker-qual's changelog.
Version 3.43.0 (May 1, 2024)
User-visible changes:
Method, constructor, lambda, and method reference type inference has been greatly improved. The
-AconservativeUninferredTypeArguments
option is no longer necessary and has been removed.Renamed command-line arguments:
-AskipDirs
has been renamed to-AskipFiles
.-AskipDirs
will continue to work for the time being.New command-line arguments:
-AonlyFiles
complements-AskipFiles
A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.
Implementation details:
Deprecated
ObjectCreationNode#getConstructor
in favor of newObjectCreationNode#getTypeToInstantiate()
.Renamed
AbstractCFGVisualizer.visualizeBlockHelper()
tovisualizeBlockWithSeparator()
.Moved methods from
TreeUtils
to subclasses ofTreeUtilsAfterJava11
:
- isConstantCaseLabelTree
- isDefaultCaseLabelTree
- isPatternCaseLabelTree
Renamed
BaseTypeVisitor.checkForPolymorphicQualifiers()
towarnInvalidPolymorphicQualifier()
.Closed issues:
#979, #4559, #4593, #5058, #5734, #5781, #6071, #6093, #6239, #6297, #6317, #6322, #6346, #6373, #6376, #6378, #6379, #6380, #6389, #6393, #6396, #6402, #6406, #6407, #6417, #6421, #6430, #6433, #6438, #6442, #6473, #6480, #6507, #6531, #6535.
Commits
842c4d0
new release 3.43.0b687d36
Use property instead.2db3beb
Only sign when publishing.917b484
Prep for release.37492ba
Update Stubparser to version 3.25.10(#6559)81f7d01
Use Guava version 33.1.07051bda
Use Error Prone 2.27.02890be7
Simplify calls toList.toArray()
1cf6f32
Update dependency org.checkerframework:stubparser to v3.25.10 (#6553)fa837dc
Update plugin com.gorylenko.gradle-git-properties to v2.4.2 (#6554)- 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 show <dependency name> ignore conditions
will show all of the ignore conditions of the specified dependency -
@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)