public interface JShellHistory
| Modifier and Type | Method and Description |
|---|---|
void |
add(String e) |
void |
append(JShellHistory other) |
void |
clear() |
String |
get(int index) |
List<String> |
getElements() |
List<String> |
getElements(int maxElements) |
net.thevpc.nuts.NutsPath |
getHistoryFile() |
String |
getLast() |
boolean |
isEmpty() |
void |
load() |
void |
load(net.thevpc.nuts.NutsPath reader) |
void |
load(Reader reader) |
void |
remove(int index) |
void |
removeDuplicates() |
void |
save() |
void |
save(net.thevpc.nuts.NutsPath writer) |
void |
save(PrintStream writer) |
void |
save(PrintWriter writer) |
JShellHistory |
setHistoryFile(net.thevpc.nuts.NutsPath historyFile) |
int |
size() |
net.thevpc.nuts.NutsPath getHistoryFile()
JShellHistory setHistoryFile(net.thevpc.nuts.NutsPath historyFile)
void add(String e)
void removeDuplicates()
int size()
void clear()
void remove(int index)
void load() throws IOException
IOExceptionvoid load(net.thevpc.nuts.NutsPath reader) throws IOException
IOExceptionvoid load(Reader reader) throws IOException
IOExceptionvoid save() throws IOException
IOExceptionvoid save(net.thevpc.nuts.NutsPath writer) throws IOException
IOExceptionvoid save(PrintWriter writer) throws IOException
IOExceptionvoid save(PrintStream writer) throws IOException
IOExceptionvoid append(JShellHistory other)
boolean isEmpty()
String get(int index)
String getLast()
Copyright © 2022 vpc open source initiative. All rights reserved.