extensionfilter.java

用JAVA开发的一个小型画图软件

import javax.swing.filechooser.FileFilter;
import java.io.File;

public class ExtensionFilter extends FileFilter {
  public ExtensionFilter(String ext, String descr) {
    extension = ext.toLowerCase();            // Store the extension as lower case
    description = descr;                      // Store the description
  }

  public boolean accept(File file) {
   return(file.isDirectory()||file.getName().toLowerCase().endsWith(extension));
  }

  public String getDescription() {
    return description;  
  }

  private String description;                  // Filter description
  private String extension;                    // File extension
}