OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // | 4 // |
5 // Utility script to echo strings in various formats to stdout or | 5 // Utility script to echo strings in various formats to stdout or |
6 // stderr. | 6 // stderr. |
7 | 7 |
8 import "dart:io"; | 8 import "dart:io"; |
9 | 9 |
10 writeData(data, encoding, stream) { | 10 writeData(data, encoding, stream) { |
11 if (stream == "stdout") { | 11 if (stream == "stdout") { |
12 stdout.writeString(data, encoding); | 12 stdout.addString(data, encoding); |
13 } else if (stream == "stderr") { | 13 } else if (stream == "stderr") { |
14 stderr.writeString(data, encoding); | 14 stderr.addString(data, encoding); |
15 } | 15 } |
16 } | 16 } |
17 | 17 |
18 main() { | 18 main() { |
19 var asciiString = 'abc'; | 19 var asciiString = 'abc'; |
20 var latin1String = 'æøå'; | 20 var latin1String = 'æøå'; |
21 var utf8String = new String.fromCharCodes([955]); | 21 var utf8String = new String.fromCharCodes([955]); |
22 var options = new Options(); | 22 var options = new Options(); |
23 if (options.arguments.length > 1) { | 23 if (options.arguments.length > 1) { |
24 var stream = options.arguments[1]; | 24 var stream = options.arguments[1]; |
25 if (options.arguments[0] == "ascii") { | 25 if (options.arguments[0] == "ascii") { |
26 writeData(asciiString, Encoding.ASCII, stream); | 26 writeData(asciiString, Encoding.ASCII, stream); |
27 } else if (options.arguments[0] == "latin1") { | 27 } else if (options.arguments[0] == "latin1") { |
28 writeData(latin1String, Encoding.ISO_8859_1, stream); | 28 writeData(latin1String, Encoding.ISO_8859_1, stream); |
29 } else if (options.arguments[0] == "utf8") { | 29 } else if (options.arguments[0] == "utf8") { |
30 writeData(utf8String, Encoding.UTF_8, stream); | 30 writeData(utf8String, Encoding.UTF_8, stream); |
31 } | 31 } |
32 } | 32 } |
33 } | 33 } |
OLD | NEW |