/// Caution: Iterate only over the hits needed. Iterating over all /// hits is generally not desirable and may be the source of /// performance issues. If you need to iterate over many or all hits, consider /// using the search method that takes a {@link HitCollector}. ///
///Note: Deleting matching documents concurrently with traversing
/// the hits, might, when deleting hits that were not yet retrieved, decrease
/// {@link #Length()}. In such case,
/// {@link java.util.ConcurrentModificationException ConcurrentModificationException}
/// is thrown when accessing hit n
≥ current_{@link #Length()}
/// (but n
< {@link #Length()}_at_start).
///
min
has been retrieved.
/// Documents are cached, so that repeated requests for the same element may /// return the same Document object. ///
/// Caution: Iterate only over the hits needed. Iterating over all /// hits is generally not desirable and may be the source of /// performance issues. If you need to iterate over many or all hits, consider /// using a search method that takes a {@link HitCollector}. ///
///