public final class TerminalBuilder extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PROP_CODEPAGE |
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.
|
Terminal |
build() |
static TerminalBuilder |
builder()
Creates a new terminal builder instance.
|
TerminalBuilder |
codepage(int codepage)
Deprecated.
JLine now writes Unicode output independently from the selected
code page. Using this option will only make it emulate the selected code
page for
Terminal.input() and Terminal.output() . |
TerminalBuilder |
dumb(boolean dumb) |
TerminalBuilder |
encoding(Charset encoding)
Set the
Charset to use for reading/writing from the console. |
TerminalBuilder |
encoding(String encoding)
Set the encoding to use for reading/writing from the console.
|
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.
|
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_CODEPAGE
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()
IOException
public 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) throws UnsupportedCharsetException
null
(the default value), JLine will automatically select
a Charset
, usually the default system encoding. However,
on some platforms (e.g. Windows) it may use a different one depending
on the Terminal
implementation.
Use Terminal.encoding()
to get the Charset
that
should be used for a Terminal
.
encoding
- The encoding to use or null to automatically select oneUnsupportedCharsetException
- If the given encoding is not supportedTerminal.encoding()
public TerminalBuilder encoding(Charset encoding)
Charset
to use for reading/writing from the console.
If null
(the default value), JLine will automatically select
a Charset
, usually the default system encoding. However,
on some platforms (e.g. Windows) it may use a different one depending
on the Terminal
implementation.
Use Terminal.encoding()
to get the Charset
that
should be used to read/write from a Terminal
.
encoding
- The encoding to use or null to automatically select oneTerminal.encoding()
@Deprecated public TerminalBuilder codepage(int codepage)
Terminal.input()
and Terminal.output()
.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
IOException
Copyright © 2018 JBoss by Red Hat. All rights reserved.