public final class LineReaderBuilder extends Object
Modifier and Type | Method and Description |
---|---|
LineReaderBuilder |
appName(String appName) |
LineReader |
build() |
static LineReaderBuilder |
builder() |
LineReaderBuilder |
completer(Completer completer) |
LineReaderBuilder |
completionMatcher(CompletionMatcher completionMatcher) |
LineReaderBuilder |
expander(Expander expander) |
LineReaderBuilder |
highlighter(Highlighter highlighter) |
LineReaderBuilder |
history(History history) |
LineReaderBuilder |
option(LineReader.Option option,
boolean value) |
LineReaderBuilder |
parser(Parser parser) |
LineReaderBuilder |
terminal(org.graalvm.shadowed.org.jline.terminal.Terminal terminal) |
LineReaderBuilder |
variable(String name,
Object value) |
LineReaderBuilder |
variables(Map<String,Object> variables) |
public static LineReaderBuilder builder()
public LineReaderBuilder terminal(org.graalvm.shadowed.org.jline.terminal.Terminal terminal)
public LineReaderBuilder appName(String appName)
public LineReaderBuilder variables(Map<String,Object> variables)
public LineReaderBuilder variable(String name, Object value)
public LineReaderBuilder option(LineReader.Option option, boolean value)
public LineReaderBuilder history(History history)
public LineReaderBuilder completer(Completer completer)
public LineReaderBuilder highlighter(Highlighter highlighter)
public LineReaderBuilder parser(Parser parser)
public LineReaderBuilder expander(Expander expander)
public LineReaderBuilder completionMatcher(CompletionMatcher completionMatcher)
public LineReader build()