javaparser / javasymbolsolver Goto Github PK

*old repository* --> this is now integrated in https://github.com/javaparser/javaparser

License: Apache License 2.0

Java 99.93% Shell 0.07%

javasymbolsolver's Introduction

JavaParser

This project contains a set of libraries implementing a Java 1.0 - Java 21 Parser with advanced analysis functionalities.

Our main site is at JavaParser.org

Setup

The project binaries are available in Maven Central.

We strongly advise users to adopt Maven, Gradle or another build system for their projects. If you are not familiar with them we suggest taking a look at the maven quickstart projects (javaparser-maven-sample, javasymbolsolver-maven-sample).

Just add the following to your maven configuration or tailor to your own dependency management system.

Please refer to the Migration Guide when upgrading from 2.5.1 to 3.0.0+

Maven:

<dependency>
    <groupId>com.github.javaparser</groupId>
    <artifactId>javaparser-symbol-solver-core</artifactId>
    <version>3.26.0</version>
</dependency>

Gradle:

implementation 'com.github.javaparser:javaparser-symbol-solver-core:3.26.0'

Since Version 3.5.10, the JavaParser project includes the JavaSymbolSolver. While JavaParser generates an Abstract Syntax Tree, JavaSymbolSolver analyzes that AST and is able to find the relation between an element and its declaration (e.g. for a variable name it could be a parameter of a method, providing information about its type, position in the AST, ect).

Using the dependency above will add both JavaParser and JavaSymbolSolver to your project. If you only need the core functionality of parsing Java source code in order to traverse and manipulate the generated AST, you can reduce your projects boilerplate by only including JavaParser to your project:

Maven:

<dependency>
    <groupId>com.github.javaparser</groupId>
    <artifactId>javaparser-core</artifactId>
    <version>3.26.0</version>
</dependency>

Gradle:

implementation 'com.github.javaparser:javaparser-core:3.26.0'

Since version 3.6.17 the AST can be serialized to JSON. There is a separate module for this:

Maven:

<dependency>
    <groupId>com.github.javaparser</groupId>
    <artifactId>javaparser-core-serialization</artifactId>
    <version>3.26.0</version>
</dependency>

Gradle:

implementation 'com.github.javaparser:javaparser-core-serialization:3.26.0'

How To Compile Sources

If you checked out the project's source code from GitHub, you can build the project with maven using:

./mvnw clean install

If you want to generate the packaged jar files from the source files, you run the following maven command:

./mvnw package

NOTE the jar files for the two modules can be found in:

javaparser/javaparser-core/target/javaparser-core-\<version\>.jar
javaparser-symbol-solver-core/target/javaparser-symbol-solver-core-\<version\>.jar

If you checkout the sources and want to view the project in an IDE, it is best to first generate some of the source files; otherwise you will get many compilation complaints in the IDE. (./mvnw clean install already does this for you.)

./mvnw javacc:javacc

If you modify the code of the AST nodes, specifically if you add or remove fields or node classes, the code generators will update a lot of code for you. The run_metamodel_generator.sh script will rebuild the metamodel, which is used by the code generators which are run by run_core_generators.sh Make sure that javaparser-core at least compiles before you run these.

Note: for Eclipse IDE follow the steps described in the wiki: https://github.com/javaparser/javaparser/wiki/Eclipse-Project-Setup-Guide

More information

JavaParser.org is the main information site or see the wiki page https://github.com/javaparser/javaparser/wiki.

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.

javasymbolsolver's People

Contributors

Stargazers

Watchers

javasymbolsolver's Issues

Add tests for getDeclaredMethods for JavaParser declarations

See #50

Upgrade to JavaParser 3.0.0-alpha.6

java.util.Arrays asList

Awesome tool this!

But I get an error when using Arrays.asList, see the following case.

Extend the generics.java.txt to:

package me.tomassetti.symbolsolver.javaparser;

import java.util.Optional;
import java.util.List;
import java.util.Arrays;

public final class Generics {

    Optional<String> s;
    Optional<Integer> i;
    Optional<Generics> g;

}

public final class SomeCollection<A> {

    public A a;
    public List<A> as;

    public void foo1(){
        new SomeCollection<String>().a;
    }

    public void foo2(){
        new SomeCollection<String>().as;
    }

    public List<Long> foo3(){
        return Arrays.asList(new Long[]{1L,2L});
    }

}

Create the function:

    @Test
    public void blaat() throws ParseException {
        CompilationUnit cu = parseSample("Generics");
        ClassOrInterfaceDeclaration clazz = Navigator.demandClass(cu, "SomeCollection");

        MethodDeclaration method = Navigator.demandMethod(clazz, "foo3");

        ReturnStmt stmt = (ReturnStmt)method.getBody().getStmts().get(0);
        Expression expression = stmt.getExpr();
        TypeUsage typeUsage = JavaParserFacade.get(new JreTypeSolver()).getType(expression);
}

You will get the error:

