Add measurements and send-metrics to dart2js's info.

lib/src/util.dart

-library compiler.tool.util;
+// Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+library dart2js_info.src.util;
 
 import 'package:dart2js_info/info.dart';
 import 'graph.dart';
 
 /// Computes a graph of dependencies from [info].
 Graph<Info> graphFromInfo(AllInfo info) {
   print('  info: dependency graph information is work in progress and'
       ' might be incomplete');
   // Note: we are combining dependency information that is computed in two ways
   // (functionInfo.uses vs allInfo.dependencies).
@@ skipping 54 matching lines @@
   return sb.toString();
 }
 
 /// Produce a string containing [value] padded with white space up to [n] chars.
 pad(value, n, {bool right: false}) {
   var s = '$value';
   if (s.length >= n) return s;
   var pad = ' ' * (n - s.length);
   return right ? '$s$pad' : '$pad$s';
 }
+
+/// Color-highighted string used mainly to debug invariants.

[Johnni Winther, 2015/10/02 10:09:49]

highighted -> highlighted

[Siggi Cherem (dart-lang), 2015/10/02 17:16:17]

Done.

+String recursiveDiagnosticString(Measurements measurements, Metric metric) {
+  var sb = new StringBuffer();
+  helper(Metric m) {
+    int value = measurements.counters[m];
+    if (value == null) value = 0;
+    if (m is! GroupedMetric) {
+      sb.write(value);
+      sb.write(' ${m.name}');
+      return;
+    }
+    GroupedMetric group = m;
+
+    int expected = 0;
+    for (var sub in group.submetrics) {
+      var n = measurements.counters[sub];
+      if (n != null) expected += n;
+    }
+    if (value == expected) {
+      sb.write('');
+      sb.write(value);
+    } else {
+      sb.write('');
+      sb.write(value);
+      sb.write('[');
+      sb.write(expected);
+    sb.write(']');

[Johnni Winther, 2015/10/02 10:09:49]

indentation

[Siggi Cherem (dart-lang), 2015/10/02 17:16:17]

Done.

+    }
+    sb.write('');
+    sb.write(' ${group.name}');
+
+    bool first = true;
+    sb.write('(');
+    for (var sub in group.submetrics) {
+      if (first) {
+        first = false;
+      } else {
+        sb.write(' + ');
+      }
+      helper(sub);
+    }
+    sb.write(')');
+  }
+  helper(metric);
+  return sb.toString();
+}