make_page
function make_page(pagination_results: list<pagination_result>, page_size: integer?): paged_result(source)
Creates a page from a list of pagination_result
s 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