WildFilter.java |
package gui.htmlconverter; import java.io.File; import java.io.FilenameFilter; class WildFilter implements FilenameFilter { private String suffix; public WildFilter(String suffix_) { suffix = suffix_; } public boolean accept(File dir, String name) { return name.endsWith(suffix); } } class DirFilter implements FilenameFilter { public boolean accept(File dir, String name) { return new File(dir, name).isDirectory(); } }