org.checkerframework.dataflow.util

Class NodeUtils

java.lang.Object

org.checkerframework.dataflow.util.NodeUtils

public class NodeUtils
extends java.lang.Object

A utility class to operate on a given Node.

Author:

Stefan Heule

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)

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