public class ExtensionFileFilter extends FileFilter implements FilenameFilter, FileFilter
| Constructor and Description |
|---|
ExtensionFileFilter(ExtensionFilenameFilter filter)
Constructor.
|
ExtensionFileFilter(String desc)
Constructor.
|
ExtensionFileFilter(String[] ext,
String desc)
Constructor.
|
ExtensionFileFilter(String ext,
String desc)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
accept(File f)
Return whether the given file is accepted by this filter.
|
boolean |
accept(File dir,
String name)
Tests if a specified file should be included in a file list.
|
void |
add(String ext)
Add an extension to the ExtensionFileFilter.
|
static ExtensionFileFilter |
createFromExtensions(String desc,
String... ext)
Static constructor allowing to use a vararg for the array of extensions.
|
File |
getCompatibleFile(File in)
Create a File compatible with this FileFilter extension, if the input file has no extension.
|
String |
getDescription()
Return the description of this FileFilter.
|
SortedSet<String> |
getExtensions()
Return the extensions.
|
static String |
getNamePrefix(File f)
Utility method to retrieve the name prefix of a file.
|
static String |
getSuffix(File f)
Utility method to retrieve the suffix of a file.
|
String |
getUniqueExtension()
If this FileFilter accept one unique extension, returns this extension, else return null.
|
boolean |
hasUniqueExtension()
Returns true if this FileFilter accept one unique extension.
|
public ExtensionFileFilter(String desc)
desc - the description of the FileFilterpublic ExtensionFileFilter(String ext, String desc)
String ext = "jpg";
graphicfilter = new ExtensionFileFilter(ext,"JPEG images");
ext - the extensiondesc - the description of the FileFilterpublic ExtensionFileFilter(String[] ext, String desc)
String[] ext = {"jpg","jpeg","tiff","png","svg"};
graphicfilter = new ExtensionFileFilter(ext,"JPEG,PNG,TIFF,SVG images");
ext - the extensionsdesc - the description of the FileFilterpublic ExtensionFileFilter(ExtensionFilenameFilter filter)
String[] ext = {"jpg","jpeg","tiff","png","svg"};
graphicfilter = new ExtensionFileFilter(ext,"JPEG,PNG,TIFF,SVG images");
filter - the ExtensionFilenameFilterpublic static ExtensionFileFilter createFromExtensions(String desc, String... ext)
desc - the descriptionext - the extensionspublic void add(String ext)
ext - the extensionpublic boolean hasUniqueExtension()
public String getUniqueExtension()
public SortedSet<String> getExtensions()
public File getCompatibleFile(File in)
in - the Filepublic static String getNamePrefix(File f)
f - the Filepublic static String getSuffix(File f)
f - the Filepublic boolean accept(File f)
accept in interface FileFilteraccept in class FileFilterf - the Filepublic boolean accept(File dir, String name)
accept in interface FilenameFilterpublic String getDescription()
getDescription in class FileFilter