me.tomassetti:java-symbol-solver-logic

A Symbol Solver for Java, built on top of JavaParser

License

License

Categories

Categories

Java Languages
GroupId

GroupId

me.tomassetti
ArtifactId

ArtifactId

java-symbol-solver-logic
Last Version

Last Version

0.3.1
Release Date

Release Date

Type

Type

jar
Description

Description

A Symbol Solver for Java, built on top of JavaParser

Download java-symbol-solver-logic

How to add to project

<!-- https://jarcasting.com/artifacts/me.tomassetti/java-symbol-solver-logic/ -->
<dependency>
    <groupId>me.tomassetti</groupId>
    <artifactId>java-symbol-solver-logic</artifactId>
    <version>0.3.1</version>
</dependency>
// https://jarcasting.com/artifacts/me.tomassetti/java-symbol-solver-logic/
implementation 'me.tomassetti:java-symbol-solver-logic:0.3.1'
// https://jarcasting.com/artifacts/me.tomassetti/java-symbol-solver-logic/
implementation ("me.tomassetti:java-symbol-solver-logic:0.3.1")
'me.tomassetti:java-symbol-solver-logic:jar:0.3.1'
<dependency org="me.tomassetti" name="java-symbol-solver-logic" rev="0.3.1">
  <artifact name="java-symbol-solver-logic" type="jar" />
</dependency>
@Grapes(
@Grab(group='me.tomassetti', module='java-symbol-solver-logic', version='0.3.1')
)
libraryDependencies += "me.tomassetti" % "java-symbol-solver-logic" % "0.3.1"
[me.tomassetti/java-symbol-solver-logic "0.3.1"]

Dependencies

compile (5)

Group / Artifact Type Version
com.github.javaparser : javaparser-core jar 3.0.0-alpha.2
org.javassist : javassist jar 3.19.0-GA
com.google.guava : guava jar 18.0
me.tomassetti : java-symbol-solver-model jar 0.3.1
com.javaslang : javaslang jar 2.0.0-beta

test (2)

Group / Artifact Type Version
junit : junit jar 4.12
org.easymock : easymock jar 3.3.1

Project Modules

There are no modules declared in this project.

JavaSymbolSolver has been integrated in JavaParser: development will continue there!

We will work on current issues opened here, but all new issues should be opened in the JavaParser project

JavaSymbolSolver

Maven Central Build Status

A Symbol Solver for Java built on top of JavaParser from the same team of committers.

Documentation

Currently the best source of documentation is in this book

You can also read this article:

How this complement JavaParser?

JavaParser is a parser: given a source file it recognizes the different syntatic element and produce an Abstract Syntax Tree (AST).

JavaSymbolSolver analyzes that AST and find the declarations connected to each element.

foo in the AST is just a name, JavaSymbolSolver can tell you if it refers to a parameter, a local variable, a field. It can also give you the type, tell you where the element has been defined and so on.

What can I use it for?

A Symbol Solver can associate a symbol in your code to its declaration. This is necessary to verify the type of an expression or to find the usage of a symbol (like a field or a local variable):

Consider this:

int a = 0;

void foo() {
    while (true) {
        String a = "hello!";
        Object foo = a + 1;
    }
}

In the expression a + 1 a parser (like JavaParser) is not able to tell us to which definition of a we are referring to and consequently it cannot tell us the type of a. The JavaSymbolSolver is able to do so.

How can I use it? Show me some code!

Take a look at JavaParserFacade. For example you can use it to find the type of an expression:

Node node = <get this node by parsing source code with JavaParser>
Type typeOfTheNode = JavaParserFacade.get(typeSolver).getType(node);

Easy, right?

The only configuration that it requires is part of the TypeSolver instance to pass it. A TypeSolver is the mechanism that is used to find the classes referenced in your code. For example your class could import or extend a given class and the TypeSolver will find it and build a model of it, later used to solve symbols. Basically there are four TypeSolver:

  • JavaParserTypeSolver: look for the type in a directory of source files
  • JarTypeSolver: look for the type in a JAR file
  • ReflectionTypeSolver: look for the type using reflection. This is needed because some classes are not available in any other way (for example the Object class). However this should be used exclusively for files in the java or javax packages
  • CombinedTypeSolver: permits to combine several instances of TypeSolvers

