Index: editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/utils/Node.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/utils/Node.java b/editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/utils/Node.java |
index 5762f1adda42494ddf60d06ba8b9e0d404cbf69a..2adff0f32875343fa1c821adf8e7e171f33f6d56 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/utils/Node.java |
+++ b/editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/utils/Node.java |
@@ -41,21 +41,6 @@ public abstract class Node { |
children.add(child); |
} |
- @Override |
- public boolean equals(Object obj) { |
- if (obj == null) { |
- return false; |
- } |
- |
- if (this.getClass().isAssignableFrom(obj.getClass())) { |
- Node other = (Node) obj; |
- |
- return safeEquals(getId(), other.getId()); |
- } else { |
- return false; |
- } |
- } |
- |
public List<Node> getChildren() { |
return children; |
} |
@@ -64,14 +49,6 @@ public abstract class Node { |
return endToken; |
} |
- public String getId() { |
- if (parent == null) { |
- return label; |
- } else { |
- return parent.getId() + "." + label; |
- } |
- } |
- |
public String getLabel() { |
return label; |
} |
@@ -84,11 +61,6 @@ public abstract class Node { |
return startToken; |
} |
- @Override |
- public int hashCode() { |
- return getId().hashCode(); |
- } |
- |
public void setEnd(Token t) { |
this.endToken = t; |
} |
@@ -106,16 +78,4 @@ public abstract class Node { |
return getLabel(); |
} |
- private boolean safeEquals(String id, String id2) { |
- if (id == id2) { |
- return true; |
- } |
- |
- if (id == null) { |
- return false; |
- } |
- |
- return id.equals(id2); |
- } |
- |
} |