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(ProcessingEnvironment processingEnv)

Method Summary

Modifier and Type	Method and Description
boolean	isMathMax(Tree methodTree, ProcessingEnvironment processingEnv)
boolean	isMathMin(Tree methodTree, ProcessingEnvironment processingEnv)
boolean	isMathRandom(Tree tree, ProcessingEnvironment processingEnv)
boolean	isRandomNextDouble(Tree tree, ProcessingEnvironment processingEnv)

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexMethodIdentifier

public IndexMethodIdentifier(ProcessingEnvironment processingEnv)

Method Detail

isMathMin

public boolean isMathMin(Tree methodTree,
                         ProcessingEnvironment processingEnv)

isMathMax

public boolean isMathMax(Tree methodTree,
                         ProcessingEnvironment processingEnv)

isMathRandom

public boolean isMathRandom(Tree tree,
                            ProcessingEnvironment processingEnv)

isRandomNextDouble

public boolean isRandomNextDouble(Tree tree,
                                  ProcessingEnvironment processingEnv)