| OLD | NEW |
| 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 import 'dart:_internal'; | 6 import 'dart:_internal' hide Symbol; |
| 7 | 7 |
| 8 @patch bool debugger({bool when: true, | 8 @patch bool debugger({bool when: true, |
| 9 String message}) native "Developer_debugger"; | 9 String message}) native "Developer_debugger"; |
| 10 | 10 |
| 11 @patch Object inspect(Object object) native "Developer_inspect"; | 11 @patch Object inspect(Object object) native "Developer_inspect"; |
| 12 | 12 |
| 13 @patch void log(String message, | 13 @patch void log(String message, |
| 14 {DateTime time, | 14 {DateTime time, |
| 15 int sequenceNumber, | 15 int sequenceNumber, |
| 16 int level: 0, | 16 int level: 0, |
| (...skipping 137 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 154 | 154 |
| 155 @patch int _getServiceMinorVersion() native "Developer_getServiceMinorVersion"; | 155 @patch int _getServiceMinorVersion() native "Developer_getServiceMinorVersion"; |
| 156 | 156 |
| 157 @patch void _getServerInfo(SendPort sendPort) native "Developer_getServerInfo"; | 157 @patch void _getServerInfo(SendPort sendPort) native "Developer_getServerInfo"; |
| 158 | 158 |
| 159 @patch void _webServerControl(SendPort sendPort, bool enable) | 159 @patch void _webServerControl(SendPort sendPort, bool enable) |
| 160 native "Developer_webServerControl"; | 160 native "Developer_webServerControl"; |
| 161 | 161 |
| 162 @patch String _getIsolateIDFromSendPort(SendPort sendPort) | 162 @patch String _getIsolateIDFromSendPort(SendPort sendPort) |
| 163 native "Developer_getIsolateIDFromSendPort"; | 163 native "Developer_getIsolateIDFromSendPort"; |
| OLD | NEW |