Chromium Code Reviews| Index: runtime/bin/input_stream.dart |
| diff --git a/runtime/bin/input_stream.dart b/runtime/bin/input_stream.dart |
| index d22464e4678b8c583781355487eb233c8690bf44..772c7dcbace6318e2d11a6954e31193b858a1ede 100644 |
| --- a/runtime/bin/input_stream.dart |
| +++ b/runtime/bin/input_stream.dart |
| @@ -125,6 +125,16 @@ interface StringInputStream default _StringInputStream { |
| String readLine(); |
| /** |
| + * Returns the number of characters available for immediate |
| + * reading. Note that this includes all characters that will be in |
| + * the String returned from [read] this includes line breaking |
| + * characters. If [readLine] is used for reading one can observe |
| + * less characters being returned as the line breaking characters |
|
Dan Rice
2012/03/06 15:06:56
less -> fewer
|
| + * are discarded. |
| + */ |
| + int available(); |
| + |
| + /** |
| * Returns whether the stream has been closed. There might still be |
| * more data to read. |
| */ |