| Index: runtime/bin/string_stream.dart
|
| diff --git a/runtime/bin/string_stream.dart b/runtime/bin/string_stream.dart
|
| index 8b678997050a5121db9216b3ef82e6d1aad5e008..bedbc55a2fca1b44890fd88ed4224e4f676422ba 100644
|
| --- a/runtime/bin/string_stream.dart
|
| +++ b/runtime/bin/string_stream.dart
|
| @@ -111,6 +111,8 @@ class _StringDecoderBase implements _StringDecoder {
|
| _lastCharCode = charCode;
|
| }
|
|
|
| + int available() => _result.length - _resultOffset;
|
| +
|
| void _recordLineBreakEnd(int charPos) {
|
| _lineBreakEnds.add(charPos);
|
| _lineBreaks++;
|
| @@ -132,7 +134,7 @@ class _StringDecoderBase implements _StringDecoder {
|
| // character positions from the begining of the decoded data.
|
| Queue<int> _lineBreakEnds; // Character position of known line breaks.
|
| int _charOffset = 0; // Character number of the first character in the list.
|
| - int _charCount = 0; // Total number of characters decodes.
|
| + int _charCount = 0; // Total number of characters decoded.
|
| int _lastCharCode = -1;
|
|
|
| final int LF = 10;
|
| @@ -253,6 +255,8 @@ class _StringInputStream implements StringInputStream {
|
| return decodedLine;
|
| }
|
|
|
| + int available() => _decoder.available();
|
| +
|
| String get encoding() => _encoding;
|
|
|
| bool get closed() => _inputClosed && _decoder.isEmpty();
|
|
|