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.