Unsolved symbol in ReflectionClassDeclaration{clazz=java.util.Arrays} : Method 'asList' with parameterTypes [ReferenceTypeUsage{declaration=ReflectionClassDeclaration{clazz=java.lang.Long}, typeParameters=[]}]
UnsolvedSymbolException{context='ReflectionClassDeclaration{clazz=java.util.Arrays}', name='Method 'asList' with parameterTypes [ReferenceTypeUsage{declaration=ReflectionClassDeclaration{clazz=java.lang.Long}, typeParameters=[]}]', typeSolver=null}
    at me.tomassetti.symbolsolver.resolution.javaparser.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:96)
    at me.tomassetti.symbolsolver.resolution.javaparser.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:394)
    at me.tomassetti.symbolsolver.resolution.javaparser.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:150)
    at me.tomassetti.symbolsolver.resolution.javaparser.JavaParserFacade.getType(JavaParserFacade.java:116)
    at me.tomassetti.symbolsolver.resolution.javaparser.JavaParserFacade.getType(JavaParserFacade.java:110)
    at me.tomassetti.symbolsolver.resolution.GenericsTest.blaat(GenericsTest.java:185)
 ....

Any idea why?

Trying rultor

@rultor release, tag is 0.2

Verify Type inference works as described in the JLS

See https://docs.oracle.com/javase/specs/jls/se8/html/jls-18.html

Get Declaration for Type

Today I've got another problem: Is it possible to fetch the com.github.javaparser.ast.body.ClassOrInterfaceDeclaration for a com.github.javaparser.ast.type.ClassOrInterfaceType?

I've seen that the JavaParserFacade can be used to convert a Type and a Node to a TypeUsage (right now I don't know which node to pass to that method). Afterwards the TypeUsage can be used to get the type's declaration (which is a me.tomassetti.symbolsolver.model.declarations.TypeDeclaration). I guess the wrappedNode of this declaration is what I'm looking for, but in the current implementation of the Java Symbol Solver it is a private field. Is it possible to add a public getter for this field?

The reason I need access to the AST node is type name resolution as discussed in #37.

Apply the Apache License 2.0

This was already reported as the license in the Readme but we should attach the license description and add a notice to every source file.

Type name qualified by method name

I'm currently expanding our source code analysis tool (which is currently available for C/C++ only) to support java as well. First I was using Javaparser but it didn't quite match our requirements. By accident I stumbled upon a comment where @ftomassetti mentioned this project. And I have to say: It's absolutely AWESOME! Thanks for making this!

Ok, now to my issue.I have the following code I want to analyze:

package x;

public class Foo
{
    public void test(float p)
    {
        class Bar
        {
            public float f;
        }
    }

    public void test(int p)
    {
        class Bar
        {
            public int f;
        }
    }
}

When using an AstVisitor that specifies the following visit method

@Override public void visit(final ClassOrInterfaceDeclaration n, final Void v)
{
    String name = JavaParserFacade.get(m_typeSolver).getTypeDeclaration(n).getQualifiedName();
    System.out.println(name);
    super.visit(n, v);
}

I get the following output:

x.Foo
x.Foo.Bar
x.Foo.Bar

Here the problem is that both Bar classes may define completely different types but share the same qualified name. Would it be possible to include the name of the method that acts as the class' context into the qualified name so that the output reads

x.Foo
x.Foo.test(float).Bar
x.Foo.test(int).Bar

instead?

typeSolver is null when trying to resolve ArrayList.size() function.

While trying to solve for a MethodCallExpr, ArrayList<Tire>.size(), I encounter a problem where the type solver becomes "null" when attempting to solve the local class "Tire".

Here is the code directory I'm testing:
TestData
|
|-- Car.java
|
|-- Tire.java

The code for both Car and Tire are in the output of running my program. The program creates a CombinedTypeSolver from both a JavaParserTypeSolver and the JreTypeSolver. It then uses a MethodDeclarationVisitor to visit the methods declared in Car.java. See output below:

java -cp "lib/javaparser/javaparser-core/target/javaparser-core-2.3.1-SNAPSHOT.jar:lib/java-symbol-solver/java-symbol-solver-core/build/libs/java-symbol-solver-core-0.2.0-SNAPSHOT.jar:lib/java-symbol-solver/java-symbol-solver-logic/build/libs/java-symbol-solver-logic-0.2.0-SNAPSHOT.jar:lib/java-symbol-solver/java-symbol-solver-model/build/libs/java-symbol-solver-model-0.2.0-SNAPSHOT.jar":build/ Test TestData/Car.java TestData/
Picked up JAVA_TOOL_OPTIONS: -javaagent:/usr/share/java/jayatanaag.jar 
----------------------------------------
Got base code directory as TestData/.
PARSING TESTDATA/CAR.JAVA:

import java.util.ArrayList;

public class Car {

    private int year;

    private String manufacturer;

    private ArrayList<Tire> tires;

    public  Car(String manufacturer, int year) {
        this.manufacturer = new String(manufacturer);
        this.year = year;
        this.tires = new ArrayList<Tire>();
        for (int tire = 0; tire < 4; tire++) {
            tires.add(new Tire());
        }
    }

    public int getYear() {
        return year;
    }

    public String getManufacturer() {
        return manufacturer;
    }

    public double getAverageTirePressure() {
        double totalTires = tires.size();
        double totalPressure = 0;
        for (Tire t : tires) {
            totalPressure += t.getPressure();
        }
        return totalPressure / totalTires;
    }
}

