org.checkerframework.javacutil

Class Resolver

java.lang.Object

org.checkerframework.javacutil.Resolver

public class Resolver
extends java.lang.Object

A Utility class to find symbols corresponding to string references.

Constructor Summary

Constructors

Constructor and Description
Resolver(javax.annotation.processing.ProcessingEnvironment env)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Object	buildMethodContext() Build an instance of Resolve$MethodResolutionContext.
javax.lang.model.element.Element	findClass(java.lang.String name, TreePath path) Finds the class literal with name name.
com.sun.tools.javac.code.Symbol.ClassSymbol	findClassInPackage(java.lang.String name, com.sun.tools.javac.code.Symbol.PackageSymbol pck, TreePath path) Finds the class with name name in a given package.
javax.lang.model.element.VariableElement	findField(java.lang.String name, javax.lang.model.type.TypeMirror type, TreePath path) Finds the field with name name in a given type.
javax.lang.model.element.VariableElement	findLocalVariableOrParameterOrField(java.lang.String name, TreePath path) Finds the local variable with name name in the given scope.
javax.lang.model.element.Element	findMethod(java.lang.String methodName, javax.lang.model.type.TypeMirror receiverType, TreePath path, java.util.List<javax.lang.model.type.TypeMirror> argumentTypes) Finds the method element for a given name and list of expected parameter types.
com.sun.tools.javac.code.Symbol.PackageSymbol	findPackage(java.lang.String name, TreePath path) Finds the package with name name.
com.sun.tools.javac.comp.Env<com.sun.tools.javac.comp.AttrContext>	getEnvForPath(TreePath path) Determine the environment for the given path.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Resolver

public Resolver(javax.annotation.processing.ProcessingEnvironment env)

Method Detail

getEnvForPath

public com.sun.tools.javac.comp.Env<com.sun.tools.javac.comp.AttrContext> getEnvForPath(TreePath path)

Determine the environment for the given path.

Parameters:

path - the tree path to the local scope

Returns:

the corresponding attribution environment

findPackage

public com.sun.tools.javac.code.Symbol.PackageSymbol findPackage(java.lang.String name,
                                                                 TreePath path)

Finds the package with name name.

Parameters:

name - the name of the package

path - the tree path to the local scope

Returns:

the PackageSymbol for the package if it is found, null otherwise

findField

public javax.lang.model.element.VariableElement findField(java.lang.String name,
                                                          javax.lang.model.type.TypeMirror type,
                                                          TreePath path)

Finds the field with name name in a given type.

The method adheres to all the rules of Java's scoping (while also considering the imports) for name resolution.

Parameters:

name - the name of the field

type - the type of the receiver (i.e., the type in which to look for the field).

path - the tree path to the local scope

Returns:

the element for the field

findLocalVariableOrParameterOrField

public javax.lang.model.element.VariableElement findLocalVariableOrParameterOrField(java.lang.String name,
                                                                                    TreePath path)

Finds the local variable with name name in the given scope.

Parameters:

name - the name of the local variable

path - the tree path to the local scope

Returns:

the element for the local variable

findClass

public javax.lang.model.element.Element findClass(java.lang.String name,
                                                  TreePath path)

Finds the class literal with name name.

The method adheres to all the rules of Java's scoping (while also considering the imports) for name resolution.

Parameters:

name - the name of the class

path - the tree path to the local scope

Returns:

the element for the class

findClassInPackage

public com.sun.tools.javac.code.Symbol.ClassSymbol findClassInPackage(java.lang.String name,
                                                                      com.sun.tools.javac.code.Symbol.PackageSymbol pck,
                                                                      TreePath path)

Finds the class with name name in a given package.

Parameters:

name - the name of the class

pck - the PackageSymbol for the package

path - the tree path to the local scope

Returns:

the ClassSymbol for the class if it is found, null otherwise

findMethod

public javax.lang.model.element.Element findMethod(java.lang.String methodName,
                                                   javax.lang.model.type.TypeMirror receiverType,
                                                   TreePath path,
                                                   java.util.List<javax.lang.model.type.TypeMirror> argumentTypes)

Finds the method element for a given name and list of expected parameter types.

The method adheres to all the rules of Java's scoping (while also considering the imports) for name resolution.

Parameters:

methodName - name of the method to find

receiverType - type of the receiver of the method

path - tree path

Returns:

the method element (if found)

buildMethodContext

protected java.lang.Object buildMethodContext()
                                       throws java.lang.ClassNotFoundException,
                                              java.lang.InstantiationException,
                                              java.lang.IllegalAccessException,
                                              java.lang.reflect.InvocationTargetException,
                                              java.lang.NoSuchFieldException

Build an instance of Resolve$MethodResolutionContext.

Throws:

java.lang.ClassNotFoundException

java.lang.InstantiationException

java.lang.IllegalAccessException

java.lang.reflect.InvocationTargetException

java.lang.NoSuchFieldException