Java编程

开发平台：

Java

ExtensionFilter.java：源码内容

							package bible.servlets;
import java.io.*;
public class ExtensionFilter implements FilenameFilter {
  private String extension;
  public ExtensionFilter(String e) {
    this.extension = "." + e;
  }
  public boolean accept(File dir, String fileName) {
    return fileName.endsWith(extension);
  }
}

						