Type solve Tire: SymbolReference{correspondingDeclaration=Optional[JavaParserClassDeclaration{wrappedNode=public class Tire {

    private int pressure;

    private double health;

    public  Tire() {
        pressure = 100;
        health = 1.0;
    }

    public  Tire(int pressure, double health) {
        this.pressure = pressure;
        this.health = health;
    }

    public int getPressure() {
        return pressure;
    }

    public double getHealth() {
        return health;
    }
}}]}
Found method call: tires.size() called from object tires
Exception in thread "main" UnsolvedSymbolException{context='unknown', name='Tire', typeSolver=null}
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:438)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:428)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.lambda$convertToUsage$13(JavaParserFacade.java:443)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade$$Lambda$4/1618212626.apply(Unknown Source)
    at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
    at java.util.LinkedList$LLSpliterator.forEachRemaining(LinkedList.java:1235)
    at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:512)
    at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:502)
    at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:708)
    at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
    at java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:499)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:443)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:428)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convert(JavaParserFacade.java:481)
    at me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserSymbolDeclaration.getType(JavaParserSymbolDeclaration.java:131)
    at me.tomassetti.symbolsolver.model.resolution.Value.from(Value.java:22)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext.solveWithAsValue(AbstractJavaParserContext.java:72)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.ClassOrInterfaceDeclarationContext.solveSymbolAsValue(ClassOrInterfaceDeclarationContext.java:77)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodContext.solveSymbolAsValue(MethodContext.java:61)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.StatementContext.solveSymbolAsValue(StatementContext.java:57)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.StatementContext.solveSymbolAsValue(StatementContext.java:88)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveSymbolAsValue(MethodCallExprContext.java:197)
    at me.tomassetti.symbolsolver.resolution.SymbolSolver.solveSymbolAsValue(SymbolSolver.java:42)
    at me.tomassetti.symbolsolver.resolution.SymbolSolver.solveSymbolAsValue(SymbolSolver.java:47)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:211)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethod(MethodCallExprContext.java:203)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solve(JavaParserFacade.java:122)
    at Test$FunctionCallVisitor.visit(Test.java:99)
    at Test$FunctionCallVisitor.visit(Test.java:88)
    at com.github.javaparser.ast.expr.MethodCallExpr.accept(MethodCallExpr.java:73)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:782)
    at com.github.javaparser.ast.body.VariableDeclarator.accept(VariableDeclarator.java:69)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:774)
    at com.github.javaparser.ast.expr.VariableDeclarationExpr.accept(VariableDeclarationExpr.java:77)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:407)
    at com.github.javaparser.ast.stmt.ExpressionStmt.accept(ExpressionStmt.java:53)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:169)
    at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:567)
    at Test$FunctionDeclarationVisitor.visit(Test.java:84)
    at Test$FunctionDeclarationVisitor.visit(Test.java:73)
    at com.github.javaparser.ast.body.MethodDeclaration.accept(MethodDeclaration.java:113)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:231)
    at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:85)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:260)
    at Test.main(Test.java:46)

Refactor switch in JavaParserFacade

https://github.com/ftomassetti/java-symbol-solver/blob/master/src/main/java/me/tomassetti/symbolsolver/JavaParserFacade.java line 241
That switch need some form of abstraction.

UnsolvedSymbolException when solving call to UnsupportedOperationException.getMessage()

To reproduce override the following method of the VoidVisitorAdapter:

public void visit(final MethodCallExpr n, final Void v) {
    JavaParserFacade.get(new JreTypeSolver()).solveMethodAsUsage(n);
    super.visit(n, v);
}

Additionally I added a visit method on ClassOrInterfaceType to evaluate if other content of the java.lang package is resolved correctly (and this works fine).

public void visit(final ClassOrInterfaceType n, final Void v) {
            TypeUsage typeUsage = JavaParserFacade.get(new JreTypeSolver()).convert(n, n);
            me.tomassetti.symbolsolver.model.declarations.TypeDeclaration td = typeUsage.asReferenceTypeUsage().getTypeDeclaration();
            System.out.println(td.getQualifiedName());
            super.visit(n, v);
        }

Using this visitor try to parse the following code and visit the resulting compilation unit:

public class Bla {
    public void main()
    {
        try
        {
            int i = 0;
        }
        catch (UnsupportedOperationException e)
        {
            String s;
            e.getMessage();
        }
    }
}

This results in an UnsolvedSymbolException with the following callstack:

Exception in thread "main" UnsolvedSymbolException{context='FOO Solving e', name='e', typeSolver=null}
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:213)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at test.Main$JavaAstVisitor.visit(Main.java:24)
        at test.Main$JavaAstVisitor.visit(Main.java:22)
        at com.github.javaparser.ast.expr.MethodCallExpr.accept(MethodCallExpr.java:73)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:399)
        at com.github.javaparser.ast.stmt.ExpressionStmt.accept(ExpressionStmt.java:53)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:170)
        at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:192)
        at com.github.javaparser.ast.stmt.CatchClause.accept(CatchClause.java:66)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:743)
        at com.github.javaparser.ast.stmt.TryStmt.accept(TryStmt.java:72)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:170)
        at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:562)
        at com.github.javaparser.ast.body.MethodDeclaration.accept(MethodDeclaration.java:111)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:223)
        at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:85)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:251)
        at com.github.javaparser.ast.CompilationUnit.accept(CompilationUnit.java:84)
        at test.Main.main(Main.java:45)

