extensionfilter.java~12~

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

package mapcenter.weihu;

import java.io.*;

public class ExtensionFilter implements FileFilter{
  private String DescriptionText = null;
  private String[] extension = null;
  public ExtensionFilter() {
  }
  public boolean accept(File filename){
    if (f.isDirectory()) {
        return true;
    }

    String extension = Utils.getExtension(f);
    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;
        }
    }

    return false;
  }

  public String getDescription() {
    return DescriptionText;
  }

  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;
  }

}