Class DBPageID


  • public class DBPageID
    extends java.lang.Object
    A class representing the unique identity of a DBPage, used as a key for tracking pages in maps.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.io.File file  
      private int pageNo  
    • Constructor Summary

      Constructors 
      Constructor Description
      DBPageID​(DBPage dbPage)  
      DBPageID​(java.io.File file, int pageNo)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      int hashCode()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • file

        private java.io.File file
      • pageNo

        private int pageNo
    • Constructor Detail

      • DBPageID

        public DBPageID​(java.io.File file,
                        int pageNo)
      • DBPageID

        public DBPageID​(DBPage dbPage)
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object