Class FileStore.PageSerializationManager

  • Enclosing class:
    FileStore<C extends Chunk<C>>

    public final class FileStore.PageSerializationManager
    extends java.lang.Object
    • Method Detail

      • getPageNo

        public int getPageNo()
      • getPagePosition

        public long getPagePosition​(int mapId,
                                    int offset,
                                    int pageLength,
                                    int type)
      • onPageSerialized

        public void onPageSerialized​(Page<?,​?> page,
                                     boolean isDeleted,
                                     int diskSpaceUsed,
                                     boolean isPinned)
      • serializeToC

        public void serializeToC()