/** * @author Daniel Faria Jr. RA:962137 * @version 1.0 * Data: 04/06/2001 * Ult. Atualizacao: 28/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. 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 static final String EXTENSAO_MAPA = "mpd"; public static final String EXTENSAO_ENCOMENDA = "ecd"; public static final String EXTENSAO_VEICULO = "vcd"; 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 ((descricao.equals(Constantes.strMapa)) && (getExtension(f).equals(EXTENSAO_MAPA))) { return true; } else if ((descricao.equals(Constantes.strEncomenda)) && (getExtension(f).equals(EXTENSAO_ENCOMENDA))) { return true; } else if ((descricao.equals(Constantes.strVeiculo)) && (getExtension(f).equals(EXTENSAO_VEICULO))) { 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; } }