Update javaparser #2
Labels
Comments
Original comment by
|
wmdietl
referenced
this issue
in pascaliUWat/checker-framework
Jul 19, 2016
Fix Nullpointer Exception in DOTCFGVisualizer#visualizeBlockNode() when analysis is null
Merged
the1derer
referenced
this issue
in the1derer/checker-framework
Jun 15, 2019
Fixes to keep working on Java 8.
smillst
pushed a commit
that referenced
this issue
Jun 26, 2019
Adds refinements so that @SamElen annotations on formal that refer to other parameters are symmetric. For example, the declaration: void foo(int @SamElen("#2")[] a, int[] b) is refined to void foo(int @SamElen("#2")[] a, int @SamElen("#1")[] b) Fixes #2434. (@Maxi17 contributed significantly to this commit.)
copybara-service bot
pushed a commit
to google/truth
that referenced
this issue
Aug 3, 2021
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.16.0 to 3.17.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.17.0</h2> <h2>Version 3.17.0 (August 2, 2021)</h2> <p><strong>User-visible changes:</strong></p> <p><code>-Ainfer</code> can now infer postcondition annotations that reference formal parameters (e.g. <code>"[#1](https://github.com/typetools/checker-framework/issues/1)"</code>, <code>"[#2](https://github.com/typetools/checker-framework/issues/2)"</code>) and the receiver (<code>"this"</code>).</p> <p><strong>Implementation details:</strong></p> <p>Method renamings and signature changes (old methods are removed) in <code>GenericAnnotatedTypeFactory</code>:</p> <ul> <li><code>getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)</code> => <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li> <li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)</code> => <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)</code></li> <li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code> => <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> <li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> => <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> </ul> <p>Method renamings and signature changes (old method is removed) in <code>WholeProgramInferenceStorage</code>:</p> <ul> <li><code>getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)</code> => <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li> </ul> <p>Method renamings:</p> <ul> <li><code>CFAbstractAnalysis.getFieldValues</code> => <code>getFieldInitialValues</code></li> </ul> <p>The following methods no longer take a <code>fieldValues</code> parameter:</p> <ul> <li><code>GenericAnnotatedTypeFactory#createFlowAnalysis</code></li> <li><code>CFAnalysis</code> constructor</li> <li><code>CFAbstractAnalysis#performAnalysis</code></li> <li><code>CFAbstractAnalysis</code> constructors</li> </ul> <p><strong>Closed issues:</strong> <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4685">#4685</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4689">#4689</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4785">#4785</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4805">#4805</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4806">#4806</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4815">#4815</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4829">#4829</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4849">#4849</a>.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md">checker-qual's changelog</a>.</em></p> <blockquote> <h2>Version 3.17.0 (August 2, 2021)</h2> <p><strong>User-visible changes:</strong></p> <p><code>-Ainfer</code> can now infer postcondition annotations that reference formal parameters (e.g. <code>"[#1](https://github.com/typetools/checker-framework/issues/1)"</code>, <code>"[#2](https://github.com/typetools/checker-framework/issues/2)"</code>) and the receiver (<code>"this"</code>).</p> <p><strong>Implementation details:</strong></p> <p>Method renamings and signature changes (old methods are removed) in <code>GenericAnnotatedTypeFactory</code>:</p> <ul> <li><code>getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)</code> => <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li> <li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)</code> => <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)</code></li> <li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code> => <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> <li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> => <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> </ul> <p>Method renamings and signature changes (old method is removed) in <code>WholeProgramInferenceStorage</code>:</p> <ul> <li><code>getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)</code> => <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li> </ul> <p>Method renamings:</p> <ul> <li><code>CFAbstractAnalysis.getFieldValues</code> => <code>getFieldInitialValues</code></li> </ul> <p>The following methods no longer take a <code>fieldValues</code> parameter:</p> <ul> <li><code>GenericAnnotatedTypeFactory#createFlowAnalysis</code></li> <li><code>CFAnalysis</code> construtor</li> <li><code>CFAbstractAnalysis#performAnalysis</code></li> <li><code>CFAbstractAnalysis</code> constructors</li> </ul> <p><strong>Closed issues:</strong> <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4685">#4685</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4689">#4689</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4785">#4785</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4805">#4805</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4806">#4806</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4815">#4815</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4829">#4829</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4849">#4849</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/9d0f498a3d4360b24e5e2d28a7174b5f6f06b00b"><code>9d0f498</code></a> new release 3.17.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/2e17d539d93d36742d01e26f95d13631b74b8998"><code>2e17d53</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/11ad15d91bb52fc804e57a58dedef06c5b0e9ffc"><code>11ad15d</code></a> Initializes all fields of newly created ATM before substituting type vars</li> <li><a href="https://github.com/typetools/checker-framework/commit/ecc03e68e4ef6dd2126fdb96d02740d10f596ca2"><code>ecc03e6</code></a> Add a task to print a list of java files</li> <li><a href="https://github.com/typetools/checker-framework/commit/313e5c890386a99bac2c62b5f6f6f6f410500ade"><code>313e5c8</code></a> Documentation tweaks</li> <li><a href="https://github.com/typetools/checker-framework/commit/127b2af97bb6a012e65742233f421df48f4a6e89"><code>127b2af</code></a> Handle enum fields specially in <code>getFieldAnnotations()</code></li> <li><a href="https://github.com/typetools/checker-framework/commit/594fe9ca71ebbae864df27052eeab47f00a9b03d"><code>594fe9c</code></a> Make the return type of <code>getFakeOverride()</code> more specific</li> <li><a href="https://github.com/typetools/checker-framework/commit/0f9b90a337dad4b2cda7f80473ad37ac0558ecaa"><code>0f9b90a</code></a> Remove unneeded formal parameter</li> <li><a href="https://github.com/typetools/checker-framework/commit/9fe9c722d5cc97f5694e0ef240ff7a950331fdde"><code>9fe9c72</code></a> Rename <code>getTypeFactory()</code> to <code>createTypeFactoryForProcessor</code></li> <li><a href="https://github.com/typetools/checker-framework/commit/77a7c932e83038e2b075d14dbc2b133938387bfa"><code>77a7c93</code></a> Validate return types correctly. (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4844">#4844</a>)</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.16.0...checker-framework-3.17.0">compare view</a></li> </ul> </details> <br /> [](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 #899 COPYBARA_INTEGRATE_REVIEW=#899 from google:dependabot/maven/org.checkerframework-checker-qual-3.17.0 1aae0e3 PiperOrigin-RevId: 388447831
copybara-service bot
pushed a commit
to google/compile-testing
that referenced
this issue
Aug 3, 2021
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.16.0 to 3.17.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.17.0</h2> <h2>Version 3.17.0 (August 2, 2021)</h2> <p><strong>User-visible changes:</strong></p> <p><code>-Ainfer</code> can now infer postcondition annotations that reference formal parameters (e.g. <code>"[#1](https://github.com/typetools/checker-framework/issues/1)"</code>, <code>"[#2](https://github.com/typetools/checker-framework/issues/2)"</code>) and the receiver (<code>"this"</code>).</p> <p><strong>Implementation details:</strong></p> <p>Method renamings and signature changes (old methods are removed) in <code>GenericAnnotatedTypeFactory</code>:</p> <ul> <li><code>getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)</code> => <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li> <li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)</code> => <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)</code></li> <li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code> => <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> <li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> => <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> </ul> <p>Method renamings and signature changes (old method is removed) in <code>WholeProgramInferenceStorage</code>:</p> <ul> <li><code>getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)</code> => <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li> </ul> <p>Method renamings:</p> <ul> <li><code>CFAbstractAnalysis.getFieldValues</code> => <code>getFieldInitialValues</code></li> </ul> <p>The following methods no longer take a <code>fieldValues</code> parameter:</p> <ul> <li><code>GenericAnnotatedTypeFactory#createFlowAnalysis</code></li> <li><code>CFAnalysis</code> constructor</li> <li><code>CFAbstractAnalysis#performAnalysis</code></li> <li><code>CFAbstractAnalysis</code> constructors</li> </ul> <p><strong>Closed issues:</strong> <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4685">#4685</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4689">#4689</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4785">#4785</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4805">#4805</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4806">#4806</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4815">#4815</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4829">#4829</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4849">#4849</a>.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md">checker-qual's changelog</a>.</em></p> <blockquote> <h2>Version 3.17.0 (August 2, 2021)</h2> <p><strong>User-visible changes:</strong></p> <p><code>-Ainfer</code> can now infer postcondition annotations that reference formal parameters (e.g. <code>"[#1](https://github.com/typetools/checker-framework/issues/1)"</code>, <code>"[#2](https://github.com/typetools/checker-framework/issues/2)"</code>) and the receiver (<code>"this"</code>).</p> <p><strong>Implementation details:</strong></p> <p>Method renamings and signature changes (old methods are removed) in <code>GenericAnnotatedTypeFactory</code>:</p> <ul> <li><code>getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)</code> => <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li> <li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)</code> => <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)</code></li> <li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code> => <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> <li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> => <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li> </ul> <p>Method renamings and signature changes (old method is removed) in <code>WholeProgramInferenceStorage</code>:</p> <ul> <li><code>getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)</code> => <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li> </ul> <p>Method renamings:</p> <ul> <li><code>CFAbstractAnalysis.getFieldValues</code> => <code>getFieldInitialValues</code></li> </ul> <p>The following methods no longer take a <code>fieldValues</code> parameter:</p> <ul> <li><code>GenericAnnotatedTypeFactory#createFlowAnalysis</code></li> <li><code>CFAnalysis</code> construtor</li> <li><code>CFAbstractAnalysis#performAnalysis</code></li> <li><code>CFAbstractAnalysis</code> constructors</li> </ul> <p><strong>Closed issues:</strong> <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4685">#4685</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4689">#4689</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4785">#4785</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4805">#4805</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4806">#4806</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4815">#4815</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4829">#4829</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4849">#4849</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/9d0f498a3d4360b24e5e2d28a7174b5f6f06b00b"><code>9d0f498</code></a> new release 3.17.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/2e17d539d93d36742d01e26f95d13631b74b8998"><code>2e17d53</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/11ad15d91bb52fc804e57a58dedef06c5b0e9ffc"><code>11ad15d</code></a> Initializes all fields of newly created ATM before substituting type vars</li> <li><a href="https://github.com/typetools/checker-framework/commit/ecc03e68e4ef6dd2126fdb96d02740d10f596ca2"><code>ecc03e6</code></a> Add a task to print a list of java files</li> <li><a href="https://github.com/typetools/checker-framework/commit/313e5c890386a99bac2c62b5f6f6f6f410500ade"><code>313e5c8</code></a> Documentation tweaks</li> <li><a href="https://github.com/typetools/checker-framework/commit/127b2af97bb6a012e65742233f421df48f4a6e89"><code>127b2af</code></a> Handle enum fields specially in <code>getFieldAnnotations()</code></li> <li><a href="https://github.com/typetools/checker-framework/commit/594fe9ca71ebbae864df27052eeab47f00a9b03d"><code>594fe9c</code></a> Make the return type of <code>getFakeOverride()</code> more specific</li> <li><a href="https://github.com/typetools/checker-framework/commit/0f9b90a337dad4b2cda7f80473ad37ac0558ecaa"><code>0f9b90a</code></a> Remove unneeded formal parameter</li> <li><a href="https://github.com/typetools/checker-framework/commit/9fe9c722d5cc97f5694e0ef240ff7a950331fdde"><code>9fe9c72</code></a> Rename <code>getTypeFactory()</code> to <code>createTypeFactoryForProcessor</code></li> <li><a href="https://github.com/typetools/checker-framework/commit/77a7c932e83038e2b075d14dbc2b133938387bfa"><code>77a7c93</code></a> Validate return types correctly. (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4844">#4844</a>)</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.16.0...checker-framework-3.17.0">compare view</a></li> </ul> </details> <br /> [](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 #266 COPYBARA_INTEGRATE_REVIEW=#266 from google:dependabot/maven/org.checkerframework-checker-qual-3.17.0 50e68dd PiperOrigin-RevId: 388498050
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original issue reported on code.google.com by
msaeed43on 13 Aug 2009 at 3:59The text was updated successfully, but these errors were encountered: