Console (Jython API documentation)

All Known Implementing Classes:

JLineConsole, PlainConsole
```
public interface Console
```
A class named in configuration as the value of 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.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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).

- Method Detail
  - install
```
void install()
      throws java.io.IOException
```
    Complete initialization and (optionally) install a stream object with line-editing as the replacement for System.in.
    
    Throws:
    
    java.io.IOException - in case of failure related to i/o
  - uninstall
```
void uninstall()
        throws java.lang.UnsupportedOperationException
```
    Uninstall the Console (if possible). A Console that installs a replacement for System.in should put back the original value.
    
    Throws:
    
    java.lang.UnsupportedOperationException - if the Console cannot be uninstalled
  - getEncoding
```
java.lang.String getEncoding()
```
    Name of the encoding, normally supplied during initialisation, and used for line input. This may not be the cononoical name of the codec returned by getEncodingCharset().
    
    Returns:
    
    name of the encoding in use.
  - getEncodingCharset
```
java.nio.charset.Charset getEncodingCharset()
```
    Accessor for encoding to use for line input as a Charset.
    
    Returns:
    
    Charset of the encoding in use.