Class DiskPageStore.DiskData

    • Method Detail

      • size

        public long size()
      • savePage

        public void savePage​(int pageId,
                             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.