search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
41 stars 24 forks source link

Bump the gradle-deps group with 6 updates #3503

Closed dependabot[bot] closed 1 week ago

dependabot[bot] commented 1 month ago

Bumps the gradle-deps group with 6 updates:

Package From To
org.jspecify:jspecify 0.3.0 1.0.0
io.github.eisop:checker-qual 3.42.0-eisop3 3.42.0-eisop4
io.github.eisop:checker-util 3.42.0-eisop3 3.42.0-eisop4
io.github.eisop:checker 3.42.0-eisop3 3.42.0-eisop4
org.checkerframework 0.6.41 0.6.43
com.miglayout:miglayout-swing 11.3 11.4

Updates org.jspecify:jspecify from 0.3.0 to 1.0.0

Release notes

Sourced from org.jspecify:jspecify's releases.

1.0.0

JSpecify 1.0.0 is the first stable release of the only consensus-driven, tool-independent nullness annotations for Java code (with benefits for Kotlin interoperability). Future releases will add annotations for other kinds of static-analysis checks.

Check out our usage page for instructions on how to depend on JSpecify in your project and our guidelines on when to start doing so. Also check out our User Guide.

The 1.0.0 release contains four annotations:

Artifacts

Changes since version 0.3.0

No code changes, only Javadoc changes and OSGI metadata.

