/* * Jalview - A Sequence Alignment Editor and Viewer * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA */ package jalview.io; import javax.swing.filechooser.*; import java.io.File; import java.util.*; public class JalviewFileFilter extends FileFilter { private static String TYPE_UNKNOWN = "Type Unknown"; private static String HIDDEN_FILE = "Hidden File"; public static Hashtable suffixHash = new Hashtable(); private Hashtable filters = null; private String description = "no description"; private String fullDescription = "full description"; private boolean useExtensionsInDescription = true; public JalviewFileFilter(String extension, String description) { StringTokenizer st = new StringTokenizer(extension, ","); while(st.hasMoreElements()) { addExtension(st.nextToken().trim()); } setDescription(description); } public JalviewFileFilter(String[] filts) { this(filts, null); } public String getAcceptableExtension() { return filters.keys().nextElement().toString(); } public JalviewFileFilter(String[] filts, String description) { for (int i = 0; i < filts.length; i++) { // add filters one by one addExtension(filts[i]); } if(description!=null) setDescription(description); } // takes account of the fact that database is a directory public boolean accept(File f) { if(f != null) { String extension = getExtension(f); if(f.isDirectory()) { if(extension == null || extension.equals("")) { return true; } else { if(filters.get(getExtension(f)) != null) { return true; } } } if(extension != null && filters.get(getExtension(f)) != null) { return true; } } return false; } public String getExtension(File f) { if(f != null) { String filename = f.getName(); int i = filename.lastIndexOf('.'); if(i>0 && i