package org.checkerframework.dataflow.cfg.node; import java.util.Collection; import java.util.Collections; import org.checkerframework.dataflow.util.HashCodeUtils; import org.checkerframework.javacutil.InternalUtils; import com.sun.source.tree.Tree; import com.sun.source.tree.Tree.Kind; /** * A node for the unary 'nullchk' operation (generated by the Java compiler): * *
* <*nullchk*>expression ** * @author Stefan Heule * @author Charlie Garrett */ public class NullChkNode extends Node { protected Tree tree; protected Node operand; public NullChkNode(Tree tree, Node operand) { super(InternalUtils.typeOf(tree)); assert tree.getKind() == Kind.OTHER; this.tree = tree; this.operand = operand; } public Node getOperand() { return operand; } @Override public Tree getTree() { return tree; } @Override public