Interface PageManager

All Superinterfaces:
BlockSource
All Known Implementing Classes:
PageManagerForByteBuffer, PageManagerForFileChannel, PageManagerOverDataStreamSource, PageManagerWrapper
public interface PageManager extends BlockSource
A PageSource (TODO change to that naming) is a special kind of BlockSource where all blocks have the same size and there is a 1:1 correspondance between a pages and non-overlapping regions in the underlying buffer. Consecutive page ids do not necessarily have to refer to consecutive regions.
Author:
raven

  • Method Summary

    Modifier and Type
    Method
    Description
    default Ref<? extends Page>
    contentAtOrAfter(long pos, boolean inclusive)
     
    default Ref<? extends Page>
    contentAtOrBefore(long pos, boolean inclusive)
     
    long
    getEndPos()
    The maximum position in the underlying buffer
    int
    getPageSize()
    The pageSize.
    default long
    getSizeOfBlock(long pos)
    Return the size of the block; all but the last block are guaranteed to have the same size
    default boolean
    hasBlockAfter(long pos)
     
    default boolean
    hasBlockBefore(long pos)
     
    Ref<? extends Page>
    requestBufferForPage(long page)
     
    default long
    size()
    Retrieve the number of available pages