| Package | Description |
|---|---|
| org.jline.reader |
JLine 3.
|
| org.jline.reader.impl | |
| org.jline.reader.impl.history |
JLine 3.
|
| Modifier and Type | Method | Description |
|---|---|---|
History |
LineReader.getHistory() |
| Modifier and Type | Method | Description |
|---|---|---|
String |
Expander.expandHistory(History history,
String line) |
|
LineReaderBuilder |
LineReaderBuilder.history(History history) |
| Modifier and Type | Field | Description |
|---|---|---|
protected History |
LineReaderImpl.history |
| Modifier and Type | Method | Description |
|---|---|---|
History |
LineReaderImpl.getHistory() |
| Modifier and Type | Method | Description |
|---|---|---|
String |
DefaultExpander.expandHistory(History history,
String line) |
Expand event designator such as !!, !#, !3, etc...
|
protected int |
DefaultExpander.searchBackwards(History history,
String searchTerm,
int startIndex,
boolean startsWith) |
|
void |
LineReaderImpl.setHistory(History history) |
| Modifier and Type | Class | Description |
|---|---|---|
class |
DefaultHistory |
History using a file for persistent backing. |
Copyright © 2020. All rights reserved.