org.checkerframework.framework.util

Class Resolver2

java.lang.Object

org.checkerframework.framework.util.Resolver2

public class Resolver2
extends Object

A Utility class to find symbols corresponding to string references TODO: This class is only supposed to be used temporarily until a good solution for the MapGetHeuristic is found.

Constructor Summary

Constructors

Constructor and Description
Resolver2(ProcessingEnvironment env)

Method Summary

Modifier and Type	Method and Description
Element	findVariable(String reference, TreePath path) Finds the variable referenced in the passed String.

Methods inherited from class java.lang.Object

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

Constructor Detail

Resolver2

public Resolver2(ProcessingEnvironment env)

Method Detail

findVariable

public Element findVariable(String reference,
                            TreePath path)

Finds the variable referenced in the passed String. This method may only operate on variable references, e.g. local variables, parameters, fields. The reference string may be either an single Java identifier (e.g. "field") or dot-separated identifiers (e.g. "Collections.EMPTY_LIST"). The method adheres to all the rules of Java's scoping (while also considering the imports) for name resolution.

Parameters:

reference - the variable reference string

path - the tree path to the local scope

Returns:

the variable reference