Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java |
index d213a397cbd2828e9dab0f210534677800957c49..447f141c37e9c071ea57ea5d806d3d4d3288054a 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java |
@@ -224,13 +224,6 @@ public class NodeFinder extends ASTVisitor<Void> { |
enclosingMethod = method; |
enclosingField = field; |
enclosingClass = classDef; |
-// // use current node only if it has more specific source range |
-// if (fCoveringNode == null || areParentChild(fCoveringNode, node) |
-// || fCoveringNode.getSourceInfo().getOffset() > nodeStart |
-// || fCoveringNode.getSourceInfo().getEnd() > nodeEnd) { |
-// } else { |
-// System.out.println("zzzzzzzz: " + node); |
-// } |
} |
if (fStart <= nodeStart && nodeEnd <= fEnd) { |
if (fCoveringNode == node) { |