UnsupportedOperationException in TypeDeclaration.getDeclaredMethods()

This exception is thrown when the TypeDeclaration is actually a JavaParserClassDeclaration or a JavaParserEnumDeclaration. It seems like this method simply has not been implemented yet.

Add qualifiedName to MethodDeclaration

Typo: NoSimbolDeclarator -> NoSymbolDeclarator

Please rename

Upgrade to JavaParser alpha-4

I'm not pushy or anything :)

JreTypeSolver encounters NullPointerException when added to bootstrap classpath

On line 27 of JreTypeSolver, when you run

Class<?> clazz = JreTypeSolver.class.getClassLoader().loadClass(name);

and you import the code through the bootstrap classpath (i.e. -Xbootclasspath/a:path), getClassLoader() will return null as per https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html#getClassLoader--.

Uncaught exception, UnsolvedSymbolException(var11) at 473:JavaParserFacade

First of all, thanks a lot for your work in this amazing tools!. I'm using JavaParser and java-symbol-solver to make an analysis tool.

I'm triying to execute this code:

CombinedTypeSolver typeSolver = new CombinedTypeSolver();
typeSolver.add(new JreTypeSolver());
typeSolver.add(new JavaParserTypeSolver(new File("path/to/example/JavaProject")));
TypeUsage typeOfTheNode = JavaParserFacade.get(typeSolver).getType(node);

The Node in this example is a MethodCallExpr - "instance.em.createNativeQuery("shutdown").executeUpdate();" from the source file I'm trying to analyze, it's located inside the JavaProject path given to JavaParserTypeSolver):

package persistence;

import persistence.ExcepcionesPersis.DBConexionError;
import javax.persistence.EntityManager;
import javax.persistence.EntityManagerFactory;
import javax.persistence.Persistence;

public class PersistenceManager {

    EntityManagerFactory emf;
    EntityManager em;
    static PersistenceManager instance = null;

    private PersistenceManager() {
        emf = Persistence.createEntityManagerFactory("Example");
        em = emf.createEntityManager();
    }

    public EntityManager getEntityManager() {
        return em;
    }

    public static void newConnection() throws DBConexionError {
        if (instance == null) {
            instance = new PersistenceManager();
        }
    }

    public static PersistenceManager instance() {
        return instance;
    }

    public static void closeConnection() {
        if (instance != null) {
            instance.em.getTransaction().begin();
            instance.em.createNativeQuery("shutdown").executeUpdate();
            instance.em.getTransaction().commit();
            instance.em.close();
            instance.emf.close();
            instance = null;
        }
    }

}

And the error I get:

Exception in thread "main" UnsolvedSymbolException{context='unknown', name='EntityManager', typeSolver=null}
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:438)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:428)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convert(JavaParserFacade.java:481)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convert(JavaParserFacade.java:477)
    at me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserFieldDeclaration.getType(JavaParserFieldDeclaration.java:37)
    at me.tomassetti.symbolsolver.model.typesystem.ReferenceTypeUsage.getFieldType(ReferenceTypeUsage.java:131)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.FieldAccessContext.solveSymbolAsValue(FieldAccessContext.java:45)
    at me.tomassetti.symbolsolver.resolution.SymbolSolver.solveSymbolAsValue(SymbolSolver.java:42)
    at me.tomassetti.symbolsolver.resolution.SymbolSolver.solveSymbolAsValue(SymbolSolver.java:47)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:290)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:153)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:494)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:153)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:494)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
    at es.ujaen.Searcher$MethodCallVisitor.visit(Searcher.java:89)
    at com.github.javaparser.ast.expr.MethodCallExpr.accept(MethodCallExpr.java:73)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:407)
    at com.github.javaparser.ast.stmt.ExpressionStmt.accept(ExpressionStmt.java:53)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:169)
    at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:459)
    at com.github.javaparser.ast.stmt.IfStmt.accept(IfStmt.java:61)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:169)
    at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:567)
    at com.github.javaparser.ast.body.MethodDeclaration.accept(MethodDeclaration.java:113)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:231)
    at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:86)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:260)
    at es.ujaen.Searcher.search(Searcher.java:48)
    at es.ujaen.Searcher.searchReferences(Searcher.java:27)
    at es.ujaen.Engine.run(Engine.java:23)
    at es.ujaen.Main.main(Main.java:16)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:497)
    at com.intellij.rt.execution.application.AppMain.main(AppMain.java:140)

Process finished with exit code 1

This is just an example of what I'm doing, I have tried diferent types of nodes and I always get the same exception.
Am I doing something wrong?

Measure coverage

We should start using some coverage measure

Test all implementations of interfaces defined in model

Tests are failing on Windows

