Class PageKey


  • public final class PageKey
    extends java.lang.Object
    A key that identifies a BasePage. Used as the key for the caching mechanism.
    MT - Immutable :
    • Field Detail

      • pageNumber

        private final long pageNumber
    • Constructor Detail

      • PageKey

        public PageKey​(ContainerKey key,
                       long pageNumber)
    • Method Detail

      • getPageNumber

        public long getPageNumber()
      • writeExternal

        public void writeExternal​(java.io.ObjectOutput out)
                           throws java.io.IOException
        Throws:
        java.io.IOException
      • read

        public static PageKey read​(java.io.ObjectInput in)
                            throws java.io.IOException
        Throws:
        java.io.IOException
      • equals

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

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

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object