KeY-JavaParser

This project contains a set of libraries implementing parser and tools for the Java Modeling Language with support for Java 25.

Documentation is available

Setup

Gradle:

implementation("com.github.javaparser:javaparser-symbol-solver-core:3.28.1-J8.0-K13.5-SNAPSHOT")

Maven:

<dependency>
    <groupId>io.github.jmltoolkit</groupId>
    <artifactId>jmlparser-core</artifactId>
    <version>3.28.1-J8.0-K13.5-SNAPSHOT</version>
</dependency>

License

JavaParser is available either under the terms of the LGPL License or the Apache License. You as the user are entitled to choose the terms under which adopt JavaParser.

For details about the LGPL License please refer to LICENSE.LGPL.

For details about the Apache License please refer to LICENSE.APACHE.