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. |