When running the java-symbol-solver-core tests on Windows I get errors like this one:
org.junit.ComparisonFailure: Line 1 of src/test/resources/javaparser_expected_output/com_github_javaparser_ast_stmt_CatchClause.txt is different from what is expected expected:<[ ]> but was:<[]>

When re-generating the expected output files and using git to compare them to the original ones, it says that they have been modified but I cannot see any changes. Maybe it's a line endings thing.

Move java-symbol-solver under the JavaParser umbrella

This issue is intended to discuss how to move the project under JavaParser

Change license #95
Change packages (from me.tomassetti to com.github.javaparser) #97
Update the Readme to reflect the change #100
Transfer the project under the JavaParser organization
Do a release with the new coordinates #108
Uniform the build system to JavaParser #101
Adopt the JavaParser code style #103
Rename the project #99

Anything else?

In this issue we could discuss the list and then open single issues for each task.

Add support for MethodReferenceExpr

Currently JavaParserFace.getTypeConcrete does not how to handle a MethodReferenceExpr

FieldAccessContext skips wrappedNode on solveSymbol(...)

I was just looking at the FieldAccessContext. It doesn't seem to do anything but asking its parent context when solving a symbol. Usually this seems fine except for the following situation:

public class Foo{
    private int bar;

    public void test(int bar){
        this.bar = bar;
    }
}

In this case the context of the method is asked to solve the name before the class context. So this.bar is solved as being the parameter of the test(...) method (which is not correct ;) ).

Is this published?

The jar on Maven is almost empty.

$ wget http://central.maven.org/maven2/me/tomassetti/java-symbol-solver-logic/0.1.3/java-symbol-solver-logic-0.1.3.jar
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0  1195    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  6991  100  6991    0     0   152k      0 --:--:-- --:--:-- --:--:--  152k
$ unzip -l java-symbol-solver-logic-0.1.3.jar
Archive:  java-symbol-solver-logic-0.1.3.jar
  Length      Date    Time    Name
---------  ---------- -----   ----
        0  2015-11-24 21:41   META-INF/
       25  2015-11-24 18:57   META-INF/MANIFEST.MF
        0  2015-11-24 18:57   me/
        0  2015-11-24 18:57   me/tomassetti/
        0  2015-11-24 18:57   me/tomassetti/symbolsolver/
        0  2015-11-24 21:41   me/tomassetti/symbolsolver/logic/
     4631  2015-11-24 21:41   me/tomassetti/symbolsolver/logic/GenericTypeInferenceLogic.class
     3153  2015-11-24 21:41   me/tomassetti/symbolsolver/logic/FunctionalInterfaceLogic.class
     1957  2015-11-24 21:41   me/tomassetti/symbolsolver/logic/AbstractTypeDeclaration.class
     3913  2015-11-24 21:41   me/tomassetti/symbolsolver/logic/AbstractClassDeclaration.class
---------                     -------
    13679                     10 files

Verify that a variadic parameter is recognized as of array type

Return method signature

Instead of this:

MethodUsage solvedMethod = JavaParserFacade.get(typeSolver).solveMethodAsUsage(node);
                String qualifiedName=solvedMethod.declaringType().getQualifiedName()+"."+solvedMethod.getName()+"(";
                for(int i = 0; i<solvedMethod.getParamTypes().size();i++){

                    if(solvedMethod.getParamTypes().size()>1 && i != 0){
                        qualifiedName = qualifiedName.concat(",");
                    }
                    String type = solvedMethod.getParamTypes().get(i).describe();
                    qualifiedName = qualifiedName.concat(type.substring(type.lastIndexOf(".")+1));
                }
                qualifiedName = qualifiedName.concat(")");

we should have a single method call.

Type of .class expression not supported

It seems like the type returned by SomeClass.class is not supported by now.

Avoid infinite recursion when a class is using its own method

I had this problem when trying to solve the method usage for p.ClassOrInterfaceBodyDeclaration(false) in :

@FunctionalInterface
public interface ParseStart<R> {
    ParseStart<CompilationUnit> COMPILATION_UNIT = ASTParser::CompilationUnit;
    ParseStart<BlockStmt> BLOCK = ASTParser::Block;
    ParseStart<Statement> STATEMENT = ASTParser::BlockStatement;
    ParseStart<ImportDeclaration> IMPORT_DECLARATION= ASTParser::ImportDeclaration;
    ParseStart<Expression> EXPRESSION = ASTParser::Expression;
    ParseStart<AnnotationExpr> ANNOTATION = ASTParser::Annotation;
    ParseStart<BodyDeclaration<?>> ANNOTATION_BODY = ASTParser::AnnotationBodyDeclaration;
    ParseStart<BodyDeclaration<?>> CLASS_BODY = p -> p.ClassOrInterfaceBodyDeclaration(false);
    ParseStart<BodyDeclaration<?>> INTERFACE_BODY = p -> p.ClassOrInterfaceBodyDeclaration(true);

    R parse(ASTParser parser) throws ParseException;
}

Build hangs on AnalyseJavaParserTest

Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.203 sec
Running me.tomassetti.symbolsolver.resolution.ContextTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.315 sec
Running me.tomassetti.symbolsolver.resolution.AnalyseJavaParserTest
(nothing happens anymore)

