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

        'r8_proguard.md': 'features/r8_proguard.md'
        # Redirect all Security pages to security/*
        'security.md': 'security/security.md'
        'security_providers.md': 'security/security_providers.md'
        'tls_configuration_history.md': 'security/tls_configuration_history.md'
        # Redirect all changelog pages to changelog/*
        'changelog.md': 'changelogs/changelog.md'

    }

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

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

     * when making decisions, they may crawl pages marked "hourly" less
     * frequently than that, and they may crawl pages marked "yearly" more
     * frequently than that. Crawlers may periodically crawl pages marked
     * "never" so that they can handle unexpected changes to those pages.
     */
    private String changefreq;

    /**

    /** Default current page number constant. */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

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

    /** Total number of pages calculated from record count and page size. */
    private int allPageCount;

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

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

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

    /** Flag indicating if a next page exists */

        require_serial: true
        language: unsupported
        types: [python]

      - id: add-permalinks-pages
        language: unsupported
        name: add-permalinks-pages
        entry: uv run ./scripts/docs.py add-permalinks-pages
        args:
          - --update-existing
        files: ^docs/en/docs/.*\.md$

      - id: generate-readme
        language: unsupported

        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 current page number (1-based).
     */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

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