117118119120121122123124125126127
} catch (IOException e) { if (e instanceof java.io.EOFException) e.printStackTrace(); return FAILED; } finally { monitor.exitRead(); // finished reading } } public String toString() { return "searching " + pattern.toString(); //$NON-NLS-1$ }
99100101102103104105106107108109
} catch (IOException e) { if (e instanceof java.io.EOFException) e.printStackTrace(); return FAILED; } finally { monitor.exitRead(); // finished reading } } public String toString() { return "searching " + this.pattern.toString(); //$NON-NLS-1$ }
112113114115116117118119120121122