import java.io.File; import javax.swing.filechooser.FileFilter; public class HtmlFilter extends FileFilter{ public boolean accept(File f){ /* ディレクトリなら無条件で表示する */ if (f.isDirectory()){ return true; } /* 拡張子を取り出し、html又はhtmだったら表示する */ String ext = getExtension(f); if (ext != null){ if (ext.equals("html") || ext.equals("htm")){ return true; }else{ return false; } } return false; } public String getDescription(){ return "HTMLファイル"; } /* 拡張子を取り出す */ private String getExtension(File f){ String ext = null; String filename = f.getName(); int dotIndex = filename.lastIndexOf('.'); if ((dotIndex > 0) && (dotIndex < filename.length() - 1)){ ext = filename.substring(dotIndex + 1).toLowerCase(); } return ext; } }