From 0ec31af57fec8a97672b5a1bf032c58b339c4b5b Mon Sep 17 00:00:00 2001 From: Alessandro Iezzi Date: Wed, 30 Nov 2022 16:45:40 +0100 Subject: Remove Pages --- .../it/alessandroiezzi/commons/page/Pages.java | 44 ---------------------- 1 file changed, 44 deletions(-) delete mode 100644 src/main/java/it/alessandroiezzi/commons/page/Pages.java 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 - * - * 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 . - */ - -package it.alessandroiezzi.commons.page; - -import it.alessandroiezzi.util.*; - -import java.util.*; -import java.util.function.*; - -public interface Pages extends Page { - Page firstPage(); - Page lastPage(); - Page previousPage(); - Page nextPage(); - Page toPage(int page); - Page getCurrentPage(); - int getCurrentPageNumber(); - int getTotalPages(); - void addElement(T element); - void removeElement(T element); - void removeElementIf(Predicate predicate); - void addPageChangeListener(PageChangeListener pageChangeListener); - List getAllElements(); - boolean isPageChanged(); - int from(); - int to(); -} -- cgit v1.2.3