Examples with ConditionalOrNode org.checkerframework.dataflow.cfg.node.ConditionalOrNode used on opensource projects

Example 1 with ConditionalOrNode

use of org.checkerframework.dataflow.cfg.node.ConditionalOrNode in project bazel by bazelbuild.

the class NodeUtils method isBooleanTypeNode.

/**
     * @return true iff <code>node</code> corresponds to a boolean typed
     *         expression (either the primitive type <code>boolean</code>, 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;
}