Index: sdk/lib/developer/profiler.dart |
diff --git a/sdk/lib/developer/profiler.dart b/sdk/lib/developer/profiler.dart |
index 127a48ef1d1c32eeb2f135ec6e9656d1e677b2b4..8b3a2a25138add12ac7aa026994cc0d9b56b1208 100644 |
--- a/sdk/lib/developer/profiler.dart |
+++ b/sdk/lib/developer/profiler.dart |
@@ -32,6 +32,7 @@ external UserTag getCurrentTag(); |
abstract class Metric { |
/// [name] of this metric. |
final String name; |
+ |
/// [description] of this metric. |
final String description; |
@@ -39,7 +40,6 @@ abstract class Metric { |
if ((name == 'vm') || name.contains('/')) { |
throw new ArgumentError('Invalid Metric name.'); |
} |
- |
} |
Map _toJSON(); |
@@ -90,11 +90,9 @@ class Gauge extends Metric { |
} |
} |
- |
/// A changing value. Initial value is 0.0. |
class Counter extends Metric { |
- Counter(String name, String description) |
- : super(name, description); |
+ Counter(String name, String description) : super(name, description); |
double _value = 0.0; |
double get value => _value; |