}

    /**
     * Returns the default current page number.
     *
     * @return The default current page number.
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Returns the total number of records.
     *
     * @return The total number of records.
     */
    public int getAllRecordCount() {

    }

    /** The default number of records to display per page. */
    public static final int DEFAULT_PAGE_SIZE = 20;

    /** The default current page number (1-based). */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

    /** The total number of records in the result set. */
    private int allRecordCount;

    /** The total number of pages in the result set. */
    private int allPageCount;

    }

    /**
     * Gets the list of page numbers for pagination navigation.
     * @return The list of page numbers.
     */
    public List<Integer> getPageNumberList() {
        return pageNumberList;
    }

    /**
     * Sets the list of page numbers for pagination navigation.
     * @param pageNumberList The list of page numbers.
     */

     */
    public void setPageSize(final int pageSize) {
        this.pageSize = pageSize;
    }

    /**
     * Gets the current page number.
     * If current page number is not set or invalid, returns the default page number.
     *
     * @return the current page number
     */
    public int getCurrentPageNumber() {
        if (currentPageNumber <= 0) {
            currentPageNumber = getDefaultCurrentPageNumber();

        versionNo = null;

    }

    /**
     * Gets the default current page number.
     * @return The default current page number.
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Gets the total number of records.
     * @return The total number of records.
     */
    public int getAllRecordCount() {
        return allRecordCount;

    }

    /**
     * Sets the current page number.
     *
     * @param currentPageNumber the current page number
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for navigation.
     *
     * @return the list of page numbers
     */
    public List<Integer> getPageNumberList() {

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

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

        /**
         * The starting record number for the current page of search results.
         */
        protected long startRecordNumber;
        /**
         * The ending record number for the current page of search results.
         */
        protected long endRecordNumber;
        /**
         * The list of page numbers for pagination.
         */
        protected List<String> pageNumbers;
        /**

    public String errorName;

    /** Default number of records per page. */
    public static final int DEFAULT_PAGE_SIZE = 20;

    /** Default current page number. */
    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;

     */
    public long getCurrentEndRecordNumber() {
        return currentEndRecordNumber;
    }

    /**
     * Gets a list of page numbers for pagination display.
     * Typically returns a range of page numbers around the current page.
     *
     * @return a list of page numbers as strings
     */
    public List<String> getPageNumberList() {
        return pageNumberList;
    }