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

Side by Side Diff: runtime/lib/developer.dart

Issue 2220883004: Use metadata annotation @patch for patch classes (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: wip Created 4 years, 4 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
OLDNEW
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2015, 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 import 'dart:isolate'; 5 import 'dart:isolate';
6 6
7 patch bool debugger({bool when: true, 7 @patch bool debugger({bool when: true,
8 String message}) native "Developer_debugger"; 8 String message}) native "Developer_debugger";
9 9
10 patch Object inspect(Object object) native "Developer_inspect"; 10 @patch Object inspect(Object object) native "Developer_inspect";
11 11
12 patch void log(String message, 12 @patch void log(String message,
13 {DateTime time, 13 {DateTime time,
14 int sequenceNumber, 14 int sequenceNumber,
15 int level: 0, 15 int level: 0,
16 String name: '', 16 String name: '',
17 Zone zone, 17 Zone zone,
18 Object error, 18 Object error,
19 StackTrace stackTrace}) { 19 StackTrace stackTrace}) {
20 if (message is! String) { 20 if (message is! String) {
21 throw new ArgumentError(message, "message", "Must be a String"); 21 throw new ArgumentError(message, "message", "Must be a String");
22 } 22 }
23 if (time == null) { 23 if (time == null) {
24 time = new DateTime.now(); 24 time = new DateTime.now();
25 } 25 }
26 if (time is! DateTime) { 26 if (time is! DateTime) {
27 throw new ArgumentError(time, "time", "Must be a DateTime"); 27 throw new ArgumentError(time, "time", "Must be a DateTime");
28 } 28 }
29 if (sequenceNumber == null) { 29 if (sequenceNumber == null) {
(...skipping 15 matching lines...) Expand all
45 45
46 _log(String message, 46 _log(String message,
47 int timestamp, 47 int timestamp,
48 int sequenceNumber, 48 int sequenceNumber,
49 int level, 49 int level,
50 String name, 50 String name,
51 Zone zone, 51 Zone zone,
52 Object error, 52 Object error,
53 StackTrace stackTrace) native "Developer_log"; 53 StackTrace stackTrace) native "Developer_log";
54 54
55 patch void _postEvent(String eventKind, String eventData) 55 @patch void _postEvent(String eventKind, String eventData)
56 native "Developer_postEvent"; 56 native "Developer_postEvent";
57 57
58 patch ServiceExtensionHandler _lookupExtension(String method) 58 @patch ServiceExtensionHandler _lookupExtension(String method)
59 native "Developer_lookupExtension"; 59 native "Developer_lookupExtension";
60 60
61 patch _registerExtension(String method, ServiceExtensionHandler handler) 61 @patch _registerExtension(String method, ServiceExtensionHandler handler)
62 native "Developer_registerExtension"; 62 native "Developer_registerExtension";
63 63
64 // This code is only invoked when there is no other Dart code on the stack. 64 // This code is only invoked when there is no other Dart code on the stack.
65 _runExtension(ServiceExtensionHandler handler, 65 _runExtension(ServiceExtensionHandler handler,
66 String method, 66 String method,
67 List<String> parameterKeys, 67 List<String> parameterKeys,
68 List<String> parameterValues, 68 List<String> parameterValues,
69 SendPort replyPort, 69 SendPort replyPort,
70 Object id, 70 Object id,
71 bool trace_service) { 71 bool trace_service) {
(...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after
141 sb.write('"result":'); 141 sb.write('"result":');
142 } 142 }
143 sb.write('${response._toString()},'); 143 sb.write('${response._toString()},');
144 if (id is String) { 144 if (id is String) {
145 sb.write('"id":"$id"}'); 145 sb.write('"id":"$id"}');
146 } else { 146 } else {
147 sb.write('"id":$id}'); 147 sb.write('"id":$id}');
148 } 148 }
149 replyPort.send(sb.toString()); 149 replyPort.send(sb.toString());
150 } 150 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698