Package NTNU.IDATT1002.repository

Class Page<T>

java.lang.Object

NTNU.IDATT1002.repository.Page<T>

Type Parameters:

T - The type of data, preferably an entity.

All Implemented Interfaces:

java.lang.Iterable<T>

public class Page<T>
extends java.lang.Object
implements java.lang.Iterable<T>

Provides operations for navigating between pages. A page contains a list of data which type and size are determined by the previous PageRequest before this page was created. The page does not care what type of data it is holding.

Constructor Summary

Constructors

Constructor	Description
Page(java.util.List<T> content, PageRequest pageRequest, long total)	Create a Page holding given content.

Method Summary

Modifier and Type	Method	Description
java.util.List<T>	getContent()	Return the content for this Page.
int	getLastPageNumber()	Calculate and return the last page number.
PageRequest	getPageRequest()	Return the PageRequest for this Page.
long	getTotal()	Return the current total size of data available.
java.util.Iterator<T>	iterator()	Return an iterator for the page's content.
PageRequest	nextPageRequest()	Return the next PageRequest.
PageRequest	previousPageRequest()	Return the previous PageRequest.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

Page

public Page(java.util.List<T> content, PageRequest pageRequest, long total)

Create a Page holding given content.

Parameters:

content - the list of content

pageRequest - the PageRequest involved in creating this Page

total - the current total size of data available. The last page number is calculated with this number.

Throws:

java.lang.IllegalArgumentException - if total is negative

Method Details

nextPageRequest

public PageRequest nextPageRequest()

Return the next PageRequest. If the current PageRequest is the last page, this PageRequest is returned.

previousPageRequest

public PageRequest previousPageRequest()

Return the previous PageRequest. If the current PageRequest is the first page, this PageRequest is returned.

getTotal

public long getTotal()

Return the current total size of data available.

getLastPageNumber

public int getLastPageNumber()

Calculate and return the last page number. This number is rounded up to include the results left over in the last PageRequest and 1 is subtracted because counting starts at 0.

getPageRequest

public PageRequest getPageRequest()

Return the PageRequest for this Page.

getContent

public java.util.List<T> getContent()

Return the content for this Page.

iterator

public java.util.Iterator<T> iterator()

Return an iterator for the page's content.

Specified by:

iterator in interface java.lang.Iterable<T>