OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 // | |
5 // Utility script to echo strings in various formats to stdout or | |
6 // stderr. | |
7 | |
8 #import("dart:io"); | |
9 | |
10 writeData(data, encoding, stream) { | |
11 if (stream == "stdout") { | |
12 stdout.writeString(data, encoding); | |
13 } else if (stream == "stderr") { | |
14 stderr.writeString(data, encoding); | |
15 } | |
16 } | |
17 | |
18 main() { | |
19 var asciiString = 'abc'; | |
20 var latin1String = 'æøå'; | |
21 var utf8String = new String.fromCharCodes([955]); | |
22 var options = new Options(); | |
23 if (options.arguments.length > 1) { | |
24 var stream = options.arguments[1]; | |
25 if (options.arguments[0] == "ascii") { | |
26 writeData(asciiString, Encoding.ASCII, stream); | |
27 } else if (options.arguments[0] == "latin1") { | |
28 writeData(latin1String, Encoding.ISO_8859_1, stream); | |
29 } else if (options.arguments[0] == "utf8") { | |
30 writeData(utf8String, Encoding.UTF_8, stream); | |
31 } | |
32 } | |
33 } | |
OLD | NEW |