diff options
author | dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> | 2021-04-02 06:36:16 -0700 |
---|---|---|
committer | Google Java Core Libraries <java-libraries-firehose+copybara@google.com> | 2021-04-02 06:36:41 -0700 |
commit | f75559e5b36baa9a502b8cb63195190439bbde5b (patch) | |
tree | c4274e79cb4319ae44dd766fcdf28fb06d5241ce | |
parent | 1bb038d908f9e00007f3118da876f7524daf9cda (diff) | |
download | truth-f75559e5b36baa9a502b8cb63195190439bbde5b.tar.gz |
Bump checker-qual from 3.11.0 to 3.12.0
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.11.0 to 3.12.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.12.0</h2>
<p>Version 3.12.0, April 1, 2021</p>
<p><strong>User-visible changes:</strong></p>
<p>New FAQ item "How should I annotate code that uses generics?" gives examples of annotations on type variables, together with their meaning.</p>
<p><code>-Ainfer=ajava</code> uses ajava files (rather than jaif files or stub files) internally during whole-program inference.</p>
<p>The Optional Checker supports a new annotation <code>@OptionalBottom</code> that stands for (only) the <code>null</code> value.</p>
<p>The <code>value</code> element/argument to <code>@EnumVal</code> is now required. Previously it defaulted to an empty array.</p>
<p><strong>Implementation details:</strong></p>
<p>A precondition or normal postcondition annotation's <code>value</code> element must have type <code>String[]</code>, not <code>String</code>. A conditinoal postcondition annotation's <code>expression</code> element must have type <code>String[]</code>, not <code>String</code>. These changes will not affect users (any programmer-written annotation that was legal before will still be legal), but it may affect checker implementations.</p>
<p><code>JavaExpressionParseUtil</code>:
<code>JavaExpressionParseUtil#parse</code> no longer viewpoint-adapts Java expressions. It just converts the expression <code>String</code> to a <code>JavaExpression</code>. To that end, <code>JavaExpressionParseUtil.JavaExpressionContext</code> has been removed and <code>JavaExpressionParseUtil#parse</code> no longer takes a context object. Most calls to <code>JavaExpressionParseUtil#parse</code> should be replaced with a call to one of the methods in <code>StringToJavaExpressions</code>.</p>
<p>Renamed <code>AnnotatedTypeComparer</code> to <code>DoubleAnnotatedTypeScanner</code>. In the new class, the method <code>compare</code> was renamed <code>defaultAction</code>. The method <code>combineRs</code> was replaced by <code>reduce</code>.</p>
<p>Removed methods:</p>
<ul>
<li><code>AnnotationUtils.getElementValueArrayOrSingleton</code></li>
<li><code>DependentTypesHelper.standardizeNewClassTree</code>: use <code>atExpression</code> instead</li>
<li><code>DependentTypesHelper.standardizeString</code>: override one of the methods explained in the Javadoc of <code>convertAnnotationMirror</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>DefaultQualifierForUseTypeAnnotator.getSupportAnnosFromDefaultQualifierForUses</code> => <code>getDefaultQualifierForUses</code></li>
<li>In <code>DependentTypesHelper</code>:
<ul>
<li><code>check*</code> => <code>check*ForErrorExpressions</code></li>
<li><code>viewpointAdaptConstructor</code> => <code>atConstructorInvocation</code></li>
<li><code>viewpointAdaptMethod</code> => <code>atMethodInvocation</code></li>
<li><code>viewpointAdaptTypeVariableBounds</code> => <code>atParameterizedTypeUse</code></li>
<li><code>standardizeClass</code> => <code>atTypeDecl</code></li>
<li><code>standardizeExpression</code> => <code>atExpression</code></li>
<li><code>standardizeFieldAccess</code> => <code>atFieldAccess</code></li>
<li><code>standardizeReturnType</code> => <code>atReturnType</code></li>
<li><code>standardizeVariable</code> => <code>atVariableDeclaration</code></li>
</ul>
</li>
</ul>
<p>Deprecated some overloads in <code>AnnotationUtils</code> that take a <code>CharSequence</code>
(use an overload that takes an <code>ExecutablElement</code>):</p>
<ul>
<li><code>getElementValueArray</code></li>
<li><code>getElementValueClassName</code></li>
<li><code>getElementValueClassNames</code></li>
<li><code>getElementValueEnumArray</code></li>
<li><code>getElementValueEnum</code></li>
<li><code>getElementValue</code></li>
<li><code>getElementValuesWithDefaults</code></li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</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.12.1, May 3, 2021</p>
<hr />
<p>Version 3.12.0, April 1, 2021</p>
<p><strong>User-visible changes:</strong></p>
<p>New FAQ item "How should I annotate code that uses generics?" gives
examples of annotations on type variables, together with their meaning.</p>
<p><code>-Ainfer=ajava</code> uses ajava files (rather than jaif files or stub files)
internally during whole-program inference.</p>
<p>The Optional Checker supports a new annotation <code>@OptionalBottom</code> that
stands for (only) the <code>null</code> value.</p>
<p>The <code>value</code> element/argument to <code>@EnumVal</code> is now required. Previously it
defaulted to an empty array.</p>
<p><strong>Implementation details:</strong></p>
<p>A precondition or normal postcondition annotation's <code>value</code> element must have
type <code>String[]</code>, not <code>String</code>. A conditinoal postcondition annotation's
<code>expression</code> element must have type <code>String[]</code>, not <code>String</code>. These changes
will not affect users (any programmer-written annotation that was legal before
will still be legal), but it may affect checker implementations.</p>
<p><code>JavaExpressionParseUtil</code>:
<code>JavaExpressionParseUtil#parse</code> no longer viewpoint-adapts Java expressions. It
just converts the expression <code>String</code> to a <code>JavaExpression</code>. To that end,
<code>JavaExpressionParseUtil.JavaExpressionContext</code> has been removed and
<code>JavaExpressionParseUtil#parse</code> no longer takes a context object. Most calls to
<code>JavaExpressionParseUtil#parse</code> should be replaced with a call to one of the
methods in <code>StringToJavaExpressions</code>.</p>
<p>Renamed <code>AnnotatedTypeComparer</code> to <code>DoubleAnnotatedTypeScanner</code>. In the new
class, the method <code>compare</code> was renamed <code>defaultAction</code>. The method <code>combineRs</code>
was replaced by <code>reduce</code>.</p>
<p>Removed methods:</p>
<ul>
<li><code>AnnotationUtils.getElementValueArrayOrSingleton</code></li>
<li><code>DependentTypesHelper.standardizeNewClassTree</code>: use <code>atExpression</code> instead</li>
<li><code>DependentTypesHelper.standardizeString</code>: override one of the methods
explained in the Javadoc of <code>convertAnnotationMirror</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>DefaultQualifierForUseTypeAnnotator.getSupportAnnosFromDefaultQualifierForUses</code> => <code>getDefaultQualifierForUses</code></li>
<li>In <code>DependentTypesHelper</code>:
<ul>
<li><code>check*</code> => <code>check*ForErrorExpressions</code></li>
</ul>
</li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/1b56916ff9fb9f1caf75d6486f8f9f5cb491131d"><code>1b56916</code></a> new release 3.12.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/7617816cdfebeb9039de4d6fd69c5264cccd0e5a"><code>7617816</code></a> Warn if polymorphic annotations are used on a class declaration.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/a6c9c954a3da934df121f4024440db5d72a9e754"><code>a6c9c95</code></a> Prep for release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/764713248ea994e55cfa45f723dcda6a22881eeb"><code>7647132</code></a> Reflow comments</li>
<li><a href="https://github.com/typetools/checker-framework/commit/abdbea389d4a701b3590ea159b8740854660bce4"><code>abdbea3</code></a> Use JavaParserUtil instead of StaticJavaParser (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4499">#4499</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/b79ec907b80b4ae6d217d2805260772f755ffbad"><code>b79ec90</code></a> Reflow comments</li>
<li><a href="https://github.com/typetools/checker-framework/commit/2a22089e74e7887462d239e47c8ebd0bd845a220"><code>2a22089</code></a> Put date in temporary file names</li>
<li><a href="https://github.com/typetools/checker-framework/commit/692c52bb1d8246d3b2b01bd5f97d99a3a5ee9b37"><code>692c52b</code></a> Check shell script style in CI</li>
<li><a href="https://github.com/typetools/checker-framework/commit/ab27866ca8edba0a2fb6a3c28e07e76c152148b5"><code>ab27866</code></a> Deprecate <code>getElementValue*</code> that takes a <code>CharSequence</code> (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4493">#4493</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/1184a806b35cbaa28e247e4589c9ebf7e3126e0f"><code>1184a80</code></a> Revert "Warning if polymorphic annotations are used on a class declaration."</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.11.0...checker-framework-3.12.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.11.0&new-version=3.12.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)
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 #844
COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/844 from google:dependabot/maven/org.checkerframework-checker-qual-3.12.0 65f73e0723335f83d4f36aa30d6090a2edba09a9
PiperOrigin-RevId: 366437638
-rw-r--r-- | pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -79,7 +79,7 @@ <dependency> <groupId>org.checkerframework</groupId> <artifactId>checker-qual</artifactId> - <version>3.11.0</version> + <version>3.12.0</version> </dependency> <dependency> <groupId>junit</groupId> |