| OLD | NEW |
| (Empty) |
| 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 | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 const int _STDIO_HANDLE_TYPE_TERMINAL = 0; | |
| 6 const int _STDIO_HANDLE_TYPE_PIPE = 1; | |
| 7 const int _STDIO_HANDLE_TYPE_FILE = 2; | |
| 8 const int _STDIO_HANDLE_TYPE_SOCKET = 3; | |
| 9 const int _STDIO_HANDLE_TYPE_OTHER = -1; | |
| 10 | |
| 11 | |
| 12 InputStream _stdin; | |
| 13 OutputStream _stdout; | |
| 14 OutputStream _stderr; | |
| 15 | |
| 16 | |
| 17 InputStream _getStdioInputStream() { | |
| 18 switch (_getStdioHandleType(0)) { | |
| 19 case _STDIO_HANDLE_TYPE_TERMINAL: | |
| 20 case _STDIO_HANDLE_TYPE_PIPE: | |
| 21 case _STDIO_HANDLE_TYPE_SOCKET: | |
| 22 Socket s = new _Socket._internalReadOnly(); | |
| 23 _getStdioHandle(s, 0); | |
| 24 s._closed = false; | |
| 25 return s.inputStream; | |
| 26 case _STDIO_HANDLE_TYPE_FILE: | |
| 27 return new _FileInputStream.fromStdio(0); | |
| 28 default: | |
| 29 throw new FileIOException("Unsupported stdin type"); | |
| 30 } | |
| 31 } | |
| 32 | |
| 33 | |
| 34 OutputStream _getStdioOutputStream(int fd) { | |
| 35 assert(fd == 1 || fd == 2); | |
| 36 switch (_getStdioHandleType(fd)) { | |
| 37 case _STDIO_HANDLE_TYPE_TERMINAL: | |
| 38 case _STDIO_HANDLE_TYPE_PIPE: | |
| 39 case _STDIO_HANDLE_TYPE_SOCKET: | |
| 40 Socket s = new _Socket._internalWriteOnly(); | |
| 41 _getStdioHandle(s, fd); | |
| 42 s._closed = false; | |
| 43 return s.outputStream; | |
| 44 case _STDIO_HANDLE_TYPE_FILE: | |
| 45 return new _FileOutputStream.fromStdio(fd); | |
| 46 default: | |
| 47 throw new FileIOException("Unsupported stdin type"); | |
| 48 } | |
| 49 } | |
| 50 | |
| 51 | |
| 52 InputStream get stdin { | |
| 53 if (_stdin == null) { | |
| 54 _stdin = _getStdioInputStream(); | |
| 55 } | |
| 56 return _stdin; | |
| 57 } | |
| 58 | |
| 59 | |
| 60 OutputStream get stdout { | |
| 61 if (_stdout == null) { | |
| 62 _stdout = _getStdioOutputStream(1); | |
| 63 } | |
| 64 return _stdout; | |
| 65 } | |
| 66 | |
| 67 | |
| 68 OutputStream get stderr { | |
| 69 if (_stderr == null) { | |
| 70 _stderr = _getStdioOutputStream(2); | |
| 71 } | |
| 72 return _stderr; | |
| 73 } | |
| 74 | |
| 75 _getStdioHandle(Socket socket, int num) native "Socket_GetStdioHandle"; | |
| 76 _getStdioHandleType(int num) native "File_GetStdioHandleType"; | |
| OLD | NEW |