Index: lib/compiler/implementation/lib/io.dart |
diff --git a/lib/compiler/implementation/lib/io.dart b/lib/compiler/implementation/lib/io.dart |
deleted file mode 100644 |
index 843470c1d1c5973590865ca8d6e0509bafb67bca..0000000000000000000000000000000000000000 |
--- a/lib/compiler/implementation/lib/io.dart |
+++ /dev/null |
@@ -1,211 +0,0 @@ |
-// Copyright (c) 2012, 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. |
- |
-// This is a copy of the VM's dart:io library. This API is not usable |
-// when running inside a web browser. Nevertheless, Leg provides a |
-// mock version of the dart:io library so that it can statically |
-// analyze programs that use dart:io. |
- |
-// TODO(ahe): Separate API from implementation details. |
- |
-/** |
- * The IO library is used for Dart server applications, |
- * which run on a stand-alone Dart VM from the command line. |
- * *This library does not work in browser based applications.* |
- * |
- * This library allows you to work with files, directories, |
- * sockets, processes, HTTP servers and clients, and more. |
- */ |
-#library("dart:io"); |
-#import("dart:coreimpl"); |
-#import("dart:math"); |
-#import("dart:isolate"); |
-// TODO(ahe): Should Leg support this library? |
-// #import("dart:nativewrappers"); |
-#import("dart:uri"); |
-#import("dart:crypto"); |
-#import("dart:utf"); |
-#source('../../../../runtime/bin/buffer_list.dart'); |
-// Uses native keyword. |
-//#source('../../../../runtime/bin/common.dart'); |
-#source('../../../../runtime/bin/chunked_stream.dart'); |
-#source('../../../../runtime/bin/directory.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/directory_impl.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/eventhandler.dart'); |
-#source('../../../../runtime/bin/file.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/file_impl.dart'); |
-#source('../../../../runtime/bin/http.dart'); |
-#source('../../../../runtime/bin/http_impl.dart'); |
-#source('../../../../runtime/bin/http_parser.dart'); |
-#source('../../../../runtime/bin/http_utils.dart'); |
-#source('../../../../runtime/bin/input_stream.dart'); |
-#source('../../../../runtime/bin/list_stream.dart'); |
-#source('../../../../runtime/bin/list_stream_impl.dart'); |
-#source('../../../../runtime/bin/output_stream.dart'); |
-#source('../../../../runtime/bin/path.dart'); |
-#source('../../../../runtime/bin/path_impl.dart'); |
-#source('../../../../runtime/bin/platform.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/platform_impl.dart'); |
-#source('../../../../runtime/bin/process.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/process_impl.dart'); |
-#source('../../../../runtime/bin/socket.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/socket_impl.dart'); |
-#source('../../../../runtime/bin/socket_stream_impl.dart'); |
-// Uses native keyword. |
-// #source('../../../../runtime/bin/stdio.dart'); |
-#source('../../../../runtime/bin/stream_util.dart'); |
-#source('../../../../runtime/bin/string_stream.dart'); |
-#source('../../../../runtime/bin/timer_impl.dart'); |
-#source('../../../../runtime/bin/websocket.dart'); |
-#source('../../../../runtime/bin/websocket_impl.dart'); |
- |
-/** |
- * An [OSError] object holds information about an error from the |
- * operating system. |
- */ |
-class OSError { |
- /** Constant used to indicate that no OS error code is available. */ |
- static const int noErrorCode = -1; |
- |
- /** Creates an OSError object from a message and an errorCode. */ |
- const OSError([String this.message = "", int this.errorCode = noErrorCode]); |
- |
- /** Converts an OSError object to a string representation. */ |
- String toString() { |
- throw new UnsupportedError('OSError.toString'); |
- } |
- |
- /** |
- * Error message supplied by the operating system. null if no message is |
- * associated with the error. |
- */ |
- final String message; |
- |
- /** |
- * Error code supplied by the operating system. Will have the value |
- * [noErrorCode] if there is no error code associated with the error. |
- */ |
- final int errorCode; |
-} |
- |
-List _ensureFastAndSerializableBuffer(List buffer, int offset, int bytes) { |
- throw new UnsupportedError('_ensureFastAndSerializableBuffer'); |
-} |
- |
-class _File { |
- factory _File(arg) { |
- throw new UnsupportedError('new File($arg)'); |
- } |
- |
- factory _File.fromPath(arg) { |
- throw new UnsupportedError('new File.fromPath($arg)'); |
- } |
-} |
- |
-class _Platform { |
- static int get numberOfProcessors { |
- throw new UnsupportedError('_Platform.numberOfProcessors'); |
- } |
- |
- static String get pathSeparator { |
- throw new UnsupportedError('_Platform.pathSeparator'); |
- } |
- |
- static String get operatingSystem { |
- throw new UnsupportedError('_Platform.operatingSystem'); |
- } |
- |
- static String get localHostname { |
- throw new UnsupportedError('_Platform.localHostname'); |
- } |
- |
- static Map<String, String> get environment { |
- throw new UnsupportedError('_Platform.environment'); |
- } |
-} |
- |
-class _Directory { |
- factory _Directory(arg) { |
- throw new UnsupportedError('new Directory($arg)'); |
- } |
- |
- factory _Directory.fromPath(arg) { |
- throw new UnsupportedError('new Directory.fromPath($arg)'); |
- } |
- |
- factory _Directory.current() { |
- throw new UnsupportedError('new Directory.current()'); |
- } |
-} |
- |
-class _DirectoryLister { |
-} |
- |
-void _exit(int exitCode) { |
- throw new UnsupportedError("exit($exitCode)"); |
-} |
- |
-class _Process { |
- static Future<Process> start(String executable, |
- List<String> arguments, |
- [ProcessOptions options]) { |
- var msg = 'Process.start($executable, $arguments, $options)'; |
- throw new UnsupportedError(msg); |
- } |
- |
- static Future<ProcessResult> run(String executable, |
- List<String> arguments, |
- [ProcessOptions options]) { |
- var msg = 'Process.run($executable, $arguments, $options)'; |
- throw new UnsupportedError(msg); |
- } |
-} |
- |
-class _ServerSocket { |
- factory _ServerSocket(String bindAddress, int port, int backlog) { |
- throw new UnsupportedError( |
- 'new ServerSocket($bindAddress, $port, $backlog)'); |
- } |
-} |
- |
-class _Socket { |
- factory _Socket(String host, int port) { |
- throw new UnsupportedError('new Socket($host, $port)'); |
- } |
-} |
- |
-class _EventHandler { |
- factory _EventHandler() { |
- throw new UnsupportedError('new _EventHandler()'); |
- } |
- |
- static void _start() { |
- throw new UnsupportedError('_EventHandler._start()'); |
- } |
- |
- static _sendData(int id, ReceivePort receivePort, int data) { |
- var msg = '_EventHandler._sendData($id, $receivePort, $data)'; |
- throw new UnsupportedError(msg); |
- } |
- |
- static _EventHandler get _eventHandler { |
- throw new UnsupportedError('_EventHandler._eventhandler'); |
- } |
- |
- static void set _eventHandler(_EventHandler e) { |
- throw new UnsupportedError('_EventHandler._eventhandler = $e'); |
- } |
-} |
- |
-const InputStream stdin = null; |
- |
-const OutputStream stdout = null; |
- |
-const OutputStream stderr = null; |