public class FileHistory extends InMemoryHistory
| Modifier and Type | Field and Description |
|---|---|
private java.io.File |
historyFile |
private FileAccessPermission |
historyFilePermission |
private static java.util.logging.Logger |
LOGGER |
private boolean |
logging |
| Constructor and Description |
|---|
FileHistory(java.io.File file,
int maxSize,
boolean logging) |
FileHistory(java.io.File file,
int maxSize,
FileAccessPermission historyFilePermission,
boolean logging) |
| Modifier and Type | Method and Description |
|---|---|
private void |
readFile()
Read specified history file to history buffer
|
void |
stop() |
private void |
writeFile()
Write the content of the history buffer to file
|
clear, find, get, getAll, getCurrent, getNextFetch, getPreviousFetch, getSearchDirection, push, search, setCurrent, setSearchDirection, sizeprivate final java.io.File historyFile
private final FileAccessPermission historyFilePermission
private final boolean logging
private static final java.util.logging.Logger LOGGER
public FileHistory(java.io.File file,
int maxSize,
boolean logging)
throws java.io.IOException
java.io.IOExceptionpublic FileHistory(java.io.File file,
int maxSize,
FileAccessPermission historyFilePermission,
boolean logging)
throws java.io.IOException
java.io.IOExceptionprivate void readFile()
throws java.io.IOException
java.io.IOException - ioprivate void writeFile()
throws java.io.IOException
java.io.IOException - iopublic void stop()
stop in class InMemoryHistory