FileDocCategorySizeDatePackage
HTMLFilter.javaAPI DocExample253Sun Mar 28 19:08:22 BST 1999None

HTMLFilter.java

import java.io.*;

public class HTMLFilter implements FilenameFilter {

 public boolean accept(File directory, String name) {
 
   if (name.endsWith(".html")) return true;
   if (name.endsWith(".htm")) return true;
   return false;
 
 }

}