/** The offset value used for pagination calculations. */
    protected final int offset;

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

    /** The current page number (1-based). */
    protected int currentPageNumber;

    /** The total number of records in the search result set. */
    protected long allRecordCount;

    }

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

    /**
     * Gets the current page number.
     * If the current page number is not set or is zero or negative, returns the default current page number.
     *

        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;

    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;

  // The number of compression rounds.
  private final int c;
  // The number of finalization rounds.
  private final int d;
  // Two 64-bit keys (represent a single 128-bit key).
  private final long k0;
  private final long k1;

  /**
   * @param c the number of compression rounds (must be positive)
   * @param d the number of finalization rounds (must be positive)

        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Get the page number list.
     * @return The page number list.
     */
    public List<Integer> getPageNumberList() {
        return pageNumberList;
    }

    /**
     * Set the page number list.
     * @param pageNumberList The page number list.
     */
    public void setPageNumberList(final List<Integer> pageNumberList) {

    }

    /**
     * Gets the page number list.
     *
     * @return the page number list
     */
    public List<Integer> getPageNumberList() {
        return pageNumberList;
    }

    /**
     * Sets the page number list.
     *
     * @param pageNumberList the page number list
     */
    public void setPageNumberList(final List<Integer> pageNumberList) {

    }

    /**
     * Sets the number of records to display per page.
     *
     * @param pageSize the page size to set
     */
    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 (≤0), returns the default page number.
     *

    }

    /**
     * Sets the number of records to display per page.
     *
     * @param pageSize the page size
     */
    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 page number.
     *
     * @return the current page number

    }

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

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