// <pre>

import java.io.*;

public class RechercheMot  extends FilterInputStream {
  private String mot;
  private int lineNumber;
  DataInputStream fichier;
  
  public int getLineNumber()
    {return lineNumber;}

  public RechercheMot(DataInputStream fichier, String mot)
  {super(fichier);
   this.fichier=fichier;
   this.mot=mot;
   lineNumber=0;
  }
  
  public final String readLine()  throws IOException 
  {String line;
   do 
    {line=fichier.readLine();
     lineNumber++;}
   while ((line!=null) && (line.indexOf(mot)==-1));
   return line;
  } 
}