Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
130 commits
Select commit Hold shift + click to select a range
7dfd5d2
Initial commit
wadoon Jan 28, 2024
dca85a7
translating java to kotlin
wadoon Jan 27, 2024
b9e502d
Rename .java to .kt
wadoon Jan 28, 2024
a328e20
try to get this compiled with a common gradle spec
wadoon Jan 28, 2024
63707bd
compiles now! finally.
wadoon Jan 28, 2024
4ed7359
Create gradle.yml
wadoon Jan 28, 2024
db8c4c7
Create gradle-publish.yml
wadoon Jan 28, 2024
7c16caa
Rename .java to .kt
wadoon Feb 3, 2024
ef8e9d1
migration of lsp, further fixes
wadoon Feb 3, 2024
432455e
to key or not to key
wadoon Feb 4, 2024
105f2d1
add web code
wadoon Feb 25, 2024
df40de3
update version and dependabot
wadoon May 4, 2024
928b9d1
Bump the gh-actions group with 3 updates
dependabot[bot] May 4, 2024
8c895cf
Merge pull request #1 from jmltoolkit/dependabot/github_actions/gh-ac…
wadoon May 4, 2024
1fb4391
make it compilable again
wadoon May 11, 2024
cb1a099
code cleanup
wadoon May 11, 2024
39af375
fix further errors in conversion
wadoon May 11, 2024
6613a64
Kotlin 2.0.0
wadoon May 26, 2024
6c0c469
Bump gradle/gradle-build-action in the gh-actions group
dependabot[bot] Jun 17, 2024
090796e
Merge pull request #4 from jmltoolkit/dependabot/github_actions/gh-ac…
wadoon Jun 17, 2024
cd6fd71
Bump gradle/gradle-build-action in the gh-actions group
dependabot[bot] Jun 24, 2024
ce909cc
Merge pull request #5 from jmltoolkit/dependabot/github_actions/gh-ac…
wadoon Jun 24, 2024
b841f3c
update to new version
wadoon Jan 23, 2025
e132f8b
Bump gradle/gradle-build-action in the gh-actions group
dependabot[bot] Jan 23, 2025
fd26449
Merge pull request #6 from jmltoolkit/dependabot/github_actions/gh-ac…
wadoon Jan 23, 2025
df3deac
error in dependabot
wadoon Jan 23, 2025
3d9b0a1
fix empty string
wadoon Jan 23, 2025
3427f60
Create dependabot.yml
wadoon Jan 23, 2025
b7bb29a
Bump the gradle-deps group with 23 updates
dependabot[bot] Jan 23, 2025
b6c2b89
strange gradle error
wadoon Jan 23, 2025
d918f8c
Bump the gradle-deps group with 4 updates
dependabot[bot] Feb 3, 2025
459fe84
Bump com.github.ajalt.clikt:clikt in the gradle-deps group
dependabot[bot] Feb 10, 2025
ba0cb68
Bump the gradle-deps group with 5 updates
dependabot[bot] Feb 24, 2025
791aa27
Bump the gradle-deps group with 6 updates
dependabot[bot] Mar 3, 2025
df570e5
Bump the gradle-deps group with 2 updates
dependabot[bot] Mar 17, 2025
cc8565f
Bump the gradle-deps group with 4 updates
dependabot[bot] Mar 24, 2025
c5c9613
Bump the gradle-deps group with 6 updates
dependabot[bot] Mar 31, 2025
5273195
Bump the gradle-deps group with 3 updates
dependabot[bot] Apr 7, 2025
e8484b3
Bump the gradle-deps group with 4 updates
dependabot[bot] Apr 14, 2025
78a465e
Bump com.google.guava:guava in the gradle-deps group
dependabot[bot] Apr 21, 2025
67ab1c1
Bump com.google.code.gson:gson in the gradle-deps group
dependabot[bot] Apr 28, 2025
005b3e6
Bump the gradle-deps group with 5 updates
dependabot[bot] May 12, 2025
18ca02a
Bump the gradle-deps group with 2 updates
dependabot[bot] May 19, 2025
afab313
Bump the gradle-deps group with 2 updates
dependabot[bot] Jun 2, 2025
242fa38
Bump the gradle-deps group with 2 updates
dependabot[bot] Jun 9, 2025
cbabd34
Bump the gradle-deps group with 5 updates
dependabot[bot] Jun 16, 2025
049a226
Bump the gradle-deps group with 6 updates
dependabot[bot] Jun 30, 2025
82c3c76
Bump the gradle-deps group with 7 updates
dependabot[bot] Jul 7, 2025
1ac8fd8
Bump the gradle-deps group with 2 updates
dependabot[bot] Jul 14, 2025
5e88736
Bump the gradle-deps group with 6 updates
dependabot[bot] Jul 28, 2025
38113f0
Bump the gradle-deps group with 4 updates
dependabot[bot] Aug 4, 2025
9ac9891
Bump org.assertj:assertj-core in the gradle-deps group
dependabot[bot] Aug 11, 2025
acd9c8d
Bump the gradle-deps group with 2 updates
dependabot[bot] Aug 18, 2025
fabafb4
Bump actions/checkout from 4 to 5 in the gh-actions group
dependabot[bot] Aug 18, 2025
a75b502
Bump actions/setup-java from 4 to 5 in the gh-actions group
dependabot[bot] Aug 25, 2025
7630564
try to repair build
wadoon Jan 23, 2025
c4861e3
update
wadoon Sep 7, 2025
a568796
Bump the gradle-deps group across 1 directory with 4 updates
dependabot[bot] Sep 7, 2025
7185e75
Bump the gradle-deps group with 8 updates
dependabot[bot] Sep 15, 2025
4731fd7
Bump the gradle-deps group with 4 updates
dependabot[bot] Sep 22, 2025
68ac876
Bump the gradle-deps group with 3 updates
dependabot[bot] Sep 29, 2025
15990fa
Bump the gradle-deps group with 5 updates
dependabot[bot] Oct 6, 2025
3abf3d9
Bump the gradle-deps group with 5 updates
dependabot[bot] Oct 13, 2025
579f37b
Bump the gradle-deps group with 2 updates
dependabot[bot] Oct 20, 2025
988a63b
Bump the gradle-deps group with 2 updates
dependabot[bot] Oct 27, 2025
42c1420
Bump the gradle-deps group with 4 updates
dependabot[bot] Nov 3, 2025
a3c1e2b
Bump the gradle-deps group with 5 updates
dependabot[bot] Nov 10, 2025
d0db0d0
Bump actions/checkout from 5 to 6 in the gh-actions group
dependabot[bot] Nov 24, 2025
53f6dae
Bump the gradle-deps group with 3 updates
dependabot[bot] Nov 24, 2025
8c4ee7f
Bump the gradle-deps group with 4 updates
dependabot[bot] Dec 1, 2025
a802e23
Bump the gradle-deps group with 2 updates
dependabot[bot] Dec 8, 2025
97ea570
Bump ch.qos.logback:logback-classic in the gradle-deps group
dependabot[bot] Dec 15, 2025
c742d26
Bump the gradle-deps group with 3 updates
dependabot[bot] Dec 22, 2025
b1c3de2
Bump the gradle-deps group with 4 updates
dependabot[bot] Jan 12, 2026
6f4a31d
Bump the gradle-deps group with 2 updates
dependabot[bot] Jan 19, 2026
d858b45
Bump the gradle-deps group with 9 updates
dependabot[bot] Jan 26, 2026
78ce904
Bump the gradle-deps group with 2 updates
dependabot[bot] Feb 2, 2026
14f33bd
bug squashing
wadoon Feb 3, 2026
a7c3510
death to the bugs
wadoon Feb 3, 2026
dd3c446
JmlDoc#getContent to String from JavaToken
wadoon Feb 3, 2026
9ccbf7e
entries for CSM
wadoon Feb 3, 2026
0282936
Bump the gradle-deps group with 4 updates
dependabot[bot] Feb 9, 2026
15c9944
Bump the gradle-deps group with 4 updates
dependabot[bot] Feb 16, 2026
f4a51b0
Bump ch.qos.logback:logback-classic in the gradle-deps group
dependabot[bot] Feb 23, 2026
c2507bf
disable static java parser
wadoon Mar 2, 2026
e09ddd7
AssignableToPrimitive interface
wadoon Mar 2, 2026
7ac76ac
K11.2: fix AssignableToPrimitive interface
wadoon Mar 2, 2026
a944396
add Jml commentary handling into the parser
wadoon Mar 3, 2026
822a23f
K12.0 now with JMLDoc
wadoon Mar 3, 2026
6a26046
K12.2 now with JMLDoc
wadoon Mar 3, 2026
12a3583
add meta classes
wadoon Mar 3, 2026
de35187
Handle resolution in a KeyCcatchBranch (respect param)
Drodt Mar 3, 2026
d5b9538
K12.3 error in JmlDocsStatements
wadoon Mar 3, 2026
e8da511
setter and pretty printing
wadoon Mar 3, 2026
4564ffe
set version to K12.5
wadoon Mar 3, 2026
3ad29b0
set version to K12.7
wadoon Mar 4, 2026
08c4721
K12.8
wadoon Mar 4, 2026
4fbdf14
K12.9
wadoon Mar 4, 2026
71f74fb
Method resolution has to consider call context
unp1 Mar 3, 2026
566636e
set version to 10
unp1 Mar 4, 2026
e92599a
K13.0 add KeyMarkerStatement
wadoon Mar 4, 2026
6a841a2
Bump to 13.1
unp1 Mar 4, 2026
0d48924
inner classes can see anything
unp1 Mar 5, 2026
b5a850c
Fix internal types test and bump version
unp1 Mar 5, 2026
dd2ad4f
Fix protected visibility rules and version bump
unp1 Mar 5, 2026
78e02b2
Bump the gradle-deps group with 2 updates
dependabot[bot] Mar 2, 2026
4136a2e
clean-up
wadoon Mar 7, 2026
b63ebdb
spotless
wadoon Mar 7, 2026
de600d8
Merge remote-tracking branch 'key/master' into feature/key
wadoon Mar 7, 2026
d71ad6e
clean-up, renaming of classes and removal of duplicates
wadoon Mar 7, 2026
6f199fb
fix some tests
wadoon Mar 7, 2026
671f0be
try to configure site
wadoon Mar 8, 2026
95f3d08
fix resolution test cases and nearly all core test cases
wadoon Mar 8, 2026
1ea0831
site generation
wadoon Mar 9, 2026
70a4503
Bump the gradle-deps group with 7 updates
dependabot[bot] Mar 9, 2026
d900a9e
drop ReduxTest
wadoon Mar 12, 2026
a152495
gradle init
wadoon Mar 13, 2026
c863d47
fix method frame resolution
wadoon Mar 14, 2026
aa4b931
making fit for gradle
wadoon Mar 14, 2026
7798b17
run spotless
wadoon Mar 14, 2026
c9d6f90
add missing meta models
wadoon Mar 14, 2026
430b602
apply spotless
wadoon Mar 14, 2026
adb75a4
Merge branch 'feature/gradle' into feature/key
wadoon Mar 14, 2026
a6376ab
fix
wadoon Mar 14, 2026
720269b
Merge remote-tracking branch 'key/master' into feature/key
wadoon Mar 14, 2026
f2082bd
Add 'tools/' from commit '70a4503dcdbc006fd9feeb1190d3c5226f10183b'
wadoon Mar 14, 2026
56bf6e9
include the jml-tools
wadoon Mar 15, 2026
39c3b44
Merge remote-tracking branch 'origin/master' into feature/key
wadoon Mar 15, 2026
996e73c
fix mistakes
wadoon Mar 15, 2026
dd399bf
fix assert/assume statements
wadoon Mar 15, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
6 changes: 3 additions & 3 deletions .github/dependabot.yml
Original file line number Diff line number Diff line change
@@ -1,18 +1,18 @@
version: 2
updates:
- package-ecosystem: "maven"
- package-ecosystem: "gradle"
directory: "/"
schedule:
interval: "weekly"
groups:
maven-deps:
deps:
patterns:
- "*"
- package-ecosystem: "github-actions"
directory: "/"
schedule:
interval: "weekly"
groups:
gh-actions:
deps:
patterns:
- "*"
12 changes: 6 additions & 6 deletions .github/workflows/formatting_check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,9 +39,9 @@ jobs:
with:
java-version: '21'
distribution: 'zulu'
cache: 'maven'
cache: 'gradle'
- name: Validate Project Checkstyle
run: ./mvnw -B checkstyle:check
run: ./gradlew checkstyleMain