StackOverflowError when solving call on method return type

To reproduce override the following method of the VoidVisitorAdapter:

public void visit(final MethodCallExpr n, final Void v) {
    JavaParserFacade.get(new JreTypeSolver()).solveMethodAsUsage(n);
    super.visit(n, v);
}

Using this visitor try to parse the following code and visit the resulting compilation unit:

public class Bla {
    public JavaTest getSelf()
    {
        return this;
    }

    public void bar()
    {
    }

    void test()
    {
        getSelf().getSelf().bar();
    }
}

This results in an StackOverflowError with the following callstack (at least the top of it ;) ):

Exception in thread "main" java.lang.StackOverflowError
        at java.lang.AbstractStringBuilder.append(Unknown Source)
        at java.lang.StringBuilder.append(Unknown Source)
        at com.github.javaparser.ast.visitor.DumpVisitor$SourcePrinter.print(DumpVisitor.java:133)
        at com.github.javaparser.ast.visitor.DumpVisitor.printArguments(DumpVisitor.java:256)
        at com.github.javaparser.ast.visitor.DumpVisitor.visit(DumpVisitor.java:927)
        at com.github.javaparser.ast.expr.MethodCallExpr.accept(MethodCallExpr.java:73)
        at com.github.javaparser.ast.Node.toString(Node.java:229)
        at java.lang.String.valueOf(Unknown Source)
        at java.lang.StringBuilder.append(Unknown Source)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:218)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:184)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:184)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:220)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)

MethodAmbiguityException when solving method imported in SubClass and SuperClass

When solving this method in the context of the SubClass the list of methods handed to the MethodResolutionLogic contains the same method twice.

JavaParserFacade.solve(NameExpr) not working for Parameter of CatchClause

When using the JavaParserFacade to solve the NameExpr of a variable that has been defined as the parameter of a catch clause it does not seem to be resolved. When looking at the JavaParserFactory.getContext() I don't see something like a CatchClauseContext. Is that one missing at the moment? Or is this something that's intended?

Cached parsed source files in JavaParserTypeSolver

Hopefully we should not have loops here but anyway it could be a good idea to cache this given how expensive is to parse code.

Probably a ClassDeclaration is created wrapping a CtClass representing an interface

Exception in thread "main" java.lang.IllegalArgumentException: 
                            javassist.CtClassType@2d6a9952[changed public abstract interface class javax.persistence.EntityManagerFactory 
                            fields= 
                            constructors= 
                            methods=javassist.CtMethod@fa76482f[public abstract createEntityManager ()Ljavax/persistence/EntityManager;], 
                                    javassist.CtMethod@622ca8b8[public abstract createEntityManager (Ljava/util/Map;)Ljavax/persistence/EntityManager;], 
                                    javassist.CtMethod@33a644f9[public abstract close ()V], javassist.CtMethod@ebf0b295[public abstract isOpen ()Z], 
                                    ]
    at me.tomassetti.symbolsolver.javassistmodel.JavassistClassDeclaration.<init>(JavassistClassDeclaration.java:57)
    at me.tomassetti.symbolsolver.resolution.typesolvers.JarTypeSolver.tryToSolveType(JarTypeSolver.java:112)
    at me.tomassetti.symbolsolver.resolution.typesolvers.CombinedTypeSolver.tryToSolveType(CombinedTypeSolver.java:40)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.CompilationUnitContext.solveType(CompilationUnitContext.java:125)
    at me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserClassDeclaration.solveType(JavaParserClassDeclaration.java:333)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.ClassOrInterfaceDeclarationContext.solveType(ClassOrInterfaceDeclarationContext.java:113)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:436)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:428)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convert(JavaParserFacade.java:481)
    at me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserSymbolDeclaration.getType(JavaParserSymbolDeclaration.java:131)
    at me.tomassetti.symbolsolver.model.resolution.Value.from(Value.java:22)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext.solveWithAsValue(AbstractJavaParserContext.java:72)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.ClassOrInterfaceDeclarationContext.solveSymbolAsValue(ClassOrInterfaceDeclarationContext.java:77)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.ConstructorContext.solveSymbolAsValue(ConstructorContext.java:60)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.StatementContext.solveSymbolAsValue(StatementContext.java:66)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.StatementContext.solveSymbolAsValue(StatementContext.java:88)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveSymbolAsValue(MethodCallExprContext.java:197)
    at me.tomassetti.symbolsolver.resolution.SymbolSolver.solveSymbolAsValue(SymbolSolver.java:42)
    at me.tomassetti.symbolsolver.resolution.SymbolSolver.solveSymbolAsValue(SymbolSolver.java:47)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:211)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
    at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:153)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:494)
    at es.ujaen.Searcher$MethodCallVisitor.visit(Searcher.java:151)
    at com.github.javaparser.ast.expr.MethodCallExpr.accept(MethodCallExpr.java:73)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:152)
    at com.github.javaparser.ast.expr.AssignExpr.accept(AssignExpr.java:76)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:407)
    at com.github.javaparser.ast.stmt.ExpressionStmt.accept(ExpressionStmt.java:53)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:169)
    at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:297)
    at com.github.javaparser.ast.body.ConstructorDeclaration.accept(ConstructorDeclaration.java:95)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:231)
    at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:86)
    at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:260)
    at es.ujaen.Searcher.search(Searcher.java:70)
    at es.ujaen.Searcher.searchReferences(Searcher.java:35)
    at es.ujaen.Engine.run(Engine.java:23)
    at es.ujaen.Main.main(Main.java:16)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:497)
    at com.intellij.rt.execution.application.AppMain.main(AppMain.java:140)

