diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java | 90 |
1 files changed, 0 insertions, 90 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java deleted file mode 100644 index a0ddbaf10c..0000000000 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java +++ /dev/null @@ -1,90 +0,0 @@ -package org.checkerframework.dataflow.cfg.node; - -import com.sun.source.tree.LambdaExpressionTree; -import com.sun.source.tree.MemberReferenceTree; -import com.sun.source.tree.Tree; -import java.util.Collection; -import java.util.LinkedList; -import org.checkerframework.javacutil.ErrorReporter; -import org.checkerframework.javacutil.InternalUtils; - -/** - * A node for member references and lambdas. - * - * <p>The {@link Node#type} of a FunctionalInterfaceNode is determined by the assignment context the - * member reference or lambda is used in. - * - * <pre> - * <em>FunctionalInterface func = param1, param2, ... → statement</em> - * </pre> - * - * <pre> - * <em>FunctionalInterface func = param1, param2, ... → { ... }</em> - * </pre> - * - * <pre> - * <em>FunctionalInterface func = member reference</em> - * </pre> - * - * @author David - */ -public class FunctionalInterfaceNode extends Node { - - protected Tree tree; - - public FunctionalInterfaceNode(MemberReferenceTree tree) { - super(InternalUtils.typeOf(tree)); - this.tree = tree; - } - - public FunctionalInterfaceNode(LambdaExpressionTree tree) { - super(InternalUtils.typeOf(tree)); - this.tree = tree; - } - - @Override - public Tree getTree() { - return tree; - } - - @Override - public <R, P> R accept(NodeVisitor<R, P> visitor, P p) { - return visitor.visitMemberReference(this, p); - } - - @Override - public String toString() { - if (tree instanceof LambdaExpressionTree) { - return "FunctionalInterfaceNode:" + ((LambdaExpressionTree) tree).getBodyKind(); - } else if (tree instanceof MemberReferenceTree) { - return "FunctionalInterfaceNode:" + ((MemberReferenceTree) tree).getName(); - } else { - // This should never happen. - ErrorReporter.errorAbort("Invalid tree in FunctionalInterfaceNode"); - return null; // Dead code - } - } - - @Override - public boolean equals(Object o) { - if (this == o) return true; - if (o == null || getClass() != o.getClass()) return false; - - FunctionalInterfaceNode that = (FunctionalInterfaceNode) o; - - if (tree != null ? !tree.equals(that.tree) : that.tree != null) return false; - - return true; - } - - @Override - public int hashCode() { - return tree != null ? tree.hashCode() : 0; - } - - @Override - public Collection<Node> getOperands() { - LinkedList<Node> list = new LinkedList<Node>(); - return list; - } -} |