spotless_check:
name: Spotless check
Expand All @@ -56,10 +56,10 @@ jobs:
with:
java-version: '21'
distribution: 'zulu'
cache: 'maven'
cache: 'gradle'
- name: Generate code and format
run: |
./run_core_metamodel_generator.sh
# ./run_core_generators.sh automatically runs ./mvnw spotless:apply
./run_core_generators.sh
./gradlew :jmlparser-metamodel-generators:run
./gradlew :jmlparser-core-generators:run
./gradlew spotlessCheck
git diff --exit-code
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ jobs:
os: [ ubuntu-latest, macos-latest, windows-latest ]
## Different JDK versions have different implementations etc. -- test on all combinations (ideally 8 to latest).
### exclude pre-8 (min development version jdk8)
jdk: [ 21 ]
jdk: [ 21, 25 ]


env:
Expand All @@ -58,7 +58,7 @@ jobs:
distribution: 'zulu' # v2 requires explicitly stating the distribution - `zulu` and `adopt` supported at time of writing
java-version: ${{ matrix.jdk }} # Use matrix to select which JDK level to use
java-package: jdk # optional (jdk or jre) - defaults to jdk
cache: 'maven'
cache: 'gradle'

## Given that the build matrix only specifies the major version (configurable), output the precise version used.
- name: Echo exact java version being used
Expand All @@ -79,16 +79,17 @@ jobs:
### test : run the maven lifecycle stage `test`
### -P,--activate-profiles : Comma-delimited list of profiles to activate
### AlsoSlowTests : by default, only quick tests are run - the profile `AlsoSlowTests` runs the full test suite
- name: Test with Maven (incl. slow tests)
- name: Test with Gradle (incl. slow tests)
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to get PR information, if any
SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
run: "./mvnw --fail-at-end -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn --activate-profiles AlsoSlowTests -B --errors clean verify org.sonarsource.scanner.maven:sonar-maven-plugin:sonar -Dsonar.projectKey=wadoon_jmlparser"
run: |
./gradlew --continue --parallel test

