| 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 class _FileInputStream extends _BaseDataInputStream implements InputStream { | 5 class _FileInputStream extends _BaseDataInputStream implements InputStream { |
| 6 _FileInputStream(String name) | 6 _FileInputStream(String name) |
| 7 : _data = const [], | 7 : _data = const [], |
| 8 _position = 0, | 8 _position = 0, |
| 9 _filePosition = 0 { | 9 _filePosition = 0 { |
| 10 var file = new File(name); | 10 var file = new File(name); |
| (...skipping 81 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 92 _activeFillBufferCall = false; | 92 _activeFillBufferCall = false; |
| 93 _reportError(e); | 93 _reportError(e); |
| 94 return true; | 94 return true; |
| 95 }); | 95 }); |
| 96 } | 96 } |
| 97 | 97 |
| 98 int available() { | 98 int available() { |
| 99 return closed ? 0 : _data.length - _position; | 99 return closed ? 0 : _data.length - _position; |
| 100 } | 100 } |
| 101 | 101 |
| 102 void pipe(OutputStream output, [bool close = true]) { | 102 void pipe(OutputStream output, {bool close: true}) { |
| 103 _pipe(this, output, close: close); | 103 _pipe(this, output, close: close); |
| 104 } | 104 } |
| 105 | 105 |
| 106 void _finishRead() { | 106 void _finishRead() { |
| 107 if (_position == _data.length && !_streamMarkedClosed) { | 107 if (_position == _data.length && !_streamMarkedClosed) { |
| 108 _fillBuffer(); | 108 _fillBuffer(); |
| 109 } else { | 109 } else { |
| 110 _checkScheduleCallbacks(); | 110 _checkScheduleCallbacks(); |
| 111 } | 111 } |
| 112 } | 112 } |
| (...skipping 973 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1086 new FileIOException("File closed '$_name'")); | 1086 new FileIOException("File closed '$_name'")); |
| 1087 }); | 1087 }); |
| 1088 return completer.future; | 1088 return completer.future; |
| 1089 } | 1089 } |
| 1090 | 1090 |
| 1091 final String _name; | 1091 final String _name; |
| 1092 int _id; | 1092 int _id; |
| 1093 | 1093 |
| 1094 SendPort _fileService; | 1094 SendPort _fileService; |
| 1095 } | 1095 } |
| OLD | NEW |