File Doc Category Size Date Package
HTMLFilter.java API Doc Example 253 Sun Mar 28 19:08:22 BST 1999 None

HTMLFilter

java.lang.Object

public class HTMLFilter extends Object implements FilenameFilter

Fields Summary
Constructors Summary
Methods Summary
public boolean accept(java.io.File directory, java.lang.String name)
if (name.endsWith(".html")) return true; if (name.endsWith(".htm")) return true; return false;