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 } } @Override
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 } } public String toString() {
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 } } public String toString() {
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 } } public String toString() {
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 } } public String toString() {
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 } } public String toString() {