extensionfilter.java

一个很有特点的地图平台,可以以动画方试展现电子地图,有拉近,拉远,滑动功能,最主要的是它是一个地图维护台,处理地图到数据库的数据导入

package mapcenter.weihu;

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

public class ExtensionFilter extends 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);
    if (extension == null)return false;
    for(int i=0; i<extenArray.length; i++){
      if(extenArray[i].equals(extension))return true;
    }
    return false;
  }

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

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

}