extensionfilter.java~16~

来自「一个很有特点的地图平台,可以以动画方试展现电子地图,有拉近,拉远,滑动功能,最主」· JAVA~16~ 代码 · 共 51 行

package mapcenter.weihu;

import java.io.*;

public class ExtensionFilter implements FileFilter{
  private String DescText = null;
  private String[] extenArray = null;

  public ExtensionFilter(String descText,String[] extenArray) {
    this.DescText = descText;
    this.extenArray = extenArray;
  }

  public boolean accept(File filename){
    if (filename.isDirectory())return true;

    String extension = getExtension(filename);
    for(int i=0; i<extenArray.length; i++){
      if(extenArray[i].equals(extension))return true;
    }
    if (extension != null) {
        if (extension.equals(Utils.tiff) ||
            extension.equals(Utils.tif) ||
            extension.equals(Utils.gif) ||
            extension.equals(Utils.jpeg) ||
            extension.equals(Utils.jpg) ||
            extension.equals(Utils.png)) {
                return true;
        } else {
            return false;
        }
    }

  }

  public String getDescription() {
    return this.DescText;
  }

  public String getExtension(File filename) {
      String ext = null;
      String name = filename.getName();
      int position = name.lastIndexOf('.');
      if (position > 0 && position < name.length()-1) {
          ext = name.substring(position+1).toLowerCase();
      }
      return ext;
  }

}