Bump walaVersion from 1.7.2 to 1.8.0

[dependabot]

Bumps walaVersion from 1.7.2 to 1.8.0.
Updates com.ibm.wala:com.ibm.wala.shrike from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.shrike's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.shrike's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

• 3ceaa93 Prepare for release 1.8.0.
• d76b6fe Bump codecov/codecov-action to v7 (#1983)
• 9173283 Update release notes file for 1.8.0 (#1982)
• 878a5aa Keep summary parameter names that begin with "arg" (#1972)
• 37fdec1 Suppress a warning about Collection equality (#1978)
• 301178b Avoid java.util.Date (#1977)
• 04d12eb Remove unused Properties instance (#1976)
• 0c16368 Be explicit about a do-nothing switch case (#1975)
• 1513547 Allow inconsistent parameter names in an override (#1973)
• 94f9035 Allow a type parameter that is unused in formals (#1974)
• Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.util from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.util's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.util's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

• 3ceaa93 Prepare for release 1.8.0.
• d76b6fe Bump codecov/codecov-action to v7 (#1983)
• 9173283 Update release notes file for 1.8.0 (#1982)
• 878a5aa Keep summary parameter names that begin with "arg" (#1972)
• 37fdec1 Suppress a warning about Collection equality (#1978)
• 301178b Avoid java.util.Date (#1977)
• 04d12eb Remove unused Properties instance (#1976)
• 0c16368 Be explicit about a do-nothing switch case (#1975)
• 1513547 Allow inconsistent parameter names in an override (#1973)
• 94f9035 Allow a type parameter that is unused in formals (#1974)
• Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.core from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.core's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.core's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

• 3ceaa93 Prepare for release 1.8.0.
• d76b6fe Bump codecov/codecov-action to v7 (#1983)
• 9173283 Update release notes file for 1.8.0 (#1982)
• 878a5aa Keep summary parameter names that begin with "arg" (#1972)
• 37fdec1 Suppress a warning about Collection equality (#1978)
• 301178b Avoid java.util.Date (#1977)
• 04d12eb Remove unused Properties instance (#1976)
• 0c16368 Be explicit about a do-nothing switch case (#1975)
• 1513547 Allow inconsistent parameter names in an override (#1973)
• 94f9035 Allow a type parameter that is unused in formals (#1974)
• Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.cast from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.cast's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.cast's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

• 3ceaa93 Prepare for release 1.8.0.
• d76b6fe Bump codecov/codecov-action to v7 (#1983)
• 9173283 Update release notes file for 1.8.0 (#1982)
• 878a5aa Keep summary parameter names that begin with "arg" (#1972)
• 37fdec1 Suppress a warning about Collection equality (#1978)
• 301178b Avoid java.util.Date (#1977)
• 04d12eb Remove unused Properties instance (#1976)
• 0c16368 Be explicit about a do-nothing switch case (#1975)
• 1513547 Allow inconsistent parameter names in an override (#1973)
• 94f9035 Allow a type parameter that is unused in formals (#1974)
• Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.cast.js from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.cast.js's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.cast.js's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

• 3ceaa93 Prepare for release 1.8.0.
• d76b6fe Bump codecov/codecov-action to v7 (#1983)
• 9173283 Update release notes file for 1.8.0 (#1982)
• 878a5aa Keep summary parameter names that begin with "arg" (#1972)
• 37fdec1 Suppress a warning about Collection equality (#1978)
• 301178b Avoid java.util.Date (#1977)
• 04d12eb Remove unused Properties instance (#1976)
• 0c16368 Be explicit about a do-nothing switch case (#1975)
• 1513547 Allow inconsistent parameter names in an override (#1973)
• 94f9035 Allow a type parameter that is unused in formals (#1974)
• Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.cast.js.rhino from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.cast.js.rhino's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.cast.js.rhino's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

• 3ceaa93 Prepare for release 1.8.0.
• d76b6fe Bump codecov/codecov-action to v7 (#1983)
• 9173283 Update release notes file for 1.8.0 (#1982)
• 878a5aa Keep summary parameter names that begin with "arg" (#1972)
• 37fdec1 Suppress a warning about Collection equality (#1978)
• 301178b Avoid java.util.Date (#1977)
• 04d12eb Remove unused Properties instance (#1976)
• 0c16368 Be explicit about a do-nothing switch case (#1975)
• 1513547 Allow inconsistent parameter names in an override (#1973)
• 94f9035 Allow a type parameter that is unused in formals (#1974)
• Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.cast.java from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.cast.java's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

• Require Java 17+ across all of WALA by @​liblit in #1904
• perf(dominators): empty bucket while iterating in step 2 by @​toxamin in #1897
• Gate PropagationSystem's implicit-key debug dump under DEBUG by @​khatchad in #1934
• Deprecate the unused options parameter on Language.getFakeRootMethod by @​khatchad in #1933
• Convert many classes to Java 16+ records by @​liblit in #1932
• Deprecate Iterator2List and Iterator2Set by @​liblit in #1950
• Register summary-modeled class shells before CHA build (#1957) by @​khatchad in #1958
• Expose a summary class shell's own methods by @​khatchad in #1962
• Fix Language/JavaLanguage initialization deadlock by @​liblit in #1966
• Keep summary parameter names that begin with "arg" by @​khatchad in