In the tests you can find an example of instantiating TypeSolvers:

CombinedTypeSolver combinedTypeSolver = new CombinedTypeSolver();
combinedTypeSolver.add(new ReflectionTypeSolver());
combinedTypeSolver.add(new JavaParserTypeSolver(new File("src/test/resources/javaparser_src/proper_source")));
combinedTypeSolver.add(new JavaParserTypeSolver(new File("src/test/resources/javaparser_src/generated")));

Typically to analize a project you want to create one instance of JavaParserTypeSolver for each source directory, one instance of JarTypeSolver for each dependency and one ReflectionTypeSolver then you can combine all of them in a CombinedTypeSolver and pass that around.

Tutorial on resolving method calls

We plan to write soon more examples and tutorials.

Status of the project

This project is more recent of JavaParser but it has been receiving some attention and it has been improving a lot recently.

It supports all features of Java 8 (lambdas, generic, type inference, etc.). Of course we expect some bugs to emerge from time to time but we are committed to help users solve them as soon as possible.

It has been also used in a commercial product from Coati.

License

This code is available under the Apache License.

Development

We use Travis to ensure our tests are passing all the time.

The dev-files dir contains configurations for the Eclipse and the IDEA formatters (I took them from the JavaParser project, thanks guys!).

The project is structured in this way:

  • We have nodes that wrap the JavaParser nodes (but can also wrap Javassist or JRE nodes)
  • The nodes contain all the information of the AST
  • Context classes contain the logic to solve methods, symbols and types in the respective context.
  • Default fallback behavior: ask the parent context for help (so if a variable identifier cannot be solved inside a MethodContext the underlying ClassDeclarationContext is asked and maybe we find out that the identifier actually refers to a field.

A more detailed description of the architecture of the project is available in Design.MD

Gradle usage

We suggest that you use the local gradle wrapper within java-symbol-solver to execute gradle tasks. If you're working on a Linux or Mac system, this is ./gradlew in the root directory of java-symbol-solver. On Windows, it's gradlew.bat. When executing gradle tasks via your IDE, make sure to configure your IDE to also use this wrapper. If you use intelliJ, you need the "Use default Gradle wrapper" option in the IntelliJ Gradle settings.

The following tasks are most relevant:

  • assemble: If you need to build the source code (the full command thus becomes .\gradlew assemble or .\gradlew.bat assemble depending on your Operating System).
  • check: To run the tests
  • check jacocoTestReport: To run the tests (if still necessary) and generate a test coverage report. This coverage report is then located at ./java-symbol-solver-testing/build/jacocoHtml/index.html relative to your project root.
  • install: To install the snapshot version of the project to your local maven repository, which can be useful to test changes you're working on against external projects.

In case you haven't worked with Gradle before, one thing of note is that Gradle will only perform tasks that are still relevant. Let's say you have subprojects foo and bar and you had previously compiled those. If you then make changes in foo and compile both again, only foo will be compiled. You'll see in the Gradle output that the compile task of bar is marked as UP-TO-DATE.

Contributing

I would absolutely love every possible kind of contributions: if you have questions, ideas, need help or want to propose a change just open an issue. Pull-requests are greatly appreciated.

Thanks to Malte Langkabel, Ayman Abdelghany, Evan Rittenhouse, Rachel Pau, Pavel Eremeev, Simone Basso, Rafael Vargas, Christophe Creeten, Fred Lefévère-Laoide, and Genadz Batsyan for their contributions!

The project has been created by Federico Tomassetti and it is currently co-maintained by the JavaParser team. Core contributors are currently Malte Langkabel and Panayiotis Pastos

Versions

Version
0.3.1
0.3
0.2
0.1.3