- name: Test reporting
uses: dorny/test-reporter@v2
if: success() || failure()
with:
name: Test Report
path: "**/target/surefire-reports/*.xml"
path: "**/build/reports/tests/test/**/*.xml"
reporter: java-junit
19 changes: 0 additions & 19 deletions .github/workflows/publish_pkg_github.yml

This file was deleted.

18 changes: 0 additions & 18 deletions .github/workflows/qodana.yml

This file was deleted.

1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ hs_err_pid*
*.ipr
*.iws
build-*
!build-logic
*.asc
build
out
Expand Down
40 changes: 0 additions & 40 deletions .gitlab-ci.yml

This file was deleted.

46 changes: 0 additions & 46 deletions Jenkinsfile

This file was deleted.

42 changes: 0 additions & 42 deletions appveyor.yml

This file was deleted.

28 changes: 28 additions & 0 deletions build-logic/build.gradle.kts
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
import org.jetbrains.kotlin.gradle.dsl.JvmTarget
import org.jetbrains.kotlin.gradle.dsl.KotlinVersion

val libs: VersionCatalog = extensions.getByType<VersionCatalogsExtension>().named("libs")

plugins {
`kotlin-dsl`
`kotlin-dsl-precompiled-script-plugins`
}

repositories {
gradlePluginPortal()
mavenCentral()
}

