Mercurial > hg > mpdl-group
view software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/util/FilenameFilterExtension.java @ 25:e9fe3186670c default tip
letzter Stand eingecheckt
author | Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> |
---|---|
date | Tue, 21 May 2013 10:19:32 +0200 |
parents | 408254cf2f1d |
children |
line wrap: on
line source
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(); } }