diff options
| -rw-r--r-- | src/main/java/it/alessandroiezzi/commons/page/Pages.java | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/src/main/java/it/alessandroiezzi/commons/page/Pages.java b/src/main/java/it/alessandroiezzi/commons/page/Pages.java deleted file mode 100644 index ab88999..0000000 --- a/src/main/java/it/alessandroiezzi/commons/page/Pages.java +++ /dev/null @@ -1,44 +0,0 @@ -/* - * Copyright (C) 2022 Alessandro Iezzi <aiezzi AT alessandroiezzi PERIOD it> - * - * This file is part of commons-page. - * - * commons-page is free software: you can redistribute it and/or modify - * it under the terms of the GNU Affero General Public License as published by - * the Free Software Foundation, either version 3 of the License, or - * (at your option) any later version. - * - * commons-page is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU Affero General Public License for more details. - * - * You should have received a copy of the GNU Affero General Public License - * along with commons-page. If not, see <https://www.gnu.org/licenses/>. - */ - -package it.alessandroiezzi.commons.page; - -import it.alessandroiezzi.util.*; - -import java.util.*; -import java.util.function.*; - -public interface Pages<T> extends Page<T> { - Page<T> firstPage(); - Page<T> lastPage(); - Page<T> previousPage(); - Page<T> nextPage(); - Page<T> toPage(int page); - Page<T> getCurrentPage(); - int getCurrentPageNumber(); - int getTotalPages(); - void addElement(T element); - void removeElement(T element); - void removeElementIf(Predicate<T> predicate); - void addPageChangeListener(PageChangeListener<T> pageChangeListener); - List<T> getAllElements(); - boolean isPageChanged(); - int from(); - int to(); -} |