Package org.jline.terminal.spi
Interface TerminalProvider
-
- All Known Implementing Classes:
DumbTerminalProvider
,ExecTerminalProvider
,JniTerminalProvider
public interface TerminalProvider
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
isSystemStream(SystemStream stream)
static TerminalProvider
load(java.lang.String name)
java.lang.String
name()
Terminal
newTerminal(java.lang.String name, java.lang.String type, java.io.InputStream masterInput, java.io.OutputStream masterOutput, java.nio.charset.Charset encoding, Terminal.SignalHandler signalHandler, boolean paused, Attributes attributes, Size size)
java.lang.String
systemStreamName(SystemStream stream)
int
systemStreamWidth(SystemStream stream)
Terminal
sysTerminal(java.lang.String name, java.lang.String type, boolean ansiPassThrough, java.nio.charset.Charset encoding, boolean nativeSignals, Terminal.SignalHandler signalHandler, boolean paused, SystemStream systemStream)
-
-
-
Method Detail
-
name
java.lang.String name()
-
sysTerminal
Terminal sysTerminal(java.lang.String name, java.lang.String type, boolean ansiPassThrough, java.nio.charset.Charset encoding, boolean nativeSignals, Terminal.SignalHandler signalHandler, boolean paused, SystemStream systemStream) throws java.io.IOException
- Throws:
java.io.IOException
-
newTerminal
Terminal newTerminal(java.lang.String name, java.lang.String type, java.io.InputStream masterInput, java.io.OutputStream masterOutput, java.nio.charset.Charset encoding, Terminal.SignalHandler signalHandler, boolean paused, Attributes attributes, Size size) throws java.io.IOException
- Throws:
java.io.IOException
-
isSystemStream
boolean isSystemStream(SystemStream stream)
-
systemStreamName
java.lang.String systemStreamName(SystemStream stream)
-
systemStreamWidth
int systemStreamWidth(SystemStream stream)
-
load
static TerminalProvider load(java.lang.String name) throws java.io.IOException
- Throws:
java.io.IOException
-
-