public interface PaginationList
Text
s, 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.Builder
Builds a paginated output for an iterable of
Text s. |
Modifier and Type | Method and Description |
---|---|
static PaginationList.Builder |
builder()
Creates a new
PaginationList.Builder to 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
MessageReceiver s within an Iterable . |
default void |
sendTo(Iterable<MessageReceiver> receivers,
int page)
Sends the specified page of the constructed pagination list
all
MessageReceiver s within an Iterable . |
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 page
void 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)
MessageReceiver
s within an Iterable
.receivers
- The message receivers to send the first page toto send a specific page
default void sendTo(Iterable<MessageReceiver> receivers, int page)
MessageReceiver
s within an Iterable
.receivers
- The message receivers to send the page topage
- The page to send