package de.mpg.mpiwg.berlin.mpdl.util;

import java.io.File;
import java.io.FilenameFilter;

public class FilenameFilterExtension implements FilenameFilter {
  
  private String fileExtension;

  public FilenameFilterExtension(String fileExtension) {
    this.fileExtension = fileExtension;
  }

  public boolean accept(File dir, String name) {
    String nameToLower = name.toLowerCase();
    String fileExtensionToLower = fileExtension.toLowerCase();
    return nameToLower.endsWith("." + fileExtensionToLower);
    // MimeTable mimetab = MimeTable.getInstance();
    // MimeType mime = mimetab.getContentTypeFor(name);
    // return mime != null && mime.isXMLType();
  }
}