Package | Description |
---|---|
org.jline.reader |
JLine 3.
|
Modifier and Type | Method | Description |
---|---|---|
LineReaderBuilder |
LineReaderBuilder.appName(String appName) |
|
static LineReaderBuilder |
LineReaderBuilder.builder() |
|
LineReaderBuilder |
LineReaderBuilder.completer(Completer completer) |
|
LineReaderBuilder |
LineReaderBuilder.expander(Expander expander) |
|
LineReaderBuilder |
LineReaderBuilder.highlighter(Highlighter highlighter) |
|
LineReaderBuilder |
LineReaderBuilder.history(History history) |
|
LineReaderBuilder |
LineReaderBuilder.option(LineReader.Option option,
boolean value) |
|
LineReaderBuilder |
LineReaderBuilder.parser(Parser parser) |
|
LineReaderBuilder |
LineReaderBuilder.terminal(Terminal terminal) |
|
LineReaderBuilder |
LineReaderBuilder.variable(String name,
Object value) |
|
LineReaderBuilder |
LineReaderBuilder.variables(Map<String,Object> variables) |
Copyright © 2020. All rights reserved.