public final class ExtensionFilter
extends java.lang.Object
implements java.io.FileFilter
listFiles
Methode des FIle Objekt,
zum filtern von FIles mit einer bestimmten Extension.Constructor and Description |
---|
ExtensionFilter(java.lang.String extension)
Konstruktor des Filters
|
ExtensionFilter(java.lang.String[] extensions) |
ExtensionFilter(java.lang.String[] extensions,
boolean allowDir) |
ExtensionFilter(java.lang.String[] extensions,
boolean allowDir,
boolean ignoreCase) |
ExtensionFilter(java.lang.String extension,
boolean allowDir)
Konstruktor des Filters
|
Modifier and Type | Method and Description |
---|---|
boolean |
accept(java.io.File res) |
java.lang.String[] |
getExtensions() |
public ExtensionFilter(java.lang.String extension)
extension
- Endung die geprueft werden soll.public ExtensionFilter(java.lang.String extension, boolean allowDir)
extension
- Endung die geprueft werden soll.public ExtensionFilter(java.lang.String[] extensions)
public ExtensionFilter(java.lang.String[] extensions, boolean allowDir)
public ExtensionFilter(java.lang.String[] extensions, boolean allowDir, boolean ignoreCase)