Package org.jline.reader.impl.history
Class DefaultHistory.HistoryFileData
java.lang.Object
org.jline.reader.impl.history.DefaultHistory.HistoryFileData
- Enclosing class:
DefaultHistory
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
int
int
void
incEntriesInFile
(int amount) void
setEntriesInFile
(int entriesInFile) void
setLastLoaded
(int lastLoaded)
-
Field Details
-
lastLoaded
private int lastLoaded -
entriesInFile
private int entriesInFile
-
-
Constructor Details
-
HistoryFileData
public HistoryFileData() -
HistoryFileData
public HistoryFileData(int lastLoaded, int entriesInFile)
-
-
Method Details
-
getLastLoaded
public int getLastLoaded() -
setLastLoaded
public void setLastLoaded(int lastLoaded) -
decLastLoaded
public void decLastLoaded() -
getEntriesInFile
public int getEntriesInFile() -
setEntriesInFile
public void setEntriesInFile(int entriesInFile) -
incEntriesInFile
public void incEntriesInFile(int amount)
-