org.checkerframework.common.value

Class ReflectiveEvaluator

java.lang.Object

org.checkerframework.common.value.ReflectiveEvaluator

public class ReflectiveEvaluator
extends Object

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(String classname, String fieldName, MemberSelectTree tree)
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(String classname,
                                        String fieldName,
                                        MemberSelectTree tree)

evaluteConstructorCall

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