createdTime = null;
        versionNo = null;

    }

    /**
     * Gets the total number of records in the result set.
     *
     * @return the total record count
     */
    public int getAllRecordCount() {
        return allRecordCount;
    }

    /**
     * Sets the total number of records in the result set.
     *
     * @param allRecordCount the total record count to set

    /**
     * Sets the timeout value in seconds.
     *
     * @param timeout the timeout value
     */
    public void setTimeout(int timeout) {
        this.timeout = timeout;
    }

    /**
     * Gets the timeout value.
     *
     * @return the timeout value
     */
    public int getTimeout() {
        return timeout;
    }

    /**

     *
     * @return The original input word.
     */
    public String getInput() {
        return input;
    }

    /**
     * Gets the original output stem.
     *
     * @return The original output stem.
     */
    public String getOutput() {
        return output;
    }

    /**
     * Checks if the item has been updated.
     *

        sessionId = null;
        createdTime = null;

    }

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

    /**
     * Gets the total number of records across all pages.
     *
     * @return the total record count
     */

        errorCountMax = null;
        errorName = 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 across all pages.
     *
     * @return the total record count
     */

 */
public interface FessUser extends Serializable {

    /**
     * Gets the user's display name.
     * @return The user's name.
     */
    String getName();

    /**
     * Gets the user's assigned role names.
     * @return Array of role names.
     */
    String[] getRoleNames();

    /**
     * Gets the user's assigned group names.
     * @return Array of group names.
     */

        createdTime = null;
        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 in the result set.
     *
     * @return the total record count
     */

    private String registrationId;
    private long sequenceNumber;
    private byte[] contextHandle;

    /**
     * Gets the registration ID.
     *
     * @return the registration ID
     */
    public String getRegistrationId() {
        return registrationId;
    }

    /**
     * Sets the registration ID.
     *
     * @param registrationId the registration ID
     */

    }

    /**
     * Gets the original input words.
     *
     * @return The original input words.
     */
    public String[] getInputs() {
        return inputs;
    }

    /**
     * Gets the input words as a newline-separated string.
     *
     * @return The input words as a string.
     */
    public String getInputsValue() {
        if (inputs == null) {
            return StringUtil.EMPTY;

        this.facetResponse = facetResponse;
    }

    /**
     * Gets the list of documents returned by the search query.
     *
     * @return The list of search result documents
     */
    public List<Map<String, Object>> getDocumentList() {
        return documentList;
    }

    /**
     * Gets the total number of records that match the search criteria.
     *
     * @return The total record count