|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface History
Provides access to a shells history.
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from interface jline.console.history.History |
|---|
jline.console.history.History.Entry |
| Method Summary |
|---|
| Methods inherited from interface jline.console.history.PersistentHistory |
|---|
flush, purge |
| Methods inherited from interface jline.console.history.History |
|---|
add, clear, current, entries, entries, get, index, isEmpty, iterator, moveTo, moveToEnd, moveToFirst, moveToLast, next, previous, replace, size |
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||