Class DiskPageStore.DiskData

  • All Implemented Interfaces:
    java.io.Serializable
    Enclosing class:
    DiskPageStore

    protected static class DiskPageStore.DiskData
    extends java.lang.Object
    implements java.io.Serializable
    Data held on disk.
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected DiskData​(DiskPageStore pageStore, java.lang.String sessionIdentifier)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getKey()  
      PageWindowManager getManager()  
      byte[] loadData​(PageWindowManager.FileWindow window)
      Loads the part of pagemap file specified by the given PageWindow.
      byte[] loadPage​(int id)
      Loads the specified page data.
      void removeData​(int pageId)
      Removes the page from disk.
      void savePage​(int pageId, java.lang.String pageType, byte[] data)
      Saves the serialized page to appropriate file.
      long size()  
      void unbind()
      Deletes all files for this session.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DiskData

        protected DiskData​(DiskPageStore pageStore,
                           java.lang.String sessionIdentifier)
    • Method Detail

      • size

        public long size()
      • getKey

        public java.lang.String getKey()
        Returns:
        session id
      • savePage

        public void savePage​(int pageId,
                             java.lang.String pageType,
                             byte[] data)
        Saves the serialized page to appropriate file.
        Parameters:
        pageId -
        pageType -
        data -
      • removeData

        public void removeData​(int pageId)
        Removes the page from disk.
        Parameters:
        pageId -
      • loadData

        public byte[] loadData​(PageWindowManager.FileWindow window)
        Loads the part of pagemap file specified by the given PageWindow.
        Parameters:
        window -
        Returns:
        serialized page data
      • loadPage

        public byte[] loadPage​(int id)
        Loads the specified page data.
        Parameters:
        id -
        Returns:
        page data or null if the page is no longer in pagemap file
      • unbind

        public void unbind()
        Deletes all files for this session.