Index: sdk/lib/_internal/lib/async_patch.dart |
diff --git a/sdk/lib/_internal/lib/async_patch.dart b/sdk/lib/_internal/lib/async_patch.dart |
index c67b3ff7dbe4f31a9d7cb1a385dee1558323fd53..dede2552bcd8ef04daadcd494e7869eb89f362fa 100644 |
--- a/sdk/lib/_internal/lib/async_patch.dart |
+++ b/sdk/lib/_internal/lib/async_patch.dart |
@@ -5,6 +5,7 @@ |
// Patch file for the dart:async library. |
import 'dart:_js_helper' show |
+ patch, |
Primitives, |
convertDartClosureToJS, |
loadDeferredLibrary; |
@@ -18,21 +19,25 @@ import 'dart:_isolate_helper' show |
import 'dart:_foreign_helper' show JS; |
-patch Timer _createTimer(Duration duration, void callback()) { |
+@patch |
+Timer _createTimer(Duration duration, void callback()) { |
int milliseconds = duration.inMilliseconds; |
if (milliseconds < 0) milliseconds = 0; |
return new TimerImpl(milliseconds, callback); |
} |
-patch Timer _createPeriodicTimer(Duration duration, |
- void callback(Timer timer)) { |
+@patch |
+Timer _createPeriodicTimer(Duration duration, |
+ void callback(Timer timer)) { |
int milliseconds = duration.inMilliseconds; |
if (milliseconds < 0) milliseconds = 0; |
return new TimerImpl.periodic(milliseconds, callback); |
} |
-patch class _AsyncRun { |
- patch static void _scheduleImmediate(void callback()) { |
+@patch |
+class _AsyncRun { |
+ @patch |
+ static void _scheduleImmediate(void callback()) { |
scheduleImmediateClosure(callback); |
} |
@@ -65,8 +70,10 @@ patch class _AsyncRun { |
} |
} |
-patch class DeferredLibrary { |
- patch Future<Null> load() { |
+@patch |
+class DeferredLibrary { |
+ @patch |
+ Future<Null> load() { |
return loadDeferredLibrary(libraryName, uri); |
} |
} |