public interface PaginationList
Texts, which can be sent to
 a MessageReceiver.
 An instance of this class may be obtained using PaginationList.Builder.
| Modifier and Type | Interface and Description | 
|---|---|
| static interface  | PaginationList.BuilderBuilds a paginated output for an iterable of  Texts. | 
| Modifier and Type | Method and Description | 
|---|---|
| static PaginationList.Builder | builder()Creates a new  PaginationList.Builderto build a pagination list. | 
| Iterable<Text> | getContents()Gets the contents of this pagination list. | 
| Optional<Text> | getFooter()Gets the footer to be displayed for this output on all pages after the
 contents and page navigation bar, if available. | 
| Optional<Text> | getHeader()Gets the header to be displayed for this output on all pages after the
 title bar but before the contents, if available. | 
| int | getLinesPerPage()Gets the maximum amount of lines that will be sent per page. | 
| Text | getPadding()Gets the padding character to be used when centering headers and footers. | 
| Optional<Text> | getTitle()Gets the title text to be used in the title bar of this pagination. | 
| default void | sendTo(Iterable<MessageReceiver> receivers)Sends the first page of the constructed pagination list to
 all  MessageReceivers within anIterable. | 
| default void | sendTo(Iterable<MessageReceiver> receivers,
      int page)Sends the specified page of the constructed pagination list
 all  MessageReceivers within anIterable. | 
| default void | sendTo(MessageReceiver receiver)Sends the first page of the constructed pagination list
 to the specified message receiver. | 
| void | sendTo(MessageReceiver receiver,
      int page)Send the specified page of the constructed pagination list
 to the specified message receiver. | 
static PaginationList.Builder builder()
PaginationList.Builder to build a pagination list.Iterable<Text> getContents()
Optional<Text> getTitle()
Optional<Text> getHeader()
Header and footer will use this Text's style and color for formatting.
Optional<Text> getFooter()
Text getPadding()
int getLinesPerPage()
This defaults to the maximum amount of lines that can be displayed on a source's screen at one time if not specified.
default void sendTo(MessageReceiver receiver)
receiver - The receiver to send the first page toto send a specific pagevoid sendTo(MessageReceiver receiver, int page)
A page that is out of bounds will result in a friendly error message being sent to the receiver.
Pages start at an index of 1.
receiver - The receiver to send the page topage - The page to send, starting at an index of 1default void sendTo(Iterable<MessageReceiver> receivers)
MessageReceivers within an Iterable.receivers - The message receivers to send the first page toto send a specific pagedefault void sendTo(Iterable<MessageReceiver> receivers, int page)
MessageReceivers within an Iterable.receivers - The message receivers to send the page topage - The page to send