FileDocCategorySizeDatePackage
GrepInputStream.javaAPI DocExample1107Fri Feb 16 13:29:38 GMT 1996None

GrepInputStream

public class GrepInputStream extends FilterInputStream

Fields Summary
String
substring
DataInputStream
in
Constructors Summary
public GrepInputStream(DataInputStream in, String substring)

        super(in);
        this.in = in;
        this.substring = substring;
    
Methods Summary
public final java.lang.StringreadLine()

        String line;
        do {
            line = in.readLine();
        }
        while ((line != null) && line.indexOf(substring) == -1);
        return line;