*
         * @return true if the thread has completed its crawling operation
         */
        public boolean isFinished() {
            return finished;
        }

        /**
         * Stops the crawling operation gracefully.
         * If a data store is currently active, this method calls
         * its stop method to halt the crawling process.
         */

        accessType = null;
        logType = LOG_TYPE_SEARCH;

    }

    /**
     * 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 matching the search criteria.
     *
     * @return The total record count

        return Objects.hash(modelName, featureSetName, storeName, params, activeFeatures);
    }

    /**
     * Gets the name of the LTR model.
     *
     * @return The model name.
     */
    public String modelName() {
        return modelName;
    }

    /**
     * Sets the name of the LTR model.
     *
     * @param modelName The model name.
     * @return This query builder.
     */

            return true;
        }

        /**
         * Gets the Entra ID authentication result.
         * @return The authentication result.
         */
        public IAuthenticationResult getAuthenticationResult() {
            return authResult;
        }

        /**
         * Sets the user's group memberships.
         * @param groups Array of group names.
         */

                out.write(ins);
            }
        });
    }

    /**
     * Sets the OSDD path.
     *
     * @param osddPath the OSDD path
     */
    public void setOsddPath(final String osddPath) {
        this.osddPath = osddPath;
    }

    /**
     * Sets the encoding.
     *
     * @param encoding the encoding
     */

            newOutputs = outputs;
        }
    }

    /**
     * Gets the new input words.
     * Returns a defensive copy to prevent external modification.
     *
     * @return The new input words (defensive copy).
     */
    public String[] getNewInputs() {
        return newInputs == null ? null : newInputs.clone();
    }

    /**
     * Sets the new input words.
     *
     * @param newInputs The new input words.

            return defaultValue;
        }
        return filetype;
    }

    /**
     * Gets the default file type value used when MIME type is not found.
     *
     * @return the default file type value
     */
    public String getDefaultValue() {
        return defaultValue;
    }

    /**
     * Sets the default file type value to use when MIME type is not found.
     *

            oldCache.invalidateAll();
        }
    }

    /**
     * Sets the maximum number of compiled scripts to cache.
     *
     * @param scriptCacheSize the cache size
     */
    public void setScriptCacheSize(final int scriptCacheSize) {
        this.scriptCacheSize = scriptCacheSize;
    }

    /**
     * Sets the maximum length of script text included in warning log messages.
     *

            this.url = url;
            this.depth = depth;
        }

        /**
         * Gets the URL of this crawl request.
         *
         * @return the URL to be crawled
         */
        public String getUrl() {
            return url;
        }

        /**
         * Gets the depth of this crawl request in the crawling hierarchy.
         *
         * @return the crawling depth

    }

    /**
     * Gets the message role.
     *
     * @return the role
     */
    public String getRole() {
        return role;
    }

    /**
     * Sets the message role.
     *
     * @param role the role
     */
    public void setRole(final String role) {
        this.role = role;
    }

    /**
     * Gets the message content.
     *