Add writeString method to OutputStream

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 82 matching lines @@
 
   /**
    * Sets the handler that gets called when the underlying
    * communication channel gets into some kind of error situation.
    */
   void set onError(void callback());
 }
 
 
 /**
+ * String encodings supported by [StringInputStream] and
+ * [StringOutputStream].
+ */
+class Encoding {
+  static final Encoding UTF_8 = const Encoding("UTF-8");
+  static final Encoding ISO_8859_1 = const Encoding("ISO-8859-1");
+  static final Encoding ASCII = const Encoding("ASCII");
+  const Encoding(String this.name);
+  final String name;
+}
+
+
+/**
  * A string input stream wraps a basic input stream and supplies
  * string data. This data can be read either as string chunks or as
  * lines separated by line termination character sequences.
  */
 interface StringInputStream default _StringInputStream {
   /**
    * Decodes a binary input stream into characters using the specified
-   * encoding.
+   * encoding. The default encoding is UTF-8 - [:Encoding.UTF_8:].
    */
-  StringInputStream(InputStream input, [String encoding]);
+  StringInputStream(InputStream input, [Encoding encoding]);
 
   /**
    * Reads as many characters as is available from the stream. If no data is
    * available null will be returned.
    */
   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
@@ skipping 13 matching lines @@
 
   /**
    * 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();
+  Encoding get encoding();
 
   /**
    * Sets the handler that gets called when data is available. The two
    * handlers [onData] and [onLine] are mutually exclusive
    * and setting one will remove the other.
    */
   void set onData(void callback());
 
   /**
    * Sets the handler that gets called when a line is available. The
@@ skipping 70 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;
 }