Skip to content
This repository was archived by the owner on Jul 5, 2026. It is now read-only.

Feature/key#139

Merged
wadoon merged 220 commits into
masterfrom
feature/key
Jul 5, 2026
Merged

Feature/key#139
wadoon merged 220 commits into
masterfrom
feature/key

Conversation

@wadoon

@wadoon wadoon commented Feb 3, 2026

Copy link
Copy Markdown
Collaborator

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 3 commits July 4, 2026 18:19
# By Alexander Weigl (3) and others
* key2/master:
  fix floating point literal
  set version to 3.28.0-K13.6-SNAPSHOT
  the version 3.28.0-K13.5
  Add missing ConcreteSyntaxModel classes
  Fix StackOverflowError: thread call context through solveMethodAsUsage
  Fix memory leak: hold JavaParserFacade cache values weakly

# Conflicts:
#	javaparser-core-generators/pom.xml
#	javaparser-core-metamodel-generator/pom.xml
#	javaparser-core-serialization/pom.xml
#	javaparser-core-testing-bdd/pom.xml
#	javaparser-core-testing/pom.xml
#	javaparser-core/pom.xml
#	javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java
#	javaparser-core/src/main/java/com/github/javaparser/resolution/Context.java
#	javaparser-core/src/main/java/com/github/javaparser/resolution/Solver.java
#	javaparser-core/src/main/java/com/github/javaparser/resolution/logic/MethodResolutionCapability.java
#	javaparser-core/src/main/java/com/github/javaparser/resolution/logic/MethodResolutionLogic.java
#	javaparser-key-testing/pom.xml
#	javaparser-key-testing/src/test/java/com/github/javaparser/ast/key/MethodFrameTests.java
#	javaparser-symbol-solver-core/pom.xml
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/core/resolution/MethodUsageResolutionCapability.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/JavaParserFacade.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/TypeExtractor.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/AbstractJavaParserContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/AbstractMethodLikeDeclarationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/AnnotationDeclarationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/AnonymousClassDeclarationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/CatchClauseContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/ClassOrInterfaceDeclarationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/CompilationUnitContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/ContextHelper.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/EnumDeclarationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/FieldAccessContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/ForEachStatementContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/ForStatementContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/JavaParserTypeDeclarationAdapter.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/KeyMethodCallStatementContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/LambdaExprContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/MethodCallExprContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/MethodReferenceExprContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/ObjectCreationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/RecordDeclarationContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/StatementContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/SwitchEntryContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/TryWithResourceContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/contexts/key/KeyCcatchReturnContext.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserAnonymousClassDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserClassDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserEnumDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserInterfaceDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserRecordDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserTypeParameter.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javassistmodel/JavassistClassDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javassistmodel/JavassistEnumDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javassistmodel/JavassistInterfaceDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javassistmodel/JavassistRecordDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javassistmodel/JavassistUtils.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/reflectionmodel/ReflectionAnnotationDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/reflectionmodel/ReflectionClassDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/reflectionmodel/ReflectionEnumDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/reflectionmodel/ReflectionInterfaceDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/reflectionmodel/ReflectionMethodResolutionLogic.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/reflectionmodel/ReflectionRecordDeclaration.java
#	javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/SymbolSolver.java
#	javaparser-symbol-solver-testing/pom.xml
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserClassDeclarationTest.java
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserEnumDeclarationTest.java
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserInterfaceDeclarationTest.java
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/DefaultPackageTest.java
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/javaparser/contexts/ClassOrInterfaceDeclarationContextResolutionTest.java
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/javaparser/contexts/CompilationUnitContextResolutionTest.java
#	javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/javaparser/contexts/MethodCallExprContextResolutionTest.java
#	pom.xml
#	readme.md
@wadoon wadoon self-assigned this Jul 4, 2026
@wadoon wadoon merged commit 491163d into master Jul 5, 2026
3 of 6 checks passed
@wadoon wadoon deleted the feature/key branch July 5, 2026 01:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants