File Doc Category Size Date Package
HTMLFilter.java API Doc Example 237 Tue Feb 14 12:56:16 GMT 2006 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;