org.checkerframework.dataflow.util

Class NodeUtils

java.lang.Object

org.checkerframework.dataflow.util.NodeUtils

public class NodeUtils
extends Object

A utility class to operate on a given Node.

Constructor Summary

Constructors

Constructor and Description
NodeUtils()

Method Summary

Modifier and Type	Method and Description
static boolean	isArrayLengthFieldAccess(Node node)
static boolean	isBooleanTypeNode(Node node)
static boolean	isMethodInvocation(Node node, ExecutableElement method, ProcessingEnvironment env) Returns true iff node is an invocation of the given method.

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeUtils

public NodeUtils()

Method Detail

isBooleanTypeNode

public static boolean isBooleanTypeNode(Node node)

Returns:

true iff node corresponds to a boolean typed expression (either the primitive type boolean, or class type Boolean)

isArrayLengthFieldAccess

public static boolean isArrayLengthFieldAccess(Node node)

Returns:

true iff node is a FieldAccessNode that is an access to an array's length

isMethodInvocation

public static boolean isMethodInvocation(Node node,
                                         ExecutableElement method,
                                         ProcessingEnvironment env)

Returns true iff node is an invocation of the given method.