java.lang.Object | ||
↳ | jline.console.history.MemoryHistory | |
↳ | jline.console.history.FileHistory |
History
using a file for persistent backing.
flush()
to save history to disk.
[Expand]
Inherited Constants | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
From class
jline.console.history.MemoryHistory
|
Public Constructors | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Public Methods | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Flush all items to persistent storage.
| |||||||||||
Purge persistent storage and
clear() . |
[Expand]
Inherited Methods | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
From class
jline.console.history.MemoryHistory
| |||||||||||
From class
java.lang.Object
| |||||||||||
From interface
java.io.Flushable
| |||||||||||
From interface
java.lang.Iterable
| |||||||||||
From interface
jline.console.history.History
| |||||||||||
From interface
jline.console.history.PersistentHistory
|