3 import javax.swing.filechooser.*;
\r
7 public class JalviewFileFilter extends FileFilter
\r
9 private static String TYPE_UNKNOWN = "Type Unknown";
\r
10 private static String HIDDEN_FILE = "Hidden File";
\r
11 public static Hashtable suffixHash = new Hashtable();
\r
13 private Hashtable filters = null;
\r
14 private String description = "no description";
\r
15 private String fullDescription = "full description";
\r
16 private boolean useExtensionsInDescription = true;
\r
18 public JalviewFileFilter() {
\r
19 this.filters = new Hashtable();
\r
22 public JalviewFileFilter(String extension) {
\r
23 this(extension,null);
\r
26 public JalviewFileFilter(String extension, String description) {
\r
28 if(extension!=null) addExtension(extension);
\r
29 if(description!=null) setDescription(description);
\r
32 public JalviewFileFilter(String[] filts) {
\r
36 public JalviewFileFilter(String[] filts, String description) {
\r
38 for (int i = 0; i < filts.length; i++) {
\r
39 // add filters one by one
\r
40 addExtension(filts[i]);
\r
42 if(description!=null) setDescription(description);
\r
45 // takes account of the fact that database is a directory
\r
46 public boolean accept(File f) {
\r
48 String extension = getExtension(f);
\r
49 if(f.isDirectory()) {
\r
50 if(extension == null || extension.equals("")) {
\r
53 if(filters.get(getExtension(f)) != null) {
\r
58 if(extension != null && filters.get(getExtension(f)) != null) {
\r
65 public String getExtension(File f) {
\r
67 String filename = f.getName();
\r
68 int i = filename.lastIndexOf('.');
\r
69 if(i>0 && i<filename.length()-1) {
\r
70 return filename.substring(i+1).toLowerCase();
\r
76 public void addExtension(String extension) {
\r
77 if(filters == null) {
\r
78 filters = new Hashtable(5);
\r
80 filters.put(extension.toLowerCase(), this);
\r
81 fullDescription = null;
\r
85 public String getDescription() {
\r
86 if(fullDescription == null) {
\r
87 if(description == null || isExtensionListInDescription()) {
\r
88 fullDescription = description==null ? "(" : description + " (";
\r
89 // build the description from the extension list
\r
90 Enumeration extensions = filters.keys();
\r
91 if(extensions != null) {
\r
92 fullDescription += "." + (String) extensions.nextElement();
\r
93 while (extensions.hasMoreElements()) {
\r
94 fullDescription += ", " + (String) extensions.nextElement();
\r
97 fullDescription += ")";
\r
99 fullDescription = description;
\r
102 return fullDescription;
\r
105 public void setDescription(String description) {
\r
106 this.description = description;
\r
107 fullDescription = null;
\r
110 public void setExtensionListInDescription(boolean b) {
\r
111 useExtensionsInDescription = b;
\r
112 fullDescription = null;
\r
115 public boolean isExtensionListInDescription() {
\r
116 return useExtensionsInDescription;
\r