diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/util/NodeUtils.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/util/NodeUtils.java | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/util/NodeUtils.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/util/NodeUtils.java deleted file mode 100644 index cf7a090024..0000000000 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/util/NodeUtils.java +++ /dev/null @@ -1,56 +0,0 @@ -package org.checkerframework.dataflow.util; - -import com.sun.source.tree.Tree; -import com.sun.tools.javac.code.Type; -import com.sun.tools.javac.tree.JCTree; -import javax.lang.model.type.TypeKind; -import org.checkerframework.dataflow.cfg.node.ConditionalOrNode; -import org.checkerframework.dataflow.cfg.node.FieldAccessNode; -import org.checkerframework.dataflow.cfg.node.Node; -import org.checkerframework.javacutil.TypesUtils; - -/** - * A utility class to operate on a given {@link Node}. - * - * @author Stefan Heule - */ -public class NodeUtils { - - /** - * @return true iff {@code node} corresponds to a boolean typed expression (either the primitive - * type {@code boolean}, or class type {@link java.lang.Boolean}) - */ - public static boolean isBooleanTypeNode(Node node) { - - if (node instanceof ConditionalOrNode) { - return true; - } - - // not all nodes have an associated tree, but those are all not of a - // boolean type. - Tree tree = node.getTree(); - if (tree == null) { - return false; - } - - Type type = ((JCTree) tree).type; - if (TypesUtils.isBooleanType(type)) { - return true; - } - - return false; - } - - /** - * @return true iff {@code node} is a {@link FieldAccessNode} that is an access to an array's - * length - */ - public static boolean isArrayLengthFieldAccess(Node node) { - if (!(node instanceof FieldAccessNode)) { - return false; - } - FieldAccessNode fieldAccess = (FieldAccessNode) node; - return fieldAccess.getFieldName().equals("length") - && fieldAccess.getReceiver().getType().getKind() == TypeKind.ARRAY; - } -} |