* and navigation elements.
 */
public class StemmerOverridePager implements Serializable {

    private static final long serialVersionUID = 1L;

    /** The total number of records across all pages. */
    private int allRecordCount;

    /** The total number of pages. */
    private int allPageCount;

    /** Flag indicating whether a previous page exists. */
    private boolean existPrePage;

    private boolean existPrePage;

    /** Whether there is a next page available */
    private boolean existNextPage;

    /** List of page numbers for navigation */
    private List<Integer> pageNumberList;

    /** Number of records per page */
    private int pageSize;

    /** Current page number */
    private int currentPageNumber;

    /** User ID for search filtering */

     */
    private boolean existPrePage;

    /**
     * Flag indicating if a next page exists.
     */
    private boolean existNextPage;

    /**
     * List of page numbers for pagination.
     */
    private List<Integer> pageNumberList;

    /**
     * Number of records per page.
     */
    private int pageSize;

    /**
     * Current page number.
     */

    /**
     * Sets the number of records per page.
     *
     * @param pageSize the page size
     */
    public void setPageSize(final int pageSize) {
        this.pageSize = pageSize;
    }

    /**
     * Gets the current page number.
     * If current page number is not set or is invalid, returns the default current page number.
     *
     * @return the current page number
     */

        this.allRecordCount = allRecordCount;
    }

    /**
     * Gets the total number of pages.
     * @return The total number of pages.
     */
    public int getAllPageCount() {
        return allPageCount;
    }

    /**
     * Sets the total number of pages.
     * @param allPageCount The total number of pages.
     */
    public void setAllPageCount(final int allPageCount) {

    /** Default page size for pagination. */
    public static final int DEFAULT_PAGE_SIZE = 20;

    /** Default current page number (first page). */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

    /** Total number of records across all pages. */
    private int allRecordCount;

    /** Total number of pages. */
    private int allPageCount;

 */
package org.codelibs.fess.app.pager;

import java.io.Serializable;
import java.util.List;

import org.codelibs.fess.util.ComponentUtil;

/**
 * Pager for managing synonym pagination.
 * This class handles the state and logic for paginating through a list of synonyms,
 * including total record count, page size, and current page number.
 */
public class SynonymPager implements Serializable {

     *
     * @param pageSize the page size
     */
    public void setPageSize(final int pageSize) {
        this.pageSize = pageSize;
    }

    /**
     * Gets the current page number (1-based).
     * If the current page number is not set or is invalid, returns the default current page number.
     *
     * @return the current page number
     */

        this.allRecordCount = allRecordCount;
    }

    /**
     * Gets the total number of pages.
     * @return the total page count
     */
    public int getAllPageCount() {
        return allPageCount;
    }

    /**
     * Sets the total number of pages.
     * @param allPageCount the total page count
     */
    public void setAllPageCount(final int allPageCount) {

     * Whether a previous page exists.
     */
    private boolean existPrePage;

    /**
     * Whether a next page exists.
     */
    private boolean existNextPage;

    /**
     * The list of page numbers for navigation.
     */
    private List<Integer> pageNumberList;

    /**
     * The number of records per page.
     */
    private int pageSize;

    /**
     * The current page number.
     */