org.checkerframework.common.value

Class ReflectiveEvaluator

java.lang.Object

org.checkerframework.common.value.ReflectiveEvaluator

public class ReflectiveEvaluator
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.List<?>	evaluateMethodCall(java.util.List<java.util.List<?>> allArgValues, java.util.List<?> receiverValues, com.sun.source.tree.MethodInvocationTree tree)
java.lang.Object	evaluateStaticFieldAccess(java.lang.String classname, java.lang.String fieldName, com.sun.source.tree.MemberSelectTree tree)
java.util.List<?>	evaluteConstructorCall(java.util.ArrayList<java.util.List<?>> argValues, com.sun.source.tree.NewClassTree tree, javax.lang.model.type.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 java.util.List<?> evaluateMethodCall(java.util.List<java.util.List<?>> allArgValues,
                                            java.util.List<?> receiverValues,
                                            com.sun.source.tree.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 java.lang.Object evaluateStaticFieldAccess(java.lang.String classname,
                                                  java.lang.String fieldName,
                                                  com.sun.source.tree.MemberSelectTree tree)

evaluteConstructorCall

public java.util.List<?> evaluteConstructorCall(java.util.ArrayList<java.util.List<?>> argValues,
                                                com.sun.source.tree.NewClassTree tree,
                                                javax.lang.model.type.TypeMirror typeToCreate)