org.checkerframework.checker.index

Class IndexMethodIdentifier

java.lang.Object

org.checkerframework.checker.index.IndexMethodIdentifier

public class IndexMethodIdentifier
extends Object

This class stores information about interesting methods and allows its clients to query it to determine if a method belongs to a particular class.

Constructor Summary

Constructors

Constructor and Description
IndexMethodIdentifier(AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
boolean	isLengthOfMethodInvocation(ExecutableElement ele) Returns true if tree evaluates to the length of "this".
boolean	isLengthOfMethodInvocation(Node node)
boolean	isLengthOfMethodInvocation(Tree tree)
boolean	isMathMax(Tree methodTree) Returns true iff the argument is an invocation of Math.max.
boolean	isMathMin(Tree methodTree) Returns true iff the argument is an invocation of Math.min.
boolean	isMathRandom(Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Math.random().
boolean	isRandomNextDouble(Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Random.nextDouble().
boolean	isRandomNextInt(Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Random.nextInt().

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexMethodIdentifier

public IndexMethodIdentifier(AnnotatedTypeFactory factory)

Method Detail

isMathMin

public boolean isMathMin(Tree methodTree)

Returns true iff the argument is an invocation of Math.min.

isMathMax

public boolean isMathMax(Tree methodTree)

Returns true iff the argument is an invocation of Math.max.

isMathRandom

public boolean isMathRandom(Tree tree,
                            ProcessingEnvironment processingEnv)

Returns true iff the argument is an invocation of Math.random().

isRandomNextDouble

public boolean isRandomNextDouble(Tree tree,
                                  ProcessingEnvironment processingEnv)

Returns true iff the argument is an invocation of Random.nextDouble().

isRandomNextInt

public boolean isRandomNextInt(Tree tree,
                               ProcessingEnvironment processingEnv)

Returns true iff the argument is an invocation of Random.nextInt().

isLengthOfMethodInvocation

public boolean isLengthOfMethodInvocation(Tree tree)

Returns:

whether or not tree is an invocation of a method that returns the length of "this"

isLengthOfMethodInvocation

public boolean isLengthOfMethodInvocation(ExecutableElement ele)

Returns true if tree evaluates to the length of "this". This might be a call to String,length, or a method annotated with @LengthOf.

Returns:

true if tree evaluates to the length of "this"

isLengthOfMethodInvocation

public boolean isLengthOfMethodInvocation(Node node)

Returns:

whether or not tree is an invocation of a method that returns the length of "this"