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 classTerminalProvider.Stream
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanisSystemStream(TerminalProvider.Stream stream)static TerminalProviderload(java.lang.String name)java.lang.Stringname()TerminalnewTerminal(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.StringsystemStreamName(TerminalProvider.Stream stream)TerminalsysTerminal(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
-
-