Package org.jline.reader.impl.history

Class DefaultHistory.HistoryFileData

java.lang.Object
org.jline.reader.impl.history.DefaultHistory.HistoryFileData
Enclosing class:
DefaultHistory
private static class DefaultHistory.HistoryFileData extends Object
Helper class for tracking history file state.

This class maintains information about history files, including how many entries have been loaded from the file and how many entries are currently in the file. This information is used for incremental saving and trimming of history files.

  • 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)