Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/actions/ActionInstrumentationUtilities.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/actions/ActionInstrumentationUtilities.java (revision 20556) |
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/actions/ActionInstrumentationUtilities.java (working copy) |
@@ -4,7 +4,6 @@ |
import com.google.dart.engine.element.Element; |
import com.google.dart.engine.utilities.instrumentation.InstrumentationBuilder; |
import com.google.dart.tools.core.model.DartElement; |
-import com.google.dart.tools.core.model.DartLibrary; |
import com.google.dart.tools.core.model.TypeMember; |
import java.util.List; |
@@ -122,15 +121,4 @@ |
} |
- public static void recordLibrary(DartLibrary library, InstrumentationBuilder instrumentation) { |
- |
- if (library == null) { |
- instrumentation.metric("Library", "null"); |
- return; |
- } |
- |
- instrumentation.data("Library-Name", library.getElementName()); |
- |
- } |
- |
} |