| OLD | NEW | 
|---|
| 1 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file | 
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a | 
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. | 
| 4 | 4 | 
| 5 /// Instrument your code with counters, gauges, and more. | 5 /// Instrument your code with counters, gauges, and more. | 
| 6 library dart.profiler; | 6 part of dart.developer; | 
| 7 |  | 
| 8 import 'dart:convert'; |  | 
| 9 | 7 | 
| 10 /// A UserTag can be used to group samples in the Observatory profiler. | 8 /// A UserTag can be used to group samples in the Observatory profiler. | 
| 11 abstract class UserTag { | 9 abstract class UserTag { | 
| 12   /// The maximum number of UserTag instances that can be created by a program. | 10   /// The maximum number of UserTag instances that can be created by a program. | 
| 13   static const MAX_USER_TAGS = 64; | 11   static const MAX_USER_TAGS = 64; | 
| 14 | 12 | 
| 15   factory UserTag(String label) => new _FakeUserTag(label); | 13   factory UserTag(String label) => new _FakeUserTag(label); | 
| 16 | 14 | 
| 17   /// Label of [this]. | 15   /// Label of [this]. | 
| 18   String get label; | 16   String get label; | 
| (...skipping 172 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 191     for (var metric in _metrics.values) { | 189     for (var metric in _metrics.values) { | 
| 192       metrics.add(metric._toJSON()); | 190       metrics.add(metric._toJSON()); | 
| 193     } | 191     } | 
| 194     var map = { | 192     var map = { | 
| 195       'type': 'MetricList', | 193       'type': 'MetricList', | 
| 196       'metrics': metrics, | 194       'metrics': metrics, | 
| 197     }; | 195     }; | 
| 198     return JSON.encode(map); | 196     return JSON.encode(map); | 
| 199   } | 197   } | 
| 200 } | 198 } | 
| OLD | NEW | 
|---|