| Index: runtime/bin/input_stream.dart
|
| diff --git a/runtime/bin/input_stream.dart b/runtime/bin/input_stream.dart
|
| index 38e8f1d81e3d0fa473d07af41863ca2682790c8e..e2e57fcec92270afdff90d2cd60ccad0851247ac 100644
|
| --- a/runtime/bin/input_stream.dart
|
| +++ b/runtime/bin/input_stream.dart
|
| @@ -122,10 +122,11 @@ interface StringInputStream default _StringInputStream {
|
| StringInputStream(InputStream input, [Encoding encoding]);
|
|
|
| /**
|
| - * Reads as many characters as is available from the stream. If no data is
|
| - * available null will be returned.
|
| + * Reads up to [len] characters from the stream. if [len] is not
|
| + * specified reads as many characters as is available from the
|
| + * stream. If no data is available null will be returned.
|
| */
|
| - String read();
|
| + String read([int len]);
|
|
|
| /**
|
| * Reads the next line from the stream. The line ending characters
|
|
|