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. |
(...skipping 74 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
85 class _Directory { | 85 class _Directory { |
86 factory Directory(arg) { | 86 factory Directory(arg) { |
87 throw new UnsupportedOperationException('new Directory($arg)'); | 87 throw new UnsupportedOperationException('new Directory($arg)'); |
88 } | 88 } |
89 | 89 |
90 factory Directory.current() { | 90 factory Directory.current() { |
91 throw new UnsupportedOperationException('new Directory.current()'); | 91 throw new UnsupportedOperationException('new Directory.current()'); |
92 } | 92 } |
93 } | 93 } |
94 | 94 |
| 95 class _DirectoryLister { |
| 96 } |
| 97 |
95 class _Process { | 98 class _Process { |
96 factory Process.start(String executable, | 99 static Process start(String executable, |
97 List<String> arguments, | 100 List<String> arguments, |
98 [ProcessOptions options]) { | 101 [ProcessOptions options]) { |
99 var msg = 'new Process.start($executable, $arguments, $options)'; | 102 var msg = 'Process.start($executable, $arguments, $options)'; |
100 throw new UnsupportedOperationException(msg); | 103 throw new UnsupportedOperationException(msg); |
101 } | 104 } |
102 | 105 |
103 factory Process.run(String executable, | 106 static Future<ProcessResult> run(String executable, |
104 List<String> arguments, | 107 List<String> arguments, |
105 ProcessOptions options, | 108 [ProcessOptions options]) { |
106 void callback(int exit, String out, String err)) { | 109 var msg = 'Process.run($executable, $arguments, $options)'; |
107 var msg = 'new Process.run($executable, $arguments, $options, $callback)'; | |
108 throw new UnsupportedOperationException(msg); | 110 throw new UnsupportedOperationException(msg); |
109 } | 111 } |
110 } | 112 } |
111 | 113 |
112 class _ServerSocket { | 114 class _ServerSocket { |
113 factory ServerSocket(String bindAddress, int port, int backlog) { | 115 factory ServerSocket(String bindAddress, int port, int backlog) { |
114 throw new UnsupportedOperationException( | 116 throw new UnsupportedOperationException( |
115 'new ServerSocket($bindAddress, $port, $backlog)'); | 117 'new ServerSocket($bindAddress, $port, $backlog)'); |
116 } | 118 } |
117 } | 119 } |
(...skipping 25 matching lines...) Expand all Loading... |
143 static void set _eventHandler(_EventHandler e) { | 145 static void set _eventHandler(_EventHandler e) { |
144 throw new UnsupportedOperationException('_EventHandler._eventhandler = $e'); | 146 throw new UnsupportedOperationException('_EventHandler._eventhandler = $e'); |
145 } | 147 } |
146 } | 148 } |
147 | 149 |
148 final InputStream stdin = null; | 150 final InputStream stdin = null; |
149 | 151 |
150 final OutputStream stdout = null; | 152 final OutputStream stdout = null; |
151 | 153 |
152 final OutputStream stderr = null; | 154 final OutputStream stderr = null; |
OLD | NEW |