}

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

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

    }

    /**
     * Gets the starting record number for the current page.
     *
     * @return The starting record number
     */
    public long getCurrentStartRecordNumber() {
        return currentStartRecordNumber;
    }

    /**
     * Gets the ending record number for the current page.
     *
     * @return The ending record number
     */
    public long getCurrentEndRecordNumber() {

    }

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

    }

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

        }
    }

    /**
     * Validates a port number
     *
     * @param port the port number to validate
     * @throws IllegalArgumentException if port is invalid
     */
    public static void validatePort(int port) {
        if (port < 1 || port > 65535) {
            throw new IllegalArgumentException("Invalid port number: " + port);
        }
    }

    /**

    @Secured({ ROLE, ROLE + VIEW })
    public HtmlResponse index() {
        return asListHtml();
    }

    /**
     * Displays a paginated list of users.
     *
     * @param pageNumber the page number to display (optional)
     * @param form the search form containing filter criteria
     * @return HTML response with the user list
     */
    @Execute
    @Secured({ ROLE, ROLE + VIEW })

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

     */
    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.
     */
    private int allRecordCount;

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

    /**
     * Flag indicating if a previous page exists.

    ImmutableMap<Class<? extends Number>, ? extends Number> in =
        ImmutableMap.of(Number.class, 0, Double.class, Math.PI);
    ClassToInstanceMap<Number> map = ImmutableClassToInstanceMap.copyOf(in);
    assertEquals(2, map.size());

    Number zero = map.getInstance(Number.class);
    assertEquals(0, zero);

    Double pi = map.getInstance(Double.class);
    assertThat(pi).isEqualTo(Math.PI);
  }

                                        <div>
                                            <la:errors property="errorCountMin"/>
                                            <input type="number" name="errorCountMin" id="errorCountMin"
                                                   value="${f:h(errorCountMin)}" class="form-control"
                                                   min="0" max="100000">