*
     * @param crudMode the CRUD mode for the operation
     * @param id the ID of the web authentication to display
     * @return HTML response for the web authentication details page
     */
    @Execute
    @Secured({ ROLE, ROLE + VIEW })
    public HtmlResponse details(final int crudMode, final String id) {
        verifyCrudMode(crudMode, CrudMode.DETAILS, this::asListHtml);

     *
     * @param crudMode the CRUD mode for the operation
     * @param id the ID of the request header item to display
     * @return HTML response for the details page
     */
    @Execute
    @Secured({ ROLE, ROLE + VIEW })
    public HtmlResponse details(final int crudMode, final String id) {
        verifyCrudMode(crudMode, CrudMode.DETAILS, this::asListHtml);
        saveToken();

     *
     * @param events the list of log notification events
     * @param maxDetailsLength the maximum length of the details string
     * @param maxDisplayEvents the maximum number of events to display
     * @param maxMessageLength the maximum length of each log message
     * @return the formatted details string with summary header and truncated entries
     */

     *
     * @param crudMode the CRUD mode for the operation
     * @param id the ID of the web config to display
     * @return HTML response for the web config details page
     */
    @Execute
    @Secured({ ROLE, ROLE + VIEW })
    public HtmlResponse details(final int crudMode, final String id) {
        verifyCrudMode(crudMode, CrudMode.DETAILS, this::asListHtml);
        saveToken();

     *
     * @param crudMode the CRUD mode for the operation
     * @param id the ID of the user to display
     * @return HTML response for the user details page
     */
    @Execute
    @Secured({ ROLE, ROLE + VIEW })
    public HtmlResponse details(final int crudMode, final String id) {
        verifyCrudMode(crudMode, CrudMode.DETAILS, this::asListHtml);
        saveToken();

            form.crudMode = CrudMode.DETAILS;
            return asDetailsHtml();
        }
        form.crudMode = CrudMode.EDIT;
        return asEditHtml();
    }

    // -----------------------------------------------------
    //                                               Details
    //                                               -------
    /**
     * Show the details page.
     * @param crudMode The CRUD mode.

     */
    public JobNotFoundException(final ScheduledJob scheduledJob) {
        super(scheduledJob.toString());
    }

    /**
     * Constructs a new JobNotFoundException with the specified detail message.
     *
     * @param message the detail message explaining why the job was not found
     */
    public JobNotFoundException(final String message) {
        super(message);
    }

     *
     * @param message the detail message explaining the exception
     * @param cause   the underlying cause of the exception
     */
    public SearchEngineClientException(final String message, final Throwable cause) {
        super(message, cause);
    }

    /**
     * Constructs a new SearchEngineClientException with the specified message.
     *
     * @param message the detail message explaining the exception
     */

            form.crudMode = CrudMode.DETAILS;
            return asDetailsHtml();
        }
        form.crudMode = CrudMode.EDIT;
        return asEditHtml();
    }

    // -----------------------------------------------------
    //                                               Details
    //                                               -------
    /**
     * Show the details page.

            }
        }
    }
}

class NullawayCompatibilityRule : AttributeCompatibilityRule<NullawayState> {
    override fun execute(details: CompatibilityCheckDetails<NullawayState>) {
        with(details) {
            when {
                // Nullaway-enabled targets must not depend on nullaway-disabled ones.