public final class TerminalBuilder extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
PROP_DUMB |
static String |
PROP_ENCODING |
static String |
PROP_EXEC |
static String |
PROP_JANSI |
static String |
PROP_JNA |
static String |
PROP_TYPE |
| Modifier and Type | Method and Description |
|---|---|
TerminalBuilder |
attributes(Attributes attributes)
Attributes to use when creating a non system terminal,
i.e. when the builder has been given the input and
outut streams using the
streams(InputStream, OutputStream) method
or when system(boolean) has been explicitely called with
false. |
Terminal |
build() |
static TerminalBuilder |
builder()
Creates a new terminal builder instance.
|
TerminalBuilder |
dumb(boolean dumb) |
TerminalBuilder |
encoding(String encoding) |
TerminalBuilder |
exec(boolean exec) |
TerminalBuilder |
jansi(boolean jansi) |
TerminalBuilder |
jna(boolean jna) |
TerminalBuilder |
name(String name) |
TerminalBuilder |
nativeSignals(boolean nativeSignals) |
TerminalBuilder |
signalHandler(Terminal.SignalHandler signalHandler) |
TerminalBuilder |
size(Size size)
Initial size to use when creating a non system terminal,
i.e. when the builder has been given the input and
outut streams using the
streams(InputStream, OutputStream) method
or when system(boolean) has been explicitely called with
false. |
TerminalBuilder |
streams(InputStream in,
OutputStream out) |
TerminalBuilder |
system(boolean system) |
static Terminal |
terminal()
Returns the default system terminal.
|
TerminalBuilder |
type(String type) |
public static final String PROP_ENCODING
public static final String PROP_TYPE
public static final String PROP_JNA
public static final String PROP_JANSI
public static final String PROP_EXEC
public static final String PROP_DUMB
public static Terminal terminal() throws IOException
Closeable.close()
method in order to restore the original terminal state.
This call is equivalent to:
builder().build()IOExceptionpublic static TerminalBuilder builder()
public TerminalBuilder name(String name)
public TerminalBuilder streams(InputStream in, OutputStream out)
public TerminalBuilder system(boolean system)
public TerminalBuilder jna(boolean jna)
public TerminalBuilder jansi(boolean jansi)
public TerminalBuilder exec(boolean exec)
public TerminalBuilder dumb(boolean dumb)
public TerminalBuilder type(String type)
public TerminalBuilder encoding(String encoding)
public TerminalBuilder attributes(Attributes attributes)
streams(InputStream, OutputStream) method
or when system(boolean) has been explicitely called with
false.size(Size),
system(boolean)public TerminalBuilder size(Size size)
streams(InputStream, OutputStream) method
or when system(boolean) has been explicitely called with
false.attributes(Attributes),
system(boolean)public TerminalBuilder nativeSignals(boolean nativeSignals)
public TerminalBuilder signalHandler(Terminal.SignalHandler signalHandler)
public Terminal build() throws IOException
IOExceptionCopyright © 2017. All rights reserved.