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) { |
(...skipping 13 matching lines...) Expand all Loading... |
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 |