make_page

function make_page(pagination_results: list<pagination_result>, page_size: integer?): paged_result(source)

Creates a page from a list of pagination_results and the expected size of the page. It will never return pages bigger than query_max_page_size.

Used by paginated queries to build the actual paged_result that will be returned.

Throws "PAGE SIZE TOO SMALL" if page_size is less than 1

Parameters

pagination_results

the data that should be inside the page

page_size

the expected size of the page