dependencies {
implementation("com.diffplug.gradle.spotless:com.diffplug.gradle.spotless.gradle.plugin:8.3.0")

add("implementation", libs.findLibrary("kotlin-gradle").get())

// https://github.com/Kotlin/dokka
// Dokka is a documentation engine for Kotlin like JavaDoc for Java
//add("implementation", libs.findLibrary("dokka-gradle").get())

// https://detekt.dev/docs/gettingstarted/gradle/
// A static code analyzer for Kotlin
//add("implementation", libs.findLibrary("detekt-gradle").get())
}
12 changes: 12 additions & 0 deletions build-logic/settings.gradle.kts
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
dependencyResolutionManagement {
versionCatalogs {
create("libs") {
from(files("../gradle/libs.versions.toml"))
}
}
@Suppress("UnstableApiUsage")
repositories {
mavenCentral()
gradlePluginPortal()
}
}
66 changes: 66 additions & 0 deletions build-logic/src/main/kotlin/buildlogic.java-conventions.gradle.kts
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@
plugins {
`java-library`
`maven-publish`
id("test-report-aggregation")
id("com.diffplug.spotless")
checkstyle
}

group = "io.github.jmltoolkit"
version = "3.28.0-J8.0-K13.5"

repositories {
maven {
url = uri("https://repo.maven.apache.org/maven2/")
}
}

dependencies {
}

// Apply a specific Java toolchain to ease working on different environments.

java {
// Auto JDK setup
toolchain {
languageVersion.set(JavaLanguageVersion.of("21"))
}
withSourcesJar()
withJavadocJar()
}

publishing {
publications.create<MavenPublication>("maven") {
from(components["java"])
}
}

tasks.withType<JavaCompile> {
options.encoding = "UTF-8"
}

tasks.withType<Javadoc> {
options.encoding = "UTF-8"
}

tasks.withType<Test> {
workingDir = projectDir
useJUnitPlatform()
}

configure<com.diffplug.gradle.spotless.SpotlessExtension> {
java {
removeUnusedImports()
palantirJavaFormat("2.86.0").formatJavadoc(false).style("PALANTIR")
}
}

configure<CheckstyleExtension> {
toolVersion = "13.1.0"
configFile = file("$rootDir/dev-files/JavaParser-CheckStyle.xml")
isShowViolations = true
}

tasks.checkstyleMain {
source("src/main/java")
}
Loading
Loading