* This optional field helps track which result position was clicked.
     */
    public Integer order;

    // for error page

    /**
     * Query string parameter for error page fallback.
     * Contains the original search query if redirection fails.
     */
    public String q;

    /**
     * Number of results parameter for error page fallback.

     * Default label value to use when no specific label is selected.
     * This affects which documents are included in search results by default.
     */
    @Size(max = 1000)
    public String defaultLabelValue;

    /**
     * Default sort order for search results.
     * Defines how search results are ordered when no specific sort is requested.
     */
    @Size(max = 1000)
    public String defaultSortValue;

    /**
     * Processes a list of access results and converts them into indexable documents.
     * Each access result is transformed into a document map and added to the document list.
     *
     * @param docList the document list to add processed documents to
     * @param accessResultList the list to track processed access results for cleanup
     * @param arList the list of access results to process
     */

    /** The search query string that was used to generate these results. */
    protected String searchQuery;

    /** The total execution time for the search request in milliseconds. */
    protected long execTime;

    /** The facet response containing aggregated search facets and their counts. */
    protected FacetResponse facetResponse;

    /** Flag indicating whether the search results are partial (not complete). */

 * Provides common pagination parameters for search operations.
 */
public class BaseSearchBody {

    /** The page size for search results. */
    public Integer size = ComponentUtil.getFessConfig().getPagingPageSizeAsInteger();

    /** The page number for search results. */
    public Integer page = Constants.DEFAULT_ADMIN_PAGE_NUMBER;

    /**
     * Default constructor for BaseSearchBody.
     */

    /** Field name for document score in search results */
    public static final String SCORE_FIELD = "score";

    /** Field name for OpenSearch document score */
    public static final String DOC_SCORE_FIELD = "_score";

    /** Field name for site information in search results */
    public static final String SITE_FIELD = "site";

    /** Field name for URL-based search queries */

     */
    @Execute
    @Secured({ ROLE, ROLE + VIEW })
    public HtmlResponse prev(final ListForm form) {
        saveToken();
        return doMove(form, -1);
    }

    /**
     * Navigates to the next page of search results.
     *
     * @param form the list form containing current search criteria
     * @return HTML response with next page results
     */
    @Execute

    protected SortBuilder<?>[] defaultSortBuilders;

    /** Prefix used for highlight field names in search results */
    protected String highlightPrefix = "hl_";

    /** Default facet information configuration for search results */
    protected FacetInfo defaultFacetInfo;

    /** Default geographic information configuration for location-based searches */

                    fail("Thread interrupted");
                }
            }

            // Verify all results are consistent
            for (String result : results) {
                assertEquals("thread-test", result);
            }

        } finally {
            // Restore original value
            if (originalValue != null) {

    /**
     * The search query string for error page display.
     */
    public String q;

    /**
     * The number of search results per page for error page display.
     */
    public String num;

    /**
     * The sort criteria for search results for error page display.
     */
    public String sort;

    /**
     * The language setting for error page display.
     */
    public String lang;