Class IndexMethodIdentifier
java.lang.Object
org.checkerframework.checker.index.IndexMethodIdentifier
Given a Tree or other construct, this class has methods to query whether it is a particular
method call.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
isIndexOfString
(com.sun.source.tree.Tree methodTree) Returns true iff the argument is an invocation of String#indexOf or String#lastIndexOf that takes a string parameter.boolean
isLengthOfMethodInvocation
(com.sun.source.tree.Tree tree) Returns true iftree
is an invocation of a method that returns the length of "this"boolean
Returns true iftree
evaluates to the length of "this".boolean
Returns true ifnode
is an invocation of a method that returns the length ofthis
boolean
isMathMax
(com.sun.source.tree.Tree methodTree) Returns true iff the argument is an invocation of Math.max.boolean
isMathMin
(com.sun.source.tree.Tree methodTree) Returns true iff the argument is an invocation of Math.min.boolean
isMathRandom
(com.sun.source.tree.Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Math.random().boolean
isRandomNextDouble
(com.sun.source.tree.Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Random.nextDouble().boolean
isRandomNextInt
(com.sun.source.tree.Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Random.nextInt().
-
Constructor Details
-
IndexMethodIdentifier
-
-
Method Details
-
isIndexOfString
public boolean isIndexOfString(com.sun.source.tree.Tree methodTree) Returns true iff the argument is an invocation of String#indexOf or String#lastIndexOf that takes a string parameter.- Parameters:
methodTree
- the method invocation tree to be tested- Returns:
- true iff the argument is an invocation of one of String's indexOf or lastIndexOf methods that takes another string as a parameter.
-
isMathMin
public boolean isMathMin(com.sun.source.tree.Tree methodTree) Returns true iff the argument is an invocation of Math.min.- Parameters:
methodTree
- the method invocation tree to be tested- Returns:
- true iff the argument is an invocation of Math.min()
-
isMathMax
public boolean isMathMax(com.sun.source.tree.Tree methodTree) Returns true iff the argument is an invocation of Math.max. -
isMathRandom
Returns true iff the argument is an invocation of Math.random(). -
isRandomNextDouble
public boolean isRandomNextDouble(com.sun.source.tree.Tree tree, ProcessingEnvironment processingEnv) Returns true iff the argument is an invocation of Random.nextDouble(). -
isRandomNextInt
Returns true iff the argument is an invocation of Random.nextInt(). -
isLengthOfMethodInvocation
public boolean isLengthOfMethodInvocation(com.sun.source.tree.Tree tree) Returns true iftree
is an invocation of a method that returns the length of "this"- Parameters:
tree
- a tree- Returns:
- true if
tree
is an invocation of a method that returns the length ofthis
-
isLengthOfMethodInvocation
Returns true iftree
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
Returns true ifnode
is an invocation of a method that returns the length ofthis
- Parameters:
node
- a node- Returns:
- true if
node
is an invocation of a method that returns the length ofthis
-