org.checkerframework.common.value

Class ReflectiveEvalutator

java.lang.Object

org.checkerframework.common.value.ReflectiveEvalutator

public class ReflectiveEvalutator
extends Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Object	evaluateStaticFieldAccess(String classname, String fieldName, MemberSelectTree tree)
List<?>	evaluteConstrutorCall(ArrayList<List<?>> argValues, NewClassTree tree, TypeMirror typeToCreate)
List<?>	evaluteMethodCall(List<List<?>> allArgValues, List<?> receiverValues, MethodInvocationTree tree)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReflectiveEvalutator

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

Method Detail

evaluteMethodCall

public List<?> evaluteMethodCall(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

evaluateStaticFieldAccess

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

evaluteConstrutorCall

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