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 |