aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java')
-rw-r--r--third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java110
1 files changed, 110 insertions, 0 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java
new file mode 100644
index 0000000000..3851126f44
--- /dev/null
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PackageNameNode.java
@@ -0,0 +1,110 @@
+package org.checkerframework.dataflow.cfg.node;
+
+/*>>>
+import org.checkerframework.checker.nullness.qual.Nullable;
+*/
+
+import org.checkerframework.dataflow.util.HashCodeUtils;
+
+import org.checkerframework.javacutil.InternalUtils;
+import org.checkerframework.javacutil.TreeUtils;
+
+import java.util.Collection;
+import java.util.Collections;
+
+import javax.lang.model.element.Element;
+
+import com.sun.source.tree.IdentifierTree;
+import com.sun.source.tree.MemberSelectTree;
+import com.sun.source.tree.Tree;
+
+/**
+ * A node representing a package name used in an expression such as a
+ * constructor invocation
+ *
+ * <p>
+ * <em>package</em>.class.object(...)
+ * <p>
+ * parent.<em>package</em>.class.object(...)
+ *
+ * @author Stefan Heule
+ * @author Charlie Garrett
+ *
+ */
+public class PackageNameNode extends Node {
+
+ protected final Tree tree;
+ /** The package named by this node */
+ protected final Element element;
+
+ /** The parent name, if any. */
+ protected final /*@Nullable*/ PackageNameNode parent;
+
+ public PackageNameNode(IdentifierTree tree) {
+ super(InternalUtils.typeOf(tree));
+ this.tree = tree;
+ this.element = TreeUtils.elementFromUse(tree);
+ this.parent = null;
+ }
+
+ public PackageNameNode(MemberSelectTree tree, PackageNameNode parent) {
+ super(InternalUtils.typeOf(tree));
+ this.tree = tree;
+ this.element = TreeUtils.elementFromUse(tree);
+ this.parent = parent;
+ }
+
+ public Element getElement() {
+ return element;
+ }
+
+ public PackageNameNode getParent() {
+ return parent;
+ }
+
+ @Override
+ public Tree getTree() {
+ return tree;
+ }
+
+ @Override
+ public <R, P> R accept(NodeVisitor<R, P> visitor, P p) {
+ return visitor.visitPackageName(this, p);
+ }
+
+ @Override
+ public String toString() {
+ return getElement().getSimpleName().toString();
+ }
+
+ @Override
+ public boolean equals(Object obj) {
+ if (obj == null || !(obj instanceof PackageNameNode)) {
+ return false;
+ }
+ PackageNameNode other = (PackageNameNode) obj;
+ if (getParent() == null) {
+ return other.getParent() == null
+ && getElement().equals(other.getElement());
+ } else {
+ return getParent().equals(other.getParent())
+ && getElement().equals(other.getElement());
+ }
+ }
+
+ @Override
+ public int hashCode() {
+ if (parent == null) {
+ return HashCodeUtils.hash(getElement());
+ }
+ return HashCodeUtils.hash(getElement(), getParent());
+ }
+
+ @Override
+ public Collection<Node> getOperands() {
+ if (parent == null) {
+ return Collections.emptyList();
+ }
+ return Collections.singleton((Node) parent);
+ }
+}