diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/UnaryOperationNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/UnaryOperationNode.java | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/UnaryOperationNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/UnaryOperationNode.java deleted file mode 100644 index cb33e6a3f1..0000000000 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/UnaryOperationNode.java +++ /dev/null @@ -1,45 +0,0 @@ -package org.checkerframework.dataflow.cfg.node; - -import com.sun.source.tree.UnaryTree; -import java.util.Collection; -import java.util.Collections; -import org.checkerframework.javacutil.InternalUtils; - -/** - * A node for a postfix or an unary expression. - * - * <p>For example: - * - * <pre> - * <em>operator</em> <em>expressionNode</em> - * - * <em>expressionNode</em> <em>operator</em> - * </pre> - * - * @author charleszhuochen - */ -public abstract class UnaryOperationNode extends Node { - - protected final UnaryTree tree; - protected final Node operand; - - public UnaryOperationNode(UnaryTree tree, Node operand) { - super(InternalUtils.typeOf(tree)); - this.tree = tree; - this.operand = operand; - } - - public Node getOperand() { - return this.operand; - } - - @Override - public UnaryTree getTree() { - return tree; - } - - @Override - public Collection<Node> getOperands() { - return Collections.singletonList(getOperand()); - } -} |