Skip to content

Commit

Permalink
Bump checker-qual from 3.6.1 to 3.7.0
Browse files Browse the repository at this point in the history
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.6.1 to 3.7.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">checker-qual's releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.7.0</h2>
<p>Version 3.7.0, October 1, 2020</p>
<p>The new Called Methods Checker tracks methods that have definitely been called on an object. It automatically supports detecting mis-uses of the builder pattern in code that uses Lombok or AutoValue.</p>
<p>Accumulation analysis is now supported via a generic Accumulation Checker. An accumulation analysis is a restricted form of typestate analysis that does not require a precise alias analysis for soundness. The Called Methods Checker is an accumulation analysis.</p>
<p>The Nullness Checker supports annotations <code>org.codehaus.commons.nullanalysis.NotNull</code>, <code>org.codehaus.commons.nullanalysis.Nullable</code>, and <code>org.jspecify.annotations.Nullable</code>.</p>
<p>The Signature Checker supports annotations <code>@CanonicalName</code> and <code>@CanonicalNameOrEmpty</code>.
The Signature Checker treats <code>jdk.jfr.Unsigned</code> as an alias for its own <code>@unsigned</code> annotation.</p>
<p>The shorthand syntax for the -processor command-line argument applies to
utility checkers, such as the Constant Value Checker.</p>
<p>Implementation details:</p>
<p>A checker implementation may override AnnotatedTypeFactory.getWidenedAnnotations
to provide special behavior for primitive widening conversions.</p>
<p>Deprecated <code>org.checkerframework.framework.util.MultiGraphQualifierHierarchy</code> and <code>org.checkerframework.framework.util.GraphQualifierHierarchy</code>.  Removed <code>AnnotatedTypeFactory#createQualifierHierarchy(MultiGraphFactory)</code> and <code>AnnotatedTypeFactory#createQualifierHierarchyFactory</code>.
See Javadoc of MultiGraphQualifierHierarchy for instructions on how to use the new classes and methods.</p>
<p>Renamed methods:
NumberUtils.isFloatingPoint =&gt; TypesUtils.isFloatingPoint
NumberUtils.isIntegral =&gt; TypesUtils.isIntegralPrimitiveOrBoxed
NumberUtils.isPrimitiveFloatingPoint =&gt; TypeKindUtils.isFloatingPoint
NumberUtils.isPrimitiveIntegral =&gt; TypeKindUtils.isIntegral
NumberUtils.unboxPrimitive =&gt; TypeKindUtils.primitiveOrBoxedToTypeKind
TypeKindUtils.widenedNumericType =&gt; TypeKindUtils.widenedNumericType
TypesUtils.isFloating =&gt; TypesUtils.isFloatingPrimitive
TypesUtils.isIntegral =&gt; TypesUtils.isIntegralPrimitive</p>
<p>The CFStore copy constructor now takes only one argument.</p>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/352">#352</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/354">#354</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/553">#553</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/722">#722</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/762">#762</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2208">#2208</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2239">#2239</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3033">#3033</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3105">#3105</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3266">#3266</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3275">#3275</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3408">#3408</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3561">#3561</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3616">#3616</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3619">#3619</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3622">#3622</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3625">#3625</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3630">#3630</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3632">#3632</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3648">#3648</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3650">#3650</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3667">#3667</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3668">#3668</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3669">#3669</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3700">#3700</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3701">#3701</a>.</p>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/changelog.txt">checker-qual's changelog</a>.</em></p>
<blockquote>
<p>Version 3.7.0, October 1, 2020</p>
<p>The new Called Methods Checker tracks methods that have definitely been
called on an object. It automatically supports detecting mis-uses of the
builder pattern in code that uses Lombok or AutoValue.</p>
<p>Accumulation analysis is now supported via a generic Accumulation Checker.
An accumulation analysis is a restricted form of typestate analysis that does
not require a precise alias analysis for soundness. The Called Methods Checker
is an accumulation analysis.</p>
<p>The Nullness Checker supports annotations
org.codehaus.commons.nullanalysis.NotNull,
org.codehaus.commons.nullanalysis.Nullable, and
org.jspecify.annotations.Nullable.</p>
<p>The Signature Checker supports annotations <a href="https://github.com/CanonicalName">@CanonicalName</a> and <a href="https://github.com/CanonicalNameOrEmpty">@CanonicalNameOrEmpty</a>.
The Signature Checker treats jdk.jfr.Unsigned as an alias for its own <a href="https://github.com/Unsigned">@Unsigned</a> annotation.</p>
<p>The shorthand syntax for the -processor command-line argument applies to
utility checkers, such as the Constant Value Checker.</p>
<p>Implementation details:</p>
<p>A checker implementation may override AnnotatedTypeFactory.getWidenedAnnotations
to provide special behavior for primitive widening conversions.</p>
<p>Deprecated org.checkerframework.framework.util.MultiGraphQualifierHierarchy and
org.checkerframework.framework.util.GraphQualifierHierarchy.  Removed
AnnotatedTypeFactory#createQualifierHierarchy(MultiGraphFactory) and
AnnotatedTypeFactory#createQualifierHierarchyFactory.  See Javadoc of
MultiGraphQualifierHierarchy for instructions on how to use the new classes and
methods.</p>
<p>Renamed methods:
NumberUtils.isFloatingPoint =&gt; TypesUtils.isFloatingPoint
NumberUtils.isIntegral =&gt; TypesUtils.isIntegralPrimitiveOrBoxed
NumberUtils.isPrimitiveFloatingPoint =&gt; TypeKindUtils.isFloatingPoint
NumberUtils.isPrimitiveIntegral =&gt; TypeKindUtils.isIntegral
NumberUtils.unboxPrimitive =&gt; TypeKindUtils.primitiveOrBoxedToTypeKind
TypeKindUtils.widenedNumericType =&gt; TypeKindUtils.widenedNumericType
TypesUtils.isFloating =&gt; TypesUtils.isFloatingPrimitive
TypesUtils.isIntegral =&gt; TypesUtils.isIntegralPrimitive</p>
<p>The CFStore copy constructor now takes only one argument.</p>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/352">#352</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/354">#354</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/553">#553</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/722">#722</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/762">#762</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2208">#2208</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2239">#2239</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3033">#3033</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3105">#3105</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3266">#3266</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3275">#3275</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3408">#3408</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3561">#3561</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3616">#3616</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3619">#3619</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3622">#3622</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3625">#3625</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3630">#3630</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3632">#3632</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3648">#3648</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3650">#3650</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3667">#3667</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3668">#3668</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3669">#3669</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3700">#3700</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3701">#3701</a>.</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/aa8758aa9c306ec09d41c33e1b32e979b43d2201"><code>aa8758a</code></a> new release 3.7.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/ce954be65ca8205869ca443d266b456826faceb6"><code>ce954be</code></a> Fix more links.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/b73b3b325d34744a4314c0a5c9c4151657d8f066"><code>b73b3b3</code></a> Update script.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/525e50e8102a98827ce70c5a170cc8e3220b5625"><code>525e50e</code></a> Fix broken links.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/e8b512dddeb79f797f4a019bb9c1b0ca7061d383"><code>e8b512d</code></a> Bump aws-java-sdk-bom from 1.11.872 to 1.11.873 (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3723">#3723</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/12c8ab457f75731dc7b2cd4f789df7a8b0742ba9"><code>12c8ab4</code></a> Prep for release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/aa18a8720498161bb3ab89a2e6a2c361b6960338"><code>aa18a87</code></a> Widening for floating-point types</li>
<li><a href="https://github.com/typetools/checker-framework/commit/5a87df70d0ccfeef58308c9a5f5cfd3836cd920b"><code>5a87df7</code></a> Javadoc changes</li>
<li><a href="https://github.com/typetools/checker-framework/commit/17dcfcf635ffc01d4a78eb2b44a307a60a371bc4"><code>17dcfcf</code></a> Flip stores when comparing to a constant</li>
<li><a href="https://github.com/typetools/checker-framework/commit/80cd773cfea62dc4c3633c84fdf4c1b91da6f9c8"><code>80cd773</code></a> Handle widening primitive conversions</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.6.1...checker-framework-3.7.0">compare view</a></li>
</ul>
</details>
<br />

[![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.checkerframework:checker-qual&package-manager=maven&previous-version=3.6.1&new-version=3.7.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/configuring-github-dependabot-security-updates)

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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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)

</details>

Fixes #764

COPYBARA_INTEGRATE_REVIEW=#764 from google:dependabot/maven/org.checkerframework-checker-qual-3.7.0 9569b78
PiperOrigin-RevId: 337700756
  • Loading branch information
dependabot[bot] authored and Google Java Core Libraries committed Oct 18, 2020
1 parent 88d83c7 commit 6bcacbf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version>3.6.1</version>
<version>3.7.0</version>
</dependency>
<dependency>
<groupId>junit</groupId>
Expand Down

0 comments on commit 6bcacbf

Please sign in to comment.