public interface Console
python.console
must implement this
interface, and provide a constructor with a single String
argument, to be acceptable
during initialization of the interpreter. The argument to the constructor names the encoding in
use on the console. Such a class may provide line editing and history recall to an interactive
console. A default implementation (that does not provide any such facilities) is available as
PlainConsole
.RegistryKey.PYTHON_CONSOLE
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getEncoding()
Name of the encoding, normally supplied during initialisation, and used for line input.
|
java.nio.charset.Charset |
getEncodingCharset()
Accessor for encoding to use for line input as a
Charset . |
void |
install()
Complete initialization and (optionally) install a stream object with line-editing as the
replacement for
System.in . |
void |
uninstall()
Uninstall the Console (if possible).
|
void install() throws java.io.IOException
System.in
.java.io.IOException
- in case of failure related to i/ovoid uninstall() throws java.lang.UnsupportedOperationException
System.in
should put back the original value.java.lang.UnsupportedOperationException
- if the Console cannot be uninstalledjava.lang.String getEncoding()
getEncodingCharset()
.java.nio.charset.Charset getEncodingCharset()
Charset
.