| Index: runtime/lib/developer.dart
|
| diff --git a/runtime/lib/developer.dart b/runtime/lib/developer.dart
|
| index f7b45f0b46ded975261462dc721e7a845d306a33..ec3d38b621c6552ec0abbf0b5b19934b450d1e11 100644
|
| --- a/runtime/lib/developer.dart
|
| +++ b/runtime/lib/developer.dart
|
| @@ -4,19 +4,19 @@
|
|
|
| import 'dart:isolate';
|
|
|
| -patch bool debugger({bool when: true,
|
| +@patch bool debugger({bool when: true,
|
| String message}) native "Developer_debugger";
|
|
|
| -patch Object inspect(Object object) native "Developer_inspect";
|
| +@patch Object inspect(Object object) native "Developer_inspect";
|
|
|
| -patch void log(String message,
|
| - {DateTime time,
|
| - int sequenceNumber,
|
| - int level: 0,
|
| - String name: '',
|
| - Zone zone,
|
| - Object error,
|
| - StackTrace stackTrace}) {
|
| +@patch void log(String message,
|
| + {DateTime time,
|
| + int sequenceNumber,
|
| + int level: 0,
|
| + String name: '',
|
| + Zone zone,
|
| + Object error,
|
| + StackTrace stackTrace}) {
|
| if (message is! String) {
|
| throw new ArgumentError(message, "message", "Must be a String");
|
| }
|
| @@ -52,13 +52,13 @@ _log(String message,
|
| Object error,
|
| StackTrace stackTrace) native "Developer_log";
|
|
|
| -patch void _postEvent(String eventKind, String eventData)
|
| +@patch void _postEvent(String eventKind, String eventData)
|
| native "Developer_postEvent";
|
|
|
| -patch ServiceExtensionHandler _lookupExtension(String method)
|
| +@patch ServiceExtensionHandler _lookupExtension(String method)
|
| native "Developer_lookupExtension";
|
|
|
| -patch _registerExtension(String method, ServiceExtensionHandler handler)
|
| +@patch _registerExtension(String method, ServiceExtensionHandler handler)
|
| native "Developer_registerExtension";
|
|
|
| // This code is only invoked when there is no other Dart code on the stack.
|
|
|