|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjline.console.history.MemoryHistory
jline.console.history.FileHistory
org.sonatype.gshell.shell.ShellHistory
public class ShellHistory
Implementation of History for JLine.
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from interface jline.console.history.History |
|---|
jline.console.history.History.Entry |
| Field Summary |
|---|
| Fields inherited from class jline.console.history.MemoryHistory |
|---|
DEFAULT_MAX_SIZE |
| Constructor Summary | |
|---|---|
ShellHistory(File file)
|
|
| Method Summary |
|---|
| Methods inherited from class jline.console.history.FileHistory |
|---|
flush, getFile, load, load, load, purge |
| Methods inherited from class jline.console.history.MemoryHistory |
|---|
add, clear, current, entries, entries, get, getMaxSize, index, isAutoTrim, isEmpty, isIgnoreDuplicates, iterator, moveTo, moveToEnd, moveToFirst, moveToLast, next, previous, replace, setAutoTrim, setIgnoreDuplicates, setMaxSize, size |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| 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 |
| Constructor Detail |
|---|
public ShellHistory(File file)
throws IOException
IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||