org.checkerframework.common.value

Class ReflectiveEvaluator

java.lang.Object

org.checkerframework.common.value.ReflectiveEvaluator

public class ReflectiveEvaluator
extends Object

Evaluates expressions (such as method calls and field accesses) at compile time, to determine whether they have compile-time constant values.

Constructor Summary

Constructors

Constructor and Description
ReflectiveEvaluator(BaseTypeChecker checker, ValueAnnotatedTypeFactory factory, boolean reportWarnings)

Method Summary

Modifier and Type	Method and Description
List<?>	evaluateMethodCall(List<List<?>> allArgValues, List<?> receiverValues, MethodInvocationTree tree)
Object	evaluateStaticFieldAccess(@ClassGetName String classname, String fieldName, MemberSelectTree tree) Return the value of a static field access.
List<?>	evaluteConstructorCall(ArrayList<List<?>> argValues, NewClassTree tree, TypeMirror typeToCreate)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReflectiveEvaluator

public ReflectiveEvaluator(BaseTypeChecker checker,
                           ValueAnnotatedTypeFactory factory,
                           boolean reportWarnings)

Method Detail

evaluateMethodCall

public List<?> evaluateMethodCall(List<List<?>> allArgValues,
                                  List<?> receiverValues,
                                  MethodInvocationTree tree)

Parameters:

allArgValues - a list of list where the first list corresponds to all possible values for the first argument. Pass null to indicate that the method has no arguments.

receiverValues - a list of possible receiver values. null indicates that the method has no receiver.

tree - location to report any errors

Returns:

all possible values that the method may return, or null if the method could not be evaluated

evaluateStaticFieldAccess

public Object evaluateStaticFieldAccess(@ClassGetName String classname,
                                        String fieldName,
                                        MemberSelectTree tree)

Return the value of a static field access. Return null if there is trouble.

Parameters:

classname - the class containing the field

fieldName - the name of the field

tree - the static field access in the program; used for diagnostics

Returns:

the value of the static field access, or null if it cannot be determined

evaluteConstructorCall

public List<?> evaluteConstructorCall(ArrayList<List<?>> argValues,
                                      NewClassTree tree,
                                      TypeMirror typeToCreate)