org.checkerframework.checker.index

Class IndexMethodIdentifier

java.lang.Object

org.checkerframework.checker.index.IndexMethodIdentifier

public class IndexMethodIdentifier
extends java.lang.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(javax.annotation.processing.ProcessingEnvironment processingEnv)

Method Summary

Modifier and Type	Method and Description
boolean	isMathMax(com.sun.source.tree.Tree methodTree, javax.annotation.processing.ProcessingEnvironment processingEnv)
boolean	isMathMin(com.sun.source.tree.Tree methodTree, javax.annotation.processing.ProcessingEnvironment processingEnv)
boolean	isMathRandom(com.sun.source.tree.Tree tree, javax.annotation.processing.ProcessingEnvironment processingEnv)
boolean	isRandomNextDouble(com.sun.source.tree.Tree tree, javax.annotation.processing.ProcessingEnvironment processingEnv)
boolean	isRandomNextInt(com.sun.source.tree.Tree tree, javax.annotation.processing.ProcessingEnvironment processingEnv)
boolean	isStringLength(com.sun.source.tree.Tree tree, javax.annotation.processing.ProcessingEnvironment processingEnv)
boolean	isStringLengthInvocation(Node node) Determines whether the dataflow node is an invocation of String.length()

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexMethodIdentifier

public IndexMethodIdentifier(javax.annotation.processing.ProcessingEnvironment processingEnv)

Method Detail

isMathMin

public boolean isMathMin(com.sun.source.tree.Tree methodTree,
                         javax.annotation.processing.ProcessingEnvironment processingEnv)

isMathMax

public boolean isMathMax(com.sun.source.tree.Tree methodTree,
                         javax.annotation.processing.ProcessingEnvironment processingEnv)

isMathRandom

public boolean isMathRandom(com.sun.source.tree.Tree tree,
                            javax.annotation.processing.ProcessingEnvironment processingEnv)

isRandomNextDouble

public boolean isRandomNextDouble(com.sun.source.tree.Tree tree,
                                  javax.annotation.processing.ProcessingEnvironment processingEnv)

isRandomNextInt

public boolean isRandomNextInt(com.sun.source.tree.Tree tree,
                               javax.annotation.processing.ProcessingEnvironment processingEnv)

isStringLength

public boolean isStringLength(com.sun.source.tree.Tree tree,
                              javax.annotation.processing.ProcessingEnvironment processingEnv)

isStringLengthInvocation

public boolean isStringLengthInvocation(Node node)

Determines whether the dataflow node is an invocation of String.length()