Skip to content

Feature/key#139

Open
wadoon wants to merge 186 commits intomasterfrom
feature/key
Open

Feature/key#139
wadoon wants to merge 186 commits intomasterfrom
feature/key

Conversation

@wadoon
Copy link
Copy Markdown
Collaborator

@wadoon wadoon commented Feb 3, 2026

No description provided.

wadoon and others added 30 commits January 28, 2024 18:53
adding lightweight support for KeY files.
Bumps the gh-actions group with 3 updates: [actions/checkout](https://github.com/actions/checkout), [actions/setup-java](https://github.com/actions/setup-java) and [gradle/gradle-build-action](https://github.com/gradle/gradle-build-action).


Updates `actions/checkout` from 3 to 4
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](actions/checkout@v3...v4)

Updates `actions/setup-java` from 3 to 4
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v3...v4)

Updates `gradle/gradle-build-action` from 2.6.0 to 3.3.2
- [Release notes](https://github.com/gradle/gradle-build-action/releases)
- [Commits](gradle/gradle-build-action@bd57605...4c39dd8)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gh-actions
- dependency-name: actions/setup-java
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gh-actions
- dependency-name: gradle/gradle-build-action
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gh-actions
...

Signed-off-by: dependabot[bot] <support@github.com>
…tions-1bb7de0770

Bump the gh-actions group with 3 updates
Bumps the gh-actions group with 1 update: [gradle/gradle-build-action](https://github.com/gradle/gradle-build-action).


Updates `gradle/gradle-build-action` from 3.3.2 to 3.4.1
- [Release notes](https://github.com/gradle/gradle-build-action/releases)
- [Commits](gradle/gradle-build-action@4c39dd8...04b20c0)

---
updated-dependencies:
- dependency-name: gradle/gradle-build-action
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gh-actions
...

Signed-off-by: dependabot[bot] <support@github.com>
…tions-3b82523f8b

Bump gradle/gradle-build-action from 3.3.2 to 3.4.1 in the gh-actions group
Bumps the gh-actions group with 1 update: [gradle/gradle-build-action](https://github.com/gradle/gradle-build-action).


Updates `gradle/gradle-build-action` from 3.4.1 to 3.4.2
- [Release notes](https://github.com/gradle/gradle-build-action/releases)
- [Commits](gradle/gradle-build-action@04b20c0...66535aa)

---
updated-dependencies:
- dependency-name: gradle/gradle-build-action
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gh-actions
...

Signed-off-by: dependabot[bot] <support@github.com>
…tions-20315eca73

Bump gradle/gradle-build-action from 3.4.1 to 3.4.2 in the gh-actions group
Bumps the gh-actions group with 1 update: [gradle/gradle-build-action](https://github.com/gradle/gradle-build-action).


Updates `gradle/gradle-build-action` from 3.4.2 to 3.5.0
- [Release notes](https://github.com/gradle/gradle-build-action/releases)
- [Commits](gradle/gradle-build-action@66535aa...ac2d340)

---
updated-dependencies:
- dependency-name: gradle/gradle-build-action
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gh-actions
...

Signed-off-by: dependabot[bot] <support@github.com>
…tions-12f51d7fb3

Bump gradle/gradle-build-action from 3.4.2 to 3.5.0 in the gh-actions group
Bumps the gradle-deps group with 23 updates:

| Package | From | To |
| --- | --- | --- |
| org.gradle.toolchains.foojay-resolver-convention | `0.5.0` | `0.9.0` |
| [com.google.googlejavaformat:google-java-format](https://github.com/google/google-java-format) | `1.22.0` | `1.25.2` |
| [se.bjurr.violations:violations-lib](https://github.com/tomasbjerre/violations-lib) | `1.156.7` | `1.157.3` |
| [org.jetbrains.kotlinx:kotlinx-serialization-core](https://github.com/Kotlin/kotlinx.serialization) | `1.6.2` | `1.8.0` |
| [org.jetbrains.kotlinx:kotlinx-serialization-json](https://github.com/Kotlin/kotlinx.serialization) | `1.6.2` | `1.8.0` |
| [org.tinylog:tinylog-api-kotlin](https://github.com/tinylog-org/tinylog) | `2.5.0` | `2.7.0` |
| [org.tinylog:tinylog-api](https://github.com/tinylog-org/tinylog) | `2.5.0-M2.1` | `2.8.0-M1` |
| [org.tinylog:tinylog-impl](https://github.com/tinylog-org/tinylog) | `2.5.0` | `2.7.0` |
| [com.google.guava:guava](https://github.com/google/guava) | `32.1.2-jre` | `33.4.0-jre` |
| [com.google.code.gson:gson](https://github.com/google/gson) | `2.9.1` | `2.11.0` |
| [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) | `1.4.12` | `1.5.16` |
| [org.projectlombok:lombok](https://github.com/projectlombok/lombok) | `1.18.30` | `1.18.36` |
| [com.google.truth:truth](https://github.com/google/truth) | `1.3.0` | `1.4.4` |
| [org.yaml:snakeyaml](https://bitbucket.org/snakeyaml/snakeyaml) | `2.2` | `2.3` |
| [org.hamcrest:hamcrest-library](https://github.com/hamcrest/JavaHamcrest) | `2.2` | `3.0` |
| [org.assertj:assertj-core](https://github.com/assertj/assertj) | `3.20.2` | `3.27.3` |
| [com.squareup.okhttp3:okhttp](https://github.com/square/okhttp) | `4.9.1` | `4.12.0` |
| [org.jetbrains.kotlin:kotlin-gradle-plugin](https://github.com/JetBrains/kotlin) | `2.0.10` | `2.1.0` |
| [org.jetbrains.kotlin.jvm](https://github.com/JetBrains/kotlin) | `2.0.10` | `2.1.0` |
| [io.ktor:ktor-server-core](https://github.com/ktorio/ktor) | `2.3.11` | `3.0.3` |
| [io.ktor:ktor-server-netty](https://github.com/ktorio/ktor) | `2.3.11` | `3.0.3` |
| [io.ktor:ktor-server-status-pages](https://github.com/ktorio/ktor) | `2.3.11` | `3.0.3` |
| [io.ktor:ktor-server-html-builder](https://github.com/ktorio/ktor) | `2.3.11` | `3.0.3` |


Updates `org.gradle.toolchains.foojay-resolver-convention` from 0.5.0 to 0.9.0

Updates `com.google.googlejavaformat:google-java-format` from 1.22.0 to 1.25.2
- [Release notes](https://github.com/google/google-java-format/releases)
- [Commits](google/google-java-format@v1.22.0...v1.25.2)

Updates `se.bjurr.violations:violations-lib` from 1.156.7 to 1.157.3
- [Changelog](https://github.com/tomasbjerre/violations-lib/blob/master/CHANGELOG.md)
- [Commits](tomasbjerre/violations-lib@1.156.7...1.157.3)

Updates `org.jetbrains.kotlinx:kotlinx-serialization-core` from 1.6.2 to 1.8.0
- [Release notes](https://github.com/Kotlin/kotlinx.serialization/releases)
- [Changelog](https://github.com/Kotlin/kotlinx.serialization/blob/master/CHANGELOG.md)
- [Commits](Kotlin/kotlinx.serialization@v1.6.2...v1.8.0)

Updates `org.jetbrains.kotlinx:kotlinx-serialization-json` from 1.6.2 to 1.8.0
- [Release notes](https://github.com/Kotlin/kotlinx.serialization/releases)
- [Changelog](https://github.com/Kotlin/kotlinx.serialization/blob/master/CHANGELOG.md)
- [Commits](Kotlin/kotlinx.serialization@v1.6.2...v1.8.0)

Updates `org.tinylog:tinylog-api-kotlin` from 2.5.0 to 2.7.0
- [Release notes](https://github.com/tinylog-org/tinylog/releases)
- [Changelog](https://github.com/tinylog-org/tinylog/blob/v2.8/release.md)
- [Commits](tinylog-org/tinylog@2.5.0...2.7.0)

Updates `org.tinylog:tinylog-api` from 2.5.0-M2.1 to 2.8.0-M1
- [Release notes](https://github.com/tinylog-org/tinylog/releases)
- [Changelog](https://github.com/tinylog-org/tinylog/blob/v2.8/release.md)
- [Commits](tinylog-org/tinylog@2.5.0-M2.1...2.8.0-M1)

Updates `org.tinylog:tinylog-impl` from 2.5.0 to 2.7.0
- [Release notes](https://github.com/tinylog-org/tinylog/releases)
- [Changelog](https://github.com/tinylog-org/tinylog/blob/v2.8/release.md)
- [Commits](tinylog-org/tinylog@2.5.0...2.7.0)

Updates `com.google.guava:guava` from 32.1.2-jre to 33.4.0-jre
- [Release notes](https://github.com/google/guava/releases)
- [Commits](https://github.com/google/guava/commits)

Updates `com.google.code.gson:gson` from 2.9.1 to 2.11.0
- [Release notes](https://github.com/google/gson/releases)
- [Changelog](https://github.com/google/gson/blob/main/CHANGELOG.md)
- [Commits](google/gson@gson-parent-2.9.1...gson-parent-2.11.0)

Updates `ch.qos.logback:logback-classic` from 1.4.12 to 1.5.16
- [Commits](qos-ch/logback@v_1.4.12...v_1.5.16)

Updates `org.projectlombok:lombok` from 1.18.30 to 1.18.36
- [Changelog](https://github.com/projectlombok/lombok/blob/master/doc/changelog.markdown)
- [Commits](projectlombok/lombok@v1.18.30...v1.18.36)

Updates `com.google.truth:truth` from 1.3.0 to 1.4.4
- [Release notes](https://github.com/google/truth/releases)
- [Commits](google/truth@v1.3.0...v1.4.4)

Updates `org.yaml:snakeyaml` from 2.2 to 2.3
- [Commits](https://bitbucket.org/snakeyaml/snakeyaml/branches/compare/snakeyaml-2.3..snakeyaml-2.2)

Updates `org.hamcrest:hamcrest-library` from 2.2 to 3.0
- [Release notes](https://github.com/hamcrest/JavaHamcrest/releases)
- [Changelog](https://github.com/hamcrest/JavaHamcrest/blob/master/CHANGES.md)
- [Commits](hamcrest/JavaHamcrest@v2.2...v3.0)

Updates `org.assertj:assertj-core` from 3.20.2 to 3.27.3
- [Release notes](https://github.com/assertj/assertj/releases)
- [Commits](assertj/assertj@assertj-core-3.20.2...assertj-build-3.27.3)

Updates `com.squareup.okhttp3:okhttp` from 4.9.1 to 4.12.0
- [Changelog](https://github.com/square/okhttp/blob/master/CHANGELOG.md)
- [Commits](square/okhttp@parent-4.9.1...parent-4.12.0)

Updates `org.jetbrains.kotlin:kotlin-gradle-plugin` from 2.0.10 to 2.1.0
- [Release notes](https://github.com/JetBrains/kotlin/releases)
- [Changelog](https://github.com/JetBrains/kotlin/blob/master/ChangeLog.md)
- [Commits](JetBrains/kotlin@v2.0.10...v2.1.0)

Updates `org.jetbrains.kotlin.jvm` from 2.0.10 to 2.1.0
- [Release notes](https://github.com/JetBrains/kotlin/releases)
- [Changelog](https://github.com/JetBrains/kotlin/blob/master/ChangeLog.md)
- [Commits](JetBrains/kotlin@v2.0.10...v2.1.0)

Updates `io.ktor:ktor-server-core` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `io.ktor:ktor-server-netty` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `io.ktor:ktor-server-status-pages` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `io.ktor:ktor-server-html-builder` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `io.ktor:ktor-server-netty` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `io.ktor:ktor-server-status-pages` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `io.ktor:ktor-server-html-builder` from 2.3.11 to 3.0.3
- [Release notes](https://github.com/ktorio/ktor/releases)
- [Changelog](https://github.com/ktorio/ktor/blob/main/CHANGELOG.md)
- [Commits](ktorio/ktor@2.3.11...3.0.3)

Updates `org.jetbrains.kotlin.jvm` from 2.0.10 to 2.1.0
- [Release notes](https://github.com/JetBrains/kotlin/releases)
- [Changelog](https://github.com/JetBrains/kotlin/blob/master/ChangeLog.md)
- [Commits](JetBrains/kotlin@v2.0.10...v2.1.0)

---
updated-dependencies:
- dependency-name: org.gradle.toolchains.foojay-resolver-convention
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.google.googlejavaformat:google-java-format
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: se.bjurr.violations:violations-lib
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.jetbrains.kotlinx:kotlinx-serialization-core
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.jetbrains.kotlinx:kotlinx-serialization-json
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.tinylog:tinylog-api-kotlin
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.tinylog:tinylog-api
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.tinylog:tinylog-impl
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.google.guava:guava
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: com.google.code.gson:gson
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: ch.qos.logback:logback-classic
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.projectlombok:lombok
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: com.google.truth:truth
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.yaml:snakeyaml
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.hamcrest:hamcrest-library
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: org.assertj:assertj-core
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.squareup.okhttp3:okhttp
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.jetbrains.kotlin:kotlin-gradle-plugin
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.jetbrains.kotlin.jvm
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-core
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-netty
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-status-pages
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-html-builder
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-netty
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-status-pages
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.ktor:ktor-server-html-builder
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: org.jetbrains.kotlin.jvm
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
...

Signed-off-by: dependabot[bot] <support@github.com>
wadoon added 2 commits March 15, 2026 00:38
* key/master:
  fix method frame resolution

# Conflicts:
#	javaparser-key-testing/src/test/java/com/github/javaparser/ast/key/MethodFrameTests.java
@wadoon wadoon marked this pull request as ready for review March 14, 2026 23:41
wadoon added 4 commits March 15, 2026 00:44
git-subtree-dir: tools
git-subtree-mainline: 720269b
git-subtree-split: 70a4503
# By dependabot[bot]
* origin/master:
  Bump the maven-deps group across 1 directory with 9 updates

# Conflicts:
#	pom.xml
wadoon and others added 18 commits April 30, 2026 16:04
javaparser#5000)

* Fix: issue javaparser#4974 How to detect array.length ValueDeclaration

* The test (Issue2374Test) has been disabled because it fails on Ubuntu systems regardless of the Java version, but works on Windows and macOS systems. Further research will be needed to understand this finding.
…er#4993)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
…er#5002)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
…avaparser#5003)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
…55.1 (javaparser#5004)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
…avaparser#5006)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Per JLS 14.30, the component list in a RecordPattern is optional:
    RecordPattern: ReferenceType ( [ComponentPatternList] )
The PatternList() production in java.jj required at least one
component, causing a parse error on valid patterns like Point()
or case Pair() in switch expressions.
Wrap the content of PatternList() in an optional block [ ... ]
so that an empty parenthesised list produces an empty NodeList
rather than a parse failure. Also update the Javadoc comment to
match the JLS definition.
Add emptyRecordPatternListShouldWork() test to PatternExprTest
to cover the zero-component case.
…odecov-action-6.x

chore(deps): update codecov/codecov-action action to v6
* tag 'javaparser-parent-3.28.1': (45 commits)
  [maven-release-plugin] prepare release javaparser-parent-3.28.1
  update readme
  Update changelog
  chore(deps): update codecov/codecov-action action to v6
  fix(grammar): allow empty component list in RecordPattern
  fix(deps): update dependency org.javassist:javassist to v3.31.0-ga (javaparser#5006)
  fix(deps): update dependency org.checkerframework:checker-qual to v3.55.1 (javaparser#5004)
  fix(deps): update dependency com.google.guava:guava to v33.6.0-jre (javaparser#5003)
  fix(deps): update dependency org.junit:junit-bom to v5.14.4 (javaparser#5002)
  chore(deps): update dependency maven to v3.9.15 (javaparser#5001)
  fix(deps): update byte-buddy.version to v1.18.8-jdk5 (javaparser#4995)
  chore(deps): update codecov/codecov-action action to v5.5.4 (javaparser#4993)
  Fix: issue javaparser#4974 How to detect array.length ValueDeclaration (javaparser#5000)
  chore(deps): update codecov/codecov-action action to v5.5.3 (javaparser#4990)
  chore(deps): update dependency maven to v3.9.14 (javaparser#4988)
  chore(deps): update dependency maven to v3.9.13 (javaparser#4983)
  chore(deps): update dependency org.apache.maven.plugins:maven-resources-plugin to v3.5.0 (javaparser#4981)
  fix(deps): update dependency org.checkerframework:checker-qual to v3.54.0 (javaparser#4980)
  fix(deps): update byte-buddy.version to v1.18.7-jdk5 (javaparser#4979)
  fix(deps): update byte-buddy.version to v1.18.6-jdk6-jdk5 (javaparser#4978)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants