FileDocCategorySizeDatePackage
HTMLFileFilter.javaAPI DocExample267Sun Mar 28 19:08:20 BST 1999None

HTMLFileFilter

public class HTMLFileFilter extends Object implements FileFilter

Fields Summary
Constructors Summary
Methods Summary
public booleanaccept(java.io.File pathname)

 
   if (pathname.getName().endsWith(".html")) return true;
   if (pathname.getName().endsWith(".htm")) return true;
   return false;