extensionfilter.java~19~

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

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

}