Commits
  • b2a10e1 Set version to 1.0.0.
  • 5bf4ae4 Run build workflow on any branch whose name starts with 'dev-'. Run the docs ...
  • 87a2864 add OSGi metadata and reproducible build (#428)
  • f0af7de Use Gradle toolchain to specify the jdk to use (#558)
  • 378925a Update to gradle 8.9 (#557)
  • 2e9ff60 Run docs action for docs-1.0 branch. (#556)
  • 48ffa9b Direct people to file an issue in the reference checker repo (#552)
  • bc70dc4 Exception parameters are intrinsically NonNull (#508)
  • dbb3673 docs: Update docusaurus to 3.4 (#549)
  • 9abe30d Run the build-documentation job (but not deployment) on pushes and pull reque...
  • Additional commits viewable in compare view


Updates io.github.eisop:checker-qual from 3.42.0-eisop3 to 3.42.0-eisop4

Release notes

Sourced from io.github.eisop:checker-qual's releases.

Checker Framework 3.42.0-eisop4

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Changelog

Sourced from io.github.eisop:checker-qual's changelog.

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Commits
  • 9cef095 new release 3.42.0-eisop4
  • 56e839d Adapt to javac signature change coming in Java 24 (#806)
  • 42b1dbd Prep for release
  • 9a6d25a Update dependency gradle to v8.9 (#805)
  • ce65897 Add note on handling line endings for Windows users (#781)
  • 4444c9f Add DetailedTestDiagnostic for easier test diagnostic handling (#758)
  • dcb31d3 Deprecate `GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, Annot...
  • c093a0d [nullness] Forward references and typo fixes (#804)
  • 4e1401e Update dependency org.projectlombok:lombok to v1.18.34 (#802)
  • aba0086 Update dependency org.junit.jupiter:junit-jupiter-api to v5.10.3 (#801)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker-util from 3.42.0-eisop3 to 3.42.0-eisop4

Release notes

Sourced from io.github.eisop:checker-util's releases.

Checker Framework 3.42.0-eisop4

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Changelog

Sourced from io.github.eisop:checker-util's changelog.

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Commits
  • 9cef095 new release 3.42.0-eisop4
  • 56e839d Adapt to javac signature change coming in Java 24 (#806)
  • 42b1dbd Prep for release
  • 9a6d25a Update dependency gradle to v8.9 (#805)
  • ce65897 Add note on handling line endings for Windows users (#781)
  • 4444c9f Add DetailedTestDiagnostic for easier test diagnostic handling (#758)
  • dcb31d3 Deprecate `GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, Annot...
  • c093a0d [nullness] Forward references and typo fixes (#804)
  • 4e1401e Update dependency org.projectlombok:lombok to v1.18.34 (#802)
  • aba0086 Update dependency org.junit.jupiter:junit-jupiter-api to v5.10.3 (#801)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker from 3.42.0-eisop3 to 3.42.0-eisop4

Release notes

Sourced from io.github.eisop:checker's releases.

Checker Framework 3.42.0-eisop4

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Changelog

Sourced from io.github.eisop:checker's changelog.

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Commits
  • 9cef095 new release 3.42.0-eisop4
  • 56e839d Adapt to javac signature change coming in Java 24 (#806)
  • 42b1dbd Prep for release
  • 9a6d25a Update dependency gradle to v8.9 (#805)
  • ce65897 Add note on handling line endings for Windows users (#781)
  • 4444c9f Add DetailedTestDiagnostic for easier test diagnostic handling (#758)
  • dcb31d3 Deprecate `GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, Annot...
  • c093a0d [nullness] Forward references and typo fixes (#804)
  • 4e1401e Update dependency org.projectlombok:lombok to v1.18.34 (#802)
  • aba0086 Update dependency org.junit.jupiter:junit-jupiter-api to v5.10.3 (#801)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker-util from 3.42.0-eisop3 to 3.42.0-eisop4

Release notes

Sourced from io.github.eisop:checker-util's releases.

Checker Framework 3.42.0-eisop4

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Changelog

Sourced from io.github.eisop:checker-util's changelog.

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Commits
  • 9cef095 new release 3.42.0-eisop4
  • 56e839d Adapt to javac signature change coming in Java 24 (#806)
  • 42b1dbd Prep for release
  • 9a6d25a Update dependency gradle to v8.9 (#805)
  • ce65897 Add note on handling line endings for Windows users (#781)
  • 4444c9f Add DetailedTestDiagnostic for easier test diagnostic handling (#758)
  • dcb31d3 Deprecate `GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, Annot...
  • c093a0d [nullness] Forward references and typo fixes (#804)
  • 4e1401e Update dependency org.projectlombok:lombok to v1.18.34 (#802)
  • aba0086 Update dependency org.junit.jupiter:junit-jupiter-api to v5.10.3 (#801)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker from 3.42.0-eisop3 to 3.42.0-eisop4

Release notes

Sourced from io.github.eisop:checker's releases.

Checker Framework 3.42.0-eisop4

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Changelog

Sourced from io.github.eisop:checker's changelog.

Version 3.42.0-eisop4 (July 12, 2024)

Implementation details:

New method GenericAnnotatedTypeFactory#addComputedTypeAnnotationsWithoutFlow(Tree, AnnotatedTypeMirror) that sets useFlow to false before calling addComputedTypeAnnotations. Subclasses should override method GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) instead. Deprecated the GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) overload.

Changed the return type of AnnotatedTypeFactory#getEnumConstructorQualifiers from Set<AnnotationMirror> to AnnotationMirrorSet.

Field AnnotatedTypeFactory#root is now private and can only be accessed through getRoot/setRoot.

framework-test:

  • Improvements to more consistently handle tests that do not use -Anomsgtext.
  • Added new class DetailedTestDiagnostic to directly represent test diagnostics when -Adetailedmsgtext is used.

Closed issues:

eisop#742, eisop#777, eisop#795, typetools#6704.

Commits
  • 9cef095 new release 3.42.0-eisop4
  • 56e839d Adapt to javac signature change coming in Java 24 (#806)
  • 42b1dbd Prep for release
  • 9a6d25a Update dependency gradle to v8.9 (#805)
  • ce65897 Add note on handling line endings for Windows users (#781)
  • 4444c9f Add DetailedTestDiagnostic for easier test diagnostic handling (#758)
  • dcb31d3 Deprecate `GenericAnnotatedTypeFactory#addComputedTypeAnnotations(Tree, Annot...
  • c093a0d [nullness] Forward references and typo fixes (#804)
  • 4e1401e Update dependency org.projectlombok:lombok to v1.18.34 (#802)
  • aba0086 Update dependency org.junit.jupiter:junit-jupiter-api to v5.10.3 (#801)
  • Additional commits viewable in compare view


Updates org.checkerframework from 0.6.41 to 0.6.43

Updates com.miglayout:miglayout-swing from 11.3 to 11.4

Release notes

Sourced from com.miglayout:miglayout-swing's releases.

Release v11.4

Changelog

f106ef8 Merge pull request #105 from ptziegler/remove-ideutil-references

Remove remaining references to ideutil module 8ab6146 Remove remaining references to ideutil module

Amends 885ebff4deff128986550b0d093ecb443eabbcfe ff57957 V11.3 - dropped ideutil module

Commits
  • f106ef8 Merge pull request #105 from ptziegler/remove-ideutil-references
  • 8ab6146 Remove remaining references to ideutil module
  • ff57957 V11.3 - dropped ideutil module
  • See full diff 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 ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself) - `@dependabot ignore minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself) - `@dependabot ignore ` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself) - `@dependabot unignore ` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions
wadoon commented 1 month ago

The update of eisop to version 4 results in NP-type issues in the previous type-safe code. @wmdietl @flo2702 

/home/runner/work/key/key/key.util/src/main/java/org/key_project/util/collection/ImmutableMap.java:13: error: [type.argument.type.incompatible] incompatible type argument for type parameter S of ImmutableMapEntry.
        extends Iterable<ImmutableMapEntry<S, T>> {
                                           ^
  found   : S[ extends @UnknownKeyFor Object super @KeyForBottom Void]
  required: [extends @UnknownKeyFor Object super @UnknownKeyFor NullType]
/home/runner/work/key/key/key.util/src/main/java/org/key_project/util/collection/ImmutableMap.java:13: error: [type.argument.type.incompatible] incompatible type argument for type parameter T of ImmutableMapEntry.
        extends Iterable<ImmutableMapEntry<S, T>> {
                                              ^
  found   : T[ extends @UnknownKeyFor Object super @KeyForBottom Void]
  required: [extends @UnknownKeyFor Object super @UnknownKeyFor NullType]
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
2 errors
wadoon commented 1 month ago

This error also occurs on other branches with the old version too. We might have a heisenbug in the checker framework.