* 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.
     */

e=this.originalEvent;this.isImmediatePropagationStopped=Ne,e&&!this.isSimulated&&e.stopImmediatePropagation(),this.stopPropagation()}},ce.each({altKey:!0,bubbles:!0,cancelable:!0,changedTouches:!0,ctrlKey:!0,detail:!0,eventPhase:!0,metaKey:!0,pageX:!0,pageY:!0,shiftKey:!0,view:!0,"char":!0,code:!0,charCode:!0,key:!0,keyCode:!0,button:!0,buttons:!0,clientX:!0,clientY:!0,offsetX:!0,offsetY:!0,pointerId:!0,pointerType:!0,screenX:!0,screenY:!0,targetTouches:!0,toElement:!0,touches:!0,which:!0},ce.ev...

 * 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;

    /**
     * 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.
     */

     *
     * @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) {

    /**
     * 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
     */

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

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

    /**
     * Indicates whether a previous page exists before the current page.
     */
    private boolean existPrePage;

    /**
     * Indicates whether a next page exists after the current page.
     */

    }

    /**
     * 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 not set or invalid, returns the default current page number.
     *
     * @return the current page number
     */
    public int getCurrentPageNumber() {

        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) {