diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java | 36 |
1 files changed, 5 insertions, 31 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java index 3d19b278a7..21b5b584d2 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java @@ -1,14 +1,8 @@ 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; +import com.sun.source.tree.UnaryTree; +import org.checkerframework.dataflow.util.HashCodeUtils; /** * A node for the unary plus operation: @@ -19,27 +13,12 @@ import com.sun.source.tree.Tree.Kind; * * @author Stefan Heule * @author Charlie Garrett - * */ -public class NumericalPlusNode extends Node { +public class NumericalPlusNode extends UnaryOperationNode { - protected Tree tree; - protected Node operand; - - public NumericalPlusNode(Tree tree, Node operand) { - super(InternalUtils.typeOf(tree)); + public NumericalPlusNode(UnaryTree tree, Node operand) { + super(tree, operand); assert tree.getKind() == Kind.UNARY_PLUS; - this.tree = tree; - this.operand = operand; - } - - public Node getOperand() { - return operand; - } - - @Override - public Tree getTree() { - return tree; } @Override @@ -65,9 +44,4 @@ public class NumericalPlusNode extends Node { public int hashCode() { return HashCodeUtils.hash(getOperand()); } - - @Override - public Collection<Node> getOperands() { - return Collections.singletonList(getOperand()); - } } |