org.checkerframework.javacutil

Class Resolver

java.lang.Object

org.checkerframework.javacutil.Resolver

public class Resolver
extends Object

A Utility class to find symbols corresponding to string references.

Constructor Summary

Constructors

Constructor and Description
Resolver(ProcessingEnvironment env)

Method Summary

Modifier and Type	Method and Description
protected Object	buildMethodContext() Build an instance of Resolve$MethodResolutionContext.
Element	findClass(String name, TreePath path) Finds the class literal with name name.
VariableElement	findField(String name, TypeMirror type, TreePath path) Finds the field with name name in a given type.
VariableElement	findLocalVariableOrParameter(String name, TreePath path) Finds the local variable with name name in the given scope.
Element	findMethod(String methodName, TypeMirror receiverType, TreePath path, List<TypeMirror> argumentTypes) Finds the method element for a given name and list of expected parameter types.

Methods inherited from class java.lang.Object

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

Constructor Detail

Resolver

public Resolver(ProcessingEnvironment env)

Method Detail

findField

public VariableElement findField(String name,
                                 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.

findLocalVariableOrParameter

public VariableElement findLocalVariableOrParameter(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 Element findClass(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.

findMethod

public Element findMethod(String methodName,
                          TypeMirror receiverType,
                          TreePath path,
                          List<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 Object buildMethodContext()
                             throws ClassNotFoundException,
                                    InstantiationException,
                                    IllegalAccessException,
                                    InvocationTargetException,
                                    NoSuchFieldException

Build an instance of Resolve$MethodResolutionContext.

Throws:

ClassNotFoundException

InstantiationException

IllegalAccessException

InvocationTargetException

NoSuchFieldException