Generic Type without type parameters throws IndexOutOfBoundException

Great library and It is really helping me in my project.
I encountered problem with no workaround as of now and I have a solution too. If time permits I will fix and raise a pull request but In case it takes time and you have a luxury of spending time to give a quick fix, I am listing the solution here.

Problem Description:
Target Code
Map m = new HashMap(); m.put("a", "b");

Parsing Code;
javaParserFacade.getType(n); //where n is a MethodCallExpr or m.put("a", "b");

Throws IndexOutOfBoundException at location ReflectionClassDeclaration#solveMethodAsUsage#158

TypeUsage newValue = typeParameterValues.get(i); where typeParameterValues is empty list.

Possible Fix

for (int i = 0; i < getTypeParameters().size(); i++) {
                    String nameToReplace = getTypeParameters().get(i).getName();
                    TypeUsage newValue = null;
                    if ( typeParameterValues.size() == getTypeParameters.size() ) {
                        newValue = typeParameterValues.get(i);
                    } else {
                        newValue = parameterTypes.get(i);
                    }
                    methodUsage = methodUsage.replaceNameParam(nameToReplace, newValue);
                }

GetAllFields missing

TypeDeclaration has some getAll... methods, but no way that I can see that gets me all fields, including those of ancestors. Can we get getAllFields?

IllegalStateException when using raw type instead of parameterized type

Consider the following code:

public class Test{
  class A <T> {
  }

  void foo() {
    A a = null;
    List<A<?>> l = null;
    l.add(a);
  }
}

Solving the call to l.add(a); throws an IllegalStateException because the method's expected parameter and the provided argument have a different amount of type arguments.

Responsibility of JavaParserXxxDeclaration vs XxxContext

On the one hand side the JavaParserClassDeclaration has a method solveMethod that just asks the respective context to solve the method.

On the other hand side the method solveType is implemented in the JavaParserClassDeclaration and the respective context (in this case it's the ClassOrInterfaceDeclarationContext) just calls this implementation so solve a type.

So for me it seems a little unclear who's responsible for solving symbols, methods and types. The JavaParserXxxDeclaration or the XxxContext?

Unable to solve method depending on type parameter of declaring type

To reproduce use the following code snippet:

  public class Base <T> {
    public void callee(T data) {
    }
  }

  public class Derived extends Base<String> {
    public void caller() {
      callee("test");
    }
  }

This code produces this exception:

java.lang.RuntimeException: Method 'callee' cannot be resolved in context callee("test") (line: 14) MethodCallExprContext{}

It seems like the MethodResolutionLogic does not regard the type parameters of the method's declaring type when testing if a method isApplicable.

Change the packages from me.tomassetti to com.github.javaparser

Unable to solve Type defined in base class

It seems like the symbol solver is unable to solve a type that has been defined in a class' base class. Please refer to the following code snippet for an example:

public class Foo {
    public class Base {
        public class X {
        }
    }

    public class Derived extends Base {
        public X x = null;
    }
}

When trying to solve the type of Derived.x an UnsolvedSymbolException{context='unknown', name='X', typeSolver=null} is thrown (callstack is at the end).

I think the me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserClassDeclaration.solveType(...) is missing to look into extended or implemented classes/interfaces.

And here the callstack (it's not very spectacular):

Exception in thread "Thread-0" UnsolvedSymbolException{context='unknown', name='X', typeSolver=null}
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:444)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convert(JavaParserFacade.java:487)

        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.convert(JavaParserFacade.java:483)

        at io.coati.JavaTypeNameResolver.getTypeName(JavaTypeNameResolver.java:48)
        ...

Symbol Solver without files

I want to create statistics about Java Source Files. I get them over network, so in the end i have an Inputstream containing valid Java (hopefully ;) ). I thought about first running JavaParser and then the symbol-solver to get the types of the variables and the methods being called. I know i don't get 100% accuracy, but i am not aiming for this. Speed is more important. Is this possible using this project? JavaParserTypeSolver only takes the file as an argument.
Thank you

Requesting clearInstances() method for JavaParserFacade

When using the Javaparser and JavaSymbolSolver to index source code the memory required by the instance(s) of the JavaParserFacade is continuously growing with every analyzed source file. Right now there seems to be no way of getting rid of JavaParserFacades that are not in use anymore.

Therefore I'd like to request adding a method to clear those instances.

UnsupportedOperationException when solving MethodCallExpr on super

I just wanted to report this exception:

In my code I have an ASTVisitor that overrides the public void visit(final MethodCallExpr n, final Void v). Inside this method I'm calling JavaParserFacade.get(typeSolver).solveMethodAsUsage(n);
When running the ASTVisitor on the following code

