Class PhysicalPageKey

  • All Implemented Interfaces:
    java.io.Serializable

    public final class PhysicalPageKey
    extends java.lang.Object
    implements java.io.Serializable
    A physical page-key identifies a generated page.
    Author:
    Thomas Morgner
    See Also:
    Serialized Form
    • Constructor Detail

      • PhysicalPageKey

        public PhysicalPageKey​(LogicalPageKey logicalPage,
                               int x,
                               int y)
    • Method Detail

      • getX

        public int getX()
      • getY

        public int getY()
      • equals

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

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