Class PagedRecordFilter

  • All Implemented Interfaces:
    RecordFilter

    public final class PagedRecordFilter
    extends Object
    implements RecordFilter
    Filter which will only materialize a page worth of results.
    • Method Detail

      • page

        public static final UnboundRecordFilter page​(long startPos,
                                                     long pageSize)
        Returns builder for creating a paged query.
        Parameters:
        startPos - The record to start from, numbering starts at 1.
        pageSize - The size of the page.
        Returns:
        a paged record filter
      • isMatch

        public boolean isMatch()
        Keeps track of how many times it is called. Only returns matches when the record number is in the range.
        Specified by:
        isMatch in interface RecordFilter
        Returns:
        true if the current value for the column reader matches the predicate.