currOffset = 0;
}
// Check whether we have intervals, we want intervals *and* we added some results.
boolean someHavePositions = false;
for( Index index: documentIterator.indices() ) someHavePositions |= index.hasPositions;
if ( someHavePositions && intervalSelector != null && results.size() != initialResultSize ) {
// We must now enrich the returned result with intervals
DocumentScoreInfo<Reference2ObjectMap<Index,SelectedInterval[]>> sorted[] =
results.subList( initialResultSize, results.size() ).toArray( new DocumentScoreInfo[ results.size() - initialResultSize ] );