FileDocCategorySizeDatePackage
HTMLFileFilter.javaAPI DocExample251Tue Feb 14 12:56:52 GMT 2006None

HTMLFileFilter.java

import java.io.*;

public class HTMLFileFilter implements FileFilter {

 public boolean accept(File pathname) {
 
   if (pathname.getName().endsWith(".html")) return true;
   if (pathname.getName().endsWith(".htm")) return true;
   return false;
 }
}