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

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;