Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(297)

Side by Side Diff: sdk/lib/developer/profiler.dart

Issue 2880543002: Revert "Change some platform libraries to use `part of URI`." (Closed)
Patch Set: Created 3 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « sdk/lib/developer/extension.dart ('k') | sdk/lib/developer/service.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 "dart:developer"; 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
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 }
OLDNEW
« no previous file with comments | « sdk/lib/developer/extension.dart ('k') | sdk/lib/developer/service.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698