| 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 part of "developer.dart"; | 5 part of "dart:developer"; |
| 6 | 6 |
| 7 /// A UserTag can be used to group samples in the Observatory profiler. | 7 /// A UserTag can be used to group samples in the Observatory profiler. |
| 8 abstract class UserTag { | 8 abstract class UserTag { |
| 9 /// The maximum number of UserTag instances that can be created by a program. | 9 /// The maximum number of UserTag instances that can be created by a program. |
| 10 static const MAX_USER_TAGS = 64; | 10 static const MAX_USER_TAGS = 64; |
| 11 | 11 |
| 12 external factory UserTag(String label); | 12 external factory UserTag(String label); |
| 13 | 13 |
| 14 /// Label of [this]. | 14 /// Label of [this]. |
| 15 String get label; | 15 String get label; |
| (...skipping 131 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 147 for (var metric in _metrics.values) { | 147 for (var metric in _metrics.values) { |
| 148 metrics.add(metric._toJSON()); | 148 metrics.add(metric._toJSON()); |
| 149 } | 149 } |
| 150 var map = { | 150 var map = { |
| 151 'type': 'MetricList', | 151 'type': 'MetricList', |
| 152 'metrics': metrics, | 152 'metrics': metrics, |
| 153 }; | 153 }; |
| 154 return JSON.encode(map); | 154 return JSON.encode(map); |
| 155 } | 155 } |
| 156 } | 156 } |
| OLD | NEW |