if(LOG.isInfoEnabled()) {
LOG.info("Index scan done. matched: " + matched.countMatched() + ", filtered: "
+ matchCounts);
}
if(matchCounts > 0) {
final IDocumentTable doctbl;
try {
doctbl = DocumentTableLoader.load(col, docName, _dynEnv);
} catch (IOException e) {
throw new XQRTException("failed to load document '" + docName
+ "' is the collection '" + col.getAbsolutePath() + '\'', e);
}
final PagingProfile profile = doctbl.getPagingProfile();
Strategy origStrategy = null;
if(profile != null) {
profile.setProfiler(profiler);
origStrategy = profile.getStrategy();
profile.setStrategy(Strategy.index);