Class DefaultHistory.HistoryFileData

java.lang.Object
org.jline.reader.impl.history.DefaultHistory.HistoryFileData
Enclosing class:
DefaultHistory

private static class DefaultHistory.HistoryFileData extends Object
  • 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)