| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 // This is a copy of the VM's dart:io library. This API is not usable | 5 // This is a copy of the VM's dart:io library. This API is not usable |
| 6 // when running inside a web browser. Nevertheless, Leg provides a | 6 // when running inside a web browser. Nevertheless, Leg provides a |
| 7 // mock version of the dart:io library so that it can statically | 7 // mock version of the dart:io library so that it can statically |
| 8 // analyze programs that use dart:io. | 8 // analyze programs that use dart:io. |
| 9 | 9 |
| 10 // TODO(ahe): Separate API from implementation details. | 10 // TODO(ahe): Separate API from implementation details. |
| 11 | 11 |
| 12 #library("io"); | 12 #library("io"); |
| 13 #import("dart:coreimpl"); | 13 #import("dart:coreimpl"); |
| 14 #import("dart:isolate"); | 14 #import("dart:isolate"); |
| 15 // TODO(ahe): Should Leg support this library? | 15 // TODO(ahe): Should Leg support this library? |
| 16 // #import("dart:nativewrappers"); | 16 // #import("dart:nativewrappers"); |
| 17 #import("dart:uri"); | 17 #import("dart:uri"); |
| 18 #source('../../../runtime/bin/buffer_list.dart'); | 18 #source('../../../runtime/bin/buffer_list.dart'); |
| 19 #source('../../../runtime/bin/common.dart'); |
| 19 #source('../../../runtime/bin/chunked_stream.dart'); | 20 #source('../../../runtime/bin/chunked_stream.dart'); |
| 20 #source('../../../runtime/bin/directory.dart'); | 21 #source('../../../runtime/bin/directory.dart'); |
| 21 // Uses native keyword. | 22 // Uses native keyword. |
| 22 // #source('../../../runtime/bin/directory_impl.dart'); | 23 // #source('../../../runtime/bin/directory_impl.dart'); |
| 23 // Uses native keyword. | 24 // Uses native keyword. |
| 24 // #source('../../../runtime/bin/eventhandler.dart'); | 25 // #source('../../../runtime/bin/eventhandler.dart'); |
| 25 #source('../../../runtime/bin/file.dart'); | 26 #source('../../../runtime/bin/file.dart'); |
| 26 // Uses native keyword. | 27 // Uses native keyword. |
| 27 // #source('../../../runtime/bin/file_impl.dart'); | 28 // #source('../../../runtime/bin/file_impl.dart'); |
| 28 #source('../../../runtime/bin/http.dart'); | 29 #source('../../../runtime/bin/http.dart'); |
| (...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 71 | 72 |
| 72 class _Process implements Process { | 73 class _Process implements Process { |
| 73 factory Process.start(String executable, | 74 factory Process.start(String executable, |
| 74 List<String> arguments, | 75 List<String> arguments, |
| 75 [String workingDirectory]) { | 76 [String workingDirectory]) { |
| 76 var msg = 'new Process.start($executable, $arguments, $workingDirectory'; | 77 var msg = 'new Process.start($executable, $arguments, $workingDirectory'; |
| 77 throw new UnsupportedOperationException(msg); | 78 throw new UnsupportedOperationException(msg); |
| 78 } | 79 } |
| 79 } | 80 } |
| 80 | 81 |
| 82 class _ServerSocket implements ServerSocket { |
| 83 factory _ServerSocket(String bindAddress, int port, int backlog) { |
| 84 throw new UnsupportedOperationException( |
| 85 'new ServerSocket($bindAddress, $port, $backlog)'); |
| 86 } |
| 87 } |
| 88 |
| 81 class _Socket implements Socket { | 89 class _Socket implements Socket { |
| 82 factory Socket(String host, int port) { | 90 factory Socket(String host, int port) { |
| 83 throw new UnsupportedOperationException('new Socket($host, $int)'); | 91 throw new UnsupportedOperationException('new Socket($host, $int)'); |
| 84 } | 92 } |
| 85 } | 93 } |
| 86 | 94 |
| 87 class _EventHandler { | 95 class _EventHandler { |
| 88 factory _EventHandler() { | 96 factory _EventHandler() { |
| 89 throw new UnsupportedOperationException('new _EventHandler()'); | 97 throw new UnsupportedOperationException('new _EventHandler()'); |
| 90 } | 98 } |
| 91 | 99 |
| 92 static void _start() { | 100 static void _start() { |
| 93 throw new UnsupportedOperationException('_EventHandler._start()'); | 101 throw new UnsupportedOperationException('_EventHandler._start()'); |
| 94 } | 102 } |
| 95 | 103 |
| 96 static _sendData(int id, ReceivePort receivePort, int data) { | 104 static _sendData(int id, ReceivePort receivePort, int data) { |
| 97 var msg = '_EventHandler._sendData($id, $receivePort, $data)'; | 105 var msg = '_EventHandler._sendData($id, $receivePort, $data)'; |
| 98 throw new UnsupportedOperationException(msg); | 106 throw new UnsupportedOperationException(msg); |
| 99 } | 107 } |
| 100 | 108 |
| 101 static _EventHandler get _eventHandler() { | 109 static _EventHandler get _eventHandler() { |
| 102 throw new UnsupportedOperationException('_EventHandler._eventhandler'); | 110 throw new UnsupportedOperationException('_EventHandler._eventhandler'); |
| 103 } | 111 } |
| 104 | 112 |
| 105 static void set _eventHandler(_EventHandler e) { | 113 static void set _eventHandler(_EventHandler e) { |
| 106 throw new UnsupportedOperationException('_EventHandler._eventhandler = $e'); | 114 throw new UnsupportedOperationException('_EventHandler._eventhandler = $e'); |
| 107 } | 115 } |
| 108 } | 116 } |
| OLD | NEW |