| 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);
|
| - }
|
| -
|
| }
|
|
|