Index: pkg/dev_compiler/tool/input_sdk/patch/developer_patch.dart |
diff --git a/pkg/dev_compiler/tool/input_sdk/patch/developer_patch.dart b/pkg/dev_compiler/tool/input_sdk/patch/developer_patch.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..93f19fb8777f45eca55b92aa5ed64be0bb0498a5 |
--- /dev/null |
+++ b/pkg/dev_compiler/tool/input_sdk/patch/developer_patch.dart |
@@ -0,0 +1,127 @@ |
+// Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+// Patch file for dart:developer library. |
+ |
+import 'dart:_js_helper' show patch, ForceInline; |
+import 'dart:_foreign_helper' show JS; |
+ |
+@patch |
+// @ForceInline() |
+bool debugger({bool when: true, String message}) { |
+ if (when) { |
+ JS('', 'debugger'); |
+ } |
+ return when; |
+} |
+ |
+@patch |
+Object inspect(Object object) { |
+ return object; |
+} |
+ |
+@patch |
+void log(String message, |
+ {DateTime time, |
+ int sequenceNumber, |
+ int level: 0, |
+ String name: '', |
+ Zone zone, |
+ Object error, |
+ StackTrace stackTrace}) { |
+ // TODO. |
+} |
+ |
+final _extensions = new Map<String, ServiceExtensionHandler>(); |
+ |
+@patch |
+ServiceExtensionHandler _lookupExtension(String method) { |
+ return _extensions[method]; |
+} |
+ |
+@patch |
+_registerExtension(String method, ServiceExtensionHandler handler) { |
+ _extensions[method] = handler; |
+} |
+ |
+@patch |
+_postEvent(String eventKind, String eventData) { |
+ // TODO. |
+} |
+ |
+ |
+@patch |
+bool _isDartStreamEnabled() { |
+ return false; |
+} |
+ |
+@patch |
+int _getTraceClock() { |
+ // TODO. |
+ return _clockValue++; |
+} |
+int _clockValue = 0; |
+ |
+@patch |
+int _getThreadCpuClock() { |
+ return -1; |
+} |
+ |
+ |
+@patch |
+void _reportCompleteEvent(int start, |
+ int startCpu, |
+ String category, |
+ String name, |
+ String argumentsAsJson) { |
+ // TODO. |
+} |
+ |
+@patch |
+void _reportInstantEvent(int start, |
+ String category, |
+ String name, |
+ String argumentsAsJson) { |
+ // TODO. |
+} |
+ |
+@patch |
+int _getNextAsyncId() { |
+ return 0; |
+} |
+ |
+@patch |
+int _getIsolateNum() { |
+ return 0; |
+} |
+ |
+@patch |
+void _reportTaskEvent(int start, |
+ int taskId, |
+ String phase, |
+ String category, |
+ String name, |
+ String argumentsAsJson) { |
+ // TODO. |
+} |
+ |
+@patch |
+int _getServiceMajorVersion() { |
+ return 0; |
+} |
+ |
+@patch |
+int _getServiceMinorVersion() { |
+ return 0; |
+} |
+ |
+@patch |
+void _getServerInfo(SendPort sp) { |
+ sp.send(null); |
+} |
+ |
+@patch |
+void _webServerControl(SendPort sp, bool enable) { |
+ sp.send(null); |
+} |