Package org.jline.terminal.spi
Interface TerminalProvider
-
- All Known Implementing Classes:
ExecTerminalProvider
,JansiTerminalProvider
,JnaTerminalProvider
public interface TerminalProvider
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
TerminalProvider.Stream
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
isSystemStream(TerminalProvider.Stream 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(TerminalProvider.Stream 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, TerminalProvider.Stream consoleStream)
-
-
-
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, TerminalProvider.Stream consoleStream) 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(TerminalProvider.Stream stream)
-
systemStreamName
java.lang.String systemStreamName(TerminalProvider.Stream stream)
-
load
static TerminalProvider load(java.lang.String name) throws java.io.IOException
- Throws:
java.io.IOException
-
-