/** * @author Daniel Faria Jr. RA:962137 * @version 1.0 * Data: 04/06/2001 */ package pckInterface; import java.io.File; import javax.swing.*; import javax.swing.filechooser.*; // Filtro a ser utilizado para abertura/gravação de arquivos GIF public class FiltroGIF extends FileFilter { // Descricao dos arquivos () private String descricao; public static final String EXTENSAO_GIF = "gif"; public static final String EXTENSAO_JPG = "jpg"; public FiltroGIF(String d) { super(); descricao = d; } public boolean accept(File f) { // Navegação por diretórios OK if (f.isDirectory()) { return true; } if (getExtension(f) != null) { if (getExtension(f).equals(EXTENSAO_GIF)) { return true; } else if (getExtension(f).equals(EXTENSAO_JPG)) { return true; } else { return false; } } return false; } private String getExtension(File f) { String ext = null; String s = f.getName(); int i = s.lastIndexOf('.'); if (i > 0 && i < s.length() - 1) { ext = s.substring(i+1).toLowerCase(); } return ext; } // Descricao do Filtro public String getDescription() { return descricao; } }