return ""; //$NON-NLS-1$
}
public boolean search(Index index, IProgressMonitor progressMonitor) {
if (index == null) return COMPLETE;
if (progressMonitor != null && progressMonitor.isCanceled()) throw new OperationCanceledException();
ReadWriteMonitor monitor = index.monitor;
if (monitor == null) return COMPLETE; // index got deleted since acquired
try {
monitor.enterRead(); // ask permission to read
long start = System.currentTimeMillis();
MatchLocator.findIndexMatches(this.pattern, index, this.requestor, this.participant, this.scope, progressMonitor);
this.executionTime += System.currentTimeMillis() - start;
return COMPLETE;
} catch (IOException e) {
if (e instanceof java.io.EOFException)
e.printStackTrace();
return FAILED;
} finally {
monitor.exitRead(); // finished reading
}
}