public final java.lang.String | readLine()This is the filter: call our superclass's readLine() to get the
actual lines, but only return lines that contain the pattern.
When the superclass readLine() returns null (EOF), we return null.
String line;
do { line = super.readLine(); }
while ((line != null) && line.indexOf(pattern) == -1);
return line;
|