public class Bla {
    public class Superclass {
        public void foo() {
        }
    }

    public class Subclass extends Superclass {
        public void foo() {
            super.foo();
        }
    }
}

this call results in an UnsupportedOperationException. Here's the callstack:

Exception in thread "Thread-3" java.lang.UnsupportedOperationException: com.github.javaparser.ast.expr.SuperExpr
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:394)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)
        at me.tomassetti.symbolsolver.javaparsermodel.contexts.MethodCallExprContext.solveMethodAsUsage(MethodCallExprContext.java:156)
        at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.solveMethodAsUsage(JavaParserFacade.java:496)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:371)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:1)
        at com.github.javaparser.ast.expr.MethodCallExpr.accept(MethodCallExpr.java:73)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:399)
        at com.github.javaparser.ast.stmt.ExpressionStmt.accept(ExpressionStmt.java:53)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:170)
        at com.github.javaparser.ast.stmt.BlockStmt.accept(BlockStmt.java:58)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:562)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:216)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:1)
        at com.github.javaparser.ast.body.MethodDeclaration.accept(MethodDeclaration.java:111)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:223)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:135)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:1)
        at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:85)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:223)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:135)
        at io.coati.JavaAstVisitor.visit(JavaAstVisitor.java:1)
        at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:85)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:251)
        at com.github.javaparser.ast.CompilationUnit.accept(CompilationUnit.java:84)
        at io.coati.JavaIndexer.processFile(JavaIndexer.java:107)

However, solving a call to this.foo() works fine.

Add tests on resolving Method calls

We could test on all JavaParser codebase

Release a new version

Ok, @mlangkabel provided enough fixes that it makes sense to do a new release

Class name of TypeParameter

@ftomassetti: While you're in refactoring mode, I'd like to bring up a naming issue I've seen in the SymbolSolver codebase: Type parameters.

Sometimes they are calles TypeParameter, sometimes just parameter, sometimes TypeVariable and I'm not totally sure but maybe I've also seen some code calling them actual and formal parameters.
I think we should consistently stick to one path and call it TypeParameter and TypeArgument or call it FormalTypeParameter and ActualTypeParameter.

I've been working with Clang a lot over the last three years and they call it parameter and argument and I think the Javaparser also uses this convention. What do you think?

UnsupportedOperationException when solving an ArrayAccesExpr node with brackets

When I try to solve this kind of expression:
arrSQL[1]

This is what I get

java.lang.UnsupportedOperationException: com.github.javaparser.ast.expr.ArrayAccessExpr
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getTypeConcrete(JavaParserFacade.java:392)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:136)
    at me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade.getType(JavaParserFacade.java:130)

Do we have to guess the context where a symbol came from?

I've been looking through your example and JavaParserFacade.java. It looks like JavaParserFacade can only resolve types for the TypeSolver you pass to JavaParserFacade.get(). If that's the case, what's the point of JavaParserFacade storing multiple TypeSolvers? For example, if a class imported 3 other classes from different packages it seems I'd have to do this:

public void solveSymbolInClass()
{
    // Do some parsing, hit symbol s. Assume it's a descendent of Node and could possibly come from package1, package2, or package3
    // Make type solvers for the three packages
    JavaParserTypeSolver solverP1 = new JavaParser("src/package1/");
    JavaParserTypeSolver solverP2 = new JavaParser("src/package2/");
    JavaParserTypeSolver solverP3 = new JavaParser("src/package3");

    // Build a JavaParserFacade to find type for node s
    JavaParserFacade resolver = new JavaParserFacade(solverP1);
    resolver.get(solverP1).getType(s); // This may or may not get resolved
    resolver.get(solverP2).getType(s); // This may or may not get resolved
    resolver.get(solverP3).getType(s); // This may or may not get resolved
}

or this:

public void solveSymbolInClass()
{
    // Do some parsing, hit symbol s. Assume it's a descendent of Node and could possibly come from package1, package2, or package3
    // Make type solvers for the three packages
    JavaParserTypeSolver solverP1 = new JavaParser("src/package1/");
    JavaParserTypeSolver solverP2 = new JavaParser("src/package2/");
    JavaParserTypeSolver solverP3 = new JavaParser("src/package3");

    // Make a combined type solver for all 3 packages
    CombinedTypeSolver cts = new CombinedTypeSolver();
    cts.add(solverP1);
    cts.add(solverP2);
    cts.add(solverP3);

    // Build a JavaParserFacade to find type for node s
    JavaParserFacade resolver = new JavaParserFacade(cts);
    resolver.get(cts).getType(s);
}

Why is the get() function necessary?

Refers to classes in the default package does not work correctly

It should be not legal to access those classes from outside the default package but it should be legal to access them from inside the default package.

javaparser / javasymbolsolver Goto Github PK

javasymbolsolver's Introduction

JavaParser

Sponsors

Setup

How To Compile Sources

More information

JavaParser.org is the main information site or see the wiki page https://github.com/javaparser/javaparser/wiki.

License

javasymbolsolver's People

Contributors

Stargazers

Watchers

Forkers

javasymbolsolver's Issues

Recommend Projects

Recommend Topics

Recommend Org