Class JournalledSystem.JournalEntry

  • Enclosing class:
    JournalledSystem

    private static final class JournalledSystem.JournalEntry
    extends java.lang.Object
    A JournalEntry represents a modification that has been logging in the journal for a specific page of a resource. It contains the name of the log file, the position in the journal of the modification, and the page number.
    • Field Detail

      • resource_name

        private final java.lang.String resource_name
        The resource that this page is on.
      • position

        private final long position
        The position in the journal file.
      • page_number

        private final long page_number
        The page number of this modification.
    • Constructor Detail

      • JournalEntry

        public JournalEntry​(java.lang.String resource_name,
                            JournalledSystem.JournalFile journal,
                            long position,
                            long page_number)
        Constructs the entry.
    • Method Detail

      • getPosition

        public long getPosition()
        Returns the position of the log entry in the journal file.
      • getPageNumber

        public long getPageNumber()
        Returns the page number of this modification log entry.