Add method available to StringInputStream

runtime/bin/input_stream.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * Basic input stream which supplies binary data.
  *
  * Input streams are used to read data sequentially from some data
  * source. All input streams are non-blocking. They each have a number
  * of read calls which will always return without any IO related
@@ skipping 107 matching lines @@
   String read();
 
   /**
    * Reads the next line from the stream. The line ending characters
    * will not be part of the returned string. If a full line is not
    * available null will be returned.
    */
   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.
    */
   bool get closed();
 
   /**
    * Returns the encoding used to decode the binary data into characters.
    */
   String get encoding();
 
@@ skipping 79 matching lines @@
   void set onError(void callback());
 }
 
 
 class StreamException implements Exception {
   const StreamException([String this.message = ""]);
   const StreamException.streamClosed() : message = "Stream closed";
   String toString() => "StreamException: $message";
   final String message;
 }