Jak uzyskać typ wyrażenie w MemberSelectTree z wtyczki javac?

Question

Próbuję napisać procesor adnotacji w formacie JSR 269, który używa API drzewa kompilatora javac do wykonania analizy kodu źródłowego. Interesują mnie wyrażenia wyboru członków, takie jak wywołania metod.

Mogę łatwo uzyskać nazwę wybranej metody (lub pola itp.). Ale chcę wiedzieć, z jakiego typu wybierany jest członek, i nie mogę znaleźć prostego sposobu na zrobienie tego. Trees.getTypeMirror zwraca null za wszystko, co próbuję wywołać (i Javadoc nie daje żadnych wskazówek).

Przypuszczam Mógłbym wyczerpująco analizować każdy rodzaj ekspresji po lewej stronie elementu wybrać i określić statyczny typ ekspresji poprzez analizę rekurencyjnego: NewClassTree, TypeCastTree, MethodInvocationTree, ArrayAccessTree i wiele innych. Ale wydaje się, że jest to dużo pracy podatnej na błędy i wyraźnie javac zna już statyczny typ wyrażenia, ponieważ potrzebuje tych informacji do wielu celów. Ale jak uzyskać dostęp do informacji tego typu?

Co mam tak daleko:

import com.sun.source.tree.MemberSelectTree; 
import com.sun.source.tree.MethodInvocationTree; 
import com.sun.source.util.TreePath; 
import com.sun.source.util.TreePathScanner; 
import com.sun.source.util.Trees; 
import java.util.Set; 
import javax.annotation.processing.AbstractProcessor; 
import javax.annotation.processing.RoundEnvironment; 
import javax.annotation.processing.SupportedAnnotationTypes; 
import javax.annotation.processing.SupportedSourceVersion; 
import javax.lang.model.SourceVersion; 
import javax.lang.model.element.Element; 
import javax.lang.model.element.TypeElement; 
@SupportedAnnotationTypes("*") 
@SupportedSourceVersion(SourceVersion.RELEASE_6) 
public class PublicProcessor extends AbstractProcessor { 
    public @Override boolean process(Set<? extends TypeElement> annotations, RoundEnvironment roundEnv) { 
     for (Element e : roundEnv.getRootElements()) { 
      final Trees trees = Trees.instance(processingEnv); 
      final TreePath root = trees.getPath(e); 
      new TreePathScanner<Void,Void>() { 
       public @Override Void visitMethodInvocation(MethodInvocationTree node, Void p) { 
        System.err.println("visiting method invocation: " + node + " of kind: " + node.getMethodSelect().getKind()); 
        TreePath expr = TreePath.getPath(root, node); 
        System.err.println(" of type: " + trees.getTypeMirror(expr)); 
        return super.visitMethodInvocation(node, p); 
       } 
       public @Override Void visitMemberSelect(MemberSelectTree node, Void p) { 
        System.err.println("accessing member: " + node.getIdentifier()); 
        System.err.println(" from: " + getCurrentPath().getCompilationUnit().getSourceFile().toUri()); 
        TreePath expr = TreePath.getPath(root, node.getExpression()); 
        System.err.println(" in expr: " + expr.getLeaf()); 
        System.err.println(" of type: " + trees.getTypeMirror(expr)); 
        return super.visitMemberSelect(node, p); 
       } 
      }.scan(root, null); 
     } 
     return true; 
    } 
} 

i co ona drukuje podczas uruchomienia na jakiś prosty sposób kod nawiązywania połączeń:

visiting method invocation: new Class().method() of kind: MEMBER_SELECT 
    of type: null 
accessing member: method 
    from: .../Whatever.java 
    in expr: new Class() 
    of type: null 

Answer 1

Discover the class of a methodinvocation in the Annotation Processor for java

wydaje się być zajęcie bardzo podobny pytanie, więc spróbuję skorzystać z udzielonej tam porady. Niestety nie wygląda to prosto, a użycie pakietu com.sun.tools.javac wydaje się być wymagane.