1 package net.sf.openrocket.gui.main;
5 import javax.swing.filechooser.FileFilter;
8 * A FileFilter similar to FileNameExtensionFilter except that
9 * it allows multipart extensions (.ork.gz).
11 * @author Sampo Niskanen <sampo.niskanen@iki.fi>
13 public class SimpleFileFilter extends FileFilter {
15 private final String description;
16 private final String[] extensions;
22 * @param description the description of this file filter.
23 * @param extensions an array of extensions that match this filter.
25 public SimpleFileFilter(String description, String ... extensions) {
26 this.description = description;
27 this.extensions = new String[extensions.length];
28 for (int i=0; i<extensions.length; i++) {
29 String ext = extensions[i].toLowerCase();
30 if (ext.charAt(0) == '.') {
31 this.extensions[i] = ext;
33 this.extensions[i] = '.' + ext;
41 public boolean accept(File file) {
44 if (file.isDirectory())
47 String filename = file.getName();
48 filename = filename.toLowerCase();
49 for (String ext: extensions) {
50 if (filename.endsWith(ext))
58 public String getDescription() {