blob: bf043278e0ec338c9b7fcb679b0031f629c477f3 [file] [log] [blame]
// Copyright (c) 2013, 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.
part of dart.io;
/// The current system encoding.
///
/// This is used for converting from bytes to and from Strings when
/// communicating on stdin, stdout and stderr.
///
/// On Windows this will use the currently active code page for the conversion.
/// On all other systems it will always use UTF-8.
const SystemEncoding systemEncoding = const SystemEncoding();
@Deprecated("Use systemEncoding instead")
const SystemEncoding SYSTEM_ENCODING = const SystemEncoding();
/// The system encoding is the current code page on Windows and UTF-8 on Linux
/// and Mac.
class SystemEncoding extends Encoding {
/// Creates a const SystemEncoding.
///
/// Users should use the top-level constant, [systemEncoding].
const SystemEncoding();
String get name => 'system';
List<int> encode(String input) => encoder.convert(input);
String decode(List<int> encoded) => decoder.convert(encoded);
Converter<String, List<int>> get encoder {
if (Platform.operatingSystem == "windows") {
return const _WindowsCodePageEncoder();
} else {
return const Utf8Encoder();
}
}
Converter<List<int>, String> get decoder {
if (Platform.operatingSystem == "windows") {
return const _WindowsCodePageDecoder();
} else {
return const Utf8Decoder();
}
}
}
class _WindowsCodePageEncoder extends Converter<String, List<int>> {
const _WindowsCodePageEncoder();
List<int> convert(String input) {
List<int> encoded = _encodeString(input);
if (encoded == null) {
throw new FormatException("Invalid character for encoding");
}
return encoded;
}
/// Starts a chunked conversion.
StringConversionSink startChunkedConversion(Sink<List<int>> sink) {
return new _WindowsCodePageEncoderSink(sink);
}
external static List<int> _encodeString(String string);
}
class _WindowsCodePageEncoderSink extends StringConversionSinkBase {
// TODO(floitsch): provide more efficient conversions when the input is
// not a String.
final Sink<List<int>> _sink;
_WindowsCodePageEncoderSink(this._sink);
void close() {
_sink.close();
}
void add(String string) {
List<int> encoded = _WindowsCodePageEncoder._encodeString(string);
if (encoded == null) {
throw new FormatException("Invalid character for encoding");
}
_sink.add(encoded);
}
void addSlice(String source, int start, int end, bool isLast) {
if (start != 0 || end != source.length) {
source = source.substring(start, end);
}
add(source);
if (isLast) close();
}
}
class _WindowsCodePageDecoder extends Converter<List<int>, String> {
const _WindowsCodePageDecoder();
String convert(List<int> input) {
return _decodeBytes(input);
}
/// Starts a chunked conversion.
ByteConversionSink startChunkedConversion(Sink<String> sink) {
return new _WindowsCodePageDecoderSink(sink);
}
external static String _decodeBytes(List<int> bytes);
}
class _WindowsCodePageDecoderSink extends ByteConversionSinkBase {
// TODO(floitsch): provide more efficient conversions when the input is
// a slice.
final Sink<String> _sink;
_WindowsCodePageDecoderSink(this._sink);
void close() {
_sink.close();
}
void add(List<int> bytes) {
_sink.add(_WindowsCodePageDecoder._decodeBytes(bytes));
}
}