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 part of dart.developer; | 6 library dart.profiler; |
| 7 |
| 8 import 'dart:convert'; |
7 | 9 |
8 /// A UserTag can be used to group samples in the Observatory profiler. | 10 /// A UserTag can be used to group samples in the Observatory profiler. |
9 abstract class UserTag { | 11 abstract class UserTag { |
10 /// The maximum number of UserTag instances that can be created by a program. | 12 /// The maximum number of UserTag instances that can be created by a program. |
11 static const MAX_USER_TAGS = 64; | 13 static const MAX_USER_TAGS = 64; |
12 | 14 |
13 factory UserTag(String label) => new _FakeUserTag(label); | 15 factory UserTag(String label) => new _FakeUserTag(label); |
14 | 16 |
15 /// Label of [this]. | 17 /// Label of [this]. |
16 String get label; | 18 String get label; |
(...skipping 172 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
189 for (var metric in _metrics.values) { | 191 for (var metric in _metrics.values) { |
190 metrics.add(metric._toJSON()); | 192 metrics.add(metric._toJSON()); |
191 } | 193 } |
192 var map = { | 194 var map = { |
193 'type': 'MetricList', | 195 'type': 'MetricList', |
194 'metrics': metrics, | 196 'metrics': metrics, |
195 }; | 197 }; |
196 return JSON.encode(map); | 198 return JSON.encode(map); |
197 } | 199 } |
198 } | 200 } |
OLD | NEW |