java.lang.Object
org.gjt.sp.jedit.io.CharsetEncoding
- All Implemented Interfaces:
Encoding
Encodings which are provided by java.nio.charset.Charset.
- Since:
- 4.3pre10
- Author:
- Kazutoshi Satoda
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionMap an InputStream to a Reader.Map an InputStream to a Reader.Map an OutputStream to a Writer.
-
Constructor Details
-
CharsetEncoding
-
CharsetEncoding
-
-
Method Details
-
getTextReader
Description copied from interface:Encoding
Map an InputStream to a Reader. Decode-error while reading from this Reader should be reported by throwing an IOException.- Specified by:
getTextReader
in interfaceEncoding
- Throws:
IOException
-
getTextWriter
Description copied from interface:Encoding
Map an OutputStream to a Writer. Encode-error while writing to this Writer should be reported by throwing an IOException.- Specified by:
getTextWriter
in interfaceEncoding
- Throws:
IOException
-
getPermissiveTextReader
Description copied from interface:Encoding
Map an InputStream to a Reader. Decode-error while reading from this Reader should be ignored or replaced.- Specified by:
getPermissiveTextReader
in interfaceEncoding
